研究キーワード	research interests	圏論、数理論理学、線形論理、生物と計算、離散確率モデル	Linear Logic, Category Theory, Stochastic Interaction in Biology, Stochastic Semantics

研究分野	research research_areas	数学基礎,応用数学、統計数学,情報学基礎論,代数学	Basic mathematics,Applied mathematics and statistics,Information theory,Algebra

学歴	education

経歴	experience	2024年09月 － 2026年03月 東京大学 教養学部, (PEAK) 国際環境学コース 非常勤講師 2021年02月 － 2024年07月 國立成功大學 智慧運算學院 約聘教授 2016年04月 － 2018年07月 台湾, 中央研究院 資訊科學研究所 客座教授 2014年06月 － 2014年07月 神戸大学 大学院理学研究科 惑星学専攻 非常勤講師 2013年09月 － 2013年09月 静岡大学 理学部数学科 非常勤講師 2010年01月 － 2013年03月 独立行政法人 科学技術振興機構 さきがけ 専任研究者 2008年10月 － 2009年12月 沖縄科学技術研究基盤整備機構 (OIST) 大学院大学先行研究プロジェクト・ 数理生物学ユニット 研究員 2006年01月 － 2008年03月 慶應義塾大学大学院 文学研究科 特別研究助教授(2007.4∼ 特別研究准教授に改称) 1999年04月 － 2005年12月 北陸先端科学技術大学院大学 情報科学系 助手 2005年05月 － 2005年06月 エクス・マルセイユ II 大学 招聘准教授 2024/09 － 2026/03 The University of Tokyo 教養学部, (PEAK) 国際環境学コース Part-Time Lecturer 2021/02 － 2024/07 National Cheng Kung University Miin Wu School of Computing Contract Professor (full-time) 2016/04 － 2018/07 Academia Sinica Institute of Information Science Visiting Professor 2014/06 － 2014/07 神戸大学 大学院理学研究科 惑星学専攻 非常勤講師 2013/09 － 2013/09 Shizuoka University 理学部数学科 Part-Time Lecturer 2010/01 － 2013/03 独立行政法人 科学技術振興機構 さきがけ 専任研究者 2008/10 － 2009/12 沖縄科学技術研究基盤整 備機構 (OIST) Mathematical Biology Unit Researcher 2006/01 － 2008/03 慶應義塾大学大学院 文学研究科 特別研究助教授(2007.4∼ 特別研究准教授に改称) 1999/04 － 2005/12 Japan Advanced Institute of Science and Technology School of Information Science Assistant Professor 2005/05 － 2005/06 Université d'Aix-Marseille II Maître de Conferences Invité さらに表示する more

委員歴	committee memberships

所属学協会	association memberships

受賞	awards

論文	papers	A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces Masahiro Hamano Information and Computation 295巻PartB号105109頁- 2023年 Double Glueing over Free Exponential: with Measure Theoretic Applications Masahiro HAMANO 2021年07月16日 A MALL geometry of interaction based on indexed linear logic Masahiro Hamano Mathematical Structures in Computer Science 30巻10号1025頁-1053頁 2020年 A Linear Exponential Comonad in s-finite Transition Kernels and Probabilistic Coherent Spaces Masahiro HAMANO 2019年09月17日 On geometry of interaction for polarized linear logic MASAHIRO HAMANO,PHILIP SCOTT Mathematical Structures in Computer Science 28巻10号1639頁-1694頁 2018年 Geometry of Interaction for MALL via Hughes--Van Glabbeek Proof-Nets Masahiro Hamano ACM Transactions on Computational Logic 19巻4号1頁-38頁 2018年 Stochastic Transcription Elongation via Rule Based Modelling Masahiro Hamano Electronic Notes in Theoretical Computer Science 326巻73頁-88頁 2016年 Sustainability of RNA-interference in Rule Based Modelling Hamano, M. Electronic Notes in Theoretical Computer Science 313巻 2015年 Abstraction of graph-based models of bio-molecular reaction systems for efficient simulation Kawamata, I.,Aubert, N.,Hamano, M.,Hagiya, M. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7605 LNBI巻 2012年 A phase semantics for polarized linear logic and second order conservativity Hamano, M.,Takemura, R. Journal of Symbolic Logic 75巻1号77頁-102頁 2010年 A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces Masahiro Hamano Information and Computation 295.PartB.105109- 2023 Double Glueing over Free Exponential: with Measure Theoretic Applications Masahiro HAMANO 2021/07/16 A MALL geometry of interaction based on indexed linear logic Masahiro Hamano Mathematical Structures in Computer Science 30.10.1025-1053 2020 A Linear Exponential Comonad in s-finite Transition Kernels and Probabilistic Coherent Spaces Masahiro HAMANO 2019/09/17 On geometry of interaction for polarized linear logic MASAHIRO HAMANO,PHILIP SCOTT Mathematical Structures in Computer Science 28.10.1639-1694 2018 Geometry of Interaction for MALL via Hughes--Van Glabbeek Proof-Nets Masahiro Hamano ACM Transactions on Computational Logic 19.4.1-38 2018 Stochastic Transcription Elongation via Rule Based Modelling Masahiro Hamano Electronic Notes in Theoretical Computer Science 326.73-88 2016 Sustainability of RNA-interference in Rule Based Modelling Hamano, M. Electronic Notes in Theoretical Computer Science 313. 2015 Abstraction of graph-based models of bio-molecular reaction systems for efficient simulation Kawamata, I.,Aubert, N.,Hamano, M.,Hagiya, M. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7605 LNBI. 2012 A phase semantics for polarized linear logic and second order conservativity Hamano, M.,Takemura, R. Journal of Symbolic Logic 75.1.77-102 2010 さらに表示する more

