2003-11-10 [長年日記]
λ. 衆議院選挙 (2)
あッはっはッはっはっは あの民主党がまるでボロ雑巾じゃないか やっぱり強いなぁ!! 自民党は!! べらぼうに強いな!! 存外に強いな!!
とか書こうと思ってたのですが、ちょっとだけアテが外れた。……それにしても、公明党は例によっておいしい立場ですなぁ。
λ. CMU student taps brain's game skills
日誌(2003-11-07) より。おもしろーい。
λ. yap - yet another prolog (sourceforgeのページ)
The Yap Prolog System is a ISO-compatible high-performance Prolog compiler. Yap is widely considered one of the fastest available Prolog systems. Yap supports coroutining, CLP(QR), CHR, and depth-bound search. Tabling and parallelism are in development.
こないだ向井先生が紹介していた処理系。freeze とか rational tree とか使えるらしい。
cygwinでビルドしようとしたら、-mno-cygwinでビルドしだした。しかし「gcc -shared」には-mno-cygwinがついていなくて、__findfirst, __findnext, __errno などのシンボルが未定義になってしまう。とりあえず安直なパッチ。