- トップ
- 名古屋大学大学院
- 「計算機科学論理特論」を含む授業
- 草刈圭一朗先生の「計算機科学論理特論」の評価一覧
名古屋大学大学院
草刈圭一朗先生の「計算機科学論理特論」の評価一覧
【名古屋大学大学院】草刈圭一朗先生が担当する「計算機科学論理特論」には、3件の授業評価が寄せられています。授業の充実度は星4.0点、楽単度は星4.0点です。会員登録・ログインをして、在学生による評価とシラバスの内容をもとに、授業の選択・履修登録の参考にしましょう。
Bob さんの授業評価
| 学部 学科 | 情報科学研究科 計算機数理科学専攻 |
|---|---|
| 担当の先生名 | 草刈圭一朗先生 |
| 授業種別 | 共通(一般教養) |
| 出席 | ほぼ毎回とる |
| 教科書 | 教科書なし・不要 |
| 授業の雰囲気 | - |
| テスト |
前期/中間：
テストのみ 後期/期末： テストのみ 持ち込み： 教科書ノート持ち込み可 |
| テストの方式や難易度 | - |
| コメント 授業の内容や学べたこと |
項書き換え系の授業。面白い。教科書と授業内容が微妙に違うのが困る |
| 授業を 受けた時期 |
- |
| 評価 |
|
(2013/03/11) [1355545]
しょたろ さんの授業評価
| 学部 学科 | 情報科学研究科 計算機数理科学専攻 |
|---|---|
| 担当の先生名 | 草刈圭一朗先生 |
| 授業種別 | 専門科目 |
| 出席 | ほぼ毎回とる |
| 教科書 | 教科書なし・不要 |
| 授業の雰囲気 | - |
| テスト |
前期/中間：
授業無し 後期/期末： テストのみ 持ち込み： 教科書ノート持ち込み可 |
| テストの方式や難易度 | - |
| コメント 授業の内容や学べたこと |
論理的思考力を養うことを大切にしている。 講義内容を深く理解しないでも、要点を押さえたカンペを作れば単位取得は楽。 |
| 授業を 受けた時期 |
- |
| 評価 |
|
(2010/03/28) [1121170]
ひろま さんの授業評価
| 学部 学科 | 情報科学研究科 計算機数理科学専攻 |
|---|---|
| 担当の先生名 | 草刈圭一朗先生 |
| 授業種別 | 専門科目 |
| 出席 | とらない |
| 教科書 | 教科書なし・不要 |
| 授業の雰囲気 | - |
| テスト |
前期/中間：
授業無し 後期/期末： テストのみ 持ち込み： 教科書ノート持ち込み可 |
| テストの方式や難易度 | - |
| コメント 授業の内容や学べたこと |
項書換え系（TRS）という、プログラムの計算モデルについて学ぶ講義です。 TRSを学ぶ上で前提の知識となる論理学や集合論について簡単に触れ、 それから背景である計算可能性云々の話を学び、 そしてTRSの内容に入っていきます。 TRSの停止性証明法に重きを置いて講義を進めていきます。 終始理論的な話が続きます。 項書換え系を専門分野としていない方にとっては、 かなりとっつきにくい内容であると思います。 ただ、期末試験は、そういう方に配慮してかなり易しいものとなっています。 |
| 授業を 受けた時期 |
- |
| 評価 |
|
(2008/05/02) [877362]
