Jiwon Kim, an exchange student from KAIST, gave the final presentation on his working during the Campus Asia Program. He worked on formalizing microtonal music theory for verifying musical properties through type theory.
Kasuya gave a talk on a version programming language based on Python at the 152nd IPSJ Workshop on Programming (PRO2024-4).
(more…)
Roger Burtonpatel visited our group and gave a seminar talk titled “An Alternative to Pattern Matching, Inspired by Verse”.
Kasuya won the Audience Award of the student research competition posters at APLAS 2024.
(more…)
Kasuya’s work on version programming was accepted by the Student Research Competition and Posters track at the 22nd Asian Symposium on Programming Languages and Systems (APLAS 2024). His poster was presented at the symposium from October 21st to 25th. Though he could not proceed to the final round, his poster won the Audience Award.
(more…)
An article entitled “Quiz Generation Support Tool for Enbugging Quiz With Using Code Reduction and Syntax-driven Token Generation” by Tsunoda, Masuhara and Cong is accepted by the Computer Software journal. The article is revised from our presentation at PPL 2024.
We welcomed three new members from October 2024.
👉 People
Tokyo Institute of Technology is integrated with Tokyo Medical and Dental University into Institute of Science Tokyo. Our group remains unchanged modulo the name of the institute. (Even the URL of the website remains the same for the time being.)
Kumamoto presented his work on an dialog-based programming learning environment att he 41st JSSST Annual Conference.
Masuhara received the Distinguished Service Award from Japan Society of Software Science and Technology.
