高校生による研究室訪問

東京工業大学附属科学技術高校の生徒約20名が、同校の「サマーレクチャー」の一環として本研究室を訪問しました。研究室からはプログラミング環境や型システムに関する研究紹介を行いました。