三好 博之
Hiroyuki Miyoshi
更新日: 02/01
基本情報
- 所属
- 京都産業大学 理学部 数理科学科 教授
- 学位
-
博士(理学)
- J-GLOBAL ID
- 200901048248878127
- researchmap会員ID
- 1000274621
- 外部リンク
My main research areas are computer science, mathematics and philosophy. I have worked on logical foundations of computer science, category theory and philosophy of computation. Recently I have just begun a project about logical, categorical, computational and philosophical aspects of physics with other researchers. I am also interested in system biology.
研究キーワード
30経歴
3-
2004年4月 - 現在
-
1998年4月 - 2004年3月
-
1996年4月 - 1998年3月
学歴
3-
- 1998年
-
- 1994年
-
- 1988年
論文
9-
京都産業大学論集. 人文科学系列 35(第35号) 55-70 2006年3月 査読有り責任著者
-
Chaos, Solitons and Fractals 27(5) 1187-1204 2006年3月 査読有り
-
Conferences in Research and Practice in Information Technology 37 33-38 2004年7月 査読有り責任著者
-
京都産業大学論集. 人文科学系列 32(第32号) 70-84 2004年3月 査読有り責任著者
-
数理解析研究所講究録 1318(No.1318) 21-29 2003年5月 責任著者
-
Hokkaido Mathematical Journal 31(3) 469-511 2002年 査読有り
-
Functional and Logic Programming: Proceedings of the Third Fuji International Symposium 167-186 1998年3月 査読有り責任著者
-
コンピュータソフトウェア 14(1) 15-23 1997年 査読有り責任著者
-
Electronic Notes in Theoretical Computer Science 4(C) 20-34 1996年 査読有り責任著者
MISC
4-
現代思想 2020年7月 招待有り
-
京都産業大学総合学術研究所所報 3(3) 167-172 2005年7月
-
Computer Today (2003年1月号) 52-57 2003年
-
Computer Today (2002年3月号) 38-45 2002年
書籍等出版物
3-
シュプリンガー・フェアラーク東京 2005年6月30日 (ISBN: 4431708723)
-
トッパン 1993年9月 (ISBN: 4810180476)
-
啓学出版 1990年8月 (ISBN: 4766510755)
講演・口頭発表等
39-
Workshop on Computer Science and Category Theory (CSCAT) 2015 2015年
-
日本ソフトウェア科学会2015年度大会 2015年
-
Workshop on Computer Science and Category Theory (CSCAT) 2014 2014年
-
日本科学哲学会2013年度年会 2013年
-
International Category Theory Meeting 2013 (CT2013) 2013年
-
平成20年度第3回内部観測研究会 2009年
-
東京大学、本郷メタフィジクス研究会 2009年
-
The Second Asia-Pacific Computing and Philosophy Conference (AP-CAP 2005) 2005年
-
日本科学哲学会 2005年大会 2005年
-
日本科学哲学会,第37回大会 2004年
-
日本科学哲学会 2003年大会 2003年
-
ワークショップ「計算・生命・時間」 2003年
-
Computing and Philosophy (CAP) in Australia 2003 Conference 2003年
-
名古屋大学環境学研究科談話会 2003年
-
「計算の哲学」研究会 2003年
-
「理論計算機科学と圏論」ワークショップ 2003年
-
日本科学哲学会 2002年大会 2002年
-
科学基礎論学会 2002年度講演会 2002年
-
13th ALGI (Algebra, Logic, Geometry and Informatics) 2002年
-
ワークショップ「実験経済学と知識の構造」 2002年
所属学協会
7共同研究・競争的資金等の研究課題
8-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2017年4月 - 2022年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2012年4月 - 2016年3月
-
文部科学省 科学研究費補助金(基盤研究(B)) 基盤研究(B) 2005年 - 2008年
-
文部科学省 科学研究費補助金(基盤研究(B)) 基盤研究(B) 2003年 - 2004年
-
文部科学省 科学研究費補助金(基盤研究(B)) 基盤研究(B) 2001年 - 2003年
-
文部科学省 科学研究費補助金(萌芽研究) 萌芽研究 2002年 - 2002年