〔教　授　要　目〕

75001

計算機支援数理（Mathematical Models and Computer Science）

後学期　2−0−0　　○小島　政和　教授・笹島　和幸　教授・天谷　賢治　准教授

Fukuda Mituhiro　テニュア・トラック　助教

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

75002

実験数理（Experimental Mathematics）

後学期　2−0−0　　谷口　雅治　准教授

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

75003

グリッドコンピューティング（Grid Computing）

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

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

75028

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

前学期　2−0−0　　千葉　　滋　教授

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

75005

数理情報科学特別講義�T（Special Lecture on Mathematical and Information Sciences �T）　　　西暦偶数年度開講

前学期　2−0−0　　未　　　定

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

75006

数理情報科学特別講義�U（Special Lecture on Mathematical and Information Sciences �U）　　　西暦偶数年度開講

後学期　2−0−0　　未　　　定

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

75029

数理情報科学特別講義�V（Special Lecture on Mathematical and Information Sciences �V）　　　西暦奇数年度開講

前学期　2−0−0　　ジョセフ　マー　客員准教授

Geometry of the mapping class group.

The mapping class group of a surface is the group of diffeomorphisms of the surface, up to isotopy. This group is of interest to people working in a variety of different fields in which surfaces are important, such as geometric topology, algebraic geometry and certain areas of mathematical physics. We will give an introduction to the mapping class groups of surfaces, and related objects such as the complex of curves and Teichmuller space. We will survey some recent developments in understanding the large scale geometry of theses spaces, and consider some results in detail as time permits.

75030

数理情報科学特別講義�W（Special Lecture on Mathematical and Information Sciences �W）　　　西暦奇数年度開講

後学期　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　　未　　　定

平成21年度　休講

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　　徳永　健伸　准教授

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

77006

逆解析特論（Advanced Course of Inverse Analysis）　　　西暦奇数年度開講

後学期　2−0−0　　未　　　定

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

75019

数理・計算科学特論第一（Topics on Mathematical and Computing Sciences �T）

前学期　2−0−0　　未　　　定　　　平成21年度休講

75020

数理・計算科学特論第二（Topics on Mathematical and Computing Sciences �U）

前学期　2−0−0　　未　　　定　　　平成21年度休講

75021

数理・計算科学特論第三（Topics on Mathematical and Computing Sciences �V）

前学期　2−0−0　　未　　　定　　　平成21年度休講

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

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　　小薗　英雄　非常勤講師・西畑　伸也　准教授

75761〜75764

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

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

75771〜75774

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

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

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

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

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

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

76039〜76042

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

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