型理論と命題平等型理論と命題平等査中。方向性型理論が論理や計算に与える影響を調カテゴリー理論型理論における命題等価性：さらに深く探る命題等式が型理論で果たす役割とその影響を考察する。2025-06-06T04:19:36+00:00 ― 1 分で読む