森畑研究室

画像について

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

• トップの画像：「CSS code on a screen (Unsplash)」 Sai Kiran Anagani _imkiran／CC0（トリミング）
• プログラムの自動並列化：「AMD Phenom II X4 840 (HDX840WFK42GM) CPU-top oblique PNr°0373」 D-Kuru／CC BY-SA 3.0 at（トリミング）
• アルゴリズムの型を自動で導く：「Coder screen shot」 Wikideas1／CC0（トリミング）
• 自動合成・検証と言語の設計：「Haskell code written on a sticky note」 deavmi／CC BY-SA 4.0（トリミング）
• プログラム運算：「Formulas on an old blackboard (Unsplash)」 Roman Mager／CC0（トリミング）
• 関連する研究室（植田研究室）：「Japan Foundation student trying Bunraku puppet」 Leonardo Boiko／CC BY 2.0（トリミング）
• 関連する研究室（福永研究室）：「Schachfiguren」 Dietmar Rabich／CC BY-SA 4.0（トリミング）
• 関連する研究室（金子研究室）：「Go (13×」 Dietmar Rabich／CC BY-SA 4.0（トリミング）
• 関連する研究室（開一夫研究室）：「Babies with soft books」 https://pixabay.com/en/users/ /／CC0（トリミング）