Ⅵ　特別教育研究コース学習案内及び教授要目

先導的ITスペシャリスト育成推進プログラム

　社会全体におけるＩＴ利用の拡大，また産業が提供する製品やサービスの中核をなすソフトウェアの巨大化，複雑化にともない，信頼性のあるソフトウェアを開発し，新しい価値を創造する高度ＩＴスペシャリストの必要性が増大している。
　このため本研究科では，将来の価値を創造する手段としてのソフトウェア構築に必要な基礎概念や，それを基にした実用的問題に適用可能な理論，そしてソフトウェア開発の実践的な側面までの高度な専門性を持ち，近未来ソフトウェアの発想力を持つスペシャリストの育成を目的として大学院教育プログラムを実施する。
　本プログラムは，文部科学省の支援を受け，東京大学，国立情報学研究所と共同で，「先導的ITスペシャリスト育成推進プログラム」として実施されるものである。

学生の特別選抜
出願資格 　　 原則として，本学大学院修士課程に在学する大学院学生，もしくは本学大学院修士課程に入学を予定する者を対象とする。
選抜方法 　　 面接による。
出願・選抜時期 ３月および９月に実施する。

履修条件
学生の身分 　 所属する専攻のままとする。
修了要件 　　 本プログラムの授業科目から２０単位を習得すること。そのうち８単位以上は，ソフトウェア開発科目群から習得すること。
（注意）所属する専攻の修了については，各専攻の修了要件に従う。

修了証の授与
本プログラムを修了した学生には，所属する専攻の学位記とは別に，本学学長より修了証を授与する。修了証の授与は，原則として学期末に行う。

授業科目の分類
基礎科目群
先導的ITスペシャリストとして必要となるコンピュータサイエンスにおける基礎理論を学習する科目から構成され，先導的ITスペシャリストが備えるべき基本的素養となる。
基盤ソフトウェア科目群
先導的ITスペシャリストとして習得しておくべきオペレーティングシステムを初めとする基盤ソフトウェアに関する専門的知識を学習する科目である。
ソフトウェア工学科目群
先導的ITスペシャリストとして習得しておくべきソフトウェア工学分野の専門的知識を習得する科目である。ソフトウェア開発を専門とする者の基本的素養となる。
ソフトウェア開発科目群
先導的ITスペシャリストとして必要とされるソフトウェア開発に関する実践的な知識や経験を習得する科目である。本科目は実習・実験を実施することにより，より効果的に習得することを目標とする。

授業科目の構成
基礎科目群

科目名

単位数

担当

学期

プログラム理論

2-0-0

米崎

前

並行システム論

2-0-0

米崎

前

ソフトウェア論理学

2-0-0

西崎

前

分散アルゴリズム論

2-0-0

徳田

後

計算機アーキテクチャ特論

2-0-0

吉瀬

後

 

基盤ソフトウェア科目群

科目名

単位数

担当

学期

オペレーティングシステム特論

2-0-0

渡部（卓）

後

基盤ソフトウェア

2-0-0

千葉

前

グリッドコンピューティング

2-0-0

松岡

後

ネットワークプログラミング特論

2-0-0

望月

後

 

ソフトウェア工学科目群

科目名

単位数

担当

学期

備考

ソフトウェア設計論

2-0-0

佐伯

後

 

情報セキュリティ特論

2-0-0

工藤・羽田・渡邊

後

 

ソフトウェア工学特論

2-0-0

権藤

前

 

ソフトウェア構成論

2-0-0

脇田・佐々

後

 

ソフトウェアプロジェクトマネージメントと品質管理

2-0-0

端山・南澤・山本

後

○

 

ソフトウェア開発科目群

科目名

単位数

担当

学期

備考

ソフトウェア開発演習

0-2-0

渡部(卓)・権藤

前

修士課程 1年次推奨　○

システム検証基礎演習

0-2-0

西崎・千葉

後

修士課程 1年次推奨　○

システム開発プロジェクト総合実験基礎

0-0-2

田中康

前

○

システム開発プロジェクト総合実験応用

0-0-2

田中康

