帝京大学

 

上出 哲広

帝京大学
理工学部
情報電子工学科

上出 哲広 准教授 かみで のりひろ

Norihiro Kamide

連絡先

メールアドレス

経歴・所属学会・専門分野・研究テーマ

経歴

  

帝京技術科学大学情報学部情報工学科卒業

  

北陸先端科学技術大学院大学情報科学研究科博士後期課程修了(博士・情報科学)

  

和歌山工業高等専門学校電気工学科(助手)

  

慶應義塾大学文学研究科(学術振興会特別研究員PD)

  

産業技術総合研究所(研究員)

  

早稲田大学高等研究所(助教)

  

Dresden University of Technology (Alexander von Humboldt Fellow)

  

早稲田大学高等研究所(准教授)

  

サイバー大学IT総合学部(准教授)

  

帝京大学理工学部ヒューマン情報システム学科(准教授)

  

帝京大学理工学部情報電子工学科(准教授)現職

所属学会

日本数学会

人工知能学会

日本ソフトウェア科学会

専門分野
情報論理学(logic in computer science).

数理論理学(mathematical logic).

哲学的論理学(philosophical logic).

ソフトウェア科学(software science).

理論計算機科学(theoretical computer science).

人工知能(artificial intelligence).
研究テーマ
非古典論理とその情報科学への応用(non-classical logics and their applications to computer science).

知識推論システムの論理的基礎付け(logical foundations of knowledge representation and reasoning systems).
所属キャンパス
宇都宮キャンパス

教育方法・職務上の実績

教育方法
非常勤講師: 早稲田大学理工学術院 「Cプログラミング」(2013-2014).

非常勤講師: サイバー大学IT総合学部 「ソフトウェア工学 (eラーニング科目)」(2011-2012).

非常勤講師: 東京工業高等専門学校情報工学科 「プログラミング言語特論」(2006).

担当経験科目 (帝京大学理工学部ヒューマン情報システム学科・情報電子工学科): 幾何学.

担当経験科目 (帝京大学理工学部ヒューマン情報システム学科・情報電子工学科): 応用数学.

担当経験科目 (帝京大学理工学部ヒューマン情報システム学科・情報電子工学科): 離散幾何.

担当経験科目 (帝京大学理工学部ヒューマン情報システム学科・情報電子工学科): グラフ理論.

担当経験科目 (帝京大学理工学部ヒューマン情報システム学科・情報電子工学科): プロジェクト演習.

担当経験科目 (帝京大学理工学部ヒューマン情報システム学科・情報電子工学科): 先端科学技術序論.

担当経験科目 (帝京大学理工学部ヒューマン情報システム学科・情報電子工学科): 卒業研究.

担当経験科目 (帝京大学理工学部情報電子工学科): Introduction to model checking (英語模擬講義).

担当経験科目 (帝京大学大学院理工学研究科総合理工学専攻): 先端ソフトウェア工学.

担当経験科目 (帝京大学理工学部情報科学科通信教育課程): 基礎数学 (スクーリング科目).

担当経験科目 (帝京大学理工学部情報科学科通信教育課程): 幾何学 (eラーニング科目).

担当経験科目 (帝京大学理工学部情報科学科通信教育課程): 応用数学 (eラーニング科目).

担当経験科目 (帝京大学理工学部情報科学科通信教育課程): グラフ理論 (eラーニング科目).

担当経験科目 (帝京大学大学院理工学研究科通信教育課程情報科学専攻): 先端ソフトウェア工学 (eラーニング科目).

担当経験科目(早稲田大学理工学術院): Cプログラミング.

担当経験科目 (サイバー大学IT総合学部): ソフトウェア開発論 (eラーニング科目).

担当経験科目 (サイバー大学IT総合学部): ソフトウェア工学 (eラーニング科目).

担当経験科目 (サイバー大学IT総合学部): データベース入門 (eラーニング科目).

担当経験科目 (サイバー大学IT総合学部): データベース論 (eラーニング科目).

担当経験科目 (サイバー大学IT総合学部): インターネット入門 (eラーニング科目).

