こないだ C5 の後でちょっと話題になったので、CafeOBJ について調べてみました。http://www.ldl.jaist.ac.jp/cafeobj/system.html からダウンロードして展開、Mac の場合 lisp/CafeOBJ にバイナリがあるので、それを /usr/local/bin/cafeobj にシンボリック…