検索結果書誌詳細

書誌情報サマリ

書名

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

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


この資料に対する操作

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

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

この資料に対する操作

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


関連資料

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

2025
2025
410 410
証明(数学)-データ処理 プログラミング(コンピュータ)

蔵書情報

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

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

マイ本棚へ追加ログインするとマイ本棚を利用できます。
本棚には資料を分類して集めておくことができます。本棚は最大10本棚まで登録できます。1つの本棚には最大100件まで登録できます。


資料情報

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

No. 所蔵館 資料番号 請求番号 配架場所 資料種別 帯出区分 貸出
1 赤坂図書館0412814162007.6/イ/新着本一般和書  ×

書誌詳細

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

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



内容細目表:


目次

前のページへ

本文はここまでです。


ページの終わりです。