英字は面倒

twitter @alohakun まじめな話

From Twitter (clipped by TwitterClip)

alohakun / WAKATSUKI toshihiro

<Ｄ, Ｑ> を仕様としたとき，その意味を導出（というと，LP 的なので駄目なんだけど）するためのルールの集合を生成して，それで ｑ \in Ｑ を等価変換していく．この点が，直接 Ｄ を ｑ に使用する Prolog と異なる

Thu Jul 31 05:40:37 +0000 2008 from web

alohakun / WAKATSUKI toshihiro

twitter は，ローマ字一文字をうかつに打ち込めないので面倒．とりあえず，全て大文字にすれば大丈夫

Thu Jul 31 05:41:04 +0000 2008 from web