検索結果資料の内容

図書
ログインすると表紙画像を
ご覧になれます
ご利用の地域の図書館が所蔵している場合、そちらの方が早く借りられることもあります。
また、ご利用の地域の図書館に申し込み、県立図書館の資料を取り寄せることもできます。
オカリブサーチ（岡山県図書館横断検索）

この資料の情報へのリンク：

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

資料の状態

各蔵書資料に関する詳細情報です。

No. 資料番号 資料種別 請求記号 配架場所 状態 貸出
1 0017322736一般図書410/ｲﾉ26/2F自然貸出可  ○

この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。

登録するリストログインメモ

書誌情報サマリ

タイトル

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

人名 井上 亜星／著
人名ヨミ イノウエ アセイ
出版者・発行者 ラムダノート
出版年月 2025.9

書誌詳細

この資料の書誌詳細情報です。

書誌種別 図書
タイトル ゼロから始めるLean言語入門
サブタイトル 手を動かして学ぶ形式数学ライブラリ開発
タイトルヨミ ゼロ カラ ハジメル リーン ゲンゴ ニュウモン
サブタイトルヨミ テ オ ウゴカシテ マナブ ケイシキ スウガク ライブラリ カイハツ
人名 井上 亜星／著
人名ヨミ イノウエ アセイ
出版者・発行者 ラムダノート
出版者・発行者等ヨミ ラムダ ノート
出版地・発行地 東京
出版・発行年月 2025.9
ページ数または枚数・巻数 9,215p
大きさ 21cm
価格 ￥３２００
ISBN 978-4-908686-21-4
ISBN 4-908686-21-4
分類記号 410
件名 証明(数学)-データ処理 ／ プログラミング(コンピュータ)
内容紹介 Leanというプログラミング言語を使い、数学をソフトウェアに翻訳する方法を紹介。Leanにより自然数や整数を作り、その基本的な性質を証明する。練習問題付き。『n月刊ラムダノート』掲載記事を基に書籍化。
言語区分 JPN
タイトルコード 1009812887694



目次


内容細目

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

410　410
【数学ができるとはどういうことか】 数学ができるとはどういうことか
竹山 美宏／著 【大人も知らないヤバい算数の話　：　…】 大人も知らないヤバい算数の話　：　…
小山 信也／監修 【みるみる数と図形に強くなるマンガ　…】 みるみる数と図形に強くなるマンガ　…
キム ジヨン／著… 【人工知能との数学的対話　：　生成A…】 人工知能との数学的対話　：　生成A…
数理哲人／著 【プログラミングのための数学大全　：…】 プログラミングのための数学大全　：…
ロナルド・T.ク… 【超ワンダフル生命体算数ゴン1】 超ワンダフル生命体算数ゴン1
クリストファー・… 【ひらめけ!算数ドカン!2】 ひらめけ!算数ドカン!2
リュ ギウン／作… 【ジュニア数学オリ…2022-2026】 ジュニア数学オリ…2022-2026
数学オリンピック… 【新・学びなおし中学・高校の数学　：…】 新・学びなおし中学・高校の数学　：…
 【ニュートン先生の数学 数と数式講義】 ニュートン先生の数学 数と数式講義
山本 昌宏／監修 【挑め!算数…ひらめきで王国を救え!編】 挑め!算数…ひらめきで王国を救え!編
大野 正人／原作… 【まんがで楽しくしくみがわかる算数ま…】 まんがで楽しくしくみがわかる算数ま…
細水 保宏／監修 【ひらめけ!算数ドカン!　：　三角形…】 ひらめけ!算数ドカン!　：　三角形…
リュ ギウン／作… 【かず・かたちふしぎ探検隊!…ノート2】 かず・かたちふしぎ探検隊!…ノート2
チャン ギョンア… 【かず・かたちふしぎ探検隊!…ノート1】 かず・かたちふしぎ探検隊!…ノート1
チャン ギョンア… 【マンガでなるほど算数トリビア〜ン】 マンガでなるほど算数トリビア〜ン
とし山 じゅん／… 【算数レクリエーション図鑑…Vol.3】 算数レクリエーション図鑑…Vol.3
桜井 進／監修 【算数レクリエーション図鑑…Vol.2】 算数レクリエーション図鑑…Vol.2
桜井 進／監修 【ボロバシュ数学の技法続】 ボロバシュ数学の技法続
B.ボロバシュ／… 【絶対解きたくなる!考えるのが楽しく…】 絶対解きたくなる!考えるのが楽しく…
前田 健太／著 【だれでもすぐに算数が得意になる本】 だれでもすぐに算数が得意になる本
あきとんとん／著 【おい点P、動くんじゃねえ!　：　ニ…】 おい点P、動くんじゃねえ!　：　ニ…
とけいまわり／著 【数理モデル大百科事典　：　仕事で使…】 数理モデル大百科事典　：　仕事で使…
蔵本 貴文／著 【聞いて納得!大…微分積分・線形代数篇】 聞いて納得!大…微分積分・線形代数篇
数学セミナー編集… 【聞いて納得!大学…集合・論理・位相篇】 聞いて納得!大学…集合・論理・位相篇
数学セミナー編集…
410　410
【数学ができるとはどういうことか】 数学ができるとはどういうことか
竹山 美宏／著 【大人も知らないヤバい算数の話　：　…】 大人も知らないヤバい算数の話　：　…
小山 信也／監修 【みるみる数と図形に強くなるマンガ　…】 みるみる数と図形に強くなるマンガ　…
キム ジヨン／著… 【人工知能との数学的対話　：　生成A…】 人工知能との数学的対話　：　生成A…
数理哲人／著 【プログラミングのための数学大全　：…】 プログラミングのための数学大全　：…
ロナルド・T.ク… 【超ワンダフル生命体算数ゴン1】 超ワンダフル生命体算数ゴン1
クリストファー・… 【ひらめけ!算数ドカン!2】 ひらめけ!算数ドカン!2
リュ ギウン／作… 【ジュニア数学オリ…2022-2026】 ジュニア数学オリ…2022-2026
数学オリンピック… 【新・学びなおし中学・高校の数学　：…】 新・学びなおし中学・高校の数学　：…
 【ニュートン先生の数学 数と数式講義】 ニュートン先生の数学 数と数式講義
山本 昌宏／監修 【挑め!算数…ひらめきで王国を救え!編】 挑め!算数…ひらめきで王国を救え!編
大野 正人／原作… 【まんがで楽しくしくみがわかる算数ま…】 まんがで楽しくしくみがわかる算数ま…
細水 保宏／監修 【ひらめけ!算数ドカン!　：　三角形…】 ひらめけ!算数ドカン!　：　三角形…
リュ ギウン／作… 【かず・かたちふしぎ探検隊!…ノート2】 かず・かたちふしぎ探検隊!…ノート2
チャン ギョンア… 【かず・かたちふしぎ探検隊!…ノート1】 かず・かたちふしぎ探検隊!…ノート1
チャン ギョンア… 【マンガでなるほど算数トリビア〜ン】 マンガでなるほど算数トリビア〜ン
とし山 じゅん／… 【算数レクリエーション図鑑…Vol.3】 算数レクリエーション図鑑…Vol.3
桜井 進／監修 【算数レクリエーション図鑑…Vol.2】 算数レクリエーション図鑑…Vol.2
桜井 進／監修 【ボロバシュ数学の技法続】 ボロバシュ数学の技法続
B.ボロバシュ／… 【絶対解きたくなる!考えるのが楽しく…】 絶対解きたくなる!考えるのが楽しく…
前田 健太／著 【だれでもすぐに算数が得意になる本】 だれでもすぐに算数が得意になる本
あきとんとん／著 【おい点P、動くんじゃねえ!　：　ニ…】 おい点P、動くんじゃねえ!　：　ニ…
とけいまわり／著 【数理モデル大百科事典　：　仕事で使…】 数理モデル大百科事典　：　仕事で使…
蔵本 貴文／著 【聞いて納得!大…微分積分・線形代数篇】 聞いて納得!大…微分積分・線形代数篇
数学セミナー編集… 【聞いて納得!大学…集合・論理・位相篇】 聞いて納得!大学…集合・論理・位相篇
数学セミナー編集…
証明(数学)-データ処理　プログラミング(コンピュータ)
もどる
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。