小林研究室

画像について

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

• トップの画像：「Programming code」 Martin Vorel／CC BY-SA 4.0（トリミング）
• 高階モデル検査：「NFSM state diagram」 Maggyero／CC BY-SA 4.0（トリミング）
• プログラムの自動検証：「CoqProofOfDecidablityOfEqualityOnNaturalNumbers」 Roconnor／パブリックドメイン（トリミング）
• データ圧縮：「HuffmanCodeAlg」 Andreas.Roever at German Wikipedia (Original text: Andreas.Roever)／CC BY-SA 3.0（トリミング）
• 通信プロトコルの自動検証：「Asymmetric encryption (colored)」 Nicobon／CC BY-SA 4.0（トリミング）
• 関連する研究室（杉山・横矢・石田研究室）：「T-SNE Embedding of MNIST」 Kyle McDonald／CC BY 2.0（トリミング）
• 関連する研究室（品川研究室）：「Alx source snippet」 Tino／CC BY-SA 4.0（トリミング）
• 関連する研究室（河原林研究室）：「Social Network Visualization」 Martin Grandjean／CC BY-SA 4.0（トリミング）
• 関連する研究室（馬研究室）：「Unmarked Nissan Rogue - Possible Test Autonomous Vehicle - San Francisco, May 2025 04」 9yz／CC BY 4.0（トリミング）