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

2年生冬学期授業

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

3年生夏学期授業 

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

3年生冬学期授業

科目名 担当教官 授業内容 説明
知能システム論 辻井潤一
森下真一
人工知能認知科学の基礎理論と方法論、および、自然言語処理の基礎について解説する。 説明
計算機構成論 平木 敬 計算機アーキテクチャの基礎、計算機の設計方式、計算機高速化方式、性能評価。 説明
言語モデル論 米澤明憲
小林直樹
様々な計算モデルとプログラミング言語の諸概念。λ計算、プログラムの意味定義法、型理論の基礎等。 説明
計算量理論 今井 浩 TM計算量NP完全近似アルゴリズム 説明
連続系
アルゴリズム
小柳義夫数値計算に必要な基本的知識、 数値計算アルゴリズム 説明
情報科学演習II 各教官 計算量理論の演習、連続系アルゴリズムの演習、等。 説明
情報科学実験II 各教官 小さいコンパイラをつくる、システムプログラミング実験、計算モデルの実現、等 。 説明

4年生夏学期授業

4年生の夏学期は、情報科学科及び他学科の科目を5つ以上選択します。
必修は、情報科学演習IIIだけです。
科目名 担当教官 授業内容 説明
情報科学演習III 各教官 短期間ずつ幾つかの研究室を廻わり、初歩的なプロジェクト研究を行う。 説明
コンピュータ
ネットワーク
石川 裕 コンピュータネットワークの基礎として、ネットワーク物理層からアプリケーション層までを講義する。TCP/IPを用いたプログラミング実習も行う。 準備中
データベース論 森下真一
高木利久
演繹データベースオブジェクト指向データベース、ゲノムデータベース、等。
データベースシステムの基礎的原理、方法論。特にデータモデルの理論的基礎、問合せ言語、データベースシステムの構築例、等。
トランザクション管理、分散データベース システム管理、問合せ最適化技術、等。
説明
ビジュアル
情報論
西田友是 コンピュータ・グラフィクスの基本的な部分を講じる。 説明
計算
アルゴリズム論
小柳義夫
今井 浩
並列数値・離散アルゴリズムについて講究する。 説明
分散・並列
システム論
平木 敬
石川 裕
分散・並列システムのアーキテクチャおよびソフトウェアに関する基礎事項を講義する。 説明
計算機言語論 米澤明憲
萩谷昌己
関数型言語オブジェクト指向言語、並列言語などに関連する基礎事項を講義する。
・プログラムの変換と合成に関する話題について解説する。
説明
マルチメディア
情報処理論
五十嵐健夫
坂村 健
音声や動画を含む様々な種類のメディアを取り扱うマルチメディアシステムについて、データ構造、実現のためのアーキテクチャユーザインタフェースなどの面から解説する。また、その構築基盤となるリアルタイムシステムについても概説する。 説明
生命情報論 萩谷昌己
宮野 悟
清水謙多郎
中井謙太
生命情報に関する種々のトピックに関して講義する。 説明
情報科学
特別講義I
伊庭斉志 進化論的手法は自然に学ぶ問題解決(Problem Solving from Nature)を目指すものであり、最適化問題の解法、人工知能の学習、推論、プログラムの自動合成などに広く応用されている。本講では、進化論型システムと複雑系に関してGAやGPを中心に、その基礎と応用について説明する。 準備中
情報科学
特別講義V
清水 徹 VLSI設計論:VLSI(マイコン、メモリ等)の設計、製作技術、デバイス構造、回路技術を概説し、システム・オン・チップに向けての設計技術/CAD技術を考察する。 説明

4年生冬学期授業

科目名 担当教官 授業内容 説明
情報科学
特別演習
各教官 研究室に分属して卒業研究を行う。 準備中
論文構成法 M.マクドナルド 英文技術論文の書き方、及び英語による口答技術発表の基本的な方法を教示する。 説明
情報科学
特別講義III
佐藤 健
山本章博
非数値処理分野の問題を適切にモデリングし、プログラムするためのパラダイムのなかから、論理プログラミング(Logic Programming)に関して解説する。前半の講義では、論理による知識表現と推論の枠組を学び、 後半の講義では、論理に基づいた機械学習について主に帰納論理プログラミング(Inductive Logic Programming)の枠組を学ぶ。 説明
情報科学
特別講義IV
佐々木建昭 数式処理のシステムと算法。
1、計算機内での数式の内部表現。
2、多項式の因数分解などの算法。
3、グレブナー基底と関連の算法。
4、近似代数(近似的代数算法)。
準備中
情報社会及び
情報倫理
濱田純一 情報にかかわる諸政策の目標設定・政策過程・政策枠組みを軸に、情報をめぐる法、倫理、産業、技術等の展開について、受講生とのやりとりを行いながら授業をすすめる。 準備中
情報と職業 中尾政之
鎌田 実
・日本の経済の過去・現在・未来。
・日本の製造業の現状と将来。
・5年先未来を予想する手法。
・プロデューサーに必要な能力。
・就職業種・企業の選択方法。
準備中

〔トップページへ〕


<vu@is.s.u-tokyo.ac.jp>
Last updated on 19 Feb., 2002