高校生が研究室訪問

東京工業大学附属科学技術高校2年生約20名が、同校の「サマーレクチャー」の一環として本研究室を訪問しました。研究室からはライブプログラミング・定理証明支援系によるプログラムの仕様検証・遅延評価関数型言語のデモや解説を行ったところ、熱心に話を聞き入ってくれました。

Summer Lecture for High School Students 2 Summer Lecture for High School Students 1Summer Lecture for High School Students 3