主観計算のための、非論理的なモデル

でも非論理的でもプログラミングはできるのだ。