Wadlerのパクリ。というか劣化コピー。 悪魔：「あなたが私と契約してくれたら、(A)『私があなたに一億円をあげる』、(B)『あなたが私に一億円をくれたら、どんな願いでもかなえてあげる』のどちらかをして差し上げます。(A)と(B)のどちらにするかは、私が決…

僕も今のコンピュータやプログラミング言語は嫌いなので（わりと本気）、http://alohakun.blog7.fc2.com/blog-entry-285.html 計算機とかプログラミング言語なんて，本当は無いほうが良いんですよ． にわりと同意します。ユーザがコンピュータやプログラムな…