効率的な証明転送フレームワ効率的な証明転送フレームワークシステム間の証明の転送を効率化する。計算機科学における論理接続証明システム：新しいフレームワーク異なる数学システム間での証明の転送を効率的に進める。2025-07-16T09:23:30+00:00 ― 1 分で読む
クロダの翻訳について説明すクロダの翻訳について説明するくすること。論理システム間で証明を変換してわかりやす計算機科学における論理黒田の翻訳を通して古典論理と直観主義論理をつなぐ古典論理と直感主義論理を高次変換を通じてつなぐ方法。2025-07-16T09:15:36+00:00 ― 1 分で読む