矢代数とそれが論理や計算における役割を探る。
― 1 分で読む
Benno van den Berg
数学におけるタイプ理論と高階算術の関係を見てみよう。
― 1 分で読む
効果的なKanファイブレーションの明確な概要とそれらがホモトピー理論で持つ重要性。
― 1 分で読む
弱因子分解系についての考察とその数学への影響。
― 1 分で読む
最先端の科学をわかりやすく解説
矢代数とそれが論理や計算における役割を探る。
― 1 分で読む
数学におけるタイプ理論と高階算術の関係を見てみよう。
― 1 分で読む
効果的なKanファイブレーションの明確な概要とそれらがホモトピー理論で持つ重要性。
― 1 分で読む
弱因子分解系についての考察とその数学への影響。
― 1 分で読む