
I am a graduate university student (1st year of master's cource), and majoring in information science.
Osaka Univ., Suita City, Japan.
修士課程1年
大阪府吹田市 / 大阪大学
応用情報技術者
Conferences, Talks
Keishi Hashiba, Keisuke Nakano, Kazuyuki Asada, and Kentaro Kikuchi. 2025. Characterizations of Partial Well-Behaved Lenses. In Proceedings of the 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation (PEPM ’25), January 21, 2025, Denver, CO, USA. ACM, New York, NY, USA, 11 pages. https://doi.org/10.1145/3704253.3706139
Paper