_第1回アドバイザー会議

Size: px
Start display at page:

Download "_第1回アドバイザー会議"

Transcription

1 / D AA ) 2CAD /AA 12 /AA AAD#2 2A 2 2 A ( ( ~ 組み合わせ最適化問題を解くコヒーレント イジングマシン ~ 国 立立情報学研究所 宇都宮聖 子 ImPACT 量量 子 人 工脳を量量 子ネットワークでつなぐ 高度度知識識社会基盤の実現 第 1 回アドバイザー会議

2 背景 組み合わせ最適化問題 組み合わせ最適化問題 (NP- hard) : 現代社会における最も重要な問題 - 解きたい問題サイズの増加によって 計算時間が指数発散してしまう最も難しい問題 動的に変化する組み合わせ最適化問題 - SNS 解析, 危険予知, 脳機能ネットワークの解析など - 動的に変化するグラフのリアルタイム処理理を 行行う - 時系列列変化のデータに基づいて計算を 行行うため 扱うデータ量量が膨 大 - スーパーコンピュータを 用いても問題サイズ N>100 の厳密解は解けない 組み合わせ最適化問題を効率率率よく解く 手法 - ニューラルネット ( 機械学習 脳型情報処理理 ): Deep learning(siri 音声 画像認識識), SyNAPSE(DARPA: ニューロチップ ) - ヒューリスティック ( 焼き鈍し法など : そこそこよい近似解を 高速に求める ) - 量量 子アニーリング :D- waveなど 極低温動作が必要 大規模化が課題 難しい 計算の複雑さ NP- 困難. MAX- CUT, TSP Ising model NP 素因数分解 NP- complete SAT, 数独 P 最短経路路問題 BQP (bounded error quantum polynomial time)

3 スピンの組み合わせ問題イジング モデル ある種の磁性体では 系のエネルギーはスピンの向きが ( アップ ダウン ) のいずれか によって以下のように決められる : H = X i,j J i<j iz jz J ij >0ならば2つのスピンは同じ向きになろうとする i j J ij =- 1 再隣接のスピン同士は相互作用をする ( J ij ) J ij <0 ならば 2 つのスピンは 逆向きになろうとする i j J ij =+1 11

4 世界初の商 用量量 子アニーリングマシン D-wave II (D-wave systems, inc.) - - 超伝導 (FLUX) 量量 子ビット 512 ビットを搭載 極低温へ冷冷却が必要 T op ~ 10mk - 原理理 : 量量 子アニーリング ( 断熱計算 ) - ~ 次世代は 1,000 ビット - 疎結合のみの実装 ( 完全結合は困難 ) T. Kadowaki et al., Phys. Rev. E 58, 5355 (1998) D. Aharanov et al., SIAM Rev. (2008) M. W. Johnson et al., Nature194, 473 (2011) D- wave Oneのキメラグラフ構造疎結合により任意の結合を実装するため 8 量量 子ビットで1ロジカルビットを表現 Nグラフを実装するのにN 2 量量 子ビット必要 The $15 million D-Wave Two is still no faster than a desk top computer right now, in certain situations. D-wave two can sometimes achieve speeds up to five times faster than the Intel PC. S. Boixo et al., Nature Physics 10, (2014) 4

5 イジングハミルトニアンをレーザーネットワークの損失 (= 発振利利得 ) にマップする H = X i,j J i<j iz jz 光の発振器の同期現象を使った コヒーレントイジングマシン 結合レーザー系に相互注 入が導 入されると 全体でのロスを少なくするような ( 相互結合による内部パワーの増加を最 大化するような ) 発振モードを 発振器ネットワークが 自分 自 身で選択する 最 小損失 最 小エネルギー状態 イジングスピン イジング結合 : 各レーザーの発振モード : レーザーネットワークの結合強度度と位相 - - 各レーザーが 自発的に 系に実装された条件に応じて最も効率率率の良良い発振基底を選ぶ その発振基底の組み合わせ (1/2 N 個の候補のうちの 1 通り ) が解きたい問題の答えに対応する

6 DOPO ネットワークを 用いたコヒーレントイジングマシン DOPO( 縮退型光パラメトリック発振器 ) EOM EOM PD m EOM +SHG i OC IC ポンプ (2ω) N 光パルス ( 単 一共振器内 ) 相互結合パスの数 : N- 1 PPLN() シグナル : ω:1550nm イジングハミルトニアン : H = X i,j J i<j iz jz イジングスピン : OPO 発振モード ( 位相 :0 または π) イジング結合 : 光相互結合の振幅と位相 6

