| 教官 | 住井 |
| 教科（講座） | 計算機ソフトウェア工学 |
| 投稿者 | |
| 投稿日 | 2025年09月03日 |
| 評価 | 並 |
| テスト | |
| レポート | あり |
| 出席 | なし |
| コメント | 完全オンデマンド授業である（珍しいことに教授が対面授業アンチ）。前半は情報数学と内容が被っており、課題も教科書から出題されるため簡単。後半になるにつれて謎の数式が多くなりお手上げになる。試験は①論理式 ②構文解析 ③操作的意味論やホーア論理による証明となっている。テスト1か月前くらいに過去問10年分が公開されるのは非常にありがたい。また、課題をある程度やってれば10×√得点に換算されるため、36点で浮くことができる。 |
|
|
|
