恋と禁忌の述語論理

恋と禁忌の述語論理
恋と禁忌の述語論理
井上真偽
講談社
2015年1月8日
1件の記録
  • オーカド珈琲
    オーカド珈琲
    @K7777
    2025年10月3日
    以前読んだ「アリアドネの声」の井上真偽さんのデビュー作。 全3章+エピローグの構成で、各章ごとに、名探偵がすでに解き明かした事件について、論理学を駆使して検証を行なっていくという筋立てです。 結果、意外な真実が、となるわけですが、検証の手順がとにかく格好良い。記号と演算子だけで事件が解き明かされていく様子なんて、きっと他では見られません。 続編がないらしいのが残念…
読書のSNS&記録アプリ
hero-image
詳しく見る
©fuzkue 2025, All rights reserved