教員情報 - 三好　博之

業績

学会発表

著書・論文歴

経歴

学歴

職歴

研究キーワード：線型論理、粘菌、精神病理学、文脈原理、メレオロジー、ブラウワー、ウィトゲンシュタイン、時間、デジャヴュ、計算、プロセス、カテゴリー理論、プラトニズム、意義、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年度年会）
6.	2009	なぜ計算を考えるのに形而上学が必要なのか（東京大学、本郷メタフィジクス研究会）
7.	2009	計算のとらえどころのなさをどうとらえるか（2009年度版）（平成20年度第3回内部観測研究会）
8.	2005	Computation and Time（The Second Asia-Pacific Computing and Philosophy Conference (AP-CAP 2005)）
9.	2005	計算の哲学とプラグマティズム（日本科学哲学会 2005年大会）
10.	2004	計算のとらえどころのなさをどうとらえるか（日本科学哲学会，第37回大会）
11.	2003	From Reflection to Interaction: An Indirect Aproach to the Philosophy of Computation（Computing and Philosophy (CAP) in Australia 2003 Conference）
12.	2003	メレオトポロジーと計算（「理論計算機科学と圏論」ワークショップ）
13.	2003	持続・記述・時間（日本科学哲学会 2003年大会）
14.	2003	現象としての計算について（名古屋大学環境学研究科談話会）
15.	2003	計算の哲学と精神医学（「計算の哲学」研究会）
16.	2003	計算・生命・時間（ワークショップ「計算・生命・時間」）
17.	2002	Mereotopology and Computation（13th ALGI (Algebra, Logic, Geometry and Informatics)）
18.	2002	メレオトポロジーと幾何学的計算（日本科学哲学会 2002年大会）
19.	2002	リフレクションからインタラクションへ（科学基礎論学会 2002年度講演会）
20.	2002	リフレクションと計算のメタフィジクス（ワークショップ「実験経済学と知識の構造」）
21.	2002	リフレクションと計算のメタフィジクス（招待講演）（第８回複雑系札幌シンポジウム）
22.	2000	From reflection to interaction（科研費「形式的方法による複雑系数理の基礎研究」研究集会）
23.	2000	subrecursions and categories（短期共同研究「圏論と証明論の新しい融合を目指して」）
24.	2000	オープンシステムにおけるインタラクションと論理（Workshop on Formal Approach to Software Science）
25.	1999	ω-categories as ω-hypergraphs（International Category Theory Meeting (CT99)）
26.	1999	ω-hypergraphs（The 16th Workshop on Symbolic Logic And Computer Science (SLACS)）
27.	1999	弱高次元圏論とその意義（科研費「形式的方法による複雑系数理の基礎研究」研究集会）
28.	1998	Higher dimensional categories and structural foundations of mathematics（科研費「形式的方法による複雑系数理の基礎研究」研究集会）
29.	1998	Rewriting Logic for Cyclic Structures（The Third Fuji International Symposium on Functional and Logic Programming (FLOPS'98)）
30.	1998	弱高次元圏入門（ALGI圏論サマースクール）
31.	1997	A Combinatrial Definition of Baez-Dolan ω-Category（4th Workshop on Algebra, Logic, Geometry and Informatics (ALGI)）
32.	1997	A Combinatrial Structure for Higher-Dimensional Categories（International Category Theory Meeting (CT97)）
33.	1997	Baez-Dolan ω-圏の定義について（研究集会「モノイダルカテゴリーとマッキー関手」）
34.	1997	Technical tips on the definition of Baez-Dolan weak ω-categories（研究集会「カテゴリー理論とその周辺」）
35.	1996	Modelling Conditional Rewriting Logic in Structured Categories（First International Workshop on Rewriting Logic and its Applications）
36.	1995	一般化されたスケッチによる構造を持つ圏の記述（日本ソフトウェア科学会第12回大会）
37.	1994	条件付き書き換え論理の2-圏モデル（第11回「記号論理学と情報科学」研究集会（SLACS））
38.	1990	高階の強く型付けられた言語におけるEvaluationの対称性について（情報処理学会ソフトウェア基礎論研究会）
39.	1988	超並列計算機Pマシンの試作（電子情報通信学会コンピュータシステム研究会――並列処理に関する「火の国」ミニシンポジウム）
5件表示
全件表示(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頁
6.	2004	その他	From Reflection to Interaction: An Indirect Approach to the Philosophy of Computation Conferences in Research and Practice in Information Technology Vol.37,33-38頁
7.	2003/05	その他	メレオトポロジ-と計算 (代数・論理・幾何と情報科学) 数理解析研究所講究録 1318(No.1318),21-29頁
8.	2003	その他	リフレクションと計算のメタフィジクス(II) Computer Today (2003年1月号),52-57頁
9.	2002	その他	Strict n-Hypercategories Hokkaido Mathematical Journal 31(3),pp.469-511
10.	2002	その他	リフレクションと計算のメタフィジクス Computer Today (2002年3月号),38-45頁
11.	1998	その他	Rewriting Logic for Cyclic Sharing Structures Third International Symposium on Functional and Logic Rrogramming, World Scientific /,167-186
12.	1998	その他	Rewriting Logic for Cyclic Sharing Structures
13.	1997	その他	2-Cafegorical model of Conditional Rewriting Logic Computer Software 14/1,15-23
14.	1997	その他	2-Cafegorical model of Conditional Rewriting Logic
15.	1997	その他	条件付き書き換え論理の2-圏モデルコンピュータソフトウェア,岩波書店 14(1),15-23頁
16.	1996	その他	Modelling Conditional Rewriting Logic in Structured Categories Electronic Notes in Theoretical Computer Science 4(C),pp.20-34
17.	1996	その他	Modelling Conditional Rewriting Logic in Structured Categories Electronic Notes in Theoretical Computer Science, North-Holland /4,
18.	1996	その他	Modelling Conditional Rewriting Logic in Structured Categories
19.	1993/09	その他	プログラミング言語C++ (アジソンウェスレイ・トッパン情報科学シリーズ)
20.	1990/08	その他	プログラミング言語Turing―言語仕様の基礎理論と設計技法
5件表示
全件表示(20件)

経歴

■ 学歴

1.	(学位取得)	博士（理学）
2.	(学位取得)	博士（理学）
3.	～1994	慶應義塾大学理工学研究科数理科学専攻
4.	～1988	京都大学理学部

■ 職歴

1.		京都産業大学理学部数理科学科
2.		京都産業大学理学部数理科学科
3.	2004/04～	京都産業大学理学部
4.	2004/04～	京都産業大学理学部
5.	1998/04～2004/03	京都産業大学理学部
6.	1996/04～1998/03	淑徳大学国際コミュニケーション学部
5件表示
全件表示(6件)

■ 所属学会

1.		Japan Society for Software Science and Technology
2.		Mathematical Society of Japan
3.		the Association for Computing Machinery
4.		日本ソフトウェア科学会
5.		日本数学会
6.		日本科学哲学会
7.		科学基礎論学会
5件表示
全件表示(7件)

その他

■ 研究課題・受託研究・科研費

1.		Category Theory and its applications to Computer Science
2.		圏論とその計算機科学への応用
3.	2005～2008	計算の哲学--その展開と深化基盤研究(B)
4.	2003～2004	計算の哲学-計算概念の原理的再構築基盤研究(B)
5.	2002～2002	リフレクションのカテゴリー理論による研究萌芽研究
6.	2001～2003	マーケット・マイクロストラクチャー理論に基づくリサイクル市場への戦略設計基盤研究(B)
5件表示
全件表示(6件)

■ ホームページ

http://kaken.nii.ac.jp/ja/r/60286135

■ 現在の専門分野

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