- トップ
- 名古屋大学大学院
- 「計算論基礎特論A」を含む授業
- 酒井正彦先生の「計算論基礎特論A」の評価一覧
名古屋大学大学院
酒井正彦先生の「計算論基礎特論A」の評価一覧
【名古屋大学大学院】酒井正彦先生が担当する「計算論基礎特論A」には、2件の授業評価が寄せられています。授業の充実度は星3.5点、楽単度は星2.0点です。会員登録・ログインをして、在学生による評価とシラバスの内容をもとに、授業の選択・履修登録の参考にしましょう。
jk88 さんの授業評価
| 学部 学科 | 情報学研究科 情報システム学専攻 |
|---|---|
| 担当の先生名 | 酒井正彦先生 |
| 授業種別 | 専門科目 |
| 出席 | とらない |
| 教科書 | 教科書なし・不要 |
| 授業の雰囲気 | - |
| テスト |
前期/中間：
テストのみ 後期/期末： テストのみ 持ち込み： 教科書ノート持ち込み不可 |
| テストの方式や難易度 | - |
| コメント 授業の内容や学べたこと |
TRS(項書き換え系)について。完備化を理解することがゴール |
| 授業を 受けた時期 |
- |
| 評価 |
|
(2020/04/17) [3573611]
ジャル さんの授業評価
| 学部 学科 | 情報学研究科 情報システム学専攻 |
|---|---|
| 担当の先生名 | 酒井正彦先生 |
| 授業種別 | 語学 |
| 出席 | ほぼ毎回とる |
| 教科書 | 教科書なし・不要 |
| 授業の雰囲気 | - |
| テスト |
前期/中間：
テストのみ 後期/期末： 授業無し 持ち込み： 教科書ノート持ち込み可 |
| テストの方式や難易度 | - |
| コメント 授業の内容や学べたこと |
具体的な計算モデルとして項書換え系に注目し，その基礎をなす等式推論系，ならびに，停止性や合流性などの書換え系の諸性質を理解する。 課題として与えられた証明問題などを解くことを通じて理論的な問題解決能力を涵養する。 |
| 授業を 受けた時期 |
- |
| 評価 |
|
(2018/04/07) [2818588]
