Cogito ergo sum

最近、論理学に基づいたプログラムを作っており、かなりパニック気味。
むずい。 なんつーか、オブジェクト指向言語で、述語論理計算をさせるものではない。

で、「われ思う、ゆえにわれあり」 by デカルト

これを素直にクラスのメソッドとしてあらわそうとすると、われが存在しなければ、「われ思う」を評価するときに、Null Pointer Exceptionが出そうなもんだが、どうなんだろうか。

哲学の世界は、Javaでは表せないと見た。 深い。 そして、遠い。