井田　哲雄：計算モデルの基礎理論

概要

プログラミング言語の基礎は計算である。本書では各種のモデルを取り上げている。

感想

同相的埋め込み

同相的埋込み (homeomorphic embedding) の記号を出そうとして往生した。◁に似ているが、 下の棒はもう少し左が上がっていて、下側の三角形の辺と平行である。 さらに、そうした状態で時計回りにに30度ほど回転している。どうしても出せないので、ごまかして `<|=` を作っている。

新約聖書

p.220 に問題 5.10 がある。 「アブラハムはイサクの父，イサクはヤコブの父，ヤコブはユダとその兄弟たちとの父」 （マタイによる福音書１章１節） が引用されている。右翼の誰かが計算機学者となったときには、 「神武は綏靖の父、綏靖は安寧の父、安寧は懿徳の父……」 という教科書を書くのだろうか。

数式

数式表示には、ASCIIMathMLを使っている。

まりんきょ学問所 ＞ コンピュータの部屋 ＞ コンピュータの本 ＞ 井田　哲雄：計算モデルの基礎理論