そういえば、あろはさん以外には全く意味不明のことを書いていたような気がします。いきなり弄るところから始めて、いつもの能書きすら書いていませんでした。 ETとは… ETとは… http://assam.cims.hokudai.ac.jp/et/indexj.htmlを参照していただくとして、私…

もしかして、無関係のど素人がETに触れるってのは初なんじゃないか？あろはさんが妙に熱心なのは裏で貴重なサンプル扱いされてないか？研究室で皆で相談しつつ餌を撒いて無いか？…と妙な想像をしつつ。(妙に失礼だなオイ) 論理型言語に触れるのは、以前Prolo…

http://assam.cims.hokudai.ac.jp/ai/http://assam.cims.hokudai.ac.jp/~k_mit/ ざっと見て…PrologはNFAシミュレータ(暴言)として、ETはなんなのだろう。イメージがさっぱり。 メモ。 GHCはGuarded Horn ClausesであってHaskellコンパイラではない、あとDル…