Miyoshi Hiroyuki 三好博之

… Alternative Names

三好博之ミヨシヒロユキ

MIYOSHI Hiroyuki 三好博之

Less

Researcher Number	60286135
Other IDs
External Links
Affiliation (Current)	2025: 京都産業大学, 理学部, 教授
Affiliation (based on the past Project Information) *help	2017 – 2022: 京都産業大学, 理学部, 教授 2012 – 2015: 京都産業大学, 理学部, 教授 2004 – 2008: Kyoto Sangyo University, Faculty of Science, Professor, 理学部, 教授 2001 – 2003: 京都産業大学, 理学部, 助教授
Review Section/Research Field	Principal Investigator Philosophy/Ethics / 計算機科学 Except Principal Investigator Philosophy/Ethics / 社会システム工学
Keywords	Principal Investigator 計算の哲学 / 圏論 / リフレクション / Kitaro Nishida / philosophy of time / naturalization of enistemology / philosophy of science / computations as phenomena / philosophy of computation / ヘテラルキー … More / 治療的理解 / Hume-Bergson形式 / 西田幾多郎 / 時間の哲学 / 認識論の自然化 / 科学哲学 / 現象としての計算 / 力学的不変量 / 科学の科学 / 偶然性 / ミクロ-マクロ双対性 / 不確定性原理 / 量子論の基礎 / 音楽の哲学 / 論理学 / 量子論 / デジャヴュ / 時間論 / 生の哲学 / semantic conception of the theories / 線型論理 / 粘菌 / 精神病理学 / 時間 / 数学の哲学 / 意義 / 意味 / 文脈原理 / スコット領域 / プロセス / 反実在論 / ブラウワー / プラトニズム / ラッセル / ゲーデル / 精神医学 / シーケント計算 / ウィトゲンシュタイン / ダメット / 計算 / てんかん / スコーレム / カント / フレーゲ / 形而上学 / 生命 / 論理と計算 / ドメイン理論 / メレオトポロジー / メレオロジー / プログラムの意味論 / カテゴリー理論 … More Except Principal Investigator 哲学 / 数理論理学 / 集合論 / 証明論 / 数学基礎論 / 計算の哲学 / 論理学の哲学 / 数学の哲学 / Manufacturing Systems / The Law for Recycling / Life-Cycle Management / Recycling / Social Engineering / Computational Economics / Experimental Economics / The market Microstructure Theory / 家電リサイクル法 / シュミレーション / マーケットマイクロストラクチャー / ライフ・サイクル・マネジメント / 生産システム / リサイクル法 / ライフサイクル・マネジメント / リサイクル / 社会工学 / 計算機経済学 / 実験経済学 / マーケット・マイクロストラクチャー理論 Less

New developments of the philosophy of mathematics
- Principal Investigator
  
  Kikuchi Makoto
- Project Period (FY)
  2017 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Philosophy/Ethics
- Research Institution
  Kobe University
Philosophy of Computation: Towards Various DevelopementsPrincipal Investigator
- Principal Investigator
  
  MIYOSHI Hiroyuki
- Project Period (FY)
  2012 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Philosophy/Ethics
- Research Institution
  Kyoto Sangyo University
Philosophy of Computation-developments and explorationsPrincipal Investigator
- Principal Investigator
  
  MIYOSHI Hiroyuki
- Project Period (FY)
  2005 – 2008
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Philosophy/Ethics
- Research Institution
  Kyoto Sangyo University
Philosophy of Computation: radical reconstruction of the notion of computationPrincipal Investigator
- Principal Investigator
  
  MIYOSHI Hiroyuki
- Project Period (FY)
  2003 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Philosophy/Ethics
- Research Institution
  Kyoto Sangyo University
リフレクションのカテゴリー理論による研究Principal Investigator
- Principal Investigator
  
  三好博之
- Project Period (FY)
  2002
- Research Category
  
  Grant-in-Aid for Exploratory Research
- Research Field
  
  計算機科学
- Research Institution
  Kyoto Sangyo University
The strategy design to the recycling market based on the market microstructure theory
- Principal Investigator
  
  ODA Hidenori
