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