1/1
BOOK-1 & 2 — Lean@AI + 関数型プログラミング入門 in Lean 4
¥4,999($32.85)
International shipping available
BOOK-1 & 2 セット
BOOK-1
証明先行コーディングのための次世代チュートリアル
AIエージェントがLean証明を先に完成させ、そこから実装コードを導く方法論と、その原理的限界を自己再帰的メタ機構(Hooks)で押し広げる方法
Lean-driven Development for the AI Age
BOOK-2
関数型プログラミング入門 in Lean 4
型を通すことではなく、性質を証明しながら発見していく、AI時代の関数型プログラミング
A Discovery-Driven Tutorial on Functional Programming in Lean 4
Ken Okabe
最近チェックした商品
その他の商品