What's New

2026-05-29: 様相論理のノートに新しい記事「近傍意味論と非正規様相論理」を公開しました。

2026-04-03: 新しい記事 ハイブリッド論理はなぜハイブリッドか を公開しました。

2026-04-01: 論文 Complete and Terminating Tableau Calculus for Undirected Graph が出版されました。

2026-04-01: 東京科学大学情報理工学院情報工学系の助教に着任しました。

I am

自己紹介

西村 祐輝 (NISHIMURA Yuki)

東京科学大学 情報理工学院 情報工学系 助教

博士（理学）

数理論理学を勉強しています。より詳しくはこちらのページをご覧ください。

略歴

• 2026年： 東京科学大学情報理工学院博士後期課程 修了
• 2023年： 東京工業大学情報理工学院修士課程 修了
• 2021年： 東京大学教養学部 卒業
• 2017年： 愛知県立旭丘高等学校 卒業

連絡先

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