実際の授業をいくつか文書におこしてみました。 先生方の仮想講義を体験してみてください。情報科学科の講義は90分授業です。 午前中の講義は10時15分から、午後の講義は13時から始まります。 14時45分からの講義がある曜日もあります。内容の説明は、なるべく専門用語を使わないで書いたつもりですが 分からない言葉があったら用語集を参考にして下さい。


3年生夏学期授業 | 3年生冬学期授業 | 4年生夏学期授業 | 4年生冬学期授業


2年生冬学期授業

2年生の冬学期は、以下の必修科目の他に、選択科目を8単位履修します。
選択科目としては、数学科や物理学科の必修科目が推奨されていますが、
理学部の他の学科や、多学部の科目を選択する手もあります。
(3年以降の授業に直接関係があるって訳でもないし。)
科目名 担当教官 授業内容 説明
情報数学 須田礼仁 情報科学の基礎の内、以下のものについて講義する:情報理論、通信理論、代数(、特に有限体)、関係グラフ理論の初歩。 説明
形式言語理論 宮野 悟 形式言語とオートマトン、及び計算可能性の初歩について講義する。 形式言語とオートマトンについては、正則言語有限オートマトン文脈自由言語を中心に。 計算可能性については、チューリング機械とその停止性問題に関して。 説明
計算機システム 石川 裕 逐次計算機の構成、動作原理について講義する。 内容は、機械語、数の表現法、番値指定の方式、入出力割り込みアセンブリ言語によるプログラミングなどである。 説明
ハードウェア
構成法
小林芳直 ASIC論理回路設計の説明をする。 機能部品の設計。ステートマシンによる同期、順序制御、排他制御。 説明
アルゴリズムと
データ構造
五十嵐健夫 計算機の成立、計算機による問題解決とプログラミング、アルゴリズムとプログラム言語、データ構造、リストとリスト処理、二分木ソート、集合の表現と探索、文字列の照合。 説明
アルゴリズムと
データ構造演習
五十嵐健夫 「アルゴリズムとデータ構造」に関する演習を、Schemeによって行う。 説明

3年生夏学期授業 

科目名 担当教官 授業内容 説明
ハードウェア
構成法
小林芳直 ASIC論理回路設計の説明をする。 機能部品の設計。ステートマシンによる同期、順序制御、排他制御。 説明
オペレーティング
システム
石川 裕 オペレーティングシステムの機能及び構造について、実際のシステムの例も挙げながら、その基礎を論じる。主な内容は、プロセスプロセス間の同期・通信仮想記憶、ファイルと入出力、セキュリティ等。 説明
離散数学 今井 浩 離散数学の内容。即ちグラフ理論、最適化 説明
情報論理 辻井潤一 命題論理一階述語論理証明手続きゲーデル不完全性定理 説明
言語処理系論 萩谷昌己 コンパイラを含む言語処理系の構築のための理論と実際。 説明
情報科学演習I 各教官 離散数学、情報論理の演習。 説明
情報科学実験I 各教官 計算機アーキテクチャ、ハードウェア、システムソフトウェア、に関する基礎実験 。 説明
計算機構成論 平木 敬 計算機アーキテクチャの基礎、計算機の設計方式、計算機高速化方式、性能評価。 説明

3年生冬学期授業

科目名 担当教官 授業内容 説明
知能システム論 辻井潤一
森下真一
人工知能認知科学の基礎理論と方法論、および、自然言語処理の基礎について解説する。 説明
言語モデル論 米澤明憲 様々な計算モデルとプログラミング言語の諸概念。λ計算、プログラムの意味定義法、型理論の基礎等。 説明
計算量理論 今井 浩 TM計算量NP完全近似アルゴリズム 説明
連続系
アルゴリズム
小柳義夫数値計算に必要な基本的知識、 数値計算アルゴリズム 説明
情報科学演習II 各教官 計算量理論の演習、連続系アルゴリズムの演習、等。 説明
情報科学実験II 各教官 小さいコンパイラをつくる、システムプログラミング実験、計算モデルの実現、等 。 説明
コンピュータ
ネットワーク
加藤 朗 コンピュータネットワークの基礎として、ネットワーク物理層からアプリケーション層までを講義する。 準備中

4年生夏学期授業

