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

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