西崎研究室

画像について

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

• トップの画像：「Punched card program deck.agr」 ArnoldReinhold／CC BY-SA 3.0（トリミング）
• ファーストクラス環境：「Lambda cube」 Денис Москвин／パブリックドメイン（トリミング）
• 型システムと意味論：「Screen-python-code-matplotlib-physics-simulation」 MikeRun／CC BY-SA 4.0（トリミング）
• モデル検査による検証：「Network switches」 ShakataGaNai／CC BY-SA 3.0（トリミング）
• 関連する研究室（渡部研究室）：「Printed Circuit Board 2」 Balurbala／CC BY-SA 3.0（トリミング）
• 関連する研究室（権藤研究室）：「Eclipse suspended at breakpoint」 Simeon87／パブリックドメイン（トリミング）
• 関連する研究室（林研究室）：「CodeCharta Software Map 1」 Roki68199／CC BY-SA 4.0（トリミング）
• 関連する研究室（小林研究室）：「Vim8-autocompletion-go-syntastic」 Vitaly Zdanevich／CC0（トリミング）