7 量量 子測定 - フィードバックを 用いたコヒーレントイジングマシン 00 = = NG 00/0) D LN=k O G HN m, kp12 ( G = # DA ) ) 各周回ごとに光パルスはホモダイン検波により測定される すべての光パルスの測定データ σ iz をもとに 光結合を実現するフィードバックパルスを 生成する Σ j J ij σ jz を電気信号により計算し 結合 用の光パルスを加 工する 問題 (J ij ) を実装するために必要だった N 本遅延線が 1 本で実装可能

8 ImPACT 量量 子 人 工脳プロジェクト構成 - (NII) : - Mabuchi (Stanford) : - - () :,, - (NII) : - (NTT) : DOPO - () : FPGA- - (NII) : XY/ - Byer, Fejer, Mabuchi (Stanford) : DOPO, PPLN, FPGA - : 8

9 ! HFOGk! d z9p 9 m 9P 9BPN GOHNA1290 GOHFO6H= k9 128 bit 2048 bit 10 5 bit (OPO) (FPGA) (OPO) (FPGA) (OPO) (FPGA) CMOS >10N x 10 5 CMOS!10N 2 4 x 10 7 CMOS!10N CMOS

10 OPO/ OPO OPO#=# 10

11 DOPO ネットワーク ( コヒーレント イジングマシン :CIM) の計算能 力力 ~完全グラフに対する焼きなまし法 (SA) と精度度保証つきアルゴリズム (GW) との 比較 ~ K 800 K 4000 DOPO ~10 3 SA SDP DOPO ~10 4 SA SDP 精度度保証付き近似 手法 Goemans Williamson Semi- Definite GW O(N 3.5 ) 20 日 Programming (approximate algorithm) 87.8% の精度度で解が求まることを保証 ヒューリスティック Simulated Annealing ( 焼き鈍し法 ) SA O(N 2 ) DOPO 100 秒 10-3 秒 精度度保証はないが ある程度度のレベルで 正解に近い解を求めることができる

12 10 GHz + 2km N=10 5 : N 2 () 1 (-) - - ADC/DAC, FPGA - - FPGA - - /OPO ~O(1) - N - 6+N 2 - (N-1)+N 12

Microsoft PowerPoint - qcomp.ppt [互換モード]

Microsoft PowerPoint - qcomp.ppt [互換モード] 量子計算基礎 東京工業大学 河内亮周 概要 計算って何? 数理科学的に 計算 を扱うには 量子力学を計算に使おう! 量子情報とは? 量子情報に対する演算 = 量子計算 一般的な量子回路の構成方法 計算って何? 計算とは? 計算 = 入力情報から出力情報への変換 入力 計算機構 ( デジタルコンピュータ,etc ) 出力 計算とは? 計算 = 入力情報から出力情報への変換 この関数はどれくらい計算が大変か??

More information

Microsoft PowerPoint - 13.ppt [互換モード]

Microsoft PowerPoint - 13.ppt [互換モード] 13. 近似アルゴリズム 1 13.1 近似アルゴリズムの種類 NP 困難な問題に対しては多項式時間で最適解を求めることは困難であるので 最適解に近い近似解を求めるアルゴリズムが用いられることがある このように 必ずしも厳密解を求めないアルゴリズムは 大きく分けて 2 つの範疇に分けられる 2 ヒューリスティックと近似アルゴリズム ヒュ- リスティクス ( 発見的解法 経験的解法 ) 遺伝的アルゴリズム

More information

【資料2-1】量子シミュレーターの概念と研究動向

【資料2-1】量子シミュレーターの概念と研究動向 資料 2-1 科学技術 学術審議会先端研究基盤部会量子科学技術委員会 ( 第 4 回 ) 平成 28 年 6 月 20 日 科学技術 学術審議会先端研究基盤部会量子科学技術委員会 ( 第 4 回 ) 参考資料 量子シミュレーターの概念と研究動向 自然科学研究機構分子科学研究所大森賢治 1 量子シミュレーターとは? 2 量子多体問題 多体相互作用は多くの重要な物理 化学現象を支配している 超伝導 磁性

More information

Microsoft PowerPoint SIGAL.ppt

Microsoft PowerPoint SIGAL.ppt アメリカン アジアンオプションの 価格の近似に対する 計算幾何的アプローチ 渋谷彰信, 塩浦昭義, 徳山豪 ( 東北大学大学院情報科学研究科 ) 発表の概要 アメリカン アジアンオプション金融派生商品の一つ価格付け ( 価格の計算 ) は重要な問題 二項モデルにおける価格付けは計算困難な問題 目的 : 近似精度保証をもつ近似アルゴリズムの提案 アイディア : 区分線形関数を計算幾何手法により近似 問題の説明

More information

Microsoft PowerPoint - mp11-06.pptx

Microsoft PowerPoint - mp11-06.pptx 数理計画法第 6 回 塩浦昭義情報科学研究科准教授 shioura@dais.is.tohoku.ac.jp http://www.dais.is.tohoku.ac.jp/~shioura/teaching 第 5 章組合せ計画 5.2 分枝限定法 組合せ計画問題 組合せ計画問題とは : 有限個の もの の組合せの中から, 目的関数を最小または最大にする組合せを見つける問題 例 1: 整数計画問題全般

More information

2014/03/19 e ラーニング利利 用実態調査結果報告について 2014 年年 3 月 19 日 日本イーラーニングコンソーシアム調査委員会 小橋岳史 2014/03/19 0.e ラーニングをとりまく流流れ

2014/03/19 e ラーニング利利 用実態調査結果報告について 2014 年年 3 月 19 日 日本イーラーニングコンソーシアム調査委員会 小橋岳史 2014/03/19 0.e ラーニングをとりまく流流れ e ラーニング利利 用実態調査結果報告について 2014 年年 3 月 19 日 日本イーラーニングコンソーシアム調査委員会 小橋岳史 0.e ラーニングをとりまく流流れ 01 02 03 04 05 06 07 08 09 10 11 12 13 14 e ラーニング 白書 ( ~ 2008) e ラーニングの市場動向についての 公式な 調査報告書 1 0.e ラーニングをとりまく流流れ 01 02

More information

PowerPoint プレゼンテーション

PowerPoint プレゼンテーション 光が作る周期構造 : 光格子 λ/2 光格子の中を運動する原子 左図のように レーザー光を鏡で反射させると 光の強度が周期的に変化した 定在波 ができます 原子にとっては これは周期的なポテンシャルと感じます これが 光格子 です 固体 : 結晶格子の中を運動する電子 隣の格子へ 格子の中を運動する粒子集団 Quantum Simulation ( ハバードモデル ) J ( トンネル ) 移動粒子間の

More information

研究背景 センサなどによって観測される情報の多くは時系列列データ たくさんの時系列列データの中から有益な情報を取得し その内容を理理解する 手法の開発が重要 取得された情報をより抽象度度の 高いレベルで表現 時系列列データの振る舞いを 言語で説明する 手法の開発 HandRight_x HandRi

研究背景 センサなどによって観測される情報の多くは時系列列データ たくさんの時系列列データの中から有益な情報を取得し その内容を理理解する 手法の開発が重要 取得された情報をより抽象度度の 高いレベルで表現 時系列列データの振る舞いを 言語で説明する 手法の開発 HandRight_x HandRi 高次元の時系列列データの潜在意味 解析に基づく 言語化 手法の開発 小林林 一郎郎 お茶茶の 水 女女 子 大学 研究背景 センサなどによって観測される情報の多くは時系列列データ たくさんの時系列列データの中から有益な情報を取得し その内容を理理解する 手法の開発が重要 取得された情報をより抽象度度の 高いレベルで表現 時系列列データの振る舞いを 言語で説明する 手法の開発 HandRight_x

More information

Microsoft PowerPoint - H21生物計算化学2.ppt

Microsoft PowerPoint - H21生物計算化学2.ppt 演算子の行列表現 > L いま 次元ベクトル空間の基底をケットと書くことにする この基底は完全系を成すとすると 空間内の任意のケットベクトルは > > > これより 一度基底を与えてしまえば 任意のベクトルはその基底についての成分で完全に記述することができる これらの成分を列行列の形に書くと M これをベクトル の基底 { >} による行列表現という ところで 行列 A の共役 dont 行列は A

More information

koboデスクトップアプリ ユーザーガイド

koboデスクトップアプリ ユーザーガイド 1 目... 4... 5 用... 6 用... 8 子 入... 10... 13 2 ... 13... 13 子... 16 子... 18... 19... 22 3 用 子 子 4 子 子 5 用 用 子 用 6 用 1. 2. 用 3. 4. 5. 面 行行 7 用 用 子 用 8 用 1. 2. 用 3. 4. 自 5. 9 子 入 方 見見 見見 入 入 入 子 子 子 10 見見

More information

Award Information 02 March 2016 S PM ImPACT Science Outreach

Award Information 02 March 2016 S PM ImPACT Science Outreach ISSN2185 9671 2016 17 March No CONTENTS Award Information 02 March 2016 S 10 24 PM 1 2 1 ImPACT Science Outreach Research Achievement 1 NECNEC2015 9 28 http://jpn.nec.com/press/201509/20150928_03.html

More information

混沌系工学特論 #5

混沌系工学特論 #5 混沌系工学特論 #5 情報科学研究科井上純一 URL : htt://chaosweb.comlex.eng.hokudai.ac.j/~j_inoue/ Mirror : htt://www5.u.so-net.ne.j/j_inoue/index.html 平成 17 年 11 月 14 日第 5 回講義 デジタルデータの転送と復元再考 P ({ σ} ) = ex σ ( σσ ) < ij>

More information

Information is physical. Rolf Landauer It from bit. John Wheeler I think there is a world market for maybe five computers. Thomas Watson

Information is physical. Rolf Landauer It from bit. John Wheeler I think there is a world market for maybe five computers. Thomas Watson 量子情報基礎 阿部英介 慶應義塾大学先導研究センター 応用物理情報特別講義 A 216 年度春学期後半金曜 4 限 @14-22 Information is physical. Rolf Landauer It from bit. John Wheeler I think there is a world market for maybe five computers. Thomas Watson

More information

モデリングとは

モデリングとは コンピュータグラフィックス基礎 第 5 回曲線 曲面の表現 ベジェ曲線 金森由博 学習の目標 滑らかな曲線を扱う方法を学習する パラメトリック曲線について理解する 広く一般的に使われているベジェ曲線を理解する 制御点を入力することで ベジェ曲線を描画するアプリケーションの開発を行えるようになる C++ 言語の便利な機能を使えるようになる 要素数が可変な配列としての std::vector の活用 計算機による曲線の表現

More information

観測的宇宙論WS2013.pptx

観測的宇宙論WS2013.pptx ì コンテンツ イントロダクション 球対称崩壊モデル ビリアル平衡 結果 まとめ イントロダクション 宇宙磁場 銀河や銀河団など様々なスケールで磁場が存在 起源や進化について未だに謎が多い 宇宙の構造形成に影響 P(k)[h -3 Mpc 3 ] 10 6 10 5 10 4 10 3 10 10 1 10 0 10-1 10-10 -3 10-4 10-4 10-3 10-10 -1 10 0 10

More information

A Constructive Approach to Gene Expression Dynamics

A Constructive Approach to Gene Expression Dynamics 配列アラインメント (I): 大域アラインメント http://www.lab.tohou.ac.jp/sci/is/nacher/eaching/bioinformatics/ week.pdf 08/4/0 08/4/0 基本的な考え方 バイオインフォマティクスにはさまざまなアルゴリズムがありますが その多くにおいて基本的な考え方は 配列が類似していれば 機能も類似している というものである 例えば

More information

14 2 1 1 2 2 1 2 2 2 2 3 2 3 6 2 4 7 2 5 8 3 3 1 10 3 2 12 4 4 1 14 4 17 4 19 4 3 1 22 4 3 2 28 4 3 3 31 5 34 6 36 37 38 1. Ti:Sapphire 2. (1) (2) 2. 2. (3)(4) (5) 2 2 1 (6) 2. 3. 4 3.. 5 4 3. 6 2 5. 1

More information

お客様からの依頼内容とその現状

お客様からの依頼内容とその現状 ログハウスメーカー様向け顧客管理システム構築 By BizBrowser+GeneXus 株式会社ディマージシェア お客様からの依頼内容とその現状 現状の問題点 2004 年から稼動しているクライアント / サーバ型システムのリニューアル 1) システム変更や不具合が発生するたびにソフトウェアを物理的に配布 2) 全国約 30 拠点 ( 展示場 ) 本社にサーバを設置 3) 夜間処理で拠点データを本社サーバに複製して同期

