素数夜曲 女王陛下のLISP/吉田武

吉田武
東海大学出版会
ISBN：4486019245/9784486019244
発売日:2012年06月

---

※商品画像はイメージや仮デザインが含まれている場合があります。帯の有無など実際と異なる場合があります。

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