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

ミヨシ　ヒロユキ 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年度年会)
2009	なぜ計算を考えるのに形而上学が必要なのか (東京大学、本郷メタフィジクス研究会)
2009	計算のとらえどころのなさをどうとらえるか（2009年度版） (平成20年度第3回内部観測研究会)
2005	Computation and Time (The Second Asia-Pacific Computing and Philosophy Conference (AP-CAP 2005))
2005	計算の哲学とプラグマティズム (日本科学哲学会 2005年大会)
2004	計算のとらえどころのなさをどうとらえるか (日本科学哲学会，第37回大会)
2003	From Reflection to Interaction: An Indirect Aproach to the Philosophy of Computation (Computing and Philosophy (CAP) in Australia 2003 Conference)
2003	メレオトポロジーと計算 (「理論計算機科学と圏論」ワークショップ)
2003	持続・記述・時間 (日本科学哲学会 2003年大会)
2003	現象としての計算について (名古屋大学環境学研究科談話会)
2003	計算の哲学と精神医学 (「計算の哲学」研究会)
2003	計算・生命・時間 (ワークショップ「計算・生命・時間」)
2002	Mereotopology and Computation (13th ALGI (Algebra, Logic, Geometry and Informatics))
2002	メレオトポロジーと幾何学的計算 (日本科学哲学会 2002年大会)
2002	リフレクションからインタラクションへ (科学基礎論学会 2002年度講演会)
2002	リフレクションと計算のメタフィジクス (ワークショップ「実験経済学と知識の構造」)
2002	リフレクションと計算のメタフィジクス（招待講演） (第８回複雑系札幌シンポジウム)
2000	From reflection to interaction (科研費「形式的方法による複雑系数理の基礎研究」研究集会)
2000	subrecursions and categories (短期共同研究「圏論と証明論の新しい融合を目指して」)
2000	オープンシステムにおけるインタラクションと論理 (Workshop on Formal Approach to Software Science)
1999	ω-categories as ω-hypergraphs (International Category Theory Meeting (CT99))
1999	ω-hypergraphs (The 16th Workshop on Symbolic Logic And Computer Science (SLACS))
1999	弱高次元圏論とその意義 (科研費「形式的方法による複雑系数理の基礎研究」研究集会)
1998	Higher dimensional categories and structural foundations of mathematics (科研費「形式的方法による複雑系数理の基礎研究」研究集会)
1998	Rewriting Logic for Cyclic Structures (The Third Fuji International Symposium on Functional and Logic Programming (FLOPS'98))
1998	弱高次元圏入門 (ALGI圏論サマースクール)
1997	A Combinatrial Definition of Baez-Dolan ω-Category (4th Workshop on Algebra, Logic, Geometry and Informatics (ALGI))
1997	A Combinatrial Structure for Higher-Dimensional Categories (International Category Theory Meeting (CT97))
1997	Baez-Dolan ω-圏の定義について (研究集会「モノイダルカテゴリーとマッキー関手」)
1997	Technical tips on the definition of Baez-Dolan weak ω-categories (研究集会「カテゴリー理論とその周辺」)
1996	Modelling Conditional Rewriting Logic in Structured Categories (First International Workshop on Rewriting Logic and its Applications)
1995	一般化されたスケッチによる構造を持つ圏の記述 (日本ソフトウェア科学会第12回大会)
1994	条件付き書き換え論理の2-圏モデル (第11回「記号論理学と情報科学」研究集会（SLACS）)
1990	高階の強く型付けられた言語におけるEvaluationの対称性について (情報処理学会ソフトウェア基礎論研究会)
1988	超並列計算機Pマシンの試作 (電子情報通信学会コンピュータシステム研究会――並列処理に関する「火の国」ミニシンポジウム)