ゼロから始めるＬｅａｎ言語入門 手を動かして学ぶ形式数学ライブラリ開発

ラムダノート 西村書店（取次・東京）
井上亜星　

• 価格: 3,520円（本体3,200円＋税）
• 発行年月: 2025年09月
• 判型: Ａ５
• ISBN: 9784908686214

内容情報

[日販商品データベースより]

ソフトウェアとして数学を扱いたい人、そして数学の力をソフトウェアに結びつけたい人にとってのプログラミング言語、Lean。本書では、動作するプログラムとして自然数と整数を構築することで、数学とソフトウェアがLeanによってどう結び付けられるかを確かめながら、Leanによりソフトウェアを開発するための基礎を身に付けます。

数学の形式化に興味がある数学者はもちろん、数学に挑戦したいプログラマーや、計算機科学の抽象概念を言葉ではなくコードとして理解したいエンジニアにも最適な一冊です。