- トップ
- 早稲田大学大学院
- 「計算モデル論」を含む授業
- 上田和紀先生の「計算モデル論」の評価一覧
早稲田大学大学院
上田和紀先生の「計算モデル論」の評価一覧
【早稲田大学大学院】上田和紀先生が担当する「計算モデル論」には、2件の授業評価が寄せられています。授業の充実度は星4.5点、楽単度は星2.0点です。会員登録・ログインをして、在学生による評価とシラバスの内容をもとに、授業の選択・履修登録の参考にしましょう。
logicule さんの授業評価
| 学部 学科 | 理工学研究科 情報・ネットワーク専攻 |
|---|---|
| 担当の先生名 | 上田和紀先生 |
| 授業種別 | 専門科目 |
| 出席 | とらない |
| 教科書 | 教科書必要 |
| 授業の雰囲気 | - |
| テスト |
前期/中間：
テスト・レポート両方なし 後期/期末： レポートのみ 持ち込み： 教科書ノート持ち込み不可 |
| テストの方式や難易度 | - |
| コメント 授業の内容や学べたこと |
情報系学科の中でも，工学よりも理学系の授業内容． つまりは，数学とか論理学の知識が求められる． プログラムを形式的に扱うためには，数学分野の中でも かなり強烈な緻密さが求められる． ある程度覚悟しておかないと困惑することと思われる． この辺りは教科書やネット上（他大学の講義資料）で 補完すべし． 具体的な授業内容は，考察するための道具と対象として， 集合論（データ）と，ラムダ計算（関数手続き） を最初にやる． その後は， プログラム操作的意味論と，型理論 がメイン． それぞれを簡単に言えば， プログラムが計算機上で実行されるときの様子と， コンパイル時のエラーチェック を数学的に形式的な扱いをするとどうなるのかを 学ぶことになる． 授業評価は学期末のレポートのみ． 内容的には授業の内容の確実に理解していないと辛いレベル． それでも，問題的には教科書に載っている程度だと 思われるので多くの教科書を参照するなりして， 気合入れてやればなんとかなるはず． |
| 授業を 受けた時期 |
- |
| 評価 |
|
(2006/05/10) [409283]
トム さんの授業評価
| 学部 学科 | 理工学研究科 情報・ネットワーク専攻 |
|---|---|
| 担当の先生名 | 上田和紀先生 |
| 授業種別 | 専門科目 |
| 出席 | とらない |
| 教科書 | 教科書なし・不要 |
| 授業の雰囲気 | - |
| テスト |
前期/中間：
レポートのみ 後期/期末： テスト・レポート両方なし 持ち込み： 教科書ノート持ち込み可 |
| テストの方式や難易度 | - |
| コメント 授業の内容や学べたこと |
ノートをしっかり手に入れておきましょう |
| 授業を 受けた時期 |
- |
| 評価 |
|
(2005/03/27) [61967]
