古森雄一

J-GLOBALへ         更新日: 15/06/22 11:03
 
アバター
研究者氏名
古森雄一
URL
http://komoriyuichi.web.fc2.com/
学位
理学博士

研究分野

 
 

経歴

 
2013年4月
 - 
現在
千葉大学 理学研究科 名誉教授
 
2012年4月
 - 
2013年3月
千葉大学 理学研究科 教授
 
2001年4月
 - 
2012年3月
千葉大学 総合メディア基盤センター 教授
 
1996年10月
 - 
2001年3月
千葉大学 理学部 教授
 
1991年4月
 - 
1996年9月
静岡大学 理学部 助教授
 

Misc

 
Ken etsu Fujita, Ryo Kashima, Yuichi Komori, Naosuke Matsuda
Studia Logica      2015年5月
© 2015 Springer Science+Business Media Dordrecht The third author gave a natural deduction style proof system called the (Formula presented.)-calculus for implicational fragment of classical logic in (Komori, Tsukuba J Math 37:307–320, 2013). In (...
山川 郁加, 古森 雄一
数理解析研究所講究録   1915 1-10   2014年9月
山川 郁加, 古森 雄一
数理解析研究所講究録   1832 135-138   2013年4月
古森雄一
数理解析研究所講究録   1533 39-48   2007年2月
山川 郁加, 古森 雄一
数理解析研究所講究録   1832 135-138   2013年4月

書籍等出版物

 
古森 雄一, 小野 寛晰
日本評論社   2010年   ISBN:9784535785564
古森 雄一
[千葉大学]   2007年   
古森 雄一
[千葉大学]   2000年   
京都大学数理解析研究所
京都大学数理解析研究所   1995年   
京都大学数理解析研究所
京都大学数理解析研究所   1992年   

論文

 
Yuichi Komori,Naosuke Matsuda,Fumika Yamakawa
Studia Logica   102(1) 175-183   2014年   [査読有り]
Sachio Hirokawa,Yuichi Komori,Misao Nagayama
J. Symb. Log.   65(4) 1841-1849   2000年   [査読有り]
Sachio Hirokawa,Yuichi Komori,Izumi Takeuti
Studia Logica   56(3) 419-426   1996年   [査読有り]
Yuichi Komori
Studia Logica   53(3) 397-416   1994年   [査読有り]
Yuichi Komori,Sachio Hirokawa
J. Symb. Log.   58(2) 626-628   1993年   [査読有り]