Graduation March 2022

We celebrated graduation of our members. At the end of the two years of working online, the group members managed to get together to applause the graduating members’ hard work.

Kouhei Arai, Junya Nose and Fathul Asrar Alfansuri received the Master’s degrees. Fathul will pursuit the PhD degree in our group.  Arai and Nose will start working for software companies in Japan. Ayumu Saito, Kazuhiro Tsunoda and Syouki Tsuyama received their Bachelor’s degrees, and will pursuit the Master’s degree in our group.We wish for their bright future, and hope we can see each other soon!

PPL2022 Paper on Monadic Equational Reasoning (along with other paper and poster presentations)

Original Paper

At the 24th JSSST SIG Programming and Programming Languages Workshop (PPL2022), the following paper was accepted by and presented.

  • Practical Aspects of Monadic Equational Reasoning in Coq (Saito, Affeldt)

Paper Presentation, Posters & Demos

The following papers, posters and demos were also presented.

  • [journal/conference-accepted-paper] A Functional Programming Language with Versions (Tanabe, lubis, Aotani, Masuhara) (published at <Programming>’22)
  • [poster & demo] Towards Type-Based Generation of Music (Cong)
  • [poster] Proposal of Enbugging-quiz and observation of student’s reactions (Tsunoda)
  • [poster & demo] Programming Learning Environment based on Design Recipe (Nose)
(more…)