あー、失敗。「プログラマのための述語論理」は、説明にJavaScriptを使うべきだった（「みにくいアヒルの子 -- コンピューティング・サイエンスとJavaScript」も参照）。技巧的なJavaコードじゃ、分かるものも分からなくなる。手遅れだろうけど、JavaScript…

たまにやっている「プログラマのための××○○」モノでがんす。これは一回読み切り。表題どおり、述語論理の入り口を説明する目的があります。それと、ラムダ式もクロージャも高階の型／関数もないようなプログラミング言語（具体例にはJavaを使いますが）で、…