担当経験科目 (サイバー大学IT総合学部): ITのための基礎知識 (eラーニング科目).

担当経験科目 (サイバー大学IT総合学部): コンピュータ入門 (eラーニング科目).

担当経験科目 (サイバー大学IT総合学部): 卒業研究 (eラーニング科目).

担当経験科目 (早稲田大学高等研究所): 身近にある先端科学(論理学の情報科学への応用).

担当経験科目 (産業技術総合研究所): モデル検査中級コース.

担当経験科目 (東京工業高等専門学校情報工学科): プログラミング言語特論.

担当経験科目 (和歌山工業高等専門学校電気工学科): 電磁気学演習.

担当経験科目 (和歌山工業高等専門学校電気工学科): 電気工学演習.

担当経験科目 (和歌山工業高等専門学校電気工学科): 電気工学実験.

担当経験科目 (和歌山工業高等専門学校電気工学科): 情報工学実験.

担当経験科目 (和歌山工業高等専門学校電気工学科): 情報処理演習.

担当経験科目 (和歌山工業高等専門学校電気工学科): 卒業研究.
職務上の実績
Editor: International Journal of Applied & Experimental Mathematics (2016-).

Editor: Far East Journal of Applied Mathematics (2015-).

Editor: The Scientific World Journal: Mathematical Logic Subject Area (2013-2016).

Editor: Bulletin of the Section of Logic (2012-).

Editor: Special Issue on Theory and Application of Soft Computing Methods, The Scientific World Journal: Computer Science Subject Area (2014-2015).

Editor: Far East Journal of Applied Mathematics (2011-2013).

Committee: The 4th International Conference on Knowledge and Education Technology (2015).

Committee: The 3rd International Conference on Knowledge and Education Technology (2014).

Committee: The 2nd International Conference on Knowledge and Education Technology (2013).

DBLP Computer Science Bibliography:
http://dblp.uni-trier.de/pers/hd/k/Kamide:Norihiro

PhilPapers Philosophical Research Online:
http://philpapers.org/s/Norihiro%20Kamide

競争的研究資金: 科学研究費補助金, 国際共同研究加速基金, 知能情報学分野 (2017, 交付内定). テーマ:埋め込み定理に基づく新しい矛盾許容論理に関する研究.

競争的研究資金: 大川情報通信基金研究助成金, 人工知能分野 (2015-2016). テーマ:矛盾許容時間論理とその応用.

競争的研究資金: 科学研究費補助金, 基盤C, 知能情報学分野 (2014-2019). テーマ:知識推論システムの論理的基礎付け.

競争的研究資金: Alexander von Humboldt Fellowship 研究費補助金, コンピュータサイエンス分野 (2013-2014, 職務の都合により内定辞退). Theme: Non-classical logics and their applications to computer science.

競争的研究資金: Alexander von Humboldt Foundation 研究発表補助金 (2012).

競争的研究資金: 科学研究費補助金, 若手B, 情報学基礎分野 (2008-2012). テーマ:部分構造論理とその情報科学への応用.

競争的研究資金: Alexander von Humboldt Fellowship 研究費補助金, 数理論理学分野 (2008-2009). Theme: Proof systems for substructural logics: Cut-elimination, normalization and completeness.

競争的研究資金: 日本学術振興会海外渡航補助金 (2008).

競争的研究資金: 科学研究費補助金, 学術振興会特別研究員奨励費, 知能情報学分野 (2003-2006). テーマ:部分構造論理とそのソフトウェア記述への応用.

著書・論文

区分 発行年月、著書・論文名、発行元
論文

Norihiro Kamide

Paraconsistent double negation as a modal operator

2016年 | Mathematical Logic Quarterly 62 (6), pp. 552-562, Wiley-Vch Verlag. 

論文

Norihiro Kamide and Daiki Koizumi

Method for combining paraconsistency and sequentiality in temporal reasoning

2016年 | Journal of Advanced Computational Intelligence and Intelligent Informatics 20 (5), pp. 813-827, Fuji Technology Press 

論文

Norihiro Kamide and Heinrich Wansing