後

○

IT実践特別実験第一

0-0-2

各教員

前

修士課程 2年次推奨　○

IT実践特別実験第二

0-0-2

各教員

後

修士課程 2年次推奨　○

情報理工学インターンシップ1A

0-0-1

計算工学専攻長

前

 

情報理工学インターンシップ2A

0-0-2

計算工学専攻長

前

 

情報理工学インターンシップ1B

0-0-1

計算工学専攻長

後

 

情報理工学インターンシップ2B

0-0-2

計算工学専攻長

後

 

先端スキル開発特別講義I

2-0-0

本位田真一

前

☆　○

先端スキル開発特別講義II

2-0-0

本位田真一

前

☆　○

先端スキル開発特別講義III

2-0-0

本位田真一

後

☆　○

先端スキル開発特別講義IV

2-0-0

本位田真一

前

☆　○

先端スキル開発特別講義V

2-0-0

本位田真一

前

☆　○

先端スキル開発特別講義VI

2-0-0

本位田真一

後

☆　○

☆ の印が付いている科目は，東京大学にて開講される科目である。

○ の印が付いている科目は，原則として先導的ITスペシャリスト育成推進プログラムの学生のみが履修する科目である。


〔教　授　要　目〕

プログラム理論 (Mathematical Theory of Programs) 　奇数年度開講

前学期　2－0－0　　米崎　直樹　教授

計算工学専攻の教授要目を参照のこと。

 

並行システム論 (Concurrent System Theory)　英語講義

前学期　2－0－0　　米崎　直樹　教授

計算工学専攻の教授要目を参照のこと。

 

ソフトウェア論理学（Logic and Software）

前学期　2－0－0　　西崎　真也　准教授

計算工学専攻の教授要目を参照のこと。

 

分散アルゴリズム論（Distributed Algorithms）英語講義

後学期　2－0－0　　徳田　雄洋　教授

計算工学専攻の教授要目を参照のこと。

 

計算機アーキテクチャ特論（Advanced Computer Architectures）

後学期　2－0－0　　吉瀬　謙二　講師

計算工学専攻の教授要目を参照のこと。　

 

オペレーティングシステム特論（Advanced Operating Systems）

後学期　2－0－0　　渡部　卓雄　准教授

計算工学専攻の教授要目を参照のこと。　

 

基盤ソフトウェア（Software Substrate）

前学期　2－0－0　　千葉　滋　准教授

数理・計算科学専攻の教授要目を参照のこと。

 

グリッドコンピューティング (Grid Computing)

後学期　2－0－0　　松岡　聡　教授

数理・計算科学専攻の教授要目を参照のこと。

 

ネットワークプログラミング特論 (Advanced Network Programming)

後学期　2－0－0　　望月　祐洋　准教授

計算工学専攻の教授要目を参照のこと。

 

ソフトウェア設計論 (Software Design Methodology)

後学期　2－0－0　　佐伯　元司　教授

計算工学専攻の教授要目を参照のこと。

　　　　　　　　　　　　　　　　　　　　　　　　　　　

情報セキュリティ特論 (Advanced Information Security)

後学期　2－0－0　　 工藤　道治　講師（非常勤）・羽田　知史　講師（非常勤）・
　　　　　　　　　　渡邊　裕治　講師（非常勤）

計算工学専攻の教授要目を参照のこと。

 

ソフトウェア工学特論 (Advanced Software Engineering)

前学期　2－0－0　　権藤　克彦　准教授

計算工学専攻の教授要目を参照のこと。

 

ソフトウェア構成論 (Software Organization)

後学期　2－0－0　　○脇田　建　准教授・佐々　政孝　教授

数理・計算科学専攻の教授要目を参照のこと。

 

ソフトウェアプロジェクトマネージメントと品質管理

(Software Project Management and Quality Control)

後学期　2－0－0　　端山　毅　講師（非常勤）・南澤　吉昭　講師（非常勤）
　　　　　　　　　 山本　修一郎　講師（非常勤）

ITプロジェクトマネージメントの手法について，企業の現場における実際的経験に基づいた知識を教授する。

 

