2009-06-01から1ヶ月間の記事一覧

ギレンさんが

「諸君らの愛した表示的意味論(R5RS)は死んだ。なぜだ?」 と述べられた時、シャアさんはR6RSに鑑みて、ひいてはプログラミング言語意味論を思ってどう答えるのでしょうか?教えてください。m(_ _)m ここに至った流れ 藍ちゃんの「表示的意味論て要らない子な…

Turing-Award Lecture

なんかそういう地味な作業の結果は公開してねって、みよしちゃんが言ってたので、それもそうなのかもしれない・・・。 でもこういう所に張った直後全てのpaperがインターネットから失われる様なそういう悲しい予感があるので、嫌なんですけど私は既に確保済…