- トップ
- 筑波大学大学院
- 「プログラム理論特論」を含む授業
- 水谷哲也先生の「プログラム理論特論」の評価一覧
筑波大学大学院
水谷哲也先生の「プログラム理論特論」の評価一覧
【筑波大学大学院】水谷哲也先生が担当する「プログラム理論特論」には、2件の授業評価が寄せられています。授業の充実度は星4.0点、楽単度は星4.0点です。会員登録・ログインをして、在学生による評価とシラバスの内容をもとに、授業の選択・履修登録の参考にしましょう。
あまみ さんの授業評価
| 学部 学科 | システム情報工学研究科 コンピュータサイエンス専攻 |
|---|---|
| 担当の先生名 | 水谷哲也先生 |
| 授業種別 | 専門科目 |
| 出席 | ほぼ毎回とる |
| 教科書 | 教科書なし・不要 |
| 授業の雰囲気 | - |
| テスト |
前期/中間：
レポートのみ 後期/期末： レポートのみ 持ち込み： テストなし |
| テストの方式や難易度 | - |
| コメント 授業の内容や学べたこと |
出席を毎回して，毎回でるレポートも出せば単位がでます．ただ，内容が難しいので過去レポートとかないと厳しいかもしれません．受講人数は僕のときは５人でした |
| 授業を 受けた時期 |
- |
| 評価 |
|
(2019/03/08) [3112768]
秋津早苗 さんの授業評価
| 学部 学科 | システム情報工学研究科 コンピュータサイエンス専攻 |
|---|---|
| 担当の先生名 | 水谷哲也先生 |
| 授業種別 | 専門科目 |
| 出席 | ほぼ毎回とる |
| 教科書 | 教科書なし・不要 |
| 授業の雰囲気 | - |
| テスト |
前期/中間：
レポートのみ 後期/期末： レポートのみ 持ち込み： テストなし |
| テストの方式や難易度 | - |
| コメント 授業の内容や学べたこと |
手続き型プログラムがホーアトリプルとして与えられた仕様を満たしているかの証明を手で書いていく講義です． |
| 授業を 受けた時期 |
- |
| 評価 |
|
(2019/02/12) [3065462]