ソフトウェア開発演習 (Software Development Laboratory)

前学期　0－2－0　　渡部　卓雄　准教授，権藤　克彦　准教授

組み込み開発やシステム開発の実践で必須となるソフトウェア開発力の向上を目的とする。そのために演習を通して，開発テクニック，グッドプラクティス，開発環境と開発ライブラリ，低レベルインタフェースなどの習得を目指す。

 

システム検証基礎演習 (System Verification Practices)

後学期　0－2－0　　西崎　真也　准教授，千葉　滋　准教授

システム検証における基礎である，数理論理学，プログラム理論，並行システム論などに関する基礎技術に関する演習を行う。

 

システム開発プロジェクト総合実験基礎 (System Development Studio Projects; Basic)

前学期　0－2－0　　田中　康　特任准教授

システム開発に必要なソフトウェア工学の基礎に関してプロジェクト開発を通して習得することを目的とする。学生はチームを組み，要求分析，プロジェクトの計画，設計，実装，テスト，ドキュメント作成など，総合的な指導をうけつつ，系統的なソフトウェア開発の実践面への適用を習得する。

 

システム開発プロジェクト総合実験応用 (System Development Studio Projects; Advance)

後学期　0－0－2　　田中　康　特任准教授

「システム開発プロジェクト総合実験基礎」における習得内容を受け，本授業では，システム開発に必要なソフトウェア工学の応用に関してプロジェクト開発を通して習得することを目的とする。「システム開発プロジェクト総合実験基礎」と同様に，学生はチームを組み，要求分析，プロジェクトの計画，設計，実装，テスト，ドキュメント作成など，総合的な指導をうけつつ，系統的なソフトウェア開発の実践面への適用を習得する。

 

IT実践特別実験第一 (Special Experiments I on Information Technology)

前学期　0－0－2　　各教員

情報理工学，特に，情報技術の実践的側面に焦点を当てた高度な実験を行うものである。

 

IT実践特別実験第二 (Special Experiments II on Information Technology)

後学期　0－0－2　　各教員

IT実践特別実験第一の授業を引き継ぎ，情報理工学，特に，情報技術の実践的側面に焦点を当てた高度な実験を行うものである。

 

情報理工学インターンシップ１A (Internship 1A on Information Science and Engineering)

前学期　0－0－1　　計算工学専攻長

計算工学専攻の教授要目を参照のこと。

 

情報理工学インターンシップ２A (Internship 2A on Information Science and Engineering)

前学期　0－0－2　　計算工学専攻長

計算工学専攻の教授要目を参照のこと。

 

情報理工学インターンシップ１B (Internship 1B on Information Science and Engineering)

後学期　0－0－1　　計算工学専攻長

計算工学専攻の教授要目を参照のこと。

 

情報理工学インターンシップ２B (Internship 2B on Information Science and Engineering)

後学期　0－0－2　　計算工学専攻長

計算工学専攻の教授要目を参照のこと。

 

先端スキル開発特別講義I (Advanced Software Development Skill I)

前学期(集中講義) 2－0－0　　本位田　真一　教授（国立情報学研究所，東京大学）

本講義では，ゴール指向要求分析手法，具体的にはi*/Troposと呼ばれる手法を利用した，ソフトウェア要求の分析工程について，ツールST-Toolの使用を通じて，ソフトウェアに対するニーズを抜け・漏れなく把握し整理する方法を習得させる。現実のシステム開発における要求分析プロセスとノウハウを習得した上で，実際にソフトウェア要求の分析作業を行い，設計工程に結びつける能力を習得できる。

 

先端スキル開発特別講義II (Advanced Software Development Skill II)

前学期(集中講義) 2－0－0　　本位田　真一　教授（国立情報学研究所，東京大学）

本講義では，オブジェクト指向設計/実装法を加味したプロダクトライン・コンポーネントベース分析/設計手法であるKobrA法を用いて，一貫したコンポーネントモデリングとオブジェクト指向分析/設計プロセスの遂行による可変性/不変性を備えたソフトウェアアーキテクチャの構築方法を学ぶ。現実に近いソフトウェア開発の分析/設計を実習する過程で，コンポーネントモデリングのノウハウと効果を会得することができる。

 

