Skip to main content

山椒の実

恋と禁忌の述語論理 (井上真偽)

解明された謎を、数学的な論理で検証する。無駄なモテモテっぷりにイライラするが。あのウエオロとフーリンまで出てきたときにはどうしようかと思った。

が、実際はこっちがデビュー作で、ウエオロはその後シリーズ化されたということらしい。そっちか。それにしては設定にクセがありすぎるが。

論理式がたくさん出てきて良かった。式を立てるまでが推理です。