この商品の詳細
- 出版社
- ラムダノート
- 出版社シリーズ
- ISBN
- 4908686214
- サイズ
- 単行本
- 発売年月日
- 2025年09月01日
この商品の紹介
ソフトウェアとして数学を扱いたい人、そして数学の力をソフトウェアに結びつけたい人にとってのプログラミング言語、Lean。本書では、動作するプログラムとして自然数と整数を構築することで、数学とソフトウェアがLeanによってどう結び付けられるかを確かめながら、Leanによりソフトウェアを開発するための基礎を身に付けます。
数学の形式化に興味がある数学者はもちろん、数学に挑戦したいプログラマーや、計算機科学の抽象概念を手触りで確かめたいエンジニアにも最適な一冊です。
ゼロから始めるLean言語入門/単行本
2,690
円(税込)
この商品と同年代の数学・物理・化学のおすすめ もっと見る
週間売れ筋ランキング（数学・物理・化学） もっと見る
-
思考の整理学 220円
-
幸せになる勇気 800円
-
反応しない練習 890円
-
4位会社四季報業界地図＜２０２５年版＞ 330円
-
5位置かれた場所で咲きなさい 220円
-
6位【赤シート付】ＴＯＥＩＣ Ｌ＆Ｒ ＴＥＳＴ 出る単特急 金のフレーズ 470円
-
7位学びを結果に変えるアウトプット大全 400円
-
8位日本人の知らない日本語 なるほど～×爆笑！の日本語“再発見”コミックエッセイ 165円
-
9位言ってはいけない 残酷すぎる真実 275円
-
10位一億人の英文法 すべての日本人に贈る－「話すため」の英文法 710円
-
11位メモの魔力 220円
-
12位なぜ働いていると本が読めなくなるのか 630円
-
13位自分とか、ないから。 1,150円
-
14位「繊細さん」の本 330円
-
15位銃・病原菌・鉄＜下＞ 630円
-
16位妻のトリセツ 220円
-
17位角川まんが学習シリーズ 日本の歴史＜１４＞ 630円
-
18位Ｄｕｏ ３．０ 400円
-
19位声に出して読みたい日本語 110円
-
20位自分の価値を最大にするハーバードの心理学講義 220円
この商品を見た人におすすめ もっと見る
-
ジャイアントロボ－地球が静止する日－ 165円
-
魔法使いTai！＜4＞ 165円
-
めざせ！名門野球部公式指導書 165円
-
耐震工学 1,260円
-
ファンタジーRPGクイズ＜2＞ 165円
-
デート・ア・ライブ凛祢ユートピアパーフェクトビジュアルガイド 330円
-
ドン・キホーテの旅 630円
-
星子＆宙太ふたり旅－KISS ME KISSはスペード色－ 165円
-
轟轟戦隊ボウケンジャー 1 しゅつどう！ボウケンジャー 220円
-
ヘルメ・ハイネの水晶の塔＜上＞ 110円
-
大使館で働くための「派遣員」ガイド 1,890円
-
マッチラベル博物館 1,990円
-
Devil May Cry4－Deadly Fortune－＜2＞ 1,690円
-
看護学のための多変量解析入門 2,200円
-
0・1・2歳児子どもの姿ベースの指導計画 1,590円
-
悪魔城ドラキュラ黙示録パーフェクトガイド 220円
-
パソコン美少女ゲーム攻略スペシャル＜6＞ 165円
-
ザ・キング・オブ・ファイターズ'96～アンソロジー 165円
-
ファイナルファンタジー IX ビジュアルアートコレクション 275円
-
銃と魔法（2）－青い炎－ 110円