資料詳細

  • 1 件中、 1 件目

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

井上 亜星／著

ラムダノート 2025.9

所蔵

所蔵は 1 件です。現在の予約件数は 1 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 持禁区分 状態
オーテピア高知図書館 3Fビジネス /410/ｲﾉ/ 1112843055 一般   貸出中 iLisvirtual

ページの先頭へ

館別所蔵

所蔵数 貸出中数 貸出可能数
合計

ページの先頭へ

資料詳細

タイトル ゼロから始めるLean言語入門
副書名 手を動かして学ぶ形式数学ライブラリ開発
著者 井上 亜星 ／著  
著者典拠番号 110008561060000
出版者 ラムダノート
出版地 東京
出版年 2025.9
ページ数 9,215p
大きさ 21cm
言語 日本語
一般件名 証明(数学)-データ処理 , プログラミング(コンピュータ)
一般件名典拠番号 511846110010000 , 510348100000000
NDC分類(9版) 410
内容紹介 Leanというプログラミング言語を使い、数学をソフトウェアに翻訳する方法を紹介。Leanにより自然数や整数を作り、その基本的な性質を証明する。練習問題付き。『n月刊ラムダノート』掲載記事を基に書籍化。
ISBN 4-908686-21-4
ISBN13桁 978-4-908686-21-4
本体価格 ¥3200
資料情報1 『ゼロから始めるLean言語入門 手を動かして学ぶ形式数学ライブラリ開発』　井上 亜星／著 　ラムダノート　2025.9（所蔵館：オーテピア高知図書館　 請求記号：/410/ｲﾉ/　 資料コード：1112843055）
URL
https://opac.library.kochi.jp/winj/opac/switch-detail.do?lang=ja&bibid=1120911343

ページの先頭へ