トップ «前の日記(2002-12-22) 最新 次の日記(2002-12-24)» 月表示 編集

日々の流転


2002-12-23 [長年日記]

λ. Ruby-CPL

どうもfactorizerのmost general annotated expressionのannotationの変数の数が多すぎる。数時間悩んだあげくに、ユニフィケーションの方法に問題があることに気が付く。多数の内から一度に2つづつをunifyして字句的に書き換えるという処理を繰り返していっても、その2つに出現しない束縛変数に関するユニフィケーションの情報は伝播しない。当然と言えば当然すぎ。あぁ、ユニフィケーション周りは根本的に書き直さなくちゃダメかなぁ……

Tags: CPL

λ. 読書

『私の救世主さま 2』
水無月 すう [著]
『プラネット ガーディアン 2』
高坂 りと [著]
『大魔法峠』
大和田 秀樹 [著]
「リリカル、トカレフ、キルゼムオールっ♥」はともかくとして、 「魔女が相手では肉弾戦は不利……」ってのが妙に印象に残った。
『疾風可憐迅雷狐娘!』
橘 あゆん [著]
Tags: