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

• 資料種別: 図書
• ISBN: 978-4-908686-21-4
• タイトル: ゼロから始めるLean言語入門 : 手を動かして学ぶ形式数学ライブラリ開発
• タイトルよみ: ゼロ カラ ハジメル Lean ゲンゴ ニュウモン : テ オ ウゴカシテ マナブ ケイシキ スウガク ライブラリ カイハツ
• 著者・編者: 井上亜星 著
• 著者標目: 著者 ： 井上, 亜星, 1997- イノウエ, アセイ, 1997- ( 034850207 )典拠
• 出版事項: 東京 : ラムダノート (出版)
• 出版年月日等: 2025.9
• 出版年（W3CDTF）: 2025
• 数量: 215 p
• 大きさ: 21 cm
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 表現種別: テキスト
• 機器種別: 機器不用
• キャリア種別: 冊子
• 件名標目: プログラミング用言語 プログラミングヨウゲンゴ ( 00569224 )典拠
• NDC10版: 007.64 : 情報学．情報科学
• NDLC: M159
• 対象利用者: 一般
• 入手条件・定価: 3200円
• 所蔵機関: 国立国会図書館
• 請求記号: M159-R618
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 034296611; http://id.ndl.go.jp/bib/034296611
• 全国書誌番号: 24285926
• 目録規則: 日本目録規則2018年版
• 整理区分コード: 111

• 要約等: プログラミングと数学をつなぐ（提供元: 出版情報登録センター（JPRO））
• 著者紹介: 井上亜星 1997年滋賀県生まれ。京都大学理学部卒、京都大学大学院理学研究科数学・数理解析専攻修士課程修了。Proxima Technology勤務。2022年、就職を機にプログラミングを始めた。2023年8月ごろにLeanを知って夢中になり、Lean言語を日本に広めるべく活動していこうと決意する。...

目次

はじめに

第1章 ゼロから始めるLean言語入門

1.1 Leanの特徴

1.2 Leanによるプログラミングの例

第2章 Leanによる初めての証明