Completeness of connexive Heyting-Brouwer logic

2016年 | IFCoLog Journal of Logics and their Applications 3 (3), pp. 441-466, College Publications 

論文

Norihiro Kamide

A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics

2016年 | Mathematical Logic Quarterly 62 (3), pp. 1-13, 2016, Wiley-Vch Verlag 

論文

Norihiro Kamide

Bunched sequential information

2016年 | Journal of Applied Logic 15, pp. 150-170, Elsevier 

論文

Norihiro Kamide

Paraconsistent double negation that can simulate classical negation

2016年 | Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2016), pp. 131-136, IEEE Press 

論文

Norihiro Kamide

Cut-free systems for restricted bi-intuitionistic logic and its connexive extension

2016年 | Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2016), pp. 137-142, IEEE Press 

論文

Norihiro Kamide

Duality in some intuitionistic paraconsistent logics

2016年 | Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), Volume 2, pp. 288-297, Science and Technology Publications 

論文

Norihiro Kamide

Intuitionistic De Morgan verification and falsification logics

2016年 | Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), Volume 2, pp. 233-240, Science and Technology Publications 

論文

Norihiro Kamide

Reasoning in medical and tutoring systems: A decidable first-order temporal paraconsistent non-commutative logic

2015年 | International Journal of Software and Informatics 9 (1), pp. 73-92, 2015, The Institute of Software, Chinese Academy of Sciences (ISCAS). 

論文

Norihiro Kamide

Interpolation theorems for some variants of LTL

2015年 | Reports on Mathematical Logic 50、pp. 3-20, Jagiellonian University Press 

論文

Norihiro Kamide

Single-succedent system approach to Boolean BI

2015年 | Proceedings of the 19th International Conference on Knowledge Based and Intelligent Information and Engineering Systems (KES 2015), Procedia Computer Science 60, pp. 27-36, Elsevier 

論文

Norihiro Kamide

A decidable temporal relevant logic for time-dependent relevant human reasoning

2015年 | Proceedings of the 5th International Workshop on Logic, Rationality, and Interaction (LORI 2015), Lecture Notes in Computer Science 9394, pp. 182-194, Springer 

論文

Norihiro Kamide

Inconsistency-tolerant temporal reasoning with hierarchical information

2015年 | Information Sciences 320, pp. 140-155, Elsevier 

論文

Norihiro kamide

Embedding theorems for LTL and its variants

2015年 | Mathematical Structures in Computer Science 25 (1), pp.83-134, 2015, Cambridge University Press 

論文

Norihiro Kamide

Trilattice logic: An embedding-based approach

2015年 | Journal of Logic and Computation 25 (3), pp. 581-611, Oxford University Press 

論文

Norihiro Kamide and Daiki Koizumi

Combining paraconsistency and probability in CTL

2015年 | Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART 2015), pp.285-293, Science and Technology Publications 

論文

Norihiro Kamide

Inconsistency and sequentiality in LTL

2015年 | Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART 2015), pp.46-54, Science and Technology Publications. 

著書

Norihiro Kamide and Heinrich Wansing

Proof theory of N4-related paraconsistent logics

2015年 | Studies in Logic, Volume 54, pp. 1-401, College Publications 

論文

Norihiro Kamide

Inconsistency-tolerant multi-agent calculus

2014年 | International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 22 (6), pp.815-830, 2014, World Scientific Publishing 

論文

Norihiro Kamide

An eight-valued praconsistent logic

2014年 | Reports on Mathematical Logic 49, pp.3-21, 2014, Jagiellonian University Press 

論文

Norihiro Kamide

Embedding-based methods for trilattice logic

2013年 | Proceedings of the 43rd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2013), IEEE Press 

論文

Norihiro Kamide

On natural eight-valued reasoning

2013年 | Proceedings of the 43rd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2013), IEEE Press 

論文

Norihiro Kamide

The logic of information merge and sequential information

2013年 | Proceedings of the 2013 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2013), IEEE Press 

論文

Norihiro Kamide

