資料の表示
[M]
ゼロから始めるLean言語入門 : 手を動かして学ぶ形式数学ライブラリ開発 
井上亜星 著
著者: 井上, 亜星, 1997- [A] 出版者: ラムダノート
(出版日: 2025)
| 本タイトル: | ゼロから始めるLean言語入門 : 手を動かして学ぶ形式数学ライブラリ開発 |
| タイトルのヨミ: | ゼロ カラ ハジメル Lean ゲンゴ ニュウモン : テ オ ウゴカシテ マナブ ケイシキ スウガク ライブラリ カイハツ |
| 巻号: | |
| 形態: |
冊子体 /
 文字 |
| 言語: | 日本語 |
| 出版地: | 東京 |
| ページ数と大きさ: | 215 p ; 21 cm |
| 価格: | 3200 |
| 件名: | |
| 分類: | |
| タグ: |
|
| 識別子: |
ISBN:
9784908686214
NDL Search:
R100000002-I034296611
JPNO:
24285926
カーリル:
9784908686214
CiNii Research:
9784908686214
Google Books:
9784908686214
ブクログ:
9784908686214
読書メーター:
9784908686214
版元ドットコム:
9784908686214
|
| 作成時刻: | 2026/09/28 20:54:33 |
| 更新時刻: | 2026/10/01 13:03:22 |
| 説明: |
プログラミングと数学をつなぐ（提供元: 出版情報登録センター（JPRO）） |
【レーティングの基準】
SS
そのテーマで最初に選びたい、特に信頼できる代表的な資料
S
内容や有用性に優れ、積極的に利用を勧められる資料
A
十分に価値があり、幅広く利用を勧められる資料
B
特定の目的・関心に合えば有用な資料
C
利用場面は限られるが、特定目的や歴史的参照には有用な資料
D
現在では利用を積極的には勧めにくい資料
請求記号
007.64
イノウ