〔教　授　要　目〕

75001
計算機支援数理（Mathematical Models and Computer Science）
　後学期　2−0−0　　○小島　政和　教授・笹島　和幸　教授・天谷　賢治　准教授
　　　　　　　　　　　 福田　光浩　准教授

　近年の計算機の急速な進歩は数理科学の旧来の方法論に変革をもたらしつつあると同時に，他方ではその進歩を有効に活用するための新たな数理計算技術が要請されている。この授業ではそのような数理計算技術の１つである最適化手法を幅広く概説し，その工学への適用事例についても述べる。

75002
実験数理（Experimental Mathematics）
　前学期　2−0−0　　谷口　雅治　准教授

　化学や生態学にあらわれる反応拡散系とそれを記述する方程式にたいする数学的手法を平易に講義することを目的とする。平衡状態の存在と性質，進行波の安定性などを優解と劣解をもちいて解説する。

75003
グリッドコンピューティング（Grid Computing）
　後学期　2−0−0　　松岡　　聡　教授

　高性能並列計算，分散システムソフトウェア，グリッド，クラウドなどの先進的ソフトウェアに関する最新の研究動向を扱う。

75028
基盤ソフトウェア（Software Substrate）
　前学期　2−0−0　　千葉　　滋　教授

　高度なアプリケーションを構築するための基盤となるソフトウェア，すなわち，オペレーティング・システムやミドルウェア，プログラミング言語などの設計・実装技術について解説する。

　客員教員により，数理・計算科学の分野における最新のトピックについて講義を行う。

　客員教員により，数理・計算科学の分野における最新のトピックについて講義を行う。

　客員教員により，数理・計算科学の分野における最新のトピックについて講義を行う。

　客員教員により，数理・計算科学の分野における最新のトピックについて講義を行う。

75007
離散・代数・幾何構造�T（Discrete, Algebraic and Geometric Structures �T）
　前学期　2−0−0　　金　　英子　講師

　離散構造，代数構造，幾何構造の基礎的な事柄について講義する。

75008
離散・代数・幾何構造�U（Discrete, Algebraic and Geometric Structures �U）
　後学期　2−0−0　　小島　定吉　教授

　離散構造，代数構造，幾何構造の最近のトピックスからいくつかを選び解説する。

75009
非線形数理（Mathematical Analysis of Nonlinear Structure）
　後学期　2−0−0　　西畑　伸也　教授

　非線形性現像の数理構造を解折する為に必要な，微分方程式，無限次元力学系，不変多様体，分岐理論，アトラクターとフラクタル次元などの基礎理論と応用について講義する。

75010
非線形解析（Nonlinear Analysis）
　後学期　2−0−0　　未　　　定

　平成22年度　休講

75011
統計数理�T（Theory of Statistical Mathematics �T）
　前学期　2−0−0　　間瀬　　茂　教授

　統計学のより進んだ技法のいくつかを，様々な応用分野との関連で述べる。
　特にマルコフチェインモンテカルロ法とベイズ法についてふれる。

75012
統計数理�U（Theory of Statistical Mathematics �U）
　後学期　2−0−0　　下平　英寿　准教授

　データから有用な情報を取り出すための方法論である統計科学についてテーマを選んで講義を行う。特に情報量規準によるモデル選択やブートストラップ法など，計算機を多用する手法についてその数理的側面と現実の応用を紹介する。

75013
計画数理�T（Theory of Operations Research �T）
　後学期　2−0−0　　三好　直人　准教授

　オペレーションズ・リサーチと確率モデル解析の分野の中から重要と考えられるテーマを取り上げて講義する。テーマとしては，確率過程論，確率的最適化理論，およびそれらの応用などの中から適宜選択する。

75014
計画数理�U（Theory of Operations Research �U）
　後学期　2−0−0　　未　　　定

75015
計算量理論（Computational Complexity Theory）
　後学期　2−0−0　　田中　圭介　准教授

　計算複雑さ理論の基礎的な内容について講義を行なう。具体的には，時間複雑さ，階層定理，複雑さのクラス，Ｐ，NP，完全問題，Pvs. NP予想について述べる。また，最近の話題についてもふれる。

75104
計算数理応用―アルゴリズム―（Basic Application of Computing and Mathematical Sciences―Algorithm―）
　前学期　2−0−0　　渡辺　　治　教授

