What's New

2025-02-22: I have given a presentation in MLG59th. Slide (2025-02-22 updated)

2025-01-29: New article: 様相論理のフレーム定義可能性 in the page 様相論理のノート.

I am

Profile

Nishimura Yuki

I'm in the 2nd grade of doctoral course in Institute of Science Tokyo, 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, Institute of Science Tokyo

Contact

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