「図式を用いたユーザインタフェースを持つ圏論証明支援システム」に関する成果概要

研究代表者：　坂井　公　助教授
　　　　　　　筑波大学　数学系

• 研究の背景と目的
• 研究の内容
• 研究の成果