NISHIMURA Yuki

東京科学大学助教。非古典論理を中心に、数理論理学について研究しています。/ Asst. Prof. in Science Tokyo. Logician (especially non-classical logic). *Japanese posts only.

[NISHIMURA Yuki @w_v_logic]

私の論文 "Terminating hybrid tableaus for ordered models" が、論文誌 Journal of Logic and Computation にて公開されました。こちらの URL からアクセスできます。

https://t.co/E8kzWjbMul

[NISHIMURA Yuki @w_v_logic]

本日行われました ICPC 2026 Yokohama 国内予選にて監督員を務めました。東京科学大学からは全38チームが出場しました。3時間という長い時間を戦い抜いた学生のみなさま、たいへんお疲れさまでした。

[Daily Nous / Justin Weinberg @DailyNousEditor]

Faculty on the move... https://t.co/cdMWQUJ1Fc

[NISHIMURA Yuki @w_v_logic]

本学になじみの深い方は、「すずかけ台キャンパス」という名称のほうがしっくりくるかもしれません。このキャンパスは、本年度から「横浜キャンパス」に名称が変更されました。

[NISHIMURA Yuki @w_v_logic]

修士課程から東京工業大学に在籍して6年目になりますが、はじめて横浜キャンパスを訪れました。校門をくぐってしばらく歩きフォトスポットを探していたら、鳥のさえずりで出迎えられたのが印象的でした。

[NISHIMURA Yuki @w_v_logic]

こちらの記事について誤植の指摘をいただきました（近傍関数Nの定義に誤りがあった）ので、修正版に差し替えました。旧版をお持ちの方は、お手数ですが最新版のものをダウンロードいただければと思います。

[NISHIMURA Yuki @w_v_logic]

「様相論理のノート」のページに、新しい記事「近傍意味論と非正規様相論理」を掲載しました。様相論理の意味論である近傍意味論と、これに対応する様相論理を紹介しています。この論理は、Kのような正規様相論理の一般化ととらえることができます。
https://t.co/jxrybXvHS6

[NISHIMURA Yuki @w_v_logic]

本日まで、杏林大学で開催された科学基礎論学会に参加しました。とくにロジックに関するパネルディスカッションは、大変楽しく参加していました。
写真は会場の杏林大学です。とても綺麗な建物で、とくに中央に佇む大学図�����は圧巻でした。

[SnO₂WMaN @SnO2WMaN]

西村さんが様相論理の近傍意味論の解説記事を投稿していたので，折角なので自分も過去の近傍意味論の濾過法に関してのメモ書きを残しておく．

https://t.co/5IcktxYomv

[ながと @nagato0209]

哲学系の学会に行ってみたい人のためのTIPS
https://t.co/iA3k9PK3I0

[NISHIMURA Yuki @w_v_logic]

東京科学大学への着任に伴い、Science Tokyoの徽章をいただきました。

[NISHIMURA Yuki @w_v_logic]

私の所属する情報理工学院 情報工学系のウェブサイトにも掲載されました。載っている情報は先ほど紹介しているものと一緒です。

https://t.co/SKQhMEr8bZ

[NISHIMURA Yuki @w_v_logic]

弊学ウェブサイトの教員一覧に私の名前が掲載されました。私の個人ウェブサイトと、東京科学大学研究情報データベースへのリンクがあります。

https://t.co/Xd0Kl4FznL

[NISHIMURA Yuki @w_v_logic]

気づいたらこのアカウントも200人もの方々にフォローをいただいています。研究会をきっかけにフォローをいただいたにもかかわらず、私が認知していないアカウントもあるかと思いますので、フォローバックを望まれる方はDMにてご一報ください。

[NISHIMURA Yuki @w_v_logic]

新しい記事「ハイブリッド論理はなぜハイブリッドか」を公開しました。
様相論理に nominal を含めた論理全般をハイブリッド論理と呼ぶことの理由、なにがハイブリッドなのか、ということを独自に調べてまとめたものです。

https://t.co/qpsgQJ87cj

[NISHIMURA Yuki @w_v_logic]

��ちらの論文の著者最終稿は arXiv にもアップロードしています。
https://t.co/sNE6TvTQKe

[NISHIMURA Yuki @w_v_logic]

JAISTの高木先生との共著論文 Complete and Terminating Tableau Calculus for Undirected Graph が出版されました。Logic in Asia から出版された論文集 Exploring Negation, Modality and Proof に掲載されています。
https://t.co/kmvcko0msz

[NISHIMURA Yuki @w_v_logic]

@sinya8282 ありがとうございます！

[NISHIMURA Yuki @w_v_logic]

本日付で東京科学大学情報理工学院所属の助教となりました。引き続き、よろしくお願いいたします。

[NISHIMURA Yuki @w_v_logic]

@nisizaki こちらこそ��よろしくお願いいたします！