先端スキル開発特別講義III (Advanced Software Development Skill III)

後学期(集中講義) 2－0－0　　本位田　真一　教授（国立情報学研究所，東京大学）

本講義では，高信頼性ソフトウェアの開発のための，形式仕様言語Bメソッドを用いたソフトウェアの仕様記述と検証方法について学習する。高信頼性ソフトウェアの開発には，システムをモデル化する際の適切なレベルでの抽象化，厳密な (検証可能) なモデルの作成，検証のためのシステムの特性を同定する技術が重要である。本講義では，B メソッドによるシステムのモデル化から検証までの技術を修得することを目的とする。

 

先端スキル開発特別講義IV (Advanced Software Development Skill IV)

前学期(集中講義) 2－0－0　　本位田　真一　教授（国立情報学研究所，東京大学）

本講義では，分散システムのモデリング・設計手法とその正当性の検証方法を，モデル検査ツールSPIN を使用して習得する。本講義は，複数のコンポーネントが非同期に通信しあいながら動作することによる，分散システムの複雑さの問題を解決し，実際の分散システム開発に検証手法を適用する能力を習得できる，という点が大きな特徴である。そのために，ツールの使用法だけでなく，分散システムのモデル化にも焦点を当てている。

 

先端スキル開発特別講義V (Advanced Software Development Skill V)

前学期(集中講義) 2－0－0　　本位田　真一　教授（国立情報学研究所，東京大学）

本講義では，実装したプログラムが，要求仕様を満足しているかどうかの妥当性を検証する技術を習得する。ソフトウェア開発において，膨大な工数と費用が妥当性の検証に費やされている。そこで本講義では，体系的な手法やプロセスに基づいたテスティング技術の習得と実践により，テスト工程を効率的に実施し，より高信頼なソフトウェアの開発を可能にすることを目的とする。

 

先端スキル開発特別講義VI (Advanced Software Development Skill VI)

後学期(集中講義) 2－0－0　　本位田　真一　教授（国立情報学研究所，東京大学）

 

本講義では，オブジェクト指向開発におけるドメイン分析から実装まで通して展開ツールを含むソフトウェアパターン技術を活用することで，一貫した高品質ソフトウェアを効率よく得るためのパターン指向開発プロセスの適用方法を学ぶ。現実に近いソフトウェア開発に対する種々の代表的パターンの適用および展開ツールの利用を実習する過程で，パターン指向開発のノウハウと効果を会得することができる。

 


「医歯工学特別コース（東工大・医歯大連携プログラム）」

 

1. プログラムの概要
 本特別コースは，医学・歯学と工学との境界領域に興味を有する人のみならず，人間を深く知った技術者として将来一般製造業で活躍したい大学院学生（主として修士１年）を対象とする。本コースの選択者は，入学した各専攻におけるカリキュラムの他，主として本学田町キャンパス（キャンパス・イノベーションセンター）で９月に集中開講される講義群（表２カテゴリーＡ）を選択受講するものとする。本講義群は，本学の教員と，東京医科歯科大学の教員が協力して実施する。本コースは現段階ではいわゆる「博士一貫コース」とは異なるが，既存専攻の博士後期課程への進学および東京医科歯科大教員との共同研究への参加を奨励する。また，希望者は，次年度４月～７月に東京医科歯科大学大学院医歯学総合研究科で別途開講されている講義群（表３カテゴリーＢ）を受講することも可能である。

 

2. 履修方法
表１に記載された各専攻所属の学生および東京医科歯科大に原籍を置く学生は，以下の手順で，本コースを選択することができる。

    1. ① ６月下旬に大岡山キャンパスおよびすずかけ台キャンパスで開催されるガイダンスのどちらか一方に参加する。
    2. ② ７月末までにどの科目を履修するか，ガイダンス資料を参考に指導教員・本コース主任等とよく相談のうえ決定し，本コース専用受付アドレス※に電子メール添付で「仮受講申請書」(www.pms.titech.ac.jp/Japanese/index.html)を送付する。科目によっては，受講人数を制限する場合もある。
    3. ③ 本コースの授業科目（カテゴリーＡ）は，大学院後学期開講科目に算入されるので，②の「仮受講申請書」を提出した科目について，当該年１０月に再度「学習申告書」を提出すること。この申告がない場合には成績・単位の認定が行われない。

