教員情報 - 三好　博之 | 京都産業大学

研究キーワード：線型論理、粘菌、精神病理学、文脈原理、メレオロジー、ブラウワー、ウィトゲンシュタイン、時間、デジャヴュ、計算、プロセス、カテゴリー理論、プラトニズム、意義、Hume-Bergson形式、フレーゲ、スコット領域、時間論、精神医学、数学の哲学、治療的理解、論理と計算、プログラムの意味論、シーケント計算、メレオトポロジー、ラッセル、西田幾多郎、反実在論、リフレクション、計算の哲学、線型論理、粘菌、精神病理学、文脈原理、メレオロジー、ブラウワー、ウィトゲンシュタイン、時間、デジャヴュ、計算、プロセス、カテゴリー理論、プラトニズム、意義、Hume-Bergson形式、フレーゲ、スコット領域、時間論、精神医学、数学の哲学、治療的理解、論理と計算、プログラムの意味論、シーケント計算、メレオトポロジー、ラッセル、西田幾多郎、反実在論、リフレクション、計算の哲学

（最終更新日 : 2024-10-30 16:09:17）

ミヨシ　ヒロユキ MIYOSHI HIROYUKI
三好　博之

所属

京都産業大学理学部数理科学科

職種教授

学会発表
2015	Homotopy Type Theoryによるパッチ理論の拡張 (日本ソフトウェア科学会2015年度大会)
2015	ディレクトリ構造を扱うパッチ理論の圏論的モデル (Workshop on Computer Science and Category Theory (CSCAT) 2015)
2014	数学のユニヴァレントな基礎付けについて―数学と計算の視点から― (Workshop on Computer Science and Category Theory (CSCAT) 2014)
2013	Weak values as contextual values, categorically (International Category Theory Meeting 2013 (CT2013))
2013	数学のユニヴァレントな基礎付けについて―哲学の視点から― (日本科学哲学会2013年度年会)
全件表示（39件）

著書・論文歴
2006/03	その他	Dynamical duality of type- and token-computation as an abstract brain Chaos, Solitons and Fractals 27 (5),1187-1204頁
2006/03	その他	計算の哲学から見た時間京都産業大学論集. 人文科学系列 35 (第35号),55-70頁
2005/07	その他	計算の哲学--計算概念の原理的再構築研究報告 (平成16年度共同研究プロジェクト研究成果報告) 京都産業大学総合学術研究所所報 3 (3),167-172頁
2005/06/30	その他	圏論の基礎
2004/03	その他	リフレクションからインタラクションへ : 計算の哲学への間接的アプローチ京都産業大学論集. 人文科学系列 32 (第32号),70-84頁
全件表示（20件）

学歴
～1988	京都大学理学部
～1994	慶應義塾大学理工学研究科数理科学専攻

職歴
	京都産業大学理学部数理科学科
	京都産業大学理学部数理科学科
2004/04 ～	京都産業大学理学部
2004/04 ～	京都産業大学理学部
1998/04 ～ 2004/03	京都産業大学理学部
全件表示（6件）

所属学会
	Japan Society for Software Science and Technology
	Mathematical Society of Japan
	the Association for Computing Machinery
	日本ソフトウェア科学会
	日本数学会
全件表示（7件）

研究課題・受託研究・科研費
	Category Theory and its applications to Computer Science
	圏論とその計算機科学への応用
2005 ～ 2008	計算の哲学--その展開と深化基盤研究(B)
2003 ～ 2004	計算の哲学-計算概念の原理的再構築基盤研究(B)
2002 ～ 2002	リフレクションのカテゴリー理論による研究萌芽研究
全件表示（6件）

ホームページ
http://kaken.nii.ac.jp/ja/r/60286135
http://kaken.nii.ac.jp/ja/r/60286135

現在の専門分野
数学基礎, 情報学基礎論, 情報学基礎論, 応用数学、統計数学, 数学基礎, 哲学、倫理学, 応用数学、統計数学, 数学基礎, 哲学、倫理学キーワード(線型論理、粘菌、精神病理学、文脈原理、メレオロジー、ブラウワー、ウィトゲンシュタイン、時間、デジャヴュ、計算、プロセス、カテゴリー理論、プラトニズム、意義、Hume-Bergson形式、フレーゲ、スコット領域、時間論、精神医学、数学の哲学、治療的理解、論理と計算、プログラムの意味論、シーケント計算、メレオトポロジー、ラッセル、西田幾多郎、反実在論、リフレクション、計算の哲学、線型論理、粘菌、精神病理学、文脈原理、メレオロジー、ブラウワー、ウィトゲンシュタイン、時間、デジャヴュ、計算、プロセス、カテゴリー理論、プラトニズム、意義、Hume-Bergson形式、フレーゲ、スコット領域、時間論、精神医学、数学の哲学、治療的理解、論理と計算、プログラムの意味論、シーケント計算、メレオトポロジー、ラッセル、西田幾多郎、反実在論、リフレクション、計算の哲学)

外部研究者ID
Researcher ID