1. チョムスキー流の生成文法について知っていることを書きなさい。
参考書:形式言語理論の本。たとえば岩波講座情報科学のうちの該当するものなど。
2. プログラムの表示的意味論、操作的意味論、論理的意味論について述べよ。
参考書:(続)新しいプログラミング・パラダイム, 共立出版
3. CPOとはなにかを説明せよ。また、これがなぜプログラムの表示的意味論に 用いられるかを説明せよ。
4. 授業あるいは自分で勉強した計算機に関することで、一番興味を持ってい ることについて解説せよ。
5. λ計算の式で、以下の性質を持つものを一つずつ挙げ、確かに性質を満た していることを示せ。
参考書:岩波講座ソフトウェア科学12 計算モデルの基礎理論, 井田哲夫
6. λ計算に整数演算、条件文等を入れて拡張し、プログラミング言語を定義 せよ。関数に名前をつけて関数の定義を行なえるようにすること。そのプログ ラミング言語を形式的意味を与えよ。具体的なプログラムに表示的意味を求め よ。
7. 授業に対する感想、批判、改善点。
提出先:
電子メール sakura@i.h.kyoto-u.ac.jp
あるいは A304 桜川
提出期限:9月末日 多少の遅れは認めるのでめげずに出すこと
電子メールで提出すると
として評価します。電子メールで提出でき
ない場合は、ワープロの出力でも同等とみなします。その旨を書いて下さい。
両方とも利用できない場合、
の評価がほしい人は、A304,A288まで相
談に来て下さい。