表１に記載されている専攻以外の学生については，コース選択の申請はできないが，コース開講授業科目を受講することができる。その場合，７月末までに，本コース専用受付アドレスに電子メールで受講申請を行い，受講の許可を得るものとする。

※ 本コース専用受付アドレス：tokubetsu@jim.titech.ac.jp ＜特別教育プログラム＞

 

3. 修了認定

本コースが設置されている専攻に所属する学生が「仮受講申請書」を提出し，かつコース指定科目(カテゴリーＡ)の中から８単位以上を取得して「修了認定願」を提出した場合，当該専攻・研究科の議を経て，「医歯工学特別コース修了」の認定書が発行される。なお，本コース選択者については，入学した時点での所属専攻からの学籍の移動は行わないので，当該専攻の定める修了要件にもとづいて，別途修士の認定が行われる。但し，本コース修了認定に数える単位と既存専攻修了に必要な単位との重複は最大4単位までとする。「修了認定証」の発行可能時期は，単位の確認が必要なため当該専攻の修了時期とする。（原籍での修了予定者については３月）

表１　医歯工学特別コース参加専攻リスト（１８年６月１日現在　計２３専攻）

研究科

専　攻

理工学研究科

基礎物理学，材料工学，応用化学，化学工学，機械物理工学，

機械制御システム，機械宇宙システム，電気電子工学，

電子物理工学，原子核工学

生命理工学研究科

分子生命科学，生体システム，生命情報，生物プロセス，

生体分子機能工学

総合理工学研究科

物質科学創造，創造エネルギー，物理情報システム，

メカノマイクロ工学，物理電子システム創造

情報理工学研究科

情報環境学

社会理工学研究科

価値システム専攻，経営工学

表２（カテゴリーＡ）
田町 CIC における集中講義
(田町キャンパス CIC)

科目

コード

科目名

単位

A

医歯工学概論

1

B

人間機能学

1

C

人間安全工学

1

D

バイオインフォマティクス特論

1

E

医用放射線診断学

1

F

医用放射線生物学

1

G

医用画像情報学（医歯工学）

2

H

バイオ・センシングシステム特論

2

I

神経回路システム特論

1

J

医療機器開発概論

2

K

放射線治療学

1

L

放射線治療物理学

2

M

核医学物理学

1

N

放射線医療実習

1

O

医用放射線発生装置

1

P

人間の宇宙活動特論

1
 

計

20

田町キャンパス案内図

表３（カテゴリーＢ）
東京医科歯科大学の講義科目
（次年度４月～７月に実施。各科目５～７週間程度の集中開講。各科目ごとに受講者数を制限する場合がある。）

科目名

単位

大学院医歯学総合研究科

人体形態学

2

口腔形態学

2

医歯学概論

2

病理病態学

2

生体材料学

2

情報医学総論

2

生化学

2

人体機能学

2

薬理学

2

環境社会医歯学

2

ウイルス・免疫疾患総論

2

遺伝疾患総論

2

機能分子総論

2

神経疾患総論

2

医用システム学総論

2

病院実習

2

初期研究研修プログラム

2

バイオインスパイアードシステム特論

2

生命システム情報学・
生命情報管理学特論

2

バイオインテリジェンス科学特論

2

表４（カテゴリー C）
今後の開講を検討中の科目

 

人工臓器

  
 

再生医療

  
 

ナノ生体材料

  

表５　授業科目（カテゴリー Aのみ）の所属専攻
各授業科目の教授要目は所属専攻のページを参照してください。

科目コード
(表２の科目コードに対応)

所属専攻名

A, I, J

メカノマイクロ工学専攻

B, C

機械制御システム専攻

