Scott0.ppt2003/05/19 武市正人 1 計算モデルの数理： Scott 理論 • λ式の表示する対象は？ – λ計算法の意味論の展開のために • 等式による再帰的な関数の定義とは？ – fac (x) = if x=0 then 1 else x*fac (x-1) • 表示的意味論(denotational semantics) の基礎 2003/05/19 武市正人 2 参考書 • Scott, D. and Strachey, C.: Towards a Mathematical Semantics for Computer Languages. PRG-6. Oxford University Programming Research Group, 1971. • Stoy, J.E.: Denotational Semantics: The Scott- Strachey Appr
