<br>こちらには記憶が無いんですが...<br>参照透明性とQuineにこだわっていたのは、以前青木さんの日記にコメントで、”そうだとおもうんですけど...”(具体的証拠がない)て感じで書いていて、ちょっとイイスギかなと思ってたもので。23:23)ありゃりゃ。<br>じゃ、たぶん私の記憶違いだと思います。23:59)さすがにプログラミング言語の文脈で外延性を参照透過性と同一視するのは計算可能性の観点から不自然ですね。(はてな版)日記は現代の病です。読み過ぎ書き過ぎはあなたの健康を害する恐れがあります。2.2.10-p489。