陳がICFP 2025 SRCにて第3位を受賞
陳智騏の研究 “Towards Programming with Effect Handlers and Typed Holes” が ICFP 2025 Student Research Competition にて第3位を受賞しました。
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 で公開されています。
