応用数理研究部門（長谷川 真人）

画像について

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

• トップの画像：「Kleisli Category - morphism composition」 AugPi／CC BY-SA 4.0（トリミング）
• 計算の表現論：「CommutativeClifford」 AromaticPolygon／CC0（トリミング）
• 再帰・副作用・線型論理のモデル：「Commutative diagram used in proof of relative exact sequence」 Dom walden／CC BY-SA 4.0（トリミング）
• プログラム意味論と量子トポロジー：「Quantum gate teleportation」 Vtomole／CC BY-SA 4.0（トリミング）
• 関連する研究室（応用数理研究部門（河村 彰星））：「Turing Machine」 Porao／パブリックドメイン（トリミング）
• 関連する研究室（応用数理研究部門（牧野 和久））：「B functies 2var versie02」 Bob.v.R／CC BY-SA 4.0（トリミング）
• 関連する研究室（応用数理研究部門（小林 佑輔））：「Graph-matroid」 Didia／CC BY-SA 4.0（トリミング）
• 関連する研究室（応用数理研究部門（川北 真之））：「Du Val singularities」 Aizenr／CC BY-SA 4.0（トリミング）