研究者
J-GLOBAL ID：200901079860337960   更新日: 2023年08月01日

上出 哲広

カミデ ノリヒロ | Kamide Norihiro
所属機関・部署：
名古屋市立大学 データサイエンス学部

名古屋市立大学 データサイエンス学部 について


職名： 教授
研究分野 (6件)： 情報学基礎論 ,  哲学、倫理学 ,  知能情報学 ,  応用数学、統計数学 ,  数学基礎 ,  情報学基礎論
研究キーワード (6件)： ソフトウェア科学 ,  人工知能 ,  哲学的論理学 ,  理論計算機科学 ,  数理論理学 ,  情報論理学
競争的資金等の研究課題 (14件)：
  • 2023 - 2028 矛盾許容性、曖昧性及び不確実性を考慮した拡張非古典論理の基礎理論とその応用
  • 2022 - 2023 拡張矛盾許容推論技術とその臨床推論・知識検証への応用
  • 2018 - 2023 非古典論理の基礎理論とそのコンピュータサイエンスへの応用
  • 2020 - 2021 拡張矛盾許容モデル検査技術の開発と臨床推論・知識検証技法の確立
  • 2018 - 2021 埋め込み定理に基づく新しい矛盾許容論理に関する研究
全件表示
論文 (179件)：
  • Norihiro Kamide. Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5. Journal of Logic, Language and Information. 2023. 32. 3. 395-440
  • Norihiro Kamide. Self-extensional Paradefinite Four-valued Modal Logic Compatible with Standard Modal Logic. Proceedings of the 53rd IEEE International Symposium on Multiple-Valued Logic. 2023. 30-35
  • Norihiro Kamide. Natural Deduction with Explosion and Excluded Middle. Proceedings of the 53rd IEEE International Symposium on Multiple-Valued Logic. 2023. 24-29
  • Norihiro Kamide. An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi. Logica Universalis. 2022. 16. 3. 389-417
  • Norihiro Kamide. Embedding Friendly First-Order Paradefinite and Connexive Logics. Journal of Philosophical Logic. 2022. 51. 5. 1055-1102
もっと見る
学歴 (2件)：
  • 1995 - 2000 北陸先端科学技術大学院大学 情報科学研究科 情報処理学専攻
  • 1991 - 1995 帝京技術科学大学 情報学部 情報工学科
学位 (1件)：
  • 博士(情報科学) (北陸先端科学技術大学院大学)
経歴 (15件)：
  • 2023/04 - 現在 名古屋市立大学 データサイエンス学部 教授
  • 2015/04 - 2023/03 帝京大学理工学部情報電子工学科 准教授
  • 2014/04 - 2015/03 帝京大学理工学部ヒューマン情報システム学科 准教授
  • 2013/09 - 2014/03 早稲田大学理工学術院 非常勤講師
  • 2012/04 - 2014/03 サイバー大学IT総合学部 准教授
全件表示
委員歴 (26件)：
  • 2023 - 現在 The 16th International Conference on Agents and Artificial Intelligence プログラム委員
  • 2022 - 現在 The 53rd IEEE International Symposium on Multiple-Valued Logic プログラム委員
  • 2016 - 現在 International Journal of Applied & Experimental Mathematics 編集委員
  • 2012 - 現在 Bulletin of the Section of Logic 編集委員
  • 2022 - 2023 The 15th International Conference on Agents and Artificial Intelligence プログラム委員
全件表示
所属学会 (3件)：
日本ソフトウェア科学会 ,  人工知能学会 ,  日本数学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM