(最終更新日:2017-10-13 13:07:09)
  ミヨシ ヒロユキ   MIYOSHI HIROYUKI
  三好 博之
   所属   京都産業大学  理学部 数理科学科
   職種   教授
業績
■ 学会発表
1. 2016 Span equivalence between weak n-categories(The International Category Theory Conference 2016 (CT2016))
2. 2015 Homotopy Type Theoryによるパッチ理論の拡張(日本ソフトウェア科学会2015年度大会)
3. 2015 ディレクトリ構造を扱うパッチ理論の圏論的モデル(Workshop on Computer Science and Category Theory (CSCAT) 2015)
4. 2014 数学のユニヴァレントな基礎付けについて―数学と計算の視点から―(Workshop on Computer Science and Category Theory (CSCAT) 2014)
5. 2013 Weak values as contextual values, categorically(International Category Theory Meeting 2013 (CT2013))
全件表示(40件)
■ 著書・論文歴
1. 2006 論文  計算の哲学から見た時間  
2. 2005 論文  Dynamical duality of type- and token-computation as an abstract brain  
3. 2004 論文  From Reflection to Interaction: An Indirect Approach to the Philosophy of Computation  
4. 2004 論文  リフレクションからインタラクションへ――計算の哲学への間接的アプローチ――  
5. 2003 論文  メレオトポロジーと計算  
全件表示(12件)
経歴
■ 学歴
1. ~1994 Keio University Graduate School, Division of Science and Engineering
2. ~1988 Kyoto University Faculty of Science
3.
(学位取得)
The University of Tokyo Doctor of Philosophy (Science)
4. ~1988 京都大学 理学部 理学科
5. ~1994 慶應義塾大学 理工学研究科 数理科学
全件表示(6件)
■ 所属学会
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.   圏論とその計算機科学への応用  
■ 現在の専門分野
数学基礎