2015-05-12 Prologで作る数学の世界/飯高茂 Book サブタイトルが Prolog そして 集合-位相-群 集合は離散数学で扱うのでまだ何とか。位相、わからん。群論も詳しいとは言いがたい。 Prolog上のエディタを使って直接書いたとのことで版下がdpiの少なかった頃のレーザープリンタのラスターフォントですごく独特。あと、RUN/PrologかArity/PrologをMS-DOSから動かしているらしいけど、SWI-Prologとどのくらい互換性があるのかは謎。 あー、そういえばSmalltalkの赤本の日本語版もすごい微妙なフォントだったなぁ。あれもレーザープリンター周りは似たような環境だったのかなぁ。