型理論における置換アルゴリ型理論における置換アルゴリズム。型理論におけるコア置換アルゴリズムを探る計算機科学における論理多モード型理論における置換の簡略化マルチモード型理論における置換アルゴリズムの概要。2025-07-26T17:11:18+00:00 ― 1 分で読む