第一話
―― 場所 ――
λの探偵
ラムダ式の評価過程を辿って事件の真相を導く論理推理ノベル。
操作
マウス操作のみ。各話で証拠を集め、サイドバーの【β簡約】で論理式を評価し、容疑者の中から犯人を指摘する。
Y Lab tieup: 推理は (λs. 犯人(s)) 動機 形式の関数適用。
集めた証拠を引数として β-reduce すると犯人の名前が浮かぶ。
全5話の真犯人をすべて特定すれば、最後の総括章「λx.x」へ。