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