Hayashi, Yoshio, Inaba, Kumamoto, Matsuyama and Konishi presented Bachelor’s Theses
The six undergraduate members presented their Bachelor’s theses.
(more…)Kiuchi and Sakai presented Master’s Theses
Kiuchi and Sakai gave presentations of their Master’s theses. They all deserved “the best eye contact presentation awards! 😉
(more…)
Final Presentation for Campus Asia Program by Jiwon Kim
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’s IPSJ PRO Workshop Talk on Vython Version Programming Language
Kasuya gave a talk on a version programming language based on Python at the 152nd IPSJ Workshop on Programming (PRO2024-4).
(more…)
Seminar Talk by Roger Burtonpatel
Roger Burtonpatel visited our group and gave a seminar talk titled “An Alternative to Pattern Matching, Inspired by Verse”.
Kasuya Won Audience Award from APLAS 2024 SRC Posters
Kasuya won the Audience Award of the student research competition posters at APLAS 2024.
(more…)Kasuya Presents a Poster on Vython Version Programming Language at APLAS SRC
The following presentation was accepted to the Student Research Competition and Posters track at the 22nd Asian Symposium on Programming Languages and Systems (APLAS 2024).
Acceptance of Tsunoda’s Article on Enbugging Quiz in Computer Software Journal
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.
Two New Master Course Students and an Exchange Student
We welcomed three new members from October 2024.
- Peien Chen (Master’s course)
- Zhiqi Chen (Master’s course)
- Jiwon Kim (Exchange Student from KAIST)
👉 People
Tokyo Tech → Science Tokyo
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.)
