研究者データベースシステム
( お問い合わせは,研究機構まで )
ミヨシ ヒロユキ
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―言語仕様の基礎理論と設計技法
閉じる