「諸君らの愛した表示的意味論(R5RS)は死んだ。なぜだ?」 と述べられた時、シャアさんはR6RSに鑑みて、ひいてはプログラミング言語意味論を思ってどう答えるのでしょうか? 教えてください。m(_ _)m ここに至った流れ 藍ちゃんの「表示的意味論て要らない子なん?」ていう質問について考える ↓ 紆余曲折 ↓ 領域理論から圏論へと接続したい どうすれば はっ!領域方程式はどうだろう。逆極限法とか! ↓ 領域方程式でググる http://lambda.bugyo.tk/hatena/r5rs.html つまり・・・説明になっとらん! ↓ "Scott-Strachey Approach to Programming Language Theory"は読んでみたい ところで、歴史的な流れで書くと、ストレイチー・スコットなんでは無いでしょうか。どうなんでしょうか? ↓ ところで、改めてですけどS