D, H

生物プロセス専攻

E, F, K, L, M, N

創造エネルギー専攻

G

物理情報システム専攻

O

原子核工学専攻

P

物質科学創造専攻


 

 

計算世界観・特別教育研究コース

コンピュータ上で実現されていることをすべて「計算」と見なすと，およそ人間が解析できることは，すべて計算と考えることができる。「計算世界観」とは，科学の対象となる様々な現象を，計算を中心に見直そうという考え方である。対象をどのように見るかは重要で，科学の各分野を定める哲学と言っても過言ではない。たとえば物理学は物理的な見方，生命科学は生命科学的な見方をする。「計算を中心に見る」という見方は，これまでの科学の諸分野にない新たな見方である。この新たな見方ものとに，新しい科学の手法を築いていこう，というのが「計算世界観」である。

計算世界観・特別教育研究コースは，平成19年度グローバルCOE「計算世界観の深化と展開」プログラムの採択を契機として設置されたもので，「計算世界観」に基づく科学の手法を実践する計算数理科学者を育成することを目的としている。

【対象】原則として博士後期課程在学生とする。

【カリキュラム】下記の科目を開講する。太字はコア科目である。

 

博士課程１年

博士課程２年

博士課程３年

準備コース

数学速成コース

プログラミング速成コース

 

 

技術習得科目

計算数理基礎-最適化-　計算数理応用-アルゴリズム-　計算数理実践-HPC-

代数学特論第二 パターン情報処理 データ解析特論 バイオインフォマティクス

フォーラム

計算数理特論第一　 第二　　第三　　第四

数理科学フォーラム　 　　　第一　　第二

 

第三　 第四

 

第五　 第六

インターンシップ

 

研究インターンシップ

 

 

【コース終了認定】■ 枠内の科目から６単位以上，■ 枠内の科目から６単位以上，計12単位以上を取得した者を，本コース修了と認定する。コース修了の申告があった者には，学長より「コース修了証書」を授与する。なお，グローバルCOE「計算世界観の深化と展開」プログラムのRA受給者には，本コースの履修を強く推奨する。

【問い合わせ先】本コースに関する各種情報は，情報理工学研究科数理・計算科学専攻掲示板（大岡山キャンパス西８号館Ｅ棟３階）およびグローバルCOE「計算世界観の深化と展開」プログラムのホームページ：http://compview.titech.ac.jp/に掲載するので，履修を希望する者は注意すること。その他不明な点については，平成20年度本コース運営担当の小島定吉 数理・計算科学専攻教授 に問い合わせること。

 

開講科目一覧

授　業　科　目

単位

担当教員

学期

備　　　考

数学速成コース

Crash Course in Mathematics

1－1－0

石井・小島(定)

志賀・二木

前

D1推奨

プログラミング速成コース

Crash Course in Programming

1－1－0

千　　　葉

前

D1推奨

計算数理基礎 ―最適化―

Foundation of Computing and Mathematical Sciences - Optimization -

2－0－0

小　島(政)

Fukuda・Fukunaga

後

 

計算数理応用 ―アルゴリズム―

Basic Application of Computing and Mathematical Sciences - Algorithm -

2－0－0

渡　辺(治)

前

 

計算数理実践 ―HPC―

Advanced Application of Computing and Mathematical Sciences - HPC -

1－0－1

遠藤・小西・松岡

後

 

代数学特論　第二

Advanced Algebra II

2－0－0

佐　　　藤

後

 

パターン情報処理

Pattern Information Processing

2－0－0

杉　　　山

前

偶数年度開講

データ解析特論

Advanced Data Analysis

2－0－0

2008年度は

開講せず

前

奇数年度開講

バイオインフォマティクス

Bioinformatics

2－0－0

秋　　　山

前

 

計算数理特論　第一

Topics on Computing and Mathematical Sciences I

2－0－0

岡　　　本

前

偶数年度開講

計算数理特論　第二

Topics on Computing and Mathematical Sciences II

2－0－0

渡　辺(治)

後

偶数年度開講

計算数理特論　第三

