長谷川立研究室

画像について

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

• トップの画像：「Lambda cube」 Денис Москвин／パブリックドメイン（トリミング）
• 型理論とプログラミング言語論：「A lambda-term with links」 PIerre.Lescanne／CC BY-SA 4.0（トリミング）
• 関連する研究室（柏原崇人研究室）：「Karmansche Wirbelstr kleine Re」 Jürgen Wagner／CC BY-SA 4.0（トリミング）
• 関連する研究室（齊藤宣一研究室）：「Example finite element mesh, for illustrating the concept」 SamitchSandia／CC BY-SA 4.0（トリミング）
• 関連する研究室（酒井拓史研究室）：「Cantor's theorem visual」 Electro blob／CC BY-SA 4.0（トリミング）
• 関連する研究室（下村明洋研究室）：「Traveling wave」 P.wormer／CC BY-SA 3.0（トリミング）