ゼロから始めるLean言語入門 手を動かして学ぶ形式数学ライブラリ開発 | 誠品線上

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

內容簡介

內容簡介 ソフトウェアとして数学を扱いたい人、そして数学の力をソフトウェアに結びつけたい人にとってのプログラミング言語、Lean。本書では、動作するプログラムとして自然数と整数を構築することで、数学とソフトウェアがLeanによってどう結び付けられるかを確かめながら、Leanによりソフトウェアを開発するための基礎を身に付けます。数学の形式化に興味がある数学者はもちろん、数学に挑戦したいプログラマーや、計算機科学の抽象概念を手触りで確かめたいエンジニアにも最適な一冊です。 プログラミングと数学をつなぐ

作者介紹

作者介紹 井上亜星1997年滋賀県生まれ。京都大学理学部卒、京都大学大学院理学研究科数学・数理解析専攻修士課程修了。Proxima Technology勤務。2022年、就職を機にプログラミングを始めた。2023年8月ごろにLeanを知って夢中になり、Lean言語を日本に広めるべく活動していこうと決意する。最大の野望は、LeanをTeX言語に続いて、数学科の卒業生全員が知っているプログラミング言語にすること。Lean の日本語コミュニティlean-ja の立ち上げから関わっているほか、Leanのオンライン日本語リファレンス「Lean by Example」の執筆を行う。

商品規格

活動

• 外文館慶-滿$1288購物車結帳9折
• 9/12前 全站滿$3,000享9折
• 9/12前 全站滿$1,388享92折
• 9/12前 全站滿$6,000享88折