上出 哲広

J-GLOBALへ         更新日: 10/08/04 00:00
 
アバター
研究者氏名
上出 哲広
 
カミデ ノリヒロ
URL
http://www.geocities.jp/logicincomputerscience2006/indexj.html
所属
早稲田大学
部署
高等研究所
職名
准教授
学位
博士(情報科学)(北陸先端科学技術大学院大学)

研究分野

 
 

経歴

 
 
 - 
2002年
2000--2002 和歌山工業高等専門学校電気工学科(助手)
 
2002年
   
 
東京工業大学大学院情報理工学研究科(研究生)
 
 
 - 
2006年
2003--2006 慶應義塾大学文学研究科(学術振興会特別研究員)
 
2006年
   
 
東京工業高等専門学校情報工学科(非常勤講師)
 
 
 - 
2007年
2006--2007 産業技術総合研究所システム検証研究センター(特別研究員)
 

学歴

 
 
 - 
2000年
北陸先端科学技術大学院大学 情報科学研究科 情報処理学
 
 
 - 
1995年
帝京技術科学大学(現、帝京平成大学) 情報学部 情報工学科
 

Misc

 
A sequent calculus for 3-dimensional space
Norihiro Kamide
Lecture Notes in Artificial Intelligence (Proceedings of the 19th Brazilian Symposium on Artificial Intelligence, SBIA 2010)   to appear 
A logic for conceptual hierarchies
Norihiro Kamide
Lecture Notes in Artificial Intelligence (Proceedings of the 19th Brazilian Symposium on Artificial Intelligence, SBIA 2010)   to appear 
A proof system for temporal reasoning with sequential information
Norihiro Kamide
Lecture Notes in Artificial Intelligence (Proceedings of the 19th Brazilian Symposium on Artificial Intelligence, SBIA 2010)   to appear 
Phase semantics for linear-time formalism
Norihiro Kamide
Logic Journal of the IGPL   to appear 
Paraconsistent computation tree logic
Ken Kaneiwa and Norihiro Kamide
New Generation Computing   to appear 

講演・口頭発表等

 
A sequent calculus for 3-dimensional space
2010年   
A logic for conceptual hierarchies
2010年   
A proof system for temporal reasoning with sequential information
2010年   
A proof system for time-dependent multi-agents
2010年   
A logic for incomplete sequential information
2010年   

Works

 
科学研究費補助金(若手B)
2008年
Alexander von Humboldt 研究奨学金
2008年 - 2009年
学術振興会国外研究渡航費
2008年 - 2008年
学術振興会特別研究員研究補助金
2003年 - 2006年

競争的資金等の研究課題

 
部分構造論理とその情報科学への応用
科学研究費補助金
研究期間: 2008年 - 2011年
非古典論理の基礎理論の構築とその情報科学への応用に関する研究。科学研究費補助金若手(B)の補助を受けている。