Research Introduction at Open Campus 2025
Tanabe will give the following research presentation at the Open Campus 2025 (Science Tokyo, Science and Engineering Division). This session is presented for high school students and prospective applicants. Advance registration is required for both in-person and online participation. A recording will also be available on Science Tokyo YouTube channel at a later date.
- 8.6 Wed 1:00PM-1:40PM West Bldg. No. 9, W9-324
The Science of Programming — Expressing, Processing, Proving (1) - 8.6 Wed 3:00PM-3:40PM West Bldg. No. 9, W9-324
The Science of Programming — Expressing, Processing, Proving
Slides
発表資料
Program
https://github.com/yudaitnb/matrix-benchmark-oc
Presentation
https://www.youtube.com/watch?v=TCgg341daZ8
Overview
Search engines, games, and social media platforms operate based on “blueprints” written in programming languages. A question arises: how can these blueprints be systematically described, processed with efficiency, and verified for safety? This lecture introduces the scientific foundations of programming languages that address these challenges, exploring methods for expressing, executing, and proving safeties of programs.
👉Website
👉Pamphlet
👉Personal website
👉Science Tokyo YouTube channel