絶対に忘れないAI辞書＆単語帳アプリ「DiQt（ディクト）」

最終更新日：2025/08/22

先進数学の講義では、型理論とその論理への応用について詳しく検討しました。

正解を見る

Při přednášce o pokročilé matematice jsme se detailně zabývali teorie typů a její aplikací v logice.

元となった例文

Při přednášce o pokročilé matematice jsme se detailně zabývali teorie typů a její aplikací v logice.

先進数学の講義では、型理論とその論理への応用について詳しく検討しました。

In the advanced mathematics lecture, we examined type theory in detail and its application in logic.