　アルゴリズムの設計と解析における最近の研究について紹介する。

75016
計算論理学（Logical Foundations of Computing）
　前学期　2−0−0　　鹿島　　亮　准教授

　計算科学の論理的側面に関する話題を選んで解説する。ラムダ計算，型理論，数理論理学など。

75017
ソフトウェア構成論（Software Organization）
　後学期　2−0−0　　○脇田　　建　准教授・佐々　政孝　教授

　ソフトウェアの構成法については，長年にわたり試行錯誤が繰り返されてきたが，最近ではいくつかの構成原理が姿を現しつつある。この科目では，これらの原理について論ずるとともに，ソフトウェア構成法に関する最近の研究成果と具体的なシステム，パラダイムを概観する。

75046
分散システム構成論（Distributed Systems）
　前学期　2−0−0　　首藤　一幸　准教授

　LANやインターネット，無線ネットワークなどを通じて数多くの計算機が連携する分散システムが重要性を増している。本講義では特に，ウェブ向けサービスの裏側など数百台から，インターネット上の数百万台を駆動する大規模システムを対象とする。それらを支える技術の解説，事例や文献の紹介を通して，これからのネットワークコンピューティングについての学習を行う。

76001
計算機アーキテクチャ特論（Advanced Computer Architectures）
　後学期　2−0−0　　吉瀬　謙二　講師

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

76012
自然言語処理特論（Natural Language Processing）
　後学期　2−0−0　　徳永　健伸　准教授

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

　情報環境学専攻の教授要目を参照のこと。

75019
数理・計算科学特論第一（Topics on Mathematical and Computing Sciences �T）
　前学期　2−0−0　　未　　　定

75020
数理・計算科学特論第二（Topics on Mathematical and Computing Sciences �U）
　前学期　2−0−0　　藤崎英一郎　非常勤講師・田中　圭介　准教授

75021
数理・計算科学特論第三（Topics on Mathematical and Computing Sciences �V）
　前学期　2−0−0　　未　　　定

　数理・計算科学に関するいくつかのトピックスを紹介する。

75022
数理・計算科学特論第四（Topics on Mathematical and Computing Sciences �W）
　後学期　2−0−0　　未　　　定

　数理・計算科学に関するいくつかのトピックスを紹介する。

75023
数理・計算科学特論第五（Topics on Mathematical and Computing Sciences �X）
　後学期　2−0−0　　未　　　定

75024
数理・計算科学特論第六（Topics on Mathematical and Computing Sciences �Y）
　後学期　2−0−0　　未　　　定

　数理・計算科学に関するいくつかのトピックスを紹介する。

75025
数理・計算科学特論第七（Topics on Mathematical and Computing Sciences �Z）
　後学期　2−0−0　　未　　　定

75026
数理・計算科学特論第八（Topics on Mathematical and Computing Sciences �[）
　前学期　2−0−0　　未　　　定

　数理・計算科学に関するいくつかのトピックスを各分野の専門家により紹介する。

75027
数理・計算科学特論第九（Topics on Mathematical and Computing Sciences �\）
　後学期　2−0−0　　未　　　定

（Advanced Exercises and Experiments in Mathematical Science �T-�W）

　専攻しようとする分野の専門基礎知識ならびにその思考方法を修得するため，所属する研究室において行われている研究に参加し，やや高度な演習および実験を行う。

（Advanced Exercises and Experiments in Computing Science �T-�W）

　専攻しようとする分野の専門基礎知識ならびにその思考方法を修得するため，所属する研究室において行われている研究に参加し，やや高度な演習および実験を行う。

（Seminar �T-�W on Mathematical and Computing Sciences）

　学生各自が，それぞれの専攻分野に関連のある原著論文の紹介を行い，論文に対する理解力の養成，語学の習熟，講演における表現の方法および討論の訓練を行う。

（Seminar �X-�] on Mathematical and Computing Sciences）

　博士後期課程相当の高い程度の輪講，演習あるいは実験等を行う。

（Internship on Information Science & Engineering 1A, 2A, 1B, 2B）

　企業や外部の研究組織へ一定期間行き，情報理工学に関するインターンシップを行う。インターンシップ先については専攻長に相談のこと。