タイプ理論とグルーポイドのタイプ理論とグルーポイドの説明意図的型理論における実現可能性の検証。計算機科学における論理意図的タイプ理論と群状実現可能性実現可能性と群体を通じた型理論の探求。2025-07-22T05:21:33+00:00 ― 1 分で読む