タイプ理論と連続性タイプ理論と連続性グラミングを目指す。型理論と連続性を結びつけて、より良いプロ計算機科学における論理タイプ理論における連続性の原則プログラミングにおける連続性と型理論の関連を探る。2025-10-15T17:06:54+00:00 ― 0 分で読む