4年生の夏学期は、情報科学科及び他学科の科目を5つ以上選択します。
必修は、情報科学演習IIIだけです。
科目名 担当教官 授業内容 説明
情報科学演習III 各教官 短期間ずつ幾つかの研究室を廻わり、初歩的なプロジェクト研究を行う。 説明
コンピュータ
ネットワーク
石川 裕 コンピュータネットワーク、特にTCP/IPインターネットを例にそのアーキテクチャ、プロトコルおよびその運用に関して講義する。 準備中
データベース論 森下真一
高木利久
演繹データベースオブジェクト指向データベース、ゲノムデータベース、等。
データベースシステムの基礎的原理、方法論。特にデータモデルの理論的基礎、問合せ言語、データベースシステムの構築例、等。
トランザクション管理、分散データベース システム管理、問合せ最適化技術、等。
説明
ビジュアル
情報論
西田友是 コンピュータ・グラフィクスの基本的な部分を講じる。 説明
計算
アルゴリズム論
小柳義夫
今井 浩
須田礼仁
並列数値・離散アルゴリズムについて講究する。
・「離散・幾何構造を通した情報科学的アルゴリズム研究」について講究する。
説明
分散・並列
システム論
平木 敬
石川 裕
分散・並列システムのアーキテクチャおよびソフトウェアに関する基礎事項を講義。 説明
計算機言語論 米澤明憲
萩谷昌己
関数型言語オブジェクト指向言語、並列言語などに関連する基礎事項を講義する。
・プログラムの変換と合成に関する話題について解説する。
説明
マルチメディア
情報処理論
五十嵐健夫
池内 克史
ユーザインターフェースおよびコンピュータビジョンについて半期ずつ講義する。 説明
情報科学
特別講義I
伊庭斉志
萩谷昌己
今井 浩
進化計算、量子計算、分子計算など、新しい計算モデルに関して講義する。 特に進化論的手法は自然に学ぶ問題解決(Problem Solving from Nature)を目指すものでさり、最適化問題の解法、人工知能の学習、推論、プログラムの自動合成などに広く応用されている。 本講では、進化論型システムと複雑系に関してGAやGPを中心に、その基礎と応用について説明する。 準備中
(集中講義)
情報科学
特別講義IV
D.Probert -- Windows Internal -- マイクロソフト社製オペレーティングシステム -- Windows XP の基本ソフトウェアアーキテクチャ、スケジューラ、メモリ管理、ファイルシステムなどの詳細と、.NET システムの構造を述べる。講師は米国マイクロソフト社においてオペレーティングシステム開発を担当している。 準備中
(集中講義)
情報科学
特別講義V
浅田邦博
池田 誠
LSI 設計の基礎である、製造プロセスと設計規則の基礎、回路設計のあらまし、設計に用いられる基本的CADアルゴリズムについて講義する。
(1)COMS集積回路の製造プロセス、(2)CMOS設計規則とレイアウト設計、(3)CMOS回路様式、(4)LSI機能要素回路、(5)回路シミュレーション、(6)論理シミュレーション、(7)LSIテストの基礎
説明
(集中講義)
情報科学
特別講義VI
玉井 哲雄 ソフトウェアの要求分析から設計に至る構築技術を扱う。とくにそのためのモデル化方法論と UML などのモデル記述言語に焦点をあてる。 準備中

4年生冬学期授業

科目名 担当教官 授業内容 説明
情報科学
特別演習
各教官 研究室に分属して卒業研究を行う。 準備中
論文構成法 M.マクドナルド 英文技術論文の書き方、及び英語による口答技術発表の基本的な方法を教示する。 説明
情報科学
特別講義III
中島 秀之
橋田 浩一
認知科学と人工知能研究に関して、その応用を中心として他の研究分野との関連などについて概観する。 準備中
情報社会及び
情報倫理
濱田純一 情報にかかわる諸政策の目標設定・政策過程・政策枠組みを軸に、情報をめぐる法、倫理、産業、技術等の展開について、受講生とのやりとりを行いながら授業をすすめる。 準備中
情報と職業 中尾政之
鎌田 実
山田一郎
濱口哲也
・日本の経済の過去・現在・未来。
・日本の製造業の現状と将来。
・5年先未来を予想する手法。
・プロデューサーに必要な能力。
・就職業種・企業の選択方法。
準備中

〔トップページへ〕


<vu@is.s.u-tokyo.ac.jp>
Last updated on 30 May, 2003