Topics on Computing and Mathematical Sciences III

2－0－0

2008年度は

開講せず

前

奇数年度開講

計算数理特論　第四

Topics on Computing and Mathematical Sciences IV

2－0－0

2008年度は

開講せず

後

奇数年度開講

数理科学フォーラム　第一

Forum on Mathematical Sciences I

0－1－0

伊　　　東

前

D1推奨

数理科学フォーラム　第二

Forum on Mathematical Sciences II

0－1－0

伊　　　東

後

D1推奨

数理科学フォーラム　第三

Forum on Mathematical Sciences III

0－1－0

伊　　　東

前

D2推奨

数理科学フォーラム　第四

Forum on Mathematical Sciences IV

0－1－0

伊　　　東

後

D2推奨

数理科学フォーラム　第五

Forum on Mathematical Sciences V

0－1－0

伊　　　東

前

D3推奨

数理科学フォーラム　第六

Forum on Mathematical Sciences VI

0－1－0

伊　　　東

後

D3推奨

研究インターンシップ

Research Internship

2－0－0

渡　辺(治)

前・後

D2推奨

〔教　授　要　目〕

 

数学速成コース

前学期　1－1－0　　石井志保子　教授・小島　定吉　教授
　　　　　　　　　 志賀　啓成　教授＊・二木　昭人　教授

この講義では，計算数理に関する講義の前提となる数学の基本的な知識・考え方を概観し，演習をおこなう。

 

プログラミング速成コース

前学期　1－1－0　　千葉　　滋　准教授

この講義では，計算数理に関する講義の前提となるプログラミングの基本的な知識・技法を概観し，C言語を使った演習をおこなう。

 

計算数理基礎 ―最適化―

後学期　2－0－0　　小島　政和　教授＊・Fukuda Mituhiro 特任助教・Fukunaga Alex 特任助教

この講義では，計算数理の基礎となる数学理論および計算手法，特に最適化の理論と手法を中心に解説し，最近の応用についてもふれる。

 

計算数理応用 ―アルゴリズム―

前学期　2－0－0　　渡辺　　治　教授

数理・計算科学専攻の授業要目を参照のこと。

 

計算数理実践 ―HPC―

後学期　1－0－1　　遠藤　敏夫　特任准教授・小西　史一　准教授・松岡　　聡　教授＊

マルチコア型のCPUの登場や高密度実装などにより，高性能計算（High Performance Computing, HPC）は身近な技術になりつつある。本講義では，HPC技術の現状を概観するとともに，本学のTSUBAMEシステムを用いた大規模計算例などを紹介する。。

 

代数学特論第二

後学期　2－0－0　　佐藤　孝和　准教授

数学専攻の授業要目を参照のこと。

 

パターン情報処理

前学期　2－0－0　　杉山　　将　准教授

計算工学専攻の授業要目を参照のこと。

 

データ解析特論

前学期　2－0－0　　杉山　　将　准教授

2008年度は開講しない。

 

バイオインフォマティクス

前学期　2－0－0　　秋山　　泰　教授

計算工学専攻の授業要目を参照のこと。

 

計算数理特論第一

前学期　2－0－0　　岡本　吉央　准教授

「グラフ理論」：グラフ理論を通して離散数学，離散最適化の考え方と心構えを学ぶ。アルゴリズムとの関連も紹介する。毎回，演習問題と未解決問題を通して離散数学の考え方や研究方向を体得できるようにする予定である。具体的なテーマは，木，閉路，マッチング，連結性，彩色，極値グラフ理論，平面性，ラムゼー理論を予定している。

 

計算数理特論第二

後学期　2－0－0　　渡辺　　治　教授

計算世界観を実践するうえで重要となる数理科学的な理論や技術の中から１つのテーマを選び，複数の講師によるサマースクール形式で講義・演習を行なう（９月実施）。

 

計算数理特論第三

2008年度は開講しない。

 

計算数理特論第四

2008年度は開講しない。

 

数理科学フォーラム　第一～第六

全学期　0－1－0　　伊東　利哉　教授

