不動点意味論メモ - ラシウラ(追記: 書籍のこのレジュメとは別に、不動点意味論の直感的イメージについての補足を、一番下に書き加えました。) メモというよりは補間てかんじ。 プログラム意味論 (情報数学講座) 作者: 横内寛文出版社/メーカー: 共立出版発売日: 1994/06/01メディア: 単行本購入: 2人 クリック: 57回この商品を含むブログ (17件) を見る の3.3より。 再帰関数 階乗の(再帰)関数定義 fact(x) => if x = 0 then 1 else x * fact(x - 1)factを基にした、Φfact: [N -> N] -> [N -> N]の定義([N→N]はN上の部分関数) Φfact(f)(x) => if x = 0 then 1 else x * f(x - 1)Φでは未定義値undefも受け付ける。undefの定義 undef = N => undef unde
