Niigata University · Evaluation Center

Research keywordssubstructural logics・associative logic・linear logic・proof theory・residuated logics・algebraic logic

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• 10th International Congress on Information and Communication Technology (ICICT 2025, London)2025 · 論文
• A Gentzen-style calculus for substructural logics with axioms W and S2024 · 数理解析研究所講究録 RIMS共同研究（公開型）「証明論と計算論の最前線」 2293 126 - 136 2024年10月
• 我が国の私立大学の中期計画の策定・運用に関する現状と課題2024 · 第13回大学情報・機関調査研究集会論文集 168 - 174 2024年11月
• Exchange に関わる結合則の族に対応する推論規則2022 · 数理解析研究所講究録2228 RIMS共同研究（公開型）「証明と計算の理論と応用」 41 - 46 2022年8月

• 内部質保証の実質化の阻害要因と促進要因に関する研究2024 · 研究課題/領域番号： 24K06081
• 大学の経営改善に資する経営計画のあり方に関する研究2021 · 研究課題/領域番号： 21K02659
• 応用幾何学Ⅰ2020 · 2020年4月 - 現在 機関名： 新潟大学
• 応用幾何学I2020 · 2020年 - 現在 機関名： 新潟大学

• Official profile