最近、論理学に基づいたプログラムを作っており、かなりパニック気味。 むずい。 なんつーか、オブジェクト指向言語で、述語論理計算をさせるものではない。で、「われ思う、ゆえにわれあり」 by デカルト これを素直にクラスのメソッドとしてあらわそうとす…