各学期中に数回，学生およびPDが自らの研究内容を発表し議論し合う数理科学フォーラム（ワークショップ形式の研究集会）を開催する。受講者は当フォーラムに企画段階から主体的に参画し，「計算世界観」に基づく分野を超えた研究交流を実践する。

 

研究インターンシップ

全学期　2－0－0　　渡辺　　治　教授

受講者の所属している研究グループとは異なる研究環境（他分野の研究室，海外の研究室，他研究機関，民間企業等）に２～４ヶ月出向し（客員研究者として滞在し），その研究グループでの研究を体験し，出向中の研究成果を報告書または簡単な研究論文としてまとめる。

 

推奨科目

本コースは，以下の既設科目の履修を推奨する。

    1. 数理・計算科学専攻開講の全科目
    2. 知能システム科学専攻開講の「情報統計力学」，「情報学習理論」

 

備考

担当教員の欄に記された＊印は，当該科目の責任教員である。

 


特別教育研究コース　「生命時空間ネットワーク」

異分野融合を促進するために学内措置で設置した「バイオフロンティアセンター」に関与する生命理工学研究科の５専攻（分子生命科学専攻・生態システム専攻・生命情報専攻・生物プロセス専攻・生体分子機能工学専攻）に属する博士後期家庭大学院生を対象として，生命科学の先端を切り開くとともにその成果を応用に結につけるときに必要とされる広い視野，国際的研究活動に必要な専門力，語学力及びプロジェクトのマネージング能力の養成を目指す。

平成20年度「生命時空間ネットワーク」特別コースの解説科目一覧

授　業　科　目

単位

担当教員

学期

備　　　考

生命情報処理特論＊

2－0－0

濡木ほか

後

 

先端バイオテクノロジー特論＊

2－0－0

岡畑ほか

後

 

ナノメディシン特論＊

2－0－0

関根ほか

後

 

生命理工学派遣プロジェクト第一

0－4－0

各教員

前

 

生命理工学派遣プロジェクト第二

0－4－0

各教員

後

 

生命科学フロンティア特論

2－0－0

玉野井

前

偶数年開講

生命工学フロンティア特論

2－0－0

未定

前

奇数年開講

生命理工学トピックス１

1－0－0

喜多村ほか

前

 

生命理工学トピックス２

1－0－0

三原ほか

後

 

バイオテクニカルライティング

2－0－0

Roger Prior

前

 

バイオテクニカルリーディング

2－0－0

柴田

前

 

プロジェクトマネージング特論第一

2－0－0

門多

前

 

プロジェクトマネージング特論第三

2－0－0

古田

後

 

COE地球　光合成生物の科学

1－0－0

丸山・太田

前

 

COE地球　生命史と極限環境下の生物

1－0－0

丸山・高井

前

 

COE地球　酸素大気の化学

1－0－0

丸山・吉田・渋谷

後

 

バイオ・センシングシステム特論

2－0－0

中村ほか

後

 

バイオインフォマティクス特論

1－0－0

中村ほか

後

 

【コース修了の要件】上記科目から６単位以上取得したものを「生命時空間ネットワーク」特別コース修了と認定する。コース修了者には「コース修了証明書」を発行する。＊印のうち，２科目履修を必須とする。COE RA学生は原則，コース所属するものとする。

 

 

〔教　授　要　目〕

 

生命情報処理特論　(Frontier Course of Biological Information) （５専攻共通・G-COE科目）

後学期　2－0－0　　濡木　　理　ほか

最新の生命情報処理に関して，本学教員と国内外の最先端研究者が共同で講義する。

 

先端バイオテクノロジー特論　(Frontier Course of Biotechnology) （５専攻共通・G-COE科目）

後学期　2－0－0　　岡畑　恵雄　ほか

最新の先端バイオテクノロジーに関して，本学教員と国内外の最先端研究者が共同で講義する。

 

ナノメディシン特論　(Frontier Course of Nanomedicine) （５専攻共通・G-COE科目）

後学期　2－0－0　　関根　光雄　准教授

最新のナノメディシンに関して，本学教員と国内外の最先端研究者が共同で講義する。