MISC

書籍等出版物	books

講演・口頭発表等	conference

担当経験のある項目	teaching experience	Natural Science Seminar (Applications of Mathematics in Sciences),Statistics with R (Linear Regression/Generalised Linear Models),MATHEMATICAL REASONING AND ALGORITHMS,INTRODUCTION TO THEORY OF COMPUTATION,STOCHASTIC PROCESSES	Natural Science Seminar (Applications of Mathematics in Sciences),Statistics with R (Linear Regression/Generalised Linear Models),MATHEMATICAL REASONING AND ALGORITHMS,INTRODUCTION TO THEORY OF COMPUTATION,STOCHASTIC PROCESSES

Works

競争的資金等の研究課題	research grants	Stochastic Semantics for Logic and Computation –Continuous Exponential Comonad and Feedback– 臺灣科学技術部 (Ministry of Science and Technology) 科技部專題研究計畫 (個別型) 110-2222-E-006-013-MY2 2021年09月 - 2023年08月 研究代表者 生化学ネットワーク記述計算言語の意味論-局所性と因果律の解明- 日本学術振興会 科学研究費助成事業 2013年04月01日 - 2016年03月31日 情報論理学の新パラダイムがもたらす生物現象の計算構造の解明 科学技術振興機構 戦略的な研究開発の推進 戦略的創造研究推進事業 さきがけ 2009年 - 2012年 研究代表者 計算構造の意味論-双対性と非可換性の観点から- 日本学術振興会 科学研究費助成事業 2007年 - 2009年 圏論とグラフ論の融合を用いた高階加法体系を含む線形論理学の新しい統語論と意味論 日本学術振興会 科学研究費助成事業 2002年 - 2003年 部分構造論理と代数構造 日本学術振興会 科学研究費助成事業 2001年 - 2003年 線形論理学における充満完全性定理の数学的展開 日本学術振興会 科学研究費助成事業 2000年 - 2001年 高階線形論理における統語論と意味論の統一的分析 日本学術振興会 科学研究費助成事業 1998年 - 1998年 Stochastic Semantics for Logic and Computation –Continuous Exponential Comonad and Feedback– 臺灣科学技術部 (Ministry of Science and Technology) 科技部專題研究計畫 (個別型) 110-2222-E-006-013-MY2 2021/09 - 2023/08 principal_investigator "Semantics of Computational Languages for Biochemical Networks -Elucidating Local- ity and Causality-" Japan Society for the Promotion of Science Grants-in-Aid for Scientific Research 2013/04/01 - 2016/03/31 情報論理学の新パラダイムがもたらす生物現象の計算構造の解明 科学技術振興機構 戦略的な研究開発の推進 戦略的創造研究推進事業 さきがけ 2009 - 2012 principal_investigator Semantics for Computational Structures -From Viewpoint of Duality and Noncommutativity- Japan Society for the Promotion of Science Grants-in-Aid for Scientific Research 2007 - 2009 圏論とグラフ論の融合を用いた高階加法体系を含む線形論理学の新しい統語論と意味論 日本学術振興会 科学研究費助成事業 2002 - 2003 Substructural Logics and their Algebraic Structures Japan Society for the Promotion of Science Grants-in-Aid for Scientific Research 2001 - 2003 線形論理学における充満完全性定理の数学的展開 日本学術振興会 科学研究費助成事業 2000 - 2001 高階線形論理における統語論と意味論の統一的分析 日本学術振興会 科学研究費助成事業 1998 - 1998

特許	patents

社会貢献活動	social contribution

メディア報道	media_coverage

学術貢献活動	academic_contribution

その他	etc