Scala Workshop と HATRA に2件の発表が採択
以下の発表が ICFP/SPLASH 2025 の併設イベントに採択されました。
- Youyou Cong. “Towards an Educational Fragment of Scala”
The 2025 Scala Workshop. - Youyou Cong. “Types as a Specification Language for Creativity”
HATRA 2025.
陳智騏がICFP学生研究コンテストで型付きの穴について発表
陳智騏が “Towards Programming with Effect Handlers and Typed Holes” という題目の発表を ICFP 2025 Student Research Competition で行いました。
林、吉尾、叢がSIGPXで発表
林、吉尾、叢が第11回 SIGPX 勉強会で以下の発表を行いました。
- 林みなみ “Trajectory-based Algorithm Visualization for Live Data-Structure Programming”
- 吉尾拓真 “Interactive Program Synthesis through Data Structure Manipulation”
- 叢悠悠 “Report on Shonan Meeting No.233: Foundations of Computation and Creative Computing“
田邉による漸進的型付けに関するNII軽井沢セミナーでの招待セミナー
田邉によるNII軽井沢セミナー招待講演が行われました。
(さらに…)
2025年9月修了者
研究室メンバの谷口力斗が学位授与式にて情報理工学院の代表として修士号を授与されました。谷口は今後もコンパイラエンジニアとして企業で働き続ける予定です。研究室での経験を糧として今後益々の活躍を願ってやみません。
糟谷がSES2025にてインタラクティブ・ポスター賞を受賞
糟谷颯希・田邉裕大・増原英彦による IPSJ/SIGSE Software Engineering Symposium (SES2025) でのポスター発表 “多版オブジェクト機構による漸進的ソフトウェア移行” がインタラクティブ・ポスター賞を受賞しました。
糟谷がSES2025にて多版オブジェクトについてポスター発表
糟谷颯希が “多版オブジェクト機構による漸進的ソフトウェア移行” という題目のポスター発表を IPSJ/SIGSE Software Engineering Symposium (SES2025) で行いました。
(さらに…)
糟谷が漸進的ソフトウェア更新に関してJSSST大会でポスター発表
糟谷颯希が “漸進的ソフトウェア移行に向けた多版オブジェクト機構の導入” というポスターを日本ソフトウェア科学会大会で発表しました。
(さらに…)
PPL サマースクールでの Agda に関する講演
叢がソフトウェア科学会第42回大会に併設されて行われる PPL サマースクール 2025 で、Agda による依存型プログラミングに関する講演を行います。
講演資料は GitHub で公開されています。
田邉による東京科学大学理工学系オープンキャンパス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チャンネル