07/08/23 09:38:16
>>30 私58才。証拠として推薦図書を。
「論理・代数・データベース」 ー知の工学の基礎ー
ピーター・グレイ著 田中穂積・徳永健伸訳 産業図書 1990年 ISBN4-7828-5128-6
大学の教科書らしいが、レベルは高い。
データベース(RDBと限らない)・関数型言語・Prologなどの相互の
変換・等価性などを詳細に論じている。原著は1984年刊でHaskell以前だが、
その先祖と云うべきKRCやHOPEについてのしっかりした解説を含む。
1980年代のこの分野の文献目録としてもしっかりしたものが付いている。