井上真偽
恋と禁忌の述語論理(2015年1月 講談社ノベルス ISBN 978-4-06-299038-7 / 2018年12月 講談社文庫 ISBN 978-4-06-513995-0) レッスンI 「スターアニスと命題論理」 レッスンII 「クロスノットと述語論理」 レッスンIII 「トリプレッツと様相論理」 進級試験 「恋と禁忌の......?」
探偵が早すぎる(上 2017年5月 講談社タイガ ISBN 978-4-06-294071-9 / 下 2017年7月 講談社タイガ ISBN 978-4-06-294080-1) 上巻 プロローグ 第1話 ヘビースモーカー 第2話 毒蜘蛛 第3話 カボチャと魔女 第3.5話 決戦前夜 下巻 インタールード 第4話 寺──焼香 第5話 墓──納骨 第6話 ホテル──会食 エピローグ