プログラミングを科学する─表現する、処理する、証明する─｜東京科学大学 理工学系オープンキャンパス2025 скачать в хорошем качестве

プログラミングを科学する─表現する、処理する、証明する─｜東京科学大学 理工学系オープンキャンパス2025

2025年8月6日（水）に開催した東京科学大学 理工学系オープンキャンパス2025のプログラムです。 高校生、受験生の皆さん、ぜひご覧ください。 検索、ゲーム、SNS―あらゆるソフトウェアは「言語」で書かれた設計図に従い動作します。では設計図をどう記述し、効率的に処理し、安全性を保証するのか？その背後にあるプログラミング言語の科学を紹介します。 ● 高校生・受験生のための東京科学大学 理工学系オープンキャンパス2025開催｜Science Tokyoニュース https://www.isct.ac.jp/ja/news/irud05... ● 高校生・受験生のための東京科学大学 理工学系オープンキャンパス2025 　https://admissions.isct.ac.jp/ja/013/... ● 高校生・受験生のための東京科学大学 医歯学系オープンキャンパス2025 　https://admissions.isct.ac.jp/ja/013/... ● 大学入学｜Science Tokyo 受験生 　https://admissions.isct.ac.jp/ja/013/... ● 情報理工学院｜Science Tokyo 　https://www.isct.ac.jp/ja/001/about/o... ● Science Tokyo 　https://www.isct.ac.jp/ja ● 当日のプログラムをもっとご覧になりたい方はこちら 　東京科学大学 理工学系オープンキャンパス2025　再生リスト：   • 東京科学大学 理工学系オープンキャンパス2025