〈圏論・形式手法〉

画像について

トップと研究テーマの画像は内容のイメージで、研究室で撮影したものではありません。ウィキメディア・コモンズの画像をトリミングして使っています。CC BY-SA の画像は、トリミング後の画像も元の画像と同じ CC BY-SA（各行の版）で提供します。

• トップの画像：「Commutative diagram zelmerszoetrop」 Zelmerszoetrop (talk)／CC0（トリミング）
• 論理体系を統一的に扱う理論：「Mattel Pixter - board - System Logic SL3876D-1731」 Raimond Spekking／CC BY-SA 4.0（トリミング）
• 証明スコアの論理的基礎：「Bhaskaracharya proof of pythagorean Theorem」 Mahusha／CC BY-SA 4.0（トリミング）
• 証明を支えるツールの開発：「20th Century Small Wooden Abacus」 Deinodactyla／CC0（トリミング）
• ハイブリッドシステムと量子計算へ：「Quantum circuit that exhibits Parity Measurement」 Vtomole／CC BY-SA 4.0（トリミング）
• 関連する研究室（偏微分方程式・変分法（チェザナ ピエルイジ））：「Graphene g-C3N4」 Vicente Neto／CC BY 4.0（トリミング）
• 関連する研究室（〈最適化・数理計画〉）：「Optimization Problem 2」 Musical Inquisit／CC BY-SA 4.0（トリミング）
• 関連する研究室（最適化・数理計画（脇 隼人））：「S asdf rot」 Trabandt／CC0（トリミング）
• 関連する研究室（〈数理統計学・統計学習理論〉）：「Dices-probability-def-2」 Svjo／CC BY-SA 3.0（トリミング）