研究者
J-GLOBAL ID：200901048248878127   更新日: 2024年02月01日

三好 博之

Miyoshi Hiroyuki
所属機関・部署：
京都産業大学 理学部 数理科学科

京都産業大学 理学部 数理科学科 について


職名： 教授
ホームページURL (1件)： http://kaken.nii.ac.jp/ja/r/60286135
研究分野 (4件)： 情報学基礎論 ,  応用数学、統計数学 ,  数学基礎 ,  哲学、倫理学
研究キーワード (30件)： 線型論理 ,  粘菌 ,  精神病理学 ,  文脈原理 ,  メレオロジー ,  ブラウワー ,  ウィトゲンシュタイン ,  時間 ,  デジャヴュ ,  計算 ,  プロセス ,  カテゴリー理論 ,  プラトニズム ,  意義 ,  Hume-Bergson形式 ,  フレーゲ ,  スコット領域 ,  時間論 ,  精神医学 ,  数学の哲学 ,  治療的理解 ,  論理と計算 ,  プログラムの意味論 ,  シーケント計算 ,  メレオトポロジー ,  ラッセル ,  西田幾多郎 ,  反実在論 ,  リフレクション ,  計算の哲学
競争的資金等の研究課題 (8件)：
  • 2017 - 2022 数学の哲学の新たな展開
  • 2012 - 2016 計算の哲学-様々な展開に向けて-
  • 2005 - 2008 計算の哲学--その展開と深化
  • 2003 - 2004 計算の哲学-計算概念の原理的再構築
  • 2001 - 2003 マーケット・マイクロストラクチャー理論に基づくリサイクル市場への戦略設計
全件表示
論文 (9件)：
もっと見る
MISC (4件)：
書籍 (3件)：
  • 圏論の基礎
    シュプリンガー・フェアラーク東京 2005 ISBN:4431708723
  • プログラミング言語C++ (アジソン ウェスレイ・トッパン情報科学シリーズ)
    トッパン 1993 ISBN:4810180476
  • プログラミング言語Turing-言語仕様の基礎理論と設計技法
    啓学出版 1990 ISBN:4766510755
講演・口頭発表等 (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)
もっと見る
学歴 (3件)：
  • - 1998 東京大学 大学院 理学系研究科
  • - 1994 慶應義塾大学 理工学研究科 数理科学専攻
  • - 1988 京都大学 理学部
学位 (1件)：
  • 博士(理学)
経歴 (3件)：
  • 2004/04 - 現在 京都産業大学 理学部 教授
  • 1998/04 - 2004/03 京都産業大学 理学部 助教授
  • 1996/04 - 1998/03 淑徳大学 国際コミュニケーション学部 常勤講師
所属学会 (7件)：
Mathematical Society of Japan ,  the Association for Computing Machinery ,  Japan Society for Software Science and Technology ,  科学基礎論学会 ,  日本ソフトウェア科学会 ,  日本数学会 ,  日本科学哲学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM