---

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

---

---

• 「図式を用いたユーザインタフェースを持つ圏論証明支援システム」に関する成果概要
  • 研究の背景と目的
  • 研究の内容
  • 研究の成果

---

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

---

---

www-admin@icot.or.jp