Formalizing inconsistency-tolerant relevant human reasoning: A decidable paraconsistent relevant logic with constructible falsity

2013年 | Proceedings of the 2013 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2013), IEEE Press 

論文

Norihiro Kamide

Modeling and verifying inconsistency-tolerant temporal reasoning with hierarchical information: Dealing with students' learning processes

2013年 | Proceedings of the 2013 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2013), IEEE Press 

論文

Norihiro Kamide

Strong normalization in some temporal substructural logics

2013年 | Journal of Logic and Computation, Oxford University Press 

論文

Norihiro Kamide

Inconsistency-tolerant bunched implications

2013年 | International Journal of Approximate Reasoning, Elsevier 

論文

Norihiro Kamide

Temporal Godel-Gentzen and Girard translations

2013年 | Mathematical Logic Quarterly, Wiley-Vch Verlag 

論文

Norihiro Kamide

A hierarchy of weak double negations

2013年 | Studia Logica, Springer 

論文

Norihiro Kamide

Temporal BI: Proof system, semantics and translations

2013年 | Theoretical Computer Science, Elsevier 

論文

Norihiro Kamide and Ken Kaneiwa

Reasoning about resources and information: A linear logic approach

2013年 | Fundamenta Informaticae, IOS Press 

論文

Norihiro Kamide

Representing any-time and program-iteration by infinitary conjunction

2013年 | Journal of Applied Non-Classical Logics, Taylor and Francis 

論文

Norihiro Kamide and Heinrich Wansing

Proof theory of Nelson's paraconsistent logic: A uniform perspective

2012年 | Theoretical Computer Science, Elsevier 

論文

Norihiro Kamide

Embedding-based approaches to paraconsistent and temporal description logics

2012年 | Journal of Logic and Computation, Oxford University Press 

論文

Norihiro Kamide

Strong normalization of a typed lambda calculus for intuitionistic bounded linear-time temporal logic

2012年 | Reports on Mathematical Logic, Jagiellonian University Press 

論文

Norihiro Kamide

Reasoning about time-dependent multi-agents: Foundations of theorem proving and model checking

2012年 | Transactions on Computational Collective Intelligence, Springer 

論文

Norihiro Kamide

Bounded linear-time temporal logic: A proof-theoretic investigation

2012年 | Annals of Pure and Applied Logic, Elsevier 

論文

Heinrich Wansing and Norihiro Kamide

Synchronized linear-time temporal logic

2011年 | Studia Logica, Springer 

論文

Norihiro Kamide

Notes on interpolation for LJ with strong negation

2011年 | Mathematical Logic Quarterly, Wiley-Vch Verlag 

論文

Ken Kaneiwa and Norihiro Kamide

Conceptual modeling in full computation-tree logic with sequence modal operator

2011年 | International Journal of Intelligent Systems, Wiley Periodicals, Inc. 

論文

Norihiro Kamide

Phase semantics for linear-time formalism

2011年 | Logic Journal of the IGPL, Oxford University Press 

論文

Norihiro Kamide and Heinrich Wansing

A paraconsistent linear-time temporal logic

2011年 | Fundamenta Informaticae, IOS Press 

論文

Norihiro Kamide and Heinrich Wansing

Completeness and cut-elimination theorems for trilattice logics

2011年 | Annals of Pure and Applied Logic, Elsevier 

論文

Ken Kaneiwa and Norihiro Kamide

Paraconsistent computation tree logic

2011年 | New Generation Computing, Ohomsha and Springer 

上記以外の論文情報

DBLP Computer Science Bibliography (Works by Norihiro Kamide)

| http://dblp.uni-trier.de/pers/hd/k/Kamide:Norihiro 

上記以外の論文情報

PhilPapers Philosophical Research Online (Works by Norihiro Kamide)

| http://philpapers.org/s/Norihiro%20Kamide 

上記以外の論文情報

Publication List (Home Page of Norihiro Kamide)

| http://www.geocities.jp/logicincomputerscience2006/publications.html 



ご利用にあたって
プライバシーポリシー
教職員専用
Copyright(C) 2006 Teikyo University. All Rights Reserved