半構造論理の進展半構造論理の進展新しい技術が論理的思考の効率を高める。計算機科学における論理添加物と構造で論理を革新するこの論文は、準構造的論理における添加物の役割を調べてるよ。2025-08-17T00:42:48+00:00 ― 0 分で読む
型理論と命題平等型理論と命題平等査中。方向性型理論が論理や計算に与える影響を調カテゴリー理論型理論における命題等価性：さらに深く探る命題等式が型理論で果たす役割とその影響を考察する。2025-06-06T04:19:36+00:00 ― 1 分で読む