『ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発』
プログラミングと数学をつなぐ
- 井上亜星 著
- 228ページ
- A5判
- ISBN：978-4-908686-21-4
- 2025年9月4日 第1版第1刷
- 正誤など
ソフトウェアとして数学を扱いたい人、そして数学の力をソフトウェアに結びつけたい人にとってのプログラミング言語、Lean。本書では、動作するプログラムとして自然数と整数を構築することで、数学とソフトウェアがLeanによってどう結び付けられるかを確かめながら、Leanによりソフトウェアを開発するための基礎を身に付けます。
数学の形式化に興味がある数学者はもちろん、数学に挑戦したいプログラマーや、計算機科学の抽象概念を手触りで確かめたいエンジニアにも最適な一冊です。
本書は『n月刊ラムダノートVol.5, No.1（2025）』に掲載された記事「自然数を作って学ぶLean言語」を基に内容を加筆して書籍として刊行したものです。
