はてなまとめ
トップ
注目
新着
世の中
暮らし
政治と経済
テクノロジー
アニメとゲーム
学び
エンタメ
おもしろ
学び
新刊『ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発』 の発売を9/4に予定しています
2025/08/29 10:01
コメント 1件
1: pekee-nuee-nuee
2025/08/30 08:59
オッこれは
新刊『ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発』 の発売を9/4に予定しています
オッこれは