トップ «前の日記(2007-01-26) 最新 次の日記(2007-01-30)» 月表示 編集

日々の流転


2007-01-27 [長年日記]

λ. HaskellでのPTQ実装

HaskellでPTQを実装しました。 英語の簡単な平叙文を内包論理ILの論理式に翻訳します。 まだ若干問題はありますが、PTQの例の多くを試すことが出来ます。