隠居日録

隠居日録

2016年(世にいう平成28年)、発作的に会社を辞め、隠居生活に入る。日々を読書と散歩に費やす

2020-05-21から1日間の記事一覧

恋と禁忌の述語論理

井上真偽氏の恋と禁忌の述語論理を読んだ。本書は連作短編で、「スターアニスと命題論理」、「クロスノットと述語論理」、「トリプレッツと様相論理」の三つのミステリーと「恋と禁忌の……?」のおまけの4編が収録されている。本書はミステリーなのだが、そ…