What's New

2024-05-17: New article 様相論理のラベル付きタブロー計算

2024-05-17: The proceeding of my talk in AWPL 2024 is available here.

I am

Profile

Nishimura Yuki

I'm in the 2nd grade of doctoral course in Tokyo Institute of Technology, belonging to Kashima Lab.

My major is mathematical logic. See this page for more detail.

Biography

• 2017: Graduated Asahigaoka High School, Aichi, Japan
• 2021: Bachelor of Liberal Arts, The University of Tokyo
• 2023: Master of Science, Tokyo Institute of Technology
• Now： Doctoral Course, School of Computing, Tokyo Institute of Technology

Contact

• e-mail: nishimura.y.as [at] m.titech.ac.jp
• X (Twitter): @w_v_logic