More information

umeda_1118web(2).pptx

umeda_1118web(2).pptx 選択的ノード破壊による ネットワーク分断に耐性のある 最適ネットワーク設計 関西学院大学理工学部情報科学科 松井知美 巳波弘佳 選択的ノード破壊によるネットワーク分断に耐性のある最適ネットワーク設計 0 / 20 現実のネットワーク 現実世界のネットワークの分析技術の進展! ネットワークのデータ収集の効率化 高速化! 膨大な量のデータを解析できる コンピュータ能力の向上! インターネット! WWWハイパーリンク構造

More information

untitled

untitled 5 29 ( ) 5 30 ( ) 9 Max 107 10 21 5 30 ( ) 5 31 ( ) 6 1 ( ) 13 48 IC JCT 11 35 29 1 (1593) ( ) 7 1611 5 7 40 (1965) 40 2m 2 400 ( ) (1968 )8 22 20 ( ) 1796 16.5 () 3 2 4 ( ) ( ) 400 35 5 5 30 JTB 20 10

More information

ii 3.,. 4. F. (), ,,. 8.,. 1. (75%) (25%) =7 20, =7 21 (. ). 1.,, (). 3.,. 1. ().,.,.,.,.,. () (12 )., (), 0. 2., 1., 0,.

ii 3.,. 4. F. (), ,,. 8.,. 1. (75%) (25%) =7 20, =7 21 (. ). 1.,, (). 3.,. 1. ().,.,.,.,.,. () (12 )., (), 0. 2., 1., 0,. 24(2012) (1 C106) 4 11 (2 C206) 4 12 http://www.math.is.tohoku.ac.jp/~obata,.,,,.. 1. 2. 3. 4. 5. 6. 7.,,. 1., 2007 (). 2. P. G. Hoel, 1995. 3... 1... 2.,,. ii 3.,. 4. F. (),.. 5... 6.. 7.,,. 8.,. 1. (75%)

More information

rpki-test_ver06.pptx

rpki-test_ver06.pptx Route Reflector 構成での RPKI の動作検証 インフラストラクチャ本部データセンターチーム 黒河内倫倫 背景 現 行行でている Router/Switch などでは RPKI を対応していない機器もある RPKI のために Router をリプレースすることは難しい場合もあるため Route Reflector 構成で集中的に管理理できる 方法がないか検討をする なお現状 ibgp

More information

E1-KRS_2

E1-KRS_2 大 力力 支 高 力力 自 高 音 一 二 高 音 生 一 小 小 自 見見 一 一 手 力力 音 音 立立 用 高 用 金金 方 用 高 生 用 一 一 自 車車 工 金金 工 力力 力力 用 高 力力 一 欠 高 音 生 入 力力 高 入 力力 入 力力 入 力力 力力 入 力力 入 力力 大 高 力力 一 欠 用 子 用 音 方 用 用 入 方 用 力力 用 音 音 色 一 目 大 力力 高

More information

Microsoft PowerPoint - mp13-07.pptx

Microsoft PowerPoint - mp13-07.pptx 数理計画法 ( 数理最適化 ) 第 7 回 ネットワーク最適化 最大流問題と増加路アルゴリズム 担当 : 塩浦昭義 ( 情報科学研究科准教授 ) hiour@di.i.ohoku.c.jp ネットワーク最適化問題 ( 無向, 有向 ) グラフ 頂点 (verex, 接点, 点 ) が枝 (edge, 辺, 線 ) で結ばれたもの ネットワーク 頂点や枝に数値データ ( 距離, コストなど ) が付加されたもの

More information

ii 3.,. 4. F. ( ), ,,. 8.,. 1. (75% ) (25% ) =7 24, =7 25, =7 26 (. ). 1.,, ( ). 3.,...,.,.,.,.,. ( ) (1 2 )., ( ), 0., 1., 0,.

ii 3.,. 4. F. ( ), ,,. 8.,. 1. (75% ) (25% ) =7 24, =7 25, =7 26 (. ). 1.,, ( ). 3.,...,.,.,.,.,. ( ) (1 2 )., ( ), 0., 1., 0,. (1 C205) 4 10 (2 C206) 4 11 (2 B202) 4 12 25(2013) http://www.math.is.tohoku.ac.jp/~obata,.,,,..,,. 1. 2. 3. 4. 5. 6. 7. 8. 1., 2007 ( ).,. 2. P. G., 1995. 3. J. C., 1988. 1... 2.,,. ii 3.,. 4. F. ( ),..

More information

土砂流入対策実施計画〔久著呂川〕

