CTMCP のために Mozart/Oz を動かす

Posted on 月 08 4月 2019 in 学習 • Tagged with Mozart, Oz, Emacs, , 環境構築

ゼミの輪読で, Concepts, Techniques, and Models of Computer Programming (MIT Press) ,略称 CTM または CTMCP を読むことになった.その為の準備と,ちょっとだけ読んだのでそ …


Continue reading