- Project Period (FY)
  2001 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  社会システム工学
- Research Institution
  Kyoto Sangyo University

All 2020 2018 2015 2014 2013 2009 2006 2004 2003 Other

All Journal Article Presentation

[Journal Article] 計算の哲学から見た時間2006
- Author(s)
  三好博之
- Journal Title
  
  京都産業大学論集人文科学系列第35号
  
  Pages: 55-70
- NAID
  110004595687
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17320009
[Journal Article] 計算の哲学から見た時間2006
- Author(s)
  三好博之
- Journal Title
  
  京都産業大学論集人文科学系列第35号
  
  Pages: 55-70
- NAID
  110004595687
- Data Source
  KAKENHI-PROJECT-17320009
[Journal Article] From Reflection to Interaction : An Indirect Approach to the Philosophy of Computation2004
- Author(s)
  H.Miyoshi
- Journal Title
  
  Conferences in Research and Practice in Information Technology Vol.37
  
  Pages: 33-38
- NAID
  110000955010
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15320007
[Journal Article] From Reflection to Interaction : An Indirect Approach to the Philosophy of Computation2004
- Author(s)
  H.Miyoshi
- Journal Title
  
  Acta humanistica et scientifica Universitatis Sangio Kyotiensis. Humanities series (in Japanese) Vol.32
  
  Pages: 72-85
- NAID
  110000955010
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15320007
[Journal Article] リフレクションからインタラクションへ -計算の哲学への間接的アプローチ-2004
- Author(s)
  三好博之
- Journal Title
  
  京都産業大学論集人文科学系列第32号
  
  Pages: 70-84
- NAID
  110000955010
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15320007
[Journal Article] From Reflection to Interaction : An Indirect Approach to the Philosophy of Computation2004
- Author(s)
  Hiroyuki Miyoshi
- Journal Title
  
  Conferences in Research and Practice in Information Technology Vol.37
  
  Pages: 33-38
- NAID
  110000955010
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15320007
[Journal Article] Mereotopology and computation2003
- Author(s)
  H.Miyoshi
- Journal Title
  
  RIMS Kokyuroku (in Japanese) vol.1318
  
  Pages: 21-29
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15320007
[Journal Article] メレオトポロジーと計算2003
- Author(s)
  三好博之
- Journal Title
  
  京都大学数理解析研究所講究録 1318
  
  Pages: 21-29
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15320007
[Presentation] On model structures of Maltsiniotis (∞,∞)-categories2020
- Author(s)
  Hiroyuki Miyoshi and Yuya Nishimura
- Organizer
  CSCAT2020
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H02263
[Presentation] On a definition of ω-equivalences in Leinster's weak ω-categories2018
- Author(s)
  三好博之，西村悠矢
- Organizer
  理論計算機科学と圏論ワークショップ
- Data Source
  KAKENHI-PROJECT-17H02263
[Presentation] Homotopy Type Theoryによるパッチ理論の拡張2015
- Author(s)
  佐藤善紀，三好博之
- Organizer
  日本ソフトウェア科学会2015年度大会
- Place of Presentation
  早稲田大学，西早稲田キャンパス（東京都・新宿区）
- Year and Date
  2015-09-08
- Data Source
  KAKENHI-PROJECT-24320008
[Presentation] 数学のユニヴァレントな基礎付けについて―数学と計算の視点から―2014
- Author(s)
  三好博之
- Organizer
  神奈川大学戸塚キャンパス
- Place of Presentation
  神奈川大学戸塚キャンパス
- Data Source
  KAKENHI-PROJECT-24320008
[Presentation] 数学のユニヴァレントな基礎付けについて―哲学の視点から―2013
- Author(s)
  三好博之
- Organizer
  日本科学哲学会2013年度年会
- Place of Presentation
  法政大学市ヶ谷キャンパス
- Data Source
  KAKENHI-PROJECT-24320008
[Presentation] Categorcal Aspects in Quantum Theory2013
- Author(s)
  Hiroyuki Miyoshi
- Organizer
  4th Nagoya Winter Workshop on Quantum Information, Measurement, and Quantum Foundations
