上出 哲広

J-GLOBALへ         更新日: 19/02/07 10:59
 
アバター
研究者氏名
上出 哲広
 
カミデ ノリヒロ
URL
http://kamide.g1.xrea.com
所属
帝京大学
部署
理工学部 情報電子工学科
職名
准教授
学位
博士(情報科学)(北陸先端科学技術大学院大学)

研究分野

 
 

経歴

 
2015年4月
 - 
現在
帝京大学理工学部情報電子工学科 准教授
 
2014年4月
 - 
2015年3月
帝京大学理工学部ヒューマン情報システム学科 准教授
 
2012年4月
 - 
2014年3月
サイバー大学IT総合学部 准教授
 
2011年10月
 - 
2012年3月
サイバー大学 客員准教授
 
2010年10月
 - 
2012年3月
早稲田大学高等研究所 客員・招聘研究員
 
2010年4月
 - 
2010年9月
早稲田大学高等研究所 准教授
 
2007年10月
 - 
2010年4月
早稲田大学高等研究所 助教
 
2008年5月
 - 
2009年9月
ドレスデン工科大学 Alexander von Humboldt Fellow
 
2007年4月
 - 
2007年9月
産業技術総合研究所関西産学官連携センター 外来研究員
 
2006年7月
 - 
2007年3月
産業技術総合研究所システム検証研究センター 特別研究員
 
2006年4月
 - 
2006年10月
東京工業高等専門学校情報工学科 非常勤講師
 
2003年4月
 - 
2006年3月
慶應義塾大学文学研究科 学術振興会特別研究員PD
 
2000年4月
 - 
2002年3月
和歌山工業高等専門学校電気工学科 助手
 

学歴

 
1995年4月
 - 
2000年3月
北陸先端科学技術大学院大学 情報科学研究科 情報処理学専攻
 
1991年4月
 - 
1995年3月
帝京技術科学大学 情報学部 情報工学科
 

委員歴

 
2016年
 - 
現在
International Journal of Applied & Experimental Mathematics  編集委員
 
2015年
 - 
現在
Far East Journal of Applied Mathematics  編集委員
 
2012年
 - 
現在
Bulletin of the Section of Logic  編集委員
 
2019年
 - 
2019年
The 11th International Conference on Agents and Artificial Intelligence  プログラム委員
 
2018年
 - 
2018年
The 10th International Conference on Agents and Artificial Intelligence  プログラム委員
 
2018年
 - 
2018年
The 18th IEEE International Conference on Communication Technology  プログラム委員
 
2018年
 - 
2018年
The 2018 International Conference on Software and e-Business  プログラム委員
 
2017年
 - 
2017年
The 17th IEEE International Conference on Communication Technology  プログラム委員
 
2017年
 - 
2017年
The 2017 International Conference on Software and e-Business  プログラム委員
 
2013年
 - 
2016年
The Scientific World Journal: Mathematical Logic Subject Area  編集委員
 

論文

 
Norihiro Kamide
J. Philosophical Logic   47(2) 301-324   2018年   [査読有り]
Norihiro Kamide
J. Log. Comput.   28(2) 403-432   2018年   [査読有り]
Norihiro Kamide
Math. Log. Q.   64(4-5) 371-386   2018年   [査読有り]
Norihiro Kamide
Data Techn. and Applic.   52(4) 539-563   2018年   [査読有り]
Norihiro Kamide,Kazuki Endo
Proceedings of the 10th International Conference on Agents and Artificial Intelligence, ICAART 2018, Volume 2, Funchal, Madeira, Portugal, January 16-18, 2018.   191-200   2018年   [査読有り]
Norihiro Kamide,Kazuki Endo
Agents and Artificial Intelligence - 10th International Conference, ICAART 2018, Funchal, Madeira, Portugal, January 16-18, 2018, Revised Selected Papers   312-342   2018年   [査読有り]
Paraconsistent sequential linear-time temporal logic and its application to clinical reasoning verification: A brief survey and future work
上出 哲広
International Journal of Applied & Experimental Mathematics   2(2) 1-2   2017年
Norihiro Kamide
J. Log. Comput.   27(5) 1523-1548   2017年   [査読有り]
Norihiro Kamide, Yaroslav Shramko
J. Log. Comput.   27(5) 1549-1575   2017年   [査読有り]

競争的資金等の研究課題

 
非古典論理の基礎理論とそのコンピュータサイエンスへの応用
科学研究費補助金(基盤研究C)
研究期間: 2018年4月 - 2023年3月    代表者: 上出哲広
埋め込み定理に基づく新しい矛盾許容論理に関する研究
科学研究費補助金(国際協同研究加速基金)
研究期間: 2018年4月 - 2020年3月    代表者: 上出哲広
矛盾許容モデル検査の基礎と応用
栢森情報科学振興財団助成金
研究期間: 2018年1月 - 2019年12月    代表者: 上出哲広
知識推論システムの論理的基礎付け
科学研究費補助金(基盤研究C)
研究期間: 2014年4月 - 2019年3月    代表者: 上出哲広
矛盾許容時間論理とその応用
大川情報通信基金研究助成金
研究期間: 2015年4月 - 2016年3月    代表者: 上出哲広
Non-classical logics and their applications to computer science
Alexander von Humboldt Foundation 研究奨励金(Alumni Research Stay Program)
研究期間: 2013年8月 - 2014年7月    代表者: 上出哲広
職務の都合により辞退.
Studia Logica International Conference on Advances in Philosophical Logic
Alexander von Humboldt Foundation 招待講演発表補助金
研究期間: 2012年5月 - 2012年5月    代表者: 上出哲広
Proof systems for substructural logics: Cut-elimination, normalization and completeness
Alexander von Humboldt Foundation 研究奨励金
研究期間: 2008年 - 2009年    代表者: 上出哲広
Proof systems for substructural logics: Cut-elimination, normalization and completeness
日本学術振興会海外渡航補助金
研究期間: 2008年 - 2008年    代表者: 上出哲広
部分構造論理とそのソフトウェア記述への応用
科学研究費補助金(日本学術振興会特別研究員奨励費)
研究期間: 2003年4月 - 2006年3月    代表者: 上出哲広