p.54の「全順序」に対する脚注で *1 訳注：数学用語で，ここでは「異なる2 要素には必ず大小いずれかの関係があり，タイが生じない」 ことを指す ってあるけど、自分の知ってる全順序とは少し違う気がする。任意の元について順序関係が存在するのが全順序で…

最近『On Lisp』を読み始めた。まだ前の方しか読んでないんだけど、なんというかとても面白い。関数型プログラミングという、普段あまりやらないものに触れる面白さもあるんだけど、むしろ普段親しんでいるものにとても近いというのが面白い。 本文から例を…

最近、自分のやろうと思っていることがうっすら見えてきたように思う。 おおまかと言うと、「プログラムによる処理とは、プロパティの操作である」と単純化する事で得られる利点を最大限利用して、楽をしたり、DRYにしたり、責務を適切に分散させたりしよう…