佐野 勝彦

J-GLOBALへ         更新日: 17/04/24 17:10
 
アバター
研究者氏名
佐野 勝彦
 
サノ カツヒコ
所属
北海道大学
部署
大学院文学研究科 思想文化学専攻
職名
准教授
学位
修士(文学)(京都大学), 博士(文学)(京都大学)

研究分野

 
 

経歴

 
2016年9月
 - 
現在
北海道大学 大学院文学研究科 准教授
 
2011年7月
 - 
2016年9月
北陸先端科学技術大学院大学 情報科学研究科 助教
 
2011年4月
 - 
2011年7月
京都大学大学院 文学研究科 研究員(最先端戦略強化)
 
2008年4月
 - 
2011年3月
日本学術振興会 特別研究員(PD、京都大学、受入研究者:林晋教授)
 
2007年4月
 - 
2007年6月
京都大学大学院 文学研究科 研究員(学術支援)
 
2007年7月
 - 
2008年3月
京都大学大学院 文学研究科 研究員(産官学連携研究員)
 
2006年4月
 - 
2007年3月
京都大学大学院 文学研究科 研究員(COE)
 

学歴

 
2003年4月
 - 
2006年3月
京都大学大学院 文学研究科 現代文化学専攻科学哲学科学史専修 博士後期課程
 
2000年4月
 - 
2003年3月
京都大学大学院 文学研究科 現代文化学専攻科学哲学科学史専修 博士前期課程
 
1995年4月
 - 
2000年3月
京都大学 文学部 人文学科基礎現代文化学系 科学哲学科学史専修
 

論文

 
Katsuhiko Sano,John G. Stell
Proceedings of the Ninth Workshop on Methods for Modalities, M4M@ICLA 2017, Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017.   105-121   2017年   [査読有り]
Tadeusz Litak,Dirk Pattinson,Katsuhiko Sano,Lutz Schröder
CoRR   abs/1701.03773 -SK008036   2017年
Katsuhiko Sano,Jonni Virtema
Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings   392-409   2016年   [査読有り]
Shoshin Nomura,Hiroakira Ono,Katsuhiko Sano
Logical Foundations of Computer Science - International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings   283-298   2016年   [査読有り]
Hitoshi Omori,Katsuhiko Sano
Studia Logica   103(5) 883-917   2015年   [査読有り]
Katsuhiko Sano,Jonni Virtema
24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany   292-307   2015年   [査読有り]
Ryo Hatano,Katsuhiko Sano,Satoshi Tojo
ICAART 2015 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 1, Lisbon, Portugal, 10-12 January, 2015.   174-181   2015年   [査読有り]
Minghui Ma,Katsuhiko Sano,François Schwarzentruber,Fernando R. Velázquez-Quesada
Logic and Its Applications - 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings   132-145   2015年   [査読有り]
Pimolluck Jirakunkanok,Katsuhiko Sano,Satoshi Tojo
2015 Seventh International Conference on Knowledge and Systems Engineering, KSE 2015, Ho Chi Minh City, Vietnam, October 8-10, 2015   228-233   2015年   [査読有り]
Katsuhiko Sano,Satoshi Tojo
2015 Seventh International Conference on Knowledge and Systems Engineering, KSE 2015, Ho Chi Minh City, Vietnam, October 8-10, 2015   256-261   2015年   [査読有り]

書籍等出版物

 
佐野 勝彦, 倉橋 太志, 薄葉 季路, 黒川 英徳, 菊池 誠 (担当:共著)
共立出版   2016年3月   ISBN:4320111486
近代科学社   2014年2月   ISBN:4764904543