Q．E．D．証明終了（47）

米国国家安全保障局が管轄する研究施設で、機密漏洩の未遂事件が発生。狙われたのは、暗号解読などに用いられるアルゴリズム「NPクラス」。幸いにして機密は奪還したものの、厳重なセキュリティを破られた経緯が不明。真相解明の依頼を受けた燈馬は、可奈・ロキ・エバとともにインドネシアのバリ島に飛ぶ。施設の責任者であり数学の権威・ギーデル博士は、何かを知っている様子だがーー？ 陽はまだ高い 坂道