About masuhara



View all posts by masuhara

High School Students Visited Our Seminar

Around 20 students from Seiryo High School visited to join our group’s seminar. At the seminar, we discussed on a talk on “algebraic effect handlers and their application to game developments,” which was given by one of our members. We had many questions even after the seminar. We hope that the visit was fruitful to know something about research at universities.

Five Members Presented Bachelor’s Thesis

Five of our members presented their bachelor’s theses.

  • Cahyono Jessica Belicia, Design and Implementation of a Block-based System for Learning How to Construct Algebraic Data Types
  • Satsuki Kasuya, Design and Compatibility-Checking Mechanism of a Dynamically-Typed Language That Supports Multiple Versions
  • Hironori Kawazoe, Type-Preserving Translation from A-Normal Forms to Continuation-Passing Forms in a Dependent-Typed Language
  • Taito Suda, Supporting Directed Acyclic Graphs in a Type-Level Shape Checker for Deep-Learning Programs
  • Akane Taniguchi, Formalizing an Object-Oriented Programming Language With Delimited Control

Saito, Tsunoda and Tsuyama presented Master’s Thesis

Our members presented their master’s thesis.

  • Ayumu Saito, Formalization of Intrinsically Typed Probabilistic Programs
  • Syouki Tsuyama, An Intrinsically-Typed Compiler that Optimizes Continuations
  • Kazuhiro Tsunoda, Feasibility Study and Automated Problem Generation for Enbugging Quiz

Prof. Vasconcelos’ Seminar Talk on Session Types

Professor Vasco Thudichum Vasconcelos at University of Lisbon visited our group and gave a seminar talk on his work on System Fμω with Context-free Session Types. It was our great opportunity to learn the session types from introduction to the recent developments.

APLAS 2023 Paper on Compiling a Version Programming Language

A paper entitled “Compilation Semantics for a Programming Language with Versions”, authored by Tanabe, Luthfan, Aotani and Masuhara is accepted by the 21st Asian Symposium on Programming Languages and Systems (APLAS 2023), which is held in Taipei, Taiwan on November 2023. The paper proposes a method of compiling the VL version programming language, which was proposed in our previous work.

👉 Project page

Junior High School Student Visit From Okayama

Three students from Okayama Prefectural Sozan Junior High School visited our group. They presented their project on programming, visualization and musical composition. We had very fun discussion on their project and the nature of research at university including our group’s, and were highly impressed their attitude to studying advanced topics as well as knowledge on programming languages.

JSSST Student Presentation Award, Taiga Sakai, 2023, A Proposal on Step-by-Step Processes of Writing Purpose Statements and a Preliminary Design of an Integrated Writing Environment

(more…)

Presentation of a Paper on Modular Layer Activation at ICSME 2023

A InfoSoft Journal paper entitled “An Expressive and Modular Layer Activation Mechanism for Context-Oriented Programming”, authored by Paul Leger, Nicolas Cardozo, and Hidehiko Masuhara, is presented at the Journal First Track of the 39th IEEE International Conference on Software Maintenance and Evolution in Bogota, Colombia on October 1-6.

👉Project: Adaptive Interface Language for COP

Come and Go

We celebrated Rifqi Adlan Apriyadi’s graduation for his Master’s degree. He will work as an engineer at Japanese tech company. We wish him success at his work!

We welcomed Sherif Omar, a Master’s course student at TU Berlin, as an exchange student. He will work on programming environment with natural languages for a year with us. We are excited to work with him again.

To celebrate and welcome the members to go and come, we had a small party on the day of graduation.

Prof. Rose Bohrer’s Seminar Talk

Professor Rose Bohrer at Worcester Polytechnic Institute visited our group and gave a seminar talk on her work on Homotopy Type Theory for Sewn Quilts. We learned a lot about quilting and how homotopy type theory can help a programming language for quiliting.

Next page →