t_wの輪郭
言語
関数型
言語
関数型言語
2022/6/11 6:30:00
静的型付け関数型プログラミング言語
Lean
あれ
関数型言語
静的型付け言語
静的型付け関数型プログラミング言語
2025/9/28 2:48:00
『静的型付け関数型プログラミング言語を使わない10の理由 | F# for fun and prof...
関数型言語
定理証明支援系
Lean
2024/3/24 19:25:00
https://lean-lang.org/
https://github.com/leanprover
『ABC予想証明の正否、コンピューターで決着か 望月氏が打開策示す [AIの時代]：朝日新聞』
【定理証明支援系Lean】写像って、そもそも何？
あれ
オブジェクト指向
記号論
『記号と再帰』
関数型言語
あれ
2022/6/11 6:29:00
あれ
関数型プログラミング
関数型言語
函数型言語
2020/12/1 16:16:00
あれ