最終更新日：2025/08/22
Při přednášce o pokročilé matematice jsme se detailně zabývali teorie typů a její aplikací v logice.
正解を見る
先進数学の講義では、型理論とその論理への応用について詳しく検討しました。
編集履歴（0）
Při přednášce o pokročilé matematice jsme se detailně zabývali teorie typů a její aplikací v logice.
先進数学の講義では、型理論とその論理への応用について詳しく検討しました。
DiQt（ディクト）
無料
★★★★★★★★★★
