田邉による東京科学大学理工学系オープンキャンパス2025での研究紹介
田邉助教が 東京科学大学 理工学系 オープンキャンパス2025 で以下の発表を行います。本研究紹介は高校生・受験生向けのもので、対面・オンライン参加共に事前予約制となっています。
- 8月6日 水曜日 13:00-13:40 西9号館3階 W9-324
情05 プログラミングを科学する―表現する、処理する、証明する―（1） - 8月6日 水曜日 15:00-15:40 西9号館3階 W9-324
情05 プログラミングを科学する―表現する、処理する、証明する―（2）
発表スライド
発表資料
プログラムの実装
https://github.com/yudaitnb/matrix-benchmark-oc
発表動画
https://www.youtube.com/watch?v=TCgg341daZ8
発表概要
検索、ゲーム、SNS―あらゆるソフトウェアは「言語」で書かれた設計図に従い動作します。では設計図をどう記述し、効率的に処理し、安全性を保証するのか？その背後にあるプログラミング言語の科学を紹介します。
👉東京科学大学 理工学系 高校生・受験生のための東京科学大学理工学系オープンキャンパス2025特設サイト
👉当日配布パンフレット
👉田邉助教の個人ページ（英語）
👉東京科学大学のYoutubeチャンネル