研究キーワード:線型論理、粘菌、精神病理学、文脈原理、メレオロジー、ブラウワー、ウィトゲンシュタイン、時間、デジャヴュ、計算、プロセス、カテゴリー理論、プラトニズム、意義、Hume-Bergson形式、フレーゲ、スコット領域、時間論、精神医学、数学の哲学、治療的理解、論理と計算、プログラムの意味論、シーケント計算、メレオトポロジー、ラッセル、西田幾多郎、反実在論、リフレクション、計算の哲学、線型論理、粘菌、精神病理学、文脈原理、メレオロジー、ブラウワー、ウィトゲンシュタイン、時間、デジャヴュ、計算、プロセス、カテゴリー理論、プラトニズム、意義、Hume-Bergson形式、フレーゲ、スコット領域、時間論、精神医学、数学の哲学、治療的理解、論理と計算、プログラムの意味論、シーケント計算、メレオトポロジー、ラッセル、西田幾多郎、反実在論、リフレクション、計算の哲学
    (最終更新日:1000-01-01 00:00:00)
  ミヨシ ヒロユキ   MIYOSHI HIROYUKI
  三好 博之
   所属   京都産業大学  理学部 数理科学科
   職種   教授
業績
■ 学会発表
1. 2015 Homotopy Type Theoryによるパッチ理論の拡張(日本ソフトウェア科学会2015年度大会)
2. 2015 ディレクトリ構造を扱うパッチ理論の圏論的モデル(Workshop on Computer Science and Category Theory (CSCAT) 2015)
3. 2014 数学のユニヴァレントな基礎付けについて―数学と計算の視点から―(Workshop on Computer Science and Category Theory (CSCAT) 2014)
4. 2013 Weak values as contextual values, categorically(International Category Theory Meeting 2013 (CT2013))
5. 2013 数学のユニヴァレントな基礎付けについて―哲学の視点から―(日本科学哲学会2013年度年会)
全件表示(39件)
■ 著書・論文歴
1. 2006/03 その他  Dynamical duality of type- and token-computation as an abstract brain Chaos, Solitons and Fractals 27(5),pp.1187-1204  
2. 2006/03 その他  計算の哲学から見た時間 京都産業大学論集. 人文科学系列 35(第35号),55-70頁  
3. 2005/07 その他  計算の哲学--計算概念の原理的再構築 研究報告 (平成16年度共同研究プロジェクト研究成果報告) 京都産業大学総合学術研究所所報 3(3),167-172頁  
4. 2005/06/30 その他  圏論の基礎    
5. 2004/03 その他  リフレクションからインタラクションへ : 計算の哲学への間接的アプローチ 京都産業大学論集. 人文科学系列 32(第32号),70-84頁  
全件表示(20件)
経歴
■ 学歴
1.
(学位取得)
博士(理学)
2. ~1994 慶應義塾大学 理工学研究科 数理科学専攻
3. ~1988 京都大学 理学部
■ 職歴
1. 京都産業大学 理学部 数理科学科
2. 2004/04~ 京都産業大学 理学部
3. 1998/04~2004/03 京都産業大学 理学部
4. 1996/04~1998/03 淑徳大学 国際コミュニケーション学部
■ 所属学会
1. Japan Society for Software Science and Technology
2. Mathematical Society of Japan
3. the Association for Computing Machinery
4. 日本ソフトウェア科学会
5. 日本数学会
全件表示(7件)
その他
■ 研究課題・受託研究・科研費
1.   Category Theory and its applications to Computer Science  
2.   圏論とその計算機科学への応用  
3. 2005~2008  計算の哲学--その展開と深化 基盤研究(B) 
4. 2003~2004  計算の哲学-計算概念の原理的再構築 基盤研究(B) 
5. 2002~2002  リフレクションのカテゴリー理論による研究 萌芽研究 
全件表示(6件)
■ ホームページ
   http://kaken.nii.ac.jp/ja/r/60286135
■ 現在の専門分野
数学基礎, 情報学基礎論, 情報学基礎論, 応用数学、統計数学, 数学基礎, 哲学、倫理学, 応用数学、統計数学, 数学基礎, 哲学、倫理学 (キーワード:線型論理、粘菌、精神病理学、文脈原理、メレオロジー、ブラウワー、ウィトゲンシュタイン、時間、デジャヴュ、計算、プロセス、カテゴリー理論、プラトニズム、意義、Hume-Bergson形式、フレーゲ、スコット領域、時間論、精神医学、数学の哲学、治療的理解、論理と計算、プログラムの意味論、シーケント計算、メレオトポロジー、ラッセル、西田幾多郎、反実在論、リフレクション、計算の哲学、線型論理、粘菌、精神病理学、文脈原理、メレオロジー、ブラウワー、ウィトゲンシュタイン、時間、デジャヴュ、計算、プロセス、カテゴリー理論、プラトニズム、意義、Hume-Bergson形式、フレーゲ、スコット領域、時間論、精神医学、数学の哲学、治療的理解、論理と計算、プログラムの意味論、シーケント計算、メレオトポロジー、ラッセル、西田幾多郎、反実在論、リフレクション、計算の哲学)