ac.sno2wman.net

自己紹介

神戸大学大学院 システム情報学研究科 情報数理研究室
修士課程で数理論理学に主な興味があり，その中でも特に様相論理や非古典的論理に関心があります． それ以外には定理証明支援系による数学の形式化にも興味があります．

出版物

1. Very Weak Subintuitionistic Logics

   • Taishi Kurahashi
   • Mashu Noguchi

   2026/5/30

   arxiv

口頭発表

1. Very Weak Subintuitionistic Logic

   • 野口 真柊
   • 倉橋 太志

   2025/12/19 第60回 MLG数理論理学研究集会 @神戸大学

   slides

2. 解釈可能性論理の形式化についての報告

   • 野口 真柊

   2025/12/3 TPP 2025: 21st Theorem Proving and Provers Meeting @東北大学

   slides

3. 標準的な様相論理のLeanでの形式化について

   • 野口 真柊

   2024/11/24 TPP 2024: 20th Theorem Proving and Provers Meeting @九州大学 マス・フォア・インダストリ研究所

   slides

形式化

1. Formalized Formal Logic

   • Shogo Saito
   • Mashu Noguchi

   数理論理学の様々な事実をLeanで形式化するプロジェクト．自分は主に様相論理を中心とした証明可能性論理，解釈可能性論理や命題論理について形式化している．全体としてはGödelの不完全性定理やSolovayの算術的完全性定理などが形式化されている．

   https://github.com/FormalizedFormalLogic/Foundation

   関連発表

   • 解釈可能性論理の形式化についての報告
   • 標準的な様相論理のLeanでの形式化について

2. SmullyanTP

   • Mashu Noguchi

   T. Kurahashi and K. Tominaga. “Smullyan’s truth and provability” で導入されたSmullyanの初等的な形式体系をLeanで形式化し，不動点定理やTarskiの定義不可能性定理，Gödelの不完全性定理のような現象が起こることを確認した．

   https://github.com/SnO2WMaN/SmullyanTP

   関連発表

   • Smullyanのシステムの形式化について