土砂流入対策実施計画〔久著呂川〕 22 52 12 3000 2500 2000 1500 (km 2 ) 1000 500 0 1947 1955 1977 1985 1989 1994 2000 22 30 52 60 6 12 2000 1947 2000 110 100 90 (km 2 ) 30 20 10 1947 2000 0 () ( 10 20 () 30 40 50 60 60 a b b

More information

160620_MTIセミナー_国際航業_配布用

160620_MTIセミナー_国際航業_配布用 シームレス 位 置 情 報 の 活 用で 拡 がる IoTビジネス June 22, 2016 国 際 航 業 株 式 会 社 田 端 地 理理 空 間 サービス 部 謙 一 2 3 URL http://biz.kkc.co.jp/ 4 本 日のテーマ 屋 内 測 位 技 術 の 動 向 シームレス 位 置 情 報 の 活 用 事 例例 のご 紹 介 Genavis 測 位 モジュール のご 紹

More information

Microsoft PowerPoint - 9.Analog.ppt

Microsoft PowerPoint - 9.Analog.ppt 9 章 CMOS アナログ基本回路 1 デジタル情報とアナログ情報 アナログ情報 大きさ デジタル信号アナログ信号 デジタル情報 時間 情報処理システムにおけるアナログ技術 通信 ネットワークの高度化 無線通信, 高速ネットワーク, 光通信 ヒューマンインタフェース高度化 人間の視覚, 聴覚, 感性にせまる 脳型コンピュータの実現 テ シ タルコンヒ ュータと相補的な情報処理 省エネルギーなシステム

More information

I II III IV V

I II III IV V I II III IV V N/m 2 640 980 50 200 290 440 2m 50 4m 100 100 150 200 290 390 590 150 340 4m 6m 8m 100 170 250 µ = E FRVβ β N/mm 2 N/mm 2 1.1 F c t.1 3 1 1.1 1.1 2 2 2 2 F F b F s F c F t F b F s 3 3 3

More information

ii 3.,. 4. F. (), ,,. 8.,. 1. (75% ) (25% ) =9 7, =9 8 (. ). 1.,, (). 3.,. 1. ( ).,.,.,.,.,. ( ) (1 2 )., ( ), 0. 2., 1., 0,.

ii 3.,. 4. F. (), ,,. 8.,. 1. (75% ) (25% ) =9 7, =9 8 (. ). 1.,, (). 3.,. 1. ( ).,.,.,.,.,. ( ) (1 2 )., ( ), 0. 2., 1., 0,. 23(2011) (1 C104) 5 11 (2 C206) 5 12 http://www.math.is.tohoku.ac.jp/~obata,.,,,.. 1. 2. 3. 4. 5. 6. 7.,,. 1., 2007 ( ). 2. P. G. Hoel, 1995. 3... 1... 2.,,. ii 3.,. 4. F. (),.. 5.. 6.. 7.,,. 8.,. 1. (75%

More information

MPLS Japan 2015 キャリアサービスへの EVPN 適 用の検討と課題 横 山博基 NTT コミュニケーションズ株式会社 ネットワークサービス部 Copyright NTT Communications Corporation. All right reserved.

MPLS Japan 2015 キャリアサービスへの EVPN 適 用の検討と課題 横 山博基 NTT コミュニケーションズ株式会社 ネットワークサービス部 Copyright NTT Communications Corporation. All right reserved. MPLS Japan 2015 キャリアサービスへの EVPN 適 用の検討と課題 横 山博基 NTT コミュニケーションズ株式会社 ネットワークサービス部 Copyright NTT Communications Corporation. All right reserved. EVPN 評価の 目的 n 通信事業者の置かれている状況 WAN サービスは市場が成熟し 回線単価が下落落 収益は伸び悩み

More information

例 e 指数関数的に減衰する信号を h( a < + a a すると, それらのラプラス変換は, H ( ) { e } e インパルス応答が h( a < ( ただし a >, U( ) { } となるシステムにステップ信号 ( y( のラプラス変換 Y () は, Y ( ) H ( ) X (

例 e 指数関数的に減衰する信号を h( a < + a a すると, それらのラプラス変換は, H ( ) { e } e インパルス応答が h( a < ( ただし a >, U( ) { } となるシステムにステップ信号 ( y( のラプラス変換 Y () は, Y ( ) H ( ) X ( 第 週ラプラス変換 教科書 p.34~ 目標ラプラス変換の定義と意味を理解する フーリエ変換や Z 変換と並ぶ 信号解析やシステム設計における重要なツール ラプラス変換は波動現象や電気回路など様々な分野で 微分方程式を解くために利用されてきた ラプラス変換を用いることで微分方程式は代数方程式に変換される また 工学上使われる主要な関数のラプラス変換は簡単な形の関数で表されるので これを ラプラス変換表

More information

一 羽 田 木 行行 手 手 方

一 羽 田 木 行行 手 手 方 支 月 日 日 長 革 足 力力 生 手 革 日 長 木 人 日 生 青 生 日 力力 生 人 力力 生 方 力力 大 一 方 大 目 革 力力 日 羽 田 日 日 一 羽 田 木 行行 手 手 方 高 日 長 革 羽 田 羽 田 立立 日 一 日 大 入 羽 田 日 行行 首 玄 口 木 西 日 大 日 一 用 入 生 羽 田 羽 田 立立 日 一 日 大 入 手 自 用 人 手 自 力力 小 口

More information

PowerPoint プレゼンテーション

PowerPoint プレゼンテーション ロボットの計画と制御 マルコフ決定過程 確率ロボティクス 14 章 http://www.probabilistic-robotics.org/ 1 14.1 動機付けロボットの行動選択のための確率的なアルゴリズム 目的 予想される不確かさを最小化したい. ロボットの動作につての不確かさ (MDP で考える ) 決定論的な要素 ロボット工学の理論の多くは, 動作の影響は決定論的であるという仮定のもとに成り立っている.

More information

用 2

用 2 木 子 用 2 用 女女 子 女女 子 身 長 力力 力力 力力 力力 3 身 長 力力 足 立立 止 力力 入 4 5 力力 骨 入 高 6 工 高 子 力力 高 支 7 小 入 見見 8 女女 子 力力 女女 子 女女 子 女女 子 見見 9 10 子 女女 子 入 女女 子 自 言 手 女女 子 子 11 女女 子 女女 子 人 12 人 力力 子 人 自 13 用 力力 自 人 用 入 14

More information

DVIOUT

DVIOUT 第 章 離散フーリエ変換 離散フーリエ変換 これまで 私たちは連続関数に対するフーリエ変換およびフーリエ積分 ( 逆フーリエ変換 ) について学んできました この節では フーリエ変換を離散化した離散フーリエ変換について学びましょう 自然現象 ( 音声 ) などを観測して得られる波 ( 信号値 ; 観測値 ) は 通常 電気信号による連続的な波として観測機器から出力されます しかしながら コンピュータはこの様な連続的な波を直接扱うことができないため

More information

1 12 ( )150 ( ( ) ) x M x 0 1 M 2 5x 2 + 4x + 3 x 2 1 M x M 2 1 M x (x + 1) 2 (1) x 2 + x + 1 M (2) 1 3 M (3) x 4 +

1 12 ( )150 ( ( ) ) x M x 0 1 M 2 5x 2 + 4x + 3 x 2 1 M x M 2 1 M x (x + 1) 2 (1) x 2 + x + 1 M (2) 1 3 M (3) x 4 + ( )5 ( ( ) ) 4 6 7 9 M M 5 + 4 + M + M M + ( + ) () + + M () M () 4 + + M a b y = a + b a > () a b () y V a () V a b V n f() = n k= k k () < f() = log( ) t dt log () n+ (i) dt t (n + ) (ii) < t dt n+ n

More information

Interviewtemplate_ver1.00.ppt

Interviewtemplate_ver1.00.ppt インタビューテンプレート Ver.1.00 シートタイプ PDF 版 インタビューテンプレートについて すぐに使えるインタビュー カスタマイズして使おう! このインタビューテンプレートは ユーザーインタビューで利利 用できる実践的な記 入シートです 効果的なインタ ビューができるように 計画 実施のタイミングにあわせ て計 9 枚のシートを 用意しています インタビュー調査の 目的にあわせて使うシートを選び

More information

() n C + n C + n C + + n C n n (3) n C + n C + n C 4 + n C + n C 3 + n C 5 + (5) (6 ) n C + nc + 3 nc n nc n (7 ) n C + nc + 3 nc n nc n (

() n C + n C + n C + + n C n n (3) n C + n C + n C 4 + n C + n C 3 + n C 5 + (5) (6 ) n C + nc + 3 nc n nc n (7 ) n C + nc + 3 nc n nc n ( 3 n nc k+ k + 3 () n C r n C n r nc r C r + C r ( r n ) () n C + n C + n C + + n C n n (3) n C + n C + n C 4 + n C + n C 3 + n C 5 + (4) n C n n C + n C + n C + + n C n (5) k k n C k n C k (6) n C + nc

More information

オートマトン 形式言語及び演習 1. 有限オートマトンとは 酒井正彦 形式言語 言語とは : 文字列の集合例 : 偶数個の 1 の後に 0 を持つ列からなる集合 {0, 110, 11110,

オートマトン 形式言語及び演習 1. 有限オートマトンとは 酒井正彦   形式言語 言語とは : 文字列の集合例 : 偶数個の 1 の後に 0 を持つ列からなる集合 {0, 110, 11110, オートマトン 形式言語及び演習 1 有限オートマトンとは 酒井正彦 wwwtrscssinagoya-uacjp/~sakai/lecture/automata/ 形式言語 言語とは : 文字列の集合例 : 偶数個の 1 の後に 0 を持つ列からなる集合 {0, 110, 11110, } 形式言語 : 数学モデルに基づいて定義された言語 認識機械 : 文字列が該当言語に属するか? 文字列 機械 受理

More information

90 16.4 20.2 33.0 33.5 34.1 33.7 34.33 26.0 32.6 20.9 (28) (44) (55) (-39) (34) 847(48.3) 345(19.7) (37) (30) (42) (19) 96(5.5) 5) (25) 330(18.8) 137(7.8) 91 100% 90% 12.8% 12.5% 12% 69% 6.9% 9.1% 12.6%

More information

SPring-8ワークショップ_リガク伊藤

SPring-8ワークショップ_リガク伊藤 GI SAXS. X X X X GI-SAXS : Grazing-incidence smallangle X-ray scattering. GI-SAXS GI-SAXS GI-SAXS X X X X X GI-SAXS Q Y : Q Z : Q Y - Q Z CCD Charge-coupled device X X APD Avalanche photo diode - cps 8

More information

大規模な組合せ最適化問題に対する 発 見見的解法 大阪 大学 大学院情報科学研究科 科学技術振興機構 梅 谷俊治 2014 年年 3 月 12 日 数学協働プログラムチュートリアル ビッググラフと最適化

大規模な組合せ最適化問題に対する 発 見見的解法 大阪 大学 大学院情報科学研究科 科学技術振興機構 梅 谷俊治 2014 年年 3 月 12 日 数学協働プログラムチュートリアル ビッググラフと最適化 大規模な組合せ最適化問題に対する 発 見見的解法 大阪 大学 大学院情報科学研究科 科学技術振興機構 梅 谷俊治 2014 年年 3 月 12 日 数学協働プログラムチュートリアル ビッググラフと最適化 講演の概要 かつては IT インフラの整備, 今は 大規模データの解析, 将来は効率率率的な計画の 立立案 運 用が重要な課題になる? 実世界から収集された 大規模データに基づく 大規模かつ多様な組合せ最適化問題を効率率率良良く解くことが求められる?

More information

Microsoft PowerPoint - summer_school_for_web_ver2.pptx

Microsoft PowerPoint - summer_school_for_web_ver2.pptx スピン流で観る物理現象 大阪大学大学院理学研究科物理学専攻 新見康洋 スピントロニクスとは スピン エレクトロニクス メモリ産業と深くつなが ている メモリ産業と深くつながっている スピン ハードディスクドライブの読み取りヘッド N 電荷 -e スピンの流れ ピ の流れ スピン流 S 巨大磁気抵抗効果 ((GMR)) from http://en.wikipedia.org/wiki/disk_readand-write_head

More information

050920_society_kmiz.odp

050920_society_kmiz.odp 1 リアルタイム伝搬測定にもとづく MIMO 固有モード間相関解析 Correlation Analysis of MIMO Eigenmodes Based on Real-Time Channel Measurement 水谷慶阪口啓高田潤一荒木純道 Kei Mizutani Kei Sakaguchi Jun-ichi Takada Kiyomichi Araki 東京工業大学 発表内容 研究背景

More information

Microsoft PowerPoint - 13approx.pptx

Microsoft PowerPoint - 13approx.pptx I482F 実践的アルゴリズム特論 13,14 回目 : 近似アルゴリズム 上原隆平 (uehara@jaist.ac.jp) ソートの下界の話 比較に基づく任意のソートアルゴリズムはΩ(n log n) 時間の計算時間が必要である 証明 ( 概略 ) k 回の比較で区別できる場合の数は高々 2 k 種類しかない n 個の要素の異なる並べ方は n! 通りある したがって少なくとも k n 2 n!

More information

PowerPoint プレゼンテーション

PowerPoint プレゼンテーション 東北大学サイクロトロン ラジオアイソトープセンター測定器研究部内山愛子 2 電子の永久電気双極子能率 EDM : Permanent Electric Dipole Moment 電子のスピン方向に沿って生じる電気双極子能率 標準模型 (SM): クォークを介した高次の効果で電子 EDM ( d e ) が発現 d e SM < 10 38 ecm M. Pospelov and A. Ritz,

More information

27 1 NP NP-completeness of Picross 3D without segment-information and that with height of one

27 1 NP NP-completeness of Picross 3D without segment-information and that with height of one 27 1 NP NP-completeness of Picross 3D without segment-information and that with height of one 115282 216 2 26 1 NP.,,., NP, 1 P.,, 1 NP, 3-SAT., NP, i Abstract NP-completeness of Picross 3D without segment-information

More information

Microsoft PowerPoint - 計測工学第7回.pptx

Microsoft PowerPoint - 計測工学第7回.pptx 計測工学講義 第 7 回目 担当 : 西野信博 A3-525 号室 nishino@hiroshima-u.ac.jp home.hiroshima-u.ac.jp/nishino/ 1 プラズマ実験装置 NSTX(Princeton) 目 次 第 2 章スペクトル解析 フーリエ展開とフーリエ変換 相関関数とパワースペクトル 2 3 演習 スペクトル解析とはどのようなものかを わかりやすく簡潔に説明せよ

More information

Pi- SAR Pi- SAR2 の 観測データ検索索 配信システムの開発 情報通信研究機構 情報通信研究機構 情報通信研究機構 情報通信研究機構 富 士通 FIP 富 士通 FIP 児島正 一郎郎 上本純平 木下武也 村 山泰啓 蒲 生京佳 笠笠井尚徳

Pi- SAR Pi- SAR2 の 観測データ検索索 配信システムの開発 情報通信研究機構 情報通信研究機構 情報通信研究機構 情報通信研究機構 富 士通 FIP 富 士通 FIP 児島正 一郎郎 上本純平 木下武也 村 山泰啓 蒲 生京佳 笠笠井尚徳 Pi- SAR Pi- SAR2 の 観測データ検索索 配信システムの開発 情報通信研究機構 情報通信研究機構 情報通信研究機構 情報通信研究機構 富 士通 FIP 富 士通 FIP 児島正 一郎郎 上本純平 木下武也 村 山泰啓 蒲 生京佳 笠笠井尚徳 仙台空港周辺 (2011 年 3 月 12 日 ) 研究の背景と 目的 n NICT は 2008 年年より Pi- SAR2 の運 用を開始し

More information

第6章 実験モード解析

第6章 実験モード解析 第 6 章実験モード解析 6. 実験モード解析とは 6. 有限自由度系の実験モード解析 6.3 連続体の実験モード解析 6. 実験モード解析とは 実験モード解析とは加振実験によって測定された外力と応答を用いてモードパラメータ ( 固有振動数, モード減衰比, 正規固有モードなど ) を求める ( 同定する ) 方法である. 力計 試験体 変位計 / 加速度計 実験モード解析の概念 時間領域データを利用する方法

More information

uTrack24_ProductManual_T pages

uTrack24_ProductManual_T pages プロダクトマニュアル (PRODUCT MANUAL) 1.... 3 1.1. AC... 3 1.2.... 3 1.3.... 3 1.4.... 3 1.5.... 3 1.6.... 3 2.... 3 2.1.... 3 2.2.... 3 3.... 4 4.... 5 5.UTRACK 24... 5 24... 5 24... 5 24 24... 6 6.... 6 7....

More information

カイ二乗フィット検定、パラメータの誤差

カイ二乗フィット検定、パラメータの誤差 統計的データ解析 008 008.. 林田清 ( 大阪大学大学院理学研究科 ) 問題 C (, ) ( x xˆ) ( y yˆ) σ x πσ σ y y Pabx (, ;,,, ) ˆ y σx σ y = dx exp exp πσx ただし xy ˆ ˆ はyˆ = axˆ+ bであらわされる直線モデル上の点 ( ˆ) ( ˆ ) ( ) x x y ax b y ax b Pabx (,

More information

2016select追加小冊子_0704出稿0706修正.indd

2016select追加小冊子_0704出稿0706修正.indd -JPN3 -JPN3 -G1 -G1 -G3 -OP -OP -OP -G3 -G3 -G3 -G3 -G3 -L -L -G1 -JPN1 -OP -G3 -OP -JPN2 -G3 -JPN1 -G3 -G3 -L-L -L -L -G3 -L -L -G2 -L -G3 -G1 -G2 -G2 -G3 -L -G1 -G2 -G3 -G1 -G3 -L -L -L -G3 -G3 -L -G1

More information

COMPUTING THE LARGEST EMPTY RECTANGLE

COMPUTING THE LARGEST EMPTY RECTANGLE COMPUTING THE LARGEST EMPTY RECTANGLE B.Chazelle, R.L.Drysdale and D.T.Lee SIAM J. COMPUT Vol.15 No.1, February 1986 2012.7.12 TCS 講究関根渓 ( 情報知識ネットワーク研究室 M1) Empty rectangle 内部に N 個の点を含む領域長方形 (bounding

More information

取扱説明書

取扱説明書 TK-200 c OP PGM OP PGM y x f u - v m r R t Å 19 0^. o d i c k w P E 1234%678 1234%678 y r 100V 31 1 2 ) ) 1 2 3 4 5 6 7 5 6 7 8 J J 9 1 2 3 4 ) ) ) ) ) ) @ 1 2 3 1 1 1 y 0 y 2 0 y 0 3 2 y 0 e08 @

More information

PowerPoint Presentation

PowerPoint Presentation 最適化手法 第 回 工学部計数工学科 定兼邦彦 http://researchmap.jp/sada/resources/ 前回の補足 グラフのある点の隣接点をリストで表現すると説明したが, 単に隣接点の集合を持っていると思ってよい. 互いに素な集合のデータ構造でも, 単なる集合と思ってよい. 8 3 4 3 3 4 3 4 E v 重み 3 8 3 4 4 3 {{,},{3,8}} {{3,},{4,}}

More information

H AB φ A,1s (r r A )Hφ B,1s (r r B )dr (9) S AB φ A,1s (r r A )φ B,1s (r r B )dr (10) とした (S AA = S BB = 1). なお,H ij は共鳴積分 (resonance integra),s ij は重

H AB φ A,1s (r r A )Hφ B,1s (r r B )dr (9) S AB φ A,1s (r r A )φ B,1s (r r B )dr (10) とした (S AA = S BB = 1). なお,H ij は共鳴積分 (resonance integra),s ij は重 半経験量子計算法 : Tight-binding( 強結合近似 ) 計算の基礎 1. 基礎 Tight-binding 近似 ( 強結合近似, TB 近似あるいは TB 法などとも呼ばれる ) とは, 電子が強く拘束されており隣り合う軌道へ自由に移動できない, とする近似であり, 自由電子近似とは対極にある. 但し, 軌道間はわずかに重なり合っているので, 全く飛び移れないわけではない. Tight-binding

More information

表1_表4

表1_表4 HN- 95 HN- 93 HN- 90 HN- 87 HN- 85 HN- 82 HN- 80 HN- 77 HN- 75 HN- 72 HN- 70 HN- 67 HN- 65 HN- 60 HN- 55 HN- 50 HN- 45 HN- 40 HN- 35 HN- 30 HN- 25 HN- 20 HN- 15 HN- 10 H02-80H H02-80L H02-70T H02-60H H05-60F

More information

服用者向け_資料28_0623

服用者向け_資料28_0623 1 2 3 1. 2. 4 3. 4. 1. 5 2. 3. 4. 5. 6 6. 7. 8. 7 9. 10. 11. 8 12. 9 10 11 12 Q-1 : OC Q-2 : OC Q-3 : 21 OC 28 OC 13 Q-4 : OC Q-5 : OC Q-6 : OC 14 Q-7 : Q-8 : OC Q-9 : OC Q-10 : OC Q-11 : OC 15 Q-12 :

More information

P,2 P,3~5 P,6~10 P11~14 P,15~18 P,19~22 P,23 1

P,2 P,3~5 P,6~10 P11~14 P,15~18 P,19~22 P,23 1 P,2 P,3~5 P,6~10 P11~14 P,15~18 P,19~22 P,23 1 2 3 4 5 3 4 6 7 2 2 4100 1 1983 6 1980 CD 3 1 90 1 4 TPO 5 5 5 PCAV IT 2030 5 6 2030 6 2030 2030 25 23 22 18 12 12 7 (a) 35 830 12 (b) 11 200 1040 OVA (c)

More information

RX501NC_LTE Mobile Router取説.indb

RX501NC_LTE Mobile Router取説.indb 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 1 2 3 4 5 6 7 8 19 20 21 22 1 1 23 1 24 25 1 1 26 A 1 B C 27 D 1 E F 28 1 29 1 A A 30 31 2 A B C D E F 32 G 2 H A B C D 33 E 2 F 34 A B C D 2 E 35 2 A B C D 36

More information

Visual Website Optimizer Visual Website Optimizer( 略略称 VWO) とは A/Bテストツールの1つで 既存のWebサイトの売上げや問い合わせ件数増加といった 目標の達成率率率を 向上させる 方法を 見見つけることが可能なツールです どういうページが

Visual Website Optimizer Visual Website Optimizer( 略略称 VWO) とは A/Bテストツールの1つで 既存のWebサイトの売上げや問い合わせ件数増加といった 目標の達成率率率を 向上させる 方法を 見見つけることが可能なツールです どういうページが AB Visual Website Optimizer 1 Copyright (c) 2016 Assion,inc.All Right Reserved. Visual Website Optimizer Visual Website Optimizer( 略略称 VWO) とは A/Bテストツールの1つで 既存のWebサイトの売上げや問い合わせ件数増加といった 目標の達成率率率を 向上させる

More information

1 9 v.0.1 c (2016/10/07) Minoru Suzuki T µ 1 (7.108) f(e ) = 1 e β(e µ) 1 E 1 f(e ) (Bose-Einstein distribution function) *1 (8.1) (9.1)

1 9 v.0.1 c (2016/10/07) Minoru Suzuki T µ 1 (7.108) f(e ) = 1 e β(e µ) 1 E 1 f(e ) (Bose-Einstein distribution function) *1 (8.1) (9.1) 1 9 v..1 c (216/1/7) Minoru Suzuki 1 1 9.1 9.1.1 T µ 1 (7.18) f(e ) = 1 e β(e µ) 1 E 1 f(e ) (Bose-Einstein distribution function) *1 (8.1) (9.1) E E µ = E f(e ) E µ (9.1) µ (9.2) µ 1 e β(e µ) 1 f(e )

More information

I-2 (100 ) (1) y(x) y dy dx y d2 y dx 2 (a) y + 2y 3y = 9e 2x (b) x 2 y 6y = 5x 4 (2) Bernoulli B n (n = 0, 1, 2,...) x e x 1 = n=0 B 0 B 1 B 2 (3) co

I-2 (100 ) (1) y(x) y dy dx y d2 y dx 2 (a) y + 2y 3y = 9e 2x (b) x 2 y 6y = 5x 4 (2) Bernoulli B n (n = 0, 1, 2,...) x e x 1 = n=0 B 0 B 1 B 2 (3) co 16 I ( ) (1) I-1 I-2 I-3 (2) I-1 ( ) (100 ) 2l x x = 0 y t y(x, t) y(±l, t) = 0 m T g y(x, t) l y(x, t) c = 2 y(x, t) c 2 2 y(x, t) = g (A) t 2 x 2 T/m (1) y 0 (x) y 0 (x) = g c 2 (l2 x 2 ) (B) (2) (1)

More information

PowerPoint プレゼンテーション

PowerPoint プレゼンテーション 天下一プログラマーコンテスト 2014 決勝解説 AtCoder 株式会社代表取締役 高橋直大 2014/9/8 1 A 問題塙さん 1. 問題概要 2. アルゴリズム 2014/9/8 AtCoder Inc. All rights reserved. 2 A 問題問題概要 正の整数 X の h 進数での表現が以下の条件を満たすとき X は塙さんであるという 同じ文字の出現回数は n 回以下である

More information

平成27年度三菱重工グループ保険 フルガードくん(シニア)

平成27年度三菱重工グループ保険 フルガードくん(シニア) TEL 0120-004-443 TEL 045-200-6560 TEL 042-761-2328 TEL 0120-539-022 TEL 042-762-0535 TEL 052-565-5211 TEL 077-552-9161 TEL 0120-430-372 TEL 0120-45-9898 TEL 0120-63-0051 TEL 0120-252-892 TEL 083-266-8041

More information

2016/6/3 IMJ ClickTracks Ver.6 の販売を開始! リリース情報 Press Room ClickTracks Ver.6 の販売を開始! 2007/04/04 IMJ ビジネスコンサルティング 株式会社株式会社インフィネット 株式会社アイ エム ジェイ ( 本社 : 東京

2016/6/3 IMJ ClickTracks Ver.6 の販売を開始! リリース情報 Press Room ClickTracks Ver.6 の販売を開始! 2007/04/04 IMJ ビジネスコンサルティング 株式会社株式会社インフィネット 株式会社アイ エム ジェイ ( 本社 : 東京 ClickTracks Ver.6 の販売を開始! 2007/04/04 IMJ ビジネスコンサルティング 株式会社株式会社インフィネット 株式会社アイ エム ジェイ ( 本社 : 東京都品川区代表取締役社長 : 樫野孝人以下 IMJ) のグループ会社であるIMJビジネスコンサルティング株式会社 ( 本社 : 東京都品川区代表取締役 : 長崎次一以下 IMJ BC) と オンラインビジネスツール開発会社の株式会社インフィネット

More information

FLIRTools+デモ手順書

FLIRTools+デモ手順書 FLIRTools+ 簡易取扱説明書 FLIR Tools+ 手順書 1. FLIR ToolsをPCにインストールする 2. Tools+ ライセンス番号を認識させる 3. カメラの電源を入れ USBでPCと接続する 4. 表示設定 5. 静止画を撮影する 6. 動画記録スピードを設定する 7. 動画を記録する / 停止する 8. 動画からグラフを作成する 9. グラフデータ ( 温度値 ) をExcelにペーストする

More information

Microsoft Word - フローサイトメーター新規利用者ガイド.docx

Microsoft Word - フローサイトメーター新規利用者ガイド.docx フローサイトメーター新規利利 用者ガイド ( 参考 : FCM の原理理 入 門講座サイトメトリードットコム / ベックマンコールター http://www.bc-cytometry.com/fcm/fcmprinciple.html) フローサイトメーター とは 蛍光標識識した細胞浮遊液を特殊な流流路路に 高速で流流し レーザーを当てることで発 生した散乱光や蛍光の強度度を測定し それによって個々の細胞の性質を迅速かつ

More information

オートマトン 形式言語及び演習 3. 正規表現 酒井正彦 正規表現とは 正規表現 ( 正則表現, Regular Expression) オートマトン : 言語を定義する機械正規表現 : 言語

オートマトン 形式言語及び演習 3. 正規表現 酒井正彦   正規表現とは 正規表現 ( 正則表現, Regular Expression) オートマトン : 言語を定義する機械正規表現 : 言語 オートマトン 形式言語及び演習 3. 酒井正彦 www.trs.css.i.nagoya-u.ac.jp/~sakai/lecture/automata/ とは ( 正則表現, Regular Expression) オートマトン : 言語を定義する機械 : 言語を記号列で定義 - 記述しやすい ( ユーザフレンドリ ) 例 :01 + 10 - UNIX の grep コマンド - UNIX の

More information

Microsoft PowerPoint SCOPE-presen

Microsoft PowerPoint SCOPE-presen H19-21 SCOPE 若手 ICT 研究者育成型研究開発 楕円曲線暗号を用いた 匿名認証基盤の研究開発 岡山大学大学院自然科学研究科 中西 野上 透 保之 1 研究の背景 ユビキタス社会では ユーザ認証を通じ ユーザ認証を通じユーザの様々な履歴がサーバに蓄積 ID:Alice Pass: ***** ユーザ ID:Alice インターネットサーバ 様々な機器からの利用 様々な場所からの利用 Pass:

More information

ミルビィとは 導 入 一 例 2

ミルビィとは 導 入 一 例 2 クラウド 型 会 員 制 動 画 配 信 システムのご 紹 介 Copyright 2014 J's Communication Co., Ltd. All rights reserved. ミルビィとは 導 入 一 例 2 会 員 制 動 画 配 信 システムのサービス 概 要 (ドウパ)とはミルビィと 連 携 したクローズドな 環 境 での 利利 用を 想 定 した 動 画 共 有 システムです

More information

note4.dvi

note4.dvi 10 016 6 0 4 (quantum wire) 4.1 4.1.1.6.1, 4.1(a) V Q N dep ( ) 4.1(b) w σ E z (d) E z (d) = σ [ ( ) ( )] x w/ x+w/ π+arctan arctan πǫǫ 0 d d (4.1) à ƒq [ƒg w ó R w d V( x) QŽŸŒ³ džq x (a) (b) 4.1 (a)

More information

SE法の基礎

SE法の基礎 SE 法の基礎 近畿大学医学部奈良病院阪本貴博 本日の内容 Principle of MRI SE 法の基礎 MRI とは SE 法とは 縦緩和と横緩和 TR と TE コントラスト MRI とは Magnetic Resonance Imaging: 核磁気共鳴画像法 MRI に必要な 3 つの要素 N S + + + 静磁場 ( 磁石 ) 水素原子 電波 (RF) 静磁場と電波 (RF) を使って水素原子の様子を画像化している

More information

本文/報告1

本文/報告1 Millimeter wave Radio on Fiber System for Digital Broadcasting Signals Tsuyoshi NAKATOGAWA, Mikio MAEDA and Kimiyuki OYAMADA ABSTRACT 24 NHK R&D/No.127/2011.5 f C f sig f car f car f car + f sig f C f

More information

スライド 1

スライド 1 Keal H. Sahn A R. Crc: A dual teperature sulated annealng approach for solvng blevel prograng probles Coputers and Checal Engneerng Vol. 23 pp. 11-251998. 第 12 回論文ゼミ 2013/07/12( 金 ) #4 M1 今泉孝章 2 段階計画問題とは

More information

インターリーブADCでのタイミングスキュー影響のデジタル補正技術

インターリーブADCでのタイミングスキュー影響のデジタル補正技術 1 インターリーブADCでのタイミングスキュー影響のデジタル補正技術 浅見幸司 黒沢烈士 立岩武徳 宮島広行 小林春夫 ( 株 ) アドバンテスト 群馬大学 2 目次 1. 研究背景 目的 2. インターリーブADCの原理 3. チャネル間ミスマッチの影響 3.1. オフセットミスマッチの影響 3.2. ゲインミスマッチの影響 3.3. タイミングスキューの影響 4. 提案手法 4.1. インターリーブタイミングミスマッチ補正フィルタ

More information

             論文の内容の要旨

             論文の内容の要旨 論文の内容の要旨 論文題目 Superposition of macroscopically distinct states in quantum many-body systems ( 量子多体系におけるマクロに異なる状態の重ね合わせ ) 氏名森前智行 本論文では 量子多体系におけるマクロに異なる状態の重ねあわせを研究する 状態の重ね合わせ というのは古典論には無い量子論独特の概念であり 数学的には

More information

4 i

4 i 22 Quantum error correction and its simulation 1135071 2011 3 1 4 i Abstract Quantum error correction and its simulation Hiroko Dehare Researches in quantum information theory and technology, that mix

More information

untitled

untitled 20 7 1 22 7 1 1 2 3 7 8 9 10 11 13 14 15 17 18 19 21 22 - 1 - - 2 - - 3 - - 4 - 50 200 50 200-5 - 50 200 50 200 50 200 - 6 - - 7 - () - 8 - (XY) - 9 - 112-10 - - 11 - - 12 - - 13 - - 14 - - 15 - - 16 -

More information

untitled

untitled 19 1 19 19 3 8 1 19 1 61 2 479 1965 64 1237 148 1272 58 183 X 1 X 2 12 2 15 A B 5 18 B 29 X 1 12 10 31 A 1 58 Y B 14 1 25 3 31 1 5 5 15 Y B 1 232 Y B 1 4235 14 11 8 5350 2409 X 1 15 10 10 B Y Y 2 X 1 X

More information

Microsoft PowerPoint - 阪大XFELシンポジウム_Tono.ppt [互換モード]

Microsoft PowerPoint - 阪大XFELシンポジウム_Tono.ppt [互換モード] X 線自由電子レーザーシンポジウム 10 月 19 日大阪大学レーザー研 X 線自由電子レーザーを用いた利用研究 登野健介 理研 /JASRI X 線自由電子レーザー計画合同推進本部 1 科学の基本中の基本 : 光 ( 電磁波 ) による観察 顕微鏡 望遠鏡 細胞の顕微鏡写真 赤外望遠鏡 ( すばる ) で観測した銀河 2 20 世紀の偉大な発明 : 2 種類の人工光源 レーザー LASER: Light

More information

資料提供 : 東京工業大学 この高い周波数帯を情報通信に利用する技術開発は 現在各国の研究機関や企業が積極的に取り組んでおり 国際標準化機関であるIEEE802 委員会で規格化されたものとしては60GH z 帯の無線 LAN 規格 IEEE ad(WiGigとも呼ばれた ) がある これ

資料提供 : 東京工業大学 この高い周波数帯を情報通信に利用する技術開発は 現在各国の研究機関や企業が積極的に取り組んでおり 国際標準化機関であるIEEE802 委員会で規格化されたものとしては60GH z 帯の無線 LAN 規格 IEEE ad(WiGigとも呼ばれた ) がある これ IT IT 製品 TOP > ネットワーク機器 > 無線 LAN > 無線 LAN の IT 特集 > 特集詳細 2016/05/11 最新キーワードを5 分で理解するこのコーナー 今回のテーマは ミリ波帯超高速通信 技術です 無線 LANのIEEE 802.11acの次の高速 Wi FiとされるIEEE 802.11ad(WiGi g) さらにその次のIEEE 802.11ay あるいは超高速近接無線通信のIEEE

More information

計算機アーキテクチャ

計算機アーキテクチャ 計算機アーキテクチャ 第 11 回命令実行の流れ 2014 年 6 月 20 日 電気情報工学科 田島孝治 1 授業スケジュール ( 前期 ) 2 回日付タイトル 1 4/7 コンピュータ技術の歴史と コンピュータアーキテクチャ 2 4/14 ノイマン型コンピュータ 3 4/21 コンピュータのハードウェア 4 4/28 数と文字の表現 5 5/12 固定小数点数と浮動小数点表現 6 5/19 計算アーキテクチャ

More information

TX M - / T TX M - 20 / T X Y TXMTX

TX M - / T TX M - 20 / T X Y TXMTX 高精密位置決めテーブル TX TX M Points スライドテーブル スライドテー 転がり案内方式で究極の高精度テーブル ボールねじ 1 2 高精度 高剛性な精密位置決めテーブルHをベースに 究極の転がり案内CルーブリニアローラウェイスーパーXを 組み込み 各部精度を徹底的に追求し エアステージに迫る位置決め精度を実現した位置決めテーブルです リニアローラウェイ リニアエンコーダ 分解能0.016μmの超高精度リニアエンコーダから

More information

物流を効率化したい:物流におけるムダの削減v10.key

物流を効率化したい:物流におけるムダの削減v10.key お電話でのご相談 お問い合わせはイーナヤマト 社 長島耕作の課題 弘兼憲史 / 講談社 物流流の流流れや仕組み 資材を 見見直すことで 大幅な効率率率アップや資産価値向上を実現します Copyright 2015 YAMATO HOLDINGS Co., Ltd. All Rights Reserved. お電話でのご相談 お問い合わせはイーナヤマト 社 長島耕作の課題 お届けの現場を 見見直せば策が分かる!

More information

Microsoft PowerPoint - 第06章振幅変調.pptx

Microsoft PowerPoint - 第06章振幅変調.pptx 通信システムのモデル コミュニケーション工学 A 第 6 章アナログ変調方式 : 振幅変調 変調の種類振幅変調 () 検波出力の信号対雑音電力比 (S/N) 送信機 送信メッセージ ( 例えば音声 ) をアナログまたはディジタル電気信号に変換. 変調 : 通信路で伝送するのに適した周波数帯の信号波形へ変換. 受信機フィルタで邪魔な雑音を除去し, 処理しやすい電圧まで増幅. 復調 : もとの周波数帯の電気信号波形に変換し,

More information

はじめに...3 操作...4 取付位置 & ユニット寸法...5 IMU03 / YAW03 を RACRLOGIC 社製 VBOX データロガーと共に使用する場合...7 VBOX 以外のデータロガーと共に IMU03 / YAW03 を使用する場合...8 STAND ALONE MODULE

はじめに...3 操作...4 取付位置 & ユニット寸法...5 IMU03 / YAW03 を RACRLOGIC 社製 VBOX データロガーと共に使用する場合...7 VBOX 以外のデータロガーと共に IMU03 / YAW03 を使用する場合...8 STAND ALONE MODULE IMU03 & YAW03 ( ヨーレートセンサー 3 軸ジャイロ加速度センサー ) ユーザーガイド RLVBIMU03 RLVBYAW03 ページ 1 / 19 はじめに...3 操作...4 取付位置 & ユニット寸法...5 IMU03 / YAW03 を RACRLOGIC 社製 VBOX データロガーと共に使用する場合...7 VBOX 以外のデータロガーと共に IMU03 / YAW03

More information