- トップ
- 法政大学
- 「プログラミング言語理論・設計」を含む授業
- 宮本先生の「プログラミング言語理論・設計」の評価一覧
法政大学
宮本先生の「プログラミング言語理論・設計」の評価一覧
【法政大学】宮本先生が担当する「プログラミング言語理論・設計」には、1件の授業評価が寄せられています。授業の充実度は星3.0点、楽単度は星1.0点です。会員登録・ログインをして、在学生による評価とシラバスの内容をもとに、授業の選択・履修登録の参考にしましょう。
世界のスベラー さんの授業評価
| 学部 学科 | 理工学部 応用情報工学科 |
|---|---|
| 担当の先生名 | 宮本先生 |
| 授業種別 | 専門科目 |
| 出席 | とらない |
| 教科書 | 教科書なし・不要 |
| 授業の雰囲気 | - |
| テスト |
前期/中間：
授業無し 後期/期末： レポートのみ 持ち込み： テストなし |
| テストの方式や難易度 | - |
| コメント 授業の内容や学べたこと |
Coqを用いたプログラミングを行って、実装を行います。 パワポ自体もかなり物足りない状態で、最初は数行のプログラムばかりでしたが、期末のプログラムは結構な量のプログラムを作成しなければなりません。 プログラムに自信がある人以外はあまりお勧め出来ません。 |
| 授業を 受けた時期 |
- |
| 評価 |
|
(2013/03/07) [1347023]
