計算機科学(プログラミング言語理論, 分散コンピューティング理論)（西村 進）

画像について

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

• トップの画像：「SimplexTree」 Vibass／CC BY-SA 4.0（トリミング）
• 分散計算の組合せトポロジー：「Illustration of Typical Workflow in TDA」 Larrysong／CC BY-SA 4.0（トリミング）
• 関連する研究室（数理生命科学（望月 敦史））：「Gene-gene-interaction-network-of-84-genes-upregulated-in-both-PT-and-LM」 Zhenyuan Qian, Guobing Zhang, Guangyuan Song, Ji Shi, Lijie Gong, Yiping Mou, Yong Han／CC BY 3.0（トリミング）
• 関連する研究室（Statistical Physics and Dynamics group）：「Phase separation in Kupchan partitioning」 Ikramul Hasan Imran／CC BY 4.0（トリミング）
• 関連する研究室（理論化学研究室）：「Bovine F1-ATPase inhibited by DCCD (dicyclohexylcarbodiimide) PDB 1e79」 Emw／CC BY-SA 3.0（トリミング）
• 関連する研究室（代数学1（整数論）（跡部 発））：「Bruhat-Tits-tree-for-Q-2」 부고／CC BY-SA 4.0（トリミング）