- Place of Presentation
  名古屋大学(招待講演)
- Year and Date
  2013-02-20
- Data Source
  KAKENHI-PROJECT-24320008
[Presentation] Weak values as contextual values, categorically2013
- Author(s)
  Hiroyuki MIyoshi
- Organizer
  Category Theory 2013 (CT2013)
- Place of Presentation
  Macquarie University, Sydney, Australia
- Data Source
  KAKENHI-PROJECT-24320008
[Presentation] 計算のとらえどころのなさをどうとらえるか(2009年版)2009
- Author(s)
  三好博之
- Organizer
  平成20年度第3回内部観測研究会
- Place of Presentation
  沖縄県青年会館
- Year and Date
  2009-03-16
- Data Source
  KAKENHI-PROJECT-17320009
[Presentation] なぜ計算を考えるのに形而上学が必要なのか2009
- Author(s)
  三好博之
- Organizer
  本郷メタフィジクス研究会
- Place of Presentation
  東京大学本郷キャンパス
- Year and Date
  2009-03-31
- Data Source
  KAKENHI-PROJECT-17320009
[Presentation] ディレクトリ構造を扱うパッチ理論の圏論的モデル
- Author(s)
  三好博之
- Organizer
  CSCAT2015
- Place of Presentation
  鹿児島大学郡元キャンパス
- Year and Date
  2015-03-14 – 2015-03-15
- Data Source
  KAKENHI-PROJECT-24320008

1. GUNJI Gunji (40192570)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
2. TODAYAMA Kazuhisa (90217513)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
3. HIGAKI Tatsuya (70242071)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
4. OKAMOTO Kengo (00224072)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. 小嶋泉 (60150322)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. KANEKO Youji (60191988)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. SHIRAHATA Masaru (00286618)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. DEGUCHI Yasuo (20314073)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. FUKAO Kenjiro (60359817)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. OZAWA Masanao (40126313)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. NAKAHARA Mikio (90189019)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. YATABE Shunsuke (70379337)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. ODA Hidenori (40224240)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. IIDA Yoshio (50273727)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. UEDA Kanji (50031133)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. YASUGI Marika (90022277)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. AKIYAMA Eizo (40317300)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. Kikuchi Makoto (60273801)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. 西條辰義 (20205628)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. 岡田光弘 (30224025)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. HOSOYA Akio

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. MURAKAMI Yuko

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. NATSUDA Masakazu

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
24. SHIOTANI Ken

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
25. YIDUN Wan

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
26. 岩崎敦

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Miyoshi Hiroyuki 三好 博之

三好 博之 ミヨシ ヒロユキ

MIYOSHI Hiroyuki 三好 博之

Research Projects

Research Products

Co-Researchers

New developments of the philosophy of mathematics

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Philosophy of Computation: Towards Various DevelopementsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Philosophy of Computation-developments and explorationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Philosophy of Computation: radical reconstruction of the notion of computationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

リフレクションのカテゴリー理論による研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

The strategy design to the recycling market based on the market microstructure theory

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] 計算の哲学から見た時間2006

Author(s)

Journal Title

NAID

Data Source

[Journal Article] 計算の哲学から見た時間2006

Author(s)

Journal Title

NAID

Data Source

[Journal Article] From Reflection to Interaction : An Indirect Approach to the Philosophy of Computation2004

Author(s)

Journal Title

NAID

Description

Data Source

[Journal Article] From Reflection to Interaction : An Indirect Approach to the Philosophy of Computation2004

Author(s)

Journal Title

NAID

Description

Data Source

[Journal Article] リフレクションからインタラクションへ -計算の哲学への間接的アプローチ-2004

Author(s)

Journal Title

NAID

Description

Data Source

[Journal Article] From Reflection to Interaction : An Indirect Approach to the Philosophy of Computation2004

Author(s)

Journal Title

NAID

Description

Data Source

[Journal Article] Mereotopology and computation2003

Author(s)

Journal Title

Description

Miyoshi Hiroyuki 三好博之

三好博之ミヨシヒロユキ

MIYOSHI Hiroyuki 三好博之