Rchr
J-GLOBAL ID：200901048248878127   Update date: Feb. 01, 2024

Miyoshi Hiroyuki

Miyoshi Hiroyuki
Affiliation and department：
Kyoto Sangyo University Faculty of Science, Department of Mathematics

About Kyoto Sangyo University Faculty of Science, Department of Mathematics


Homepage URL  (1)： http://kaken.nii.ac.jp/ja/r/60286135
Research field  (4)： Information theory ,  Applied mathematics and statistics ,  Basic mathematics ,  Philosophy and ethics
Research keywords  (30)： 線型論理 ,  粘菌 ,  精神病理学 ,  文脈原理 ,  メレオロジー ,  ブラウワー ,  ウィトゲンシュタイン ,  時間 ,  デジャヴュ ,  計算 ,  プロセス ,  カテゴリー理論 ,  プラトニズム ,  意義 ,  Hume-Bergson形式 ,  フレーゲ ,  スコット領域 ,  時間論 ,  精神医学 ,  数学の哲学 ,  治療的理解 ,  論理と計算 ,  プログラムの意味論 ,  シーケント計算 ,  メレオトポロジー ,  ラッセル ,  西田幾多郎 ,  反実在論 ,  リフレクション ,  計算の哲学
Research theme for competitive and other funds  (8)：
  • 2017 - 2022 New developments of the philosophy of mathematics
  • 2012 - 2016 Philosophy of Computation: Towards Various Developements
  • 2005 - 2008 Philosophy of Computation-developments and explorations
  • 2003 - 2004 Philosophy of Computation: radical reconstruction of the notion of computation
  • 2001 - 2003 The strategy design to the recycling market based on the market microstructure theory
Show all
Papers (9)：
ｍore...
MISC (4)：
Books (3)：
  • 圏論の基礎
    シュプリンガー・フェアラーク東京 2005 ISBN:4431708723
  • プログラミング言語C++ (アジソン ウェスレイ・トッパン情報科学シリーズ)
    トッパン 1993 ISBN:4810180476
  • プログラミング言語Turing-言語仕様の基礎理論と設計技法
    啓学出版 1990 ISBN:4766510755
Lectures and oral presentations  (39)：
  • ディレクトリ構造を扱うパッチ理論の圏論的モデル
    (Workshop on Computer Science and Category Theory (CSCAT) 2015 2015)
  • Homotopy Type Theoryによるパッチ理論の拡張
    (日本ソフトウェア科学会2015年度大会 2015)
  • 数学のユニヴァレントな基礎付けについて-数学と計算の視点から-
    (Workshop on Computer Science and Category Theory (CSCAT) 2014 2014)
  • 数学のユニヴァレントな基礎付けについて-哲学の視点から-
    (日本科学哲学会2013年度年会 2013)
  • Weak values as contextual values, categorically
    (International Category Theory Meeting 2013 (CT2013) 2013)
ｍore...
Education (3)：
  • - 1998 The University of Tokyo Graduate School of Science
  • - 1994 Keio University Graduate School of Science and Technology Department of Mathematics
  • - 1988 Kyoto University Faculty of Science
Professional career (1)：
  • 博士(理学)
Work history (3)：
  • 2004/04 - 現在 Kyoto Sangyo University Faculty of Science Professor
  • 1998/04 - 2004/03 Kyoto Sangyo University Faculty of Science Associate Professor
  • 1996/04 - 1998/03 Shukutoku University College of Cross-Cultural Communication and Business Lecturer
Association Membership(s) (7)：
Mathematical Society of Japan ,  the Association for Computing Machinery ,  Japan Society for Software Science and Technology ,  科学基礎論学会 ,  日本ソフトウェア科学会 ,  日本数学会 ,  日本科学哲学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM