計算モデルの数理のバックアップ(No.6) - PukiWiki

[ トップ ] [ 新規 | 一覧 | 単語検索 | 最終更新 | ヘルプ ] [ リンク元 ]

バックアップ一覧
差分を表示
現在との差分を表示
ソースを表示
計算モデルの数理へ行く。
- 1 (2008-04-05 (土) 21:03:03)
- 2 (2008-04-06 (日) 16:41:50)
- 3 (2008-04-07 (月) 09:11:46)
- 4 (2008-05-12 (月) 00:56:50)
- 5 (2008-07-07 (月) 09:59:41)
- 6 (2008-07-10 (木) 17:39:26)

講義日程-2008年度夏学期

計算モデルの数理 †

担当：武市正人教授, 胡振江准教授
1.5単位
- 数理：限定選択B
- システム：限定選択C
- 物工：限定選択※
8:30-10:00 工学部六号館 61講義室
講義ページ
- 胡先生
- 武市先生

去年のもの

昨年度は試験で教科書及びノートの持ち込み可だった模様。

内容 †

while文出しちゃうぞー(胡先生)
- 末尾再帰ですか！わかりません！

tzikのノートは今学期はblogに書きます。

ラムダ計算の基礎
- http://www.kb.ecei.tohoku.ac.jp/~sumii/class/keisanki-software-kougaku-2005/lambda.pdf
- http://d.hatena.ne.jp/m-hiyama/20070220/1171956186

関係ないのだけど、入力メソッドのSKKのネーミングはこれから来ているらしい
http://openlab.jp/skk/SKK.html