素数夜曲

数学学習の“全方位独学法”を提供。ガウスが、数学の女王と讃えた整数論を主題とし、対象の理解の為に様々な手法を駆使する。「発見法的」に始め、「証明」へと進む。結果は「数値実験」により再確認され、「グラフ」により視覚化される。人物小史など内容は多岐に渡る。ラムダ計算の概要から、函数型言語の基礎までを紹介し、ＬＩＳＰの方言であるＳｃｈｅｍｅにより整数論を表現する。本文で語られた初等整数論の基礎が、附録ではプログラムとして与えられ、具体的な数値として議論される。函数型言語の入門書としても最適。