日々の流転

λ. Ruby-CPL

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

λ. 読書

『私の救世主さま 2』

水無月 すう [著]

『プラネット ガーディアン 2』

高坂 りと [著]

『大魔法峠』

大和田 秀樹 [著]

「リリカル、トカレフ、キルゼムオールっ♥」はともかくとして、 「魔女が相手では肉弾戦は不利……」ってのが妙に印象に残った。

『疾風可憐迅雷狐娘!』

橘 あゆん [著]