再帰プログラムの意味論について
∗ 1 semantics of programming languages recursion ∗ 59 (2007), 180–191 1 2 2.1 fact(x) ≡ if x = 0 then 1 else x × fact(x−1) well-defined Z * Z Z * Z F : (Z * Z) → (Z * Z) F(f)(x) = 1 (x = 0) x × f(x − 1) (x 6= 0, f(x − 1) ) ( ) F F fact fact [[fact]] : Z * Z [[fact]](x) = ( x! (x ≥ 0) ( ) 2 F f [[fact]] F([[fact]])(x) = 1 (x = 0) x × y (x 6= 0, [[fact]](x−1) = y) ( ) = ( x! (x ≥
セマンティクス(笑) - soutaroブログ
セマンティクスって？ - Higepon’s blog Route 477(2008-05-30) セマンティクス - soutaroにっき http://alohakun.blog7.fc2.com/?no=945 http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20080603#p01 d.y.d. 多分、時系列順。 id:higeponさんのエントリはLDRで眺めただけで、ちょっとしてyharaさんがコメントしてるのを見て、じゃあせっかくだからと思ってちょっとセマンティクスについて書いてみようと思った。どういう話にするか一瞬考えて、Haskell HackathonのときにLingrでid:SiroKuroさんと話してたのを思い出して良い機会だから、そのとき理解した気になったことを書いてみようと決めた。そのあと、あろはさんが、例によってETに
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
