最終更新日：2025/11/28
The logician's recent paper explored several novel Gentzenizations of intuitionistic proofs to improve normalization analysis.
正解を見る
The logician's recent paper explored several novel Gentzenizations of intuitionistic proofs to improve normalization analysis.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
元となった例文
その論理学者の最近の論文は、直観主義的証明の正規化解析を改善するために、いくつかの新しいゲンツェン化の変種を検討した。
