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

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

所属

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

職種教授

著書・論文歴
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頁
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頁
2003/05	その他	メレオトポロジ-と計算 (代数・論理・幾何と情報科学) 数理解析研究所講究録 1318 (No.1318),21-29頁
2003	その他	リフレクションと計算のメタフィジクス(II) Computer Today (2003年1月号),52-57頁
2002	その他	Strict n-Hypercategories Hokkaido Mathematical Journal 31 (3),469-511頁
2002	その他	リフレクションと計算のメタフィジクス Computer Today (2002年3月号),38-45頁
1998	その他	Rewriting Logic for Cyclic Sharing Structures Third International Symposium on Functional and Logic Rrogramming, World Scientific /,167-186
1998	その他	Rewriting Logic for Cyclic Sharing Structures
1997	その他	2-Cafegorical model of Conditional Rewriting Logic Computer Software 14/1,15-23
1997	その他	2-Cafegorical model of Conditional Rewriting Logic
1997	その他	条件付き書き換え論理の2-圏モデルコンピュータソフトウェア,岩波書店 14 (1),15-23頁
1996	その他	Modelling Conditional Rewriting Logic in Structured Categories Electronic Notes in Theoretical Computer Science 4 (C),20-34頁
1996	その他	Modelling Conditional Rewriting Logic in Structured Categories Electronic Notes in Theoretical Computer Science, North-Holland /4,
1996	その他	Modelling Conditional Rewriting Logic in Structured Categories
1993/09	その他	プログラミング言語C++ (アジソンウェスレイ・トッパン情報科学シリーズ)
1990/08	その他	プログラミング言語Turing―言語仕様の基礎理論と設計技法