前学期の講義の振り返りいわゆる理情3年Sセメスターの振り返りです。備忘録兼後輩の進振りの参考になればなぐらいの気持ちです。平和な講義たち(実験でないという意味)です。全部二限にあって、どれも特に出席は取られないです(あっても単位救済用のようです)。オペレーティングシステム(月2)OSの仕組みなどについて学ぶ講義です。スライドが配布されます。同期の取り方やスケジューリングのやり方などについての話を聞きます。テスト勉強をすれば単位が来るはずです。離散数学(火2)離散数学について学ぶ講義です。双対性が全体のテーマで(おそらく)、グラフの基本的な性質から始まり、フローや線形計画問題、マトロイドなどの話を聞きます。演習(後述)と内容は割とかぶっているのでそれをやっていればヤバいことにはならないはずです(多分)。情報論理(水2)情報論理について学ぶ講義です。教科書が英語...です。やって、最後にゲーデルの不完全性定理について少し触れたようです。(木2)言語情報処理について学ぶ講義です。スライドが配布されます。トラの本が参考書でしたが僕はあまり使いませんでした。字句解析から機械語生成まで、処理系の流れに沿って話を聞きます。重点的にやっていたのは、LAとかLALRとかあの辺の話です。