Showing Manifestation
[M]
ゼロから始めるLean言語入門 : 手を動かして学ぶ形式数学ライブラリ開発 
井上亜星 著
Creator: 井上, 亜星, 1997- [A] Publisher: ラムダノート
(Date of publication: 2025)
| Original title: | ゼロから始めるLean言語入門 : 手を動かして学ぶ形式数学ライブラリ開発 |
| Title transcription: | ゼロ カラ ハジメル Lean ゲンゴ ニュウモン : テ オ ウゴカシテ マナブ ケイシキ スウガク ライブラリ カイハツ |
| Number: | |
| Form: |
Volume /
 text |
| Language: | Japanese |
| Publication place: | 東京 |
| Physical description: | 215 p ; 21 cm |
| Price: | 3200 |
| Subject: | |
| Classification: | |
| Tag: |
|
| Identifier: |
ISBN:
9784908686214
NDL Search:
R100000002-I034296611
JPNO:
24285926
カーリル:
9784908686214
CiNii Research:
9784908686214
Google Books:
9784908686214
ブクログ:
9784908686214
読書メーター:
9784908686214
版元ドットコム:
9784908686214
|
| Created at: | Mon, 28 Sep 2026 20:54:33 +0900 |
| Updated at: | Thu, 01 Oct 2026 13:03:22 +0900 |
| Description: |
プログラミングと数学をつなぐ（提供元: 出版情報登録センター（JPRO）） |
【レーティングの基準】
SS
そのテーマで最初に選びたい、特に信頼できる代表的な資料
S
内容や有用性に優れ、積極的に利用を勧められる資料
A
十分に価値があり、幅広く利用を勧められる資料
B
特定の目的・関心に合えば有用な資料
C
利用場面は限られるが、特定目的や歴史的参照には有用な資料
D
現在では利用を積極的には勧めにくい資料
請求記号
007.64
イノウ