名古屋大学大学院情報科学研究科計算機数理科学専攻 Coloured Petri Net NETW SENDER x x Pub(B,(x,A) ORK ) w w X Pub(A,X) (z,(y,B)) Pub(B,y) Pub(B,X) X RECEIVER w w Pub(u,(x,(y,B))) (x,u) y Pub(B,X’) X’ X Pub(x,X) x Pub(x,X)x X w w X X’(X,X’) (X,X’)X X’ INTRUDER y 計算機数理科学専攻 dx/dt=ax+by dy/dt=cx+dy 確率解析数理モデル遺伝子情報解析情報数理モデル論数理ファイナンス量子符号暗号量子情報数理計画最適化計算論確率制御学習理論自然現象社会現象データサイエンス情報理論情報科学の基盤論理モデリングデータ構造暗号理論アルゴリズム計算モデル論並列処理項書換え系符号理論グラフ実験計画離散数学数論数理科学情報数理基礎論組合せデザイン計算理論計算量理論数理論理集合論計算機数理科学専攻  講座構成(H22.4.1現在) 情報数理基礎講座教授：安本雅洋，松原洋，神保雅一准教授：佐藤潤也，吉信康夫助教：澤正憲情報数理モデル論講座教授：小澤正直准教授：金森敬文，貝瀬秀裕計算論講座教授：平田富夫，酒井正彦准教授：柳浦睦憲，草刈圭一朗研究グループ１．数理論理（超準モデル，計算量理論）２．集合論（公理的集合論，巨大基数公理）３．離散数学（組合せデザイン，暗号，符号）４．数論（相互法則，q-analogue，暗号）５．確率論（確率過程，数理ファイナンス）６．数値解析（微分方程式，並列計算）７．量子情報（量子測定・計算・暗号，量子集合論）８．統計科学 (機械学習，数理統計，最適化) ９．アルゴリズム（近似アルゴリズム，最適化） 10．計算理論（項書換え系，定理の証明可能性）講義課目博士課程前期課程(修士)  計算機数理科学特論  数理論理学特論  計算基礎特論  離散数学特論  組合せ数理特論  量子情報特論  統計解析特論  確率解析学特論  情報理論特論  オートマトン・形式言語特論  最適化特論  アルゴリズム特論  計算機科学論理特論  計算機数理科学演習A,B,C,D  計算機数理科学特別講義1,2  その他セミナー  単位互換協定科目（南山大学）他研究科・他大学の単位は最大6単位まで修了単位として認められる博士後期はセミナー主体計算機数理科学専攻の修士課程修了生の進路 H19年度 H20年度 H21年度㈱日立製作所 2名岐阜県公立高校教員日本電気㈱㈱日本航空ｲﾝﾀｰﾅｼｮﾅﾙ㈱日建設計大日本印刷㈱中央三井ﾄﾗｽﾄｸﾞﾙｰﾌﾟ㈱NTTデータ村田機械㈱ NTTコムウェア㈱東日本電信電話㈱ﾊﾟﾅｿﾆｯｸｱﾄﾞﾊﾞﾝｽﾄﾃｸﾉﾛｼﾞｰ㈱博士課程進学 2名博士課程進学 1名㈱ﾃﾞﾝｿｰｸﾘｴｲﾄ 2名㈱日立製作所㈱富士通ｱﾄﾞﾊﾞﾝｽﾄｿﾘｭｰｼｮﾝｽﾞ日立ｿﾌﾄｳｪｱｴﾝｼﾞﾆｱﾘﾝｸﾞﾆｯｾｲ同和損害保険㈱スズキ株式会社三菱電機 Pocket Soft 豊商事㈱日本たばこ産業名古屋市教員（中学）㈱コーエー名古屋市役所富士通株式会社㈱かんぽ生命保険新日本製鉄㈱㈱日立製作所日本興和損保㈱JSOL KDDI㈱就職支援  アクチュアリー採用銀行・証券・損保など・アクチュアリー試験・勉強会を行ってます．  数学＋情報  大学推薦も可教員免許取得学生支援  奨学金日本学生支援機構  学術奨励賞奨学金・D1の学生で人物・研究水準とも優秀なもの、指導教員と研究科長が推薦したもの（年額30万円を3年間）  日本学術振興会特別研究員・D1,D2の学生で優れた研究能力を有し、研究に専念することを希望する者（20万円/月、研究費150万円以内/年）  すぐれた研究に対して海外発表の旅費支援教育研究環境  指導教員     2年間一人の教員が主指導教員として毎週セミナーなどで継続的にていねいに指導し，さらに副指導教員に相談することもできます. 院生研究室各自1つずつデスクがあります．パソコンパソコンが貸与され，在学中自由に使用できます. 院生旅費研究発表をするために研究集会に参加する旅費が支給されます. 中間発表を修士2年の夏に行い，そのあとみんなでビアパーティを行います．超準モデルとその計算量理論への応用情報数理基礎論講座  研究テーマ(数学基礎論）安本雅洋・数理論理学・超準モデル弱い数学的帰納法(Ｓ２)の超・多項式時間計算量準モデルの構造分析とその計算量階層(ＰＨ)の分離問題への応用Ｓ２：数学的帰納法に一定の制限を加えた公理系ＮＰ：非決定性Turing機械で多項式時間に計算できる計算量(巡回セールスマン問題,ナップサック問題など）Ｐ：決定性Turing機械で多項式時間に計算できる計算量＊情報文化学部自然情報学科数理情報系巨大基数公理と無限組合せ論情報数理基礎論講座  巨大基数公理による独立命題松原洋・吉信康夫・数学基礎論・公理的集合論の真偽決定（ゲーデルのプログラムの遂行）・巨大基数公理イデアルの巨大基数的性質：種々のイデアルから構成される生成的超冪を通して、その巨大基数的性質や諸公理との関連を調べる強制公理と無限組合せ論：巨大基数公理の変種である種々の強制公理の相互の関連や、モデルの変形に対する保存性,無限組合せ論への影響などを調べる無矛盾性の強さの研究：強制法と内部モデルを用いて、さまざまな命題についてそれと同等な無矛盾性の強さをもつ巨大基数を決定する＊情報文化学部自然情報学科数理情報系離散数学とその情報科学への応用情報数理基礎論講座  研究テーマ神保・組合せ論・符号・暗号雅一・澤・離散統計解析離散数学組合せデザイン，符号，暗号，・遺伝子解析への応用グラフ統計的実験計画法組合せデザインと最適計画 DNA pooling experiment 遺伝子情報解析実験のための最適計画とpositive識別アルゴリズム＊情報文化学部自然情報学科数理情報系正憲相互法則が支配する数論の研究情報数理基礎論講座  べき剰余の相互法則・類数公式・素数分布・ゼータ関数  暗号  q-analogue ＊情報文化学部自然情報学科数理情報系佐藤潤也量子情報情報数理モデル論講座小澤正直  「情報」の自然法則を解明し，・量子測定新しい技術「量子情報技術」として社会への応用を目指します。量子測定：対象から情報を取り出す過程（量子の認識論）量子計算：情報処理の過程（量子コンピュータに応用）・量子計算（量子コンピュータ）・量子通信（量子暗号）・量子集合論量子通信：情報伝送の過程（量子暗号に応用）量子集合論：対象のもつ性質の構造（量子の存在論）＊情報文化学部自然情報学科数理情報系学習理論の研究情報数理モデル論講座金森敬文学習とは？現実世界のデータから有益な情報を取り出すこと研究内容学習アルゴリズムの提案・統計的データ解析への応用  機械学習：予測精度の高い学習アルゴリズムの提案  数理統計：提案した学習方法の “賢さ”を理論的に解析  データ解析：現実のデータへの応用＊情報文化学部自然情報学科数理情報系確率論とその応用情報数理モデル論講座  研究テーマ１．現象のランダムな時間発展モデルとその数学的基礎付け・確率過程論・確率制御理論・数理ファイナンス例．株価，経済指標モデルと確率過程２．モデルに内在する未知情報の数学的解析例．確率ボラティリティモデル，フィルタリングなど３．ランダムな情報解析のための数学的研究例．オプション価格付け → 確率解析最適投資問題 → 動的計画法 TOPIXの推移（左図）と幾何ブラウン運動の軌跡（右図）＊情報文化学部自然情報学科数理情報系貝瀬秀裕近似アルゴリズムに関する研究平田研究室（平田富夫、柳浦睦憲）  研究テーマ組合せ最適化問題：多くは NP-困難、最適解を効率的に求めるのは難しい・組合せ最適化・近似アルゴリズム・メタヒューリスティクスどうまわろう？理論：近似アルゴリズム計算時間や解のよさを理論的に解析．応用：ヒューリスティクス実際上“よい”アルゴリズムの開発．巡回セールスマン問題を解く：近似アルゴリズムで？ヒューリスティクスで？＊工学部電気電子・情報工学科電気電子工学コースプログラム生成系の研究酒井研究室（酒井正彦，草刈圭一朗） GeneSys：ライブラリを利用した、仕様からのプログラム自動生成 GeneSys 仕様 (６つの変換規則) Decomposition Ε   C[t]  s ;R x  X / Var( C[t]  s ) E   x.t  x  C[ x ]  s  ;R Composition E   x.x  t  U ;R x  Var(t)    x : t E   U ;R exist-Expansion    x : t ,t : R - covering set,y   Var(t )  forall-Expansion i i i i i i E   x.U ;R    x : t ,t : R - covering set,y   Var(t )  E   i y i .Ui ;R Deduction プログラム E   x.U ;R E    i y i .Ui ;R i i i i i i E  U;R V EER U E  V;R Variable-Elimination     x : t , t : R - strongly covering set,y   Var(t )  E   x. i y i .x  t i  Ui  ;R   E   i y i .Uii ;R i i i i i i ライブラリ生成されたプログラムの正しさが保障される＊工学部電気電子・情報工学科情報工学コース募集要項概要願書受付：7月7日(水)-13日(火)(16時まで必着) ただし，口述試験希望者は6月9日（水）- 15日（火)16時までに必着試験日：（１）口述試験希望者 7月10日(土) （２）筆記試験・口頭試問 8月10,11日(火，水) 試験科目：（１）専門：線形代数，微分積分，離散数学，数理論理学，確率論，統計学，量子力学，アルゴリズム設計法，オートマトン理論，プログラミングから10-12題出題し， 3問選択（２）英語： TOEIC, TOEFLの成績と入試の成績の良い方を最終成績とする詳細は募集要項を参照のこと研究科入試の年間予定(2010年度) 入学試験実施時期博士課程前期課程入試 (2011年4月入学) 7月10日 (口述試験) 8月10,11日 (筆記試験) 博士課程後期課程入試 (2010年10月入学）博士課程前期課程入試（2次募集）博士課程後期課程入試 (2011年4月入学) 8月10日 2月中旬要項の交付出願期間 5月中旬 7月7～13日口述試験希望者は6月9～15日 - 7月7～13日受験を考えている人は、研究指導を希望する教員に、事前（なるべく早く）に連絡を取ること。 1月中旬受験を考えている人は、研究指導を希望する教員に、事前（なるべく早く）に連絡を取ること。 5月中旬 11月中旬備考受験者向け情報  Web page http://www.is.nagoya-u.ac.jp の受験希望者向け情報を参照募集要項，過去の入試問題があります．  問合せ先〒464-8601名古屋市千種区不老町名古屋大学大学院情報科学研究科メールアドレスは http://www.is.nagoya-u.ac.jp/staffs-list.html  できるだけ希望の指導教員に事前にコンタクトを取って研究内容，研究室への応募状況など確認するのが良いと思います.