HAMANO Masahiro 浜野正浩

… Alternative Names

Hamano Masahiro 浜野正浩

Less

Researcher Number	50313705
Affiliation (Current)	2022: 東京大学, 大学院情報理工学系研究科, 研究員
Affiliation (based on the past Project Information) *help	2013 – 2015: 東京大学, 情報理工学(系)研究科, 研究員 2009: Okinawa Institute of Science and Technology, 大学院・情報理工学系研究科, 客員研究員 2009: The University of Tokyo, 情報理工学系研究科, 客員研究員 2008: Okinawa Institute of Science and Technology, 数理生物学ユニット, 研究員 2007: Keio University, 文学部, 准教授 2000 – 2003: 北陸先端科学技術大学院大学, 情報科学研究科, 助手
Review Section/Research Field	Principal Investigator General mathematics (including Probability theory/Statistical mathematics) / General mathematics (including Probability theory/Statistical mathematics) / Foundations of mathematics/Applied mathematics Except Principal Investigator General mathematics (including Probability theory/Statistical mathematics)
Keywords	Principal Investigator full completeness / linear logic / MALL / softness / double gluing / denotational semantics / hypercoherence / ^-autonomous with products / proof-net / categorical semantics … More / dinatural transformation / Mix / -autonomous category / Pontrjagin duality / hypercoherences / proof nets / MALL+Mix / MALL proof structure / sequentialization theorem / Joyal's softness / proof net / polarized category / relational category / indexed linear logic / polarity / topological semantics / second order linear logic / polarized linear logic / focalization / topological phase space / enriched phase space / interior / closure operators / Indexed linear logic / Relational semantics / Pointed relation / Polarized linear logic / Denotational completeness / Phase semantics / Topological semantics / Second order linear logic / pre*-autonomous category / bimodule / Chu space / 確率プロセス計算 / rule based modelling / chemical master equation / stochastic modelling / steady state dynamics / Brownian ratchet / Michaelis-Menten / Boltzmann distribution / RNA polymerase / master equation / equilibrium kinetics / free energy / kappa 計算 / 化学マスター方程式 / 定常状態 / stochastic petri net / 化学反応ネットワーク … More Except Principal Investigator 部分構造論理 / 普遍代数 / 剰余束 / 多値論理 / ファジー論理 / 有限モデル性 / クリプキ意味論 / 剰余構造 / substructural logics / universal algebra / residuated lattices / many-valued logics / fuzzy logic Less

"Semantics of Computational Languages for Biochemical Networks -Elucidating Local- ity and Causality-"Principal Investigator
- Principal Investigator
  
  Hamano Masahiro
- Project Period (FY)
  2013 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  The University of Tokyo
Semantics for Computational Structures -From Viewpoint of Duality and Noncommutativity-Principal Investigator
- Principal Investigator
  
  HAMANO Masahiro
- Project Period (FY)
  2007 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Okinawa Institute of Science and Technology
  Keio University
圏論とグラフ論の融合を用いた高階加法体系を含む線形論理学の新しい統語論と意味論Principal Investigator
- Principal Investigator
  
  浜野正浩
- Project Period (FY)
  2002 – 2003
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Japan Advanced Institute of Science and Technology
Substructural Logics and their Algebraic Structures
- Principal Investigator
  
  ONO Hiroakira
- Project Period (FY)
  2001 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Japan Advanced Institute of Science and Technology
線形論理学における充満完全性定理の数学的展開Principal Investigator
- Principal Investigator
  
  浜野正浩
- Project Period (FY)
  2000 – 2001
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Japan Advanced Institute of Science and Technology

All 2016 2015 2010 2008 2007 Other

All Journal Article Presentation

[Journal Article] Stochastic Transcription Elongation via Rule Based Modelling2016
- Author(s)
  Masahiro Hamano
- Journal Title
  
  Electronic Notes in Theoretical Computer Science, Elsevier.
  
  Volume: To appear
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-25400195
[Journal Article] A phase semantics for polarized linear logic and second order conservativity2010
- Author(s)
  Masahiro Hamano
- Journal Title
  
  The Journal of Symbolic Logic 75(1)
  
  Pages: 77-102
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19540145
[Journal Article] A Phase Semantics for Polarized Linear Logic and Second Order Conservativity2010
- Author(s)
  Masahiro Hamano, Ryo Takemura
- Journal Title
  
  Journal of Symbolic Logic 75(1)
  
  Pages: 77-102
- Data Source
  KAKENHI-PROJECT-19540145
[Journal Article] An Indexed System for Multiplicative Additive Polarized Lineaa Logic2008
- Author(s)
  Masahiro Hamano, Ryo Takemura
- Journal Title
  
  Proc. of 17th EACSL AnnualConference on Computer Science Logic, Lecture Notes in Computer Science(Springer Verlag) 5213
  
  Pages: 262-277
- Data Source
  KAKENHI-PROJECT-19540145
[Journal Article] An Indexed System for Multiplicative Additive Polarized Linear Logic2008
- Author(s)
  Masahiro Hamano
- Journal Title
  
  Proceedings of 17th EACSL Annual Conference on Computer Science Logic, Lecture Notes in Computer Science 5213
  
  Pages: 262-277
- Data Source
  KAKENHI-PROJECT-19540145
[Journal Article] A Categorical Semantics for Polarized MALL2007
- Author(s)
  Masahiro Hamano, Phil Scott
- Journal Title
  
  Annals of Pure and Applied Logic(Elsevier) 145
  
  Pages: 276-313
- Data Source
  KAKENHI-PROJECT-19540145
[Journal Article] A Categorical Semantics for Polarized MALL2007
- Author(s)
  Masahiro Hamano
- Journal Title
  
  Annals of Pure and Applied Logic, Elsevier 145(3)
  
  Pages: 276-313
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19540145
[Journal Article] A Phase Semantics for Polarized Linear Logic and Second order Conservativity
- Author(s)
  Masahiro Hamano
- Journal Title
  
  Journal of Symbolic Logic (印刷中)
  
  Pages: 33-33
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19540145
[Presentation] Stochastic Transcription Elongation via Rule Based Modelling2015
- Author(s)
  Masahiro Hamano
- Organizer
  The Sixth International Workshop on Static Analysis and Systems Biology (SASB 2015)
- Place of Presentation
  Saint-Malo, FRANCE
- Year and Date
  2015-09-08
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25400195
[Presentation] An Indexed System for Characters of Group Representations2008
- Author(s)
  Masahiro Hamano
- Organizer
  24th annual conference on Mathematical Foundations of Programming Semantics
- Place of Presentation
  合衆国, ペンシルべニア大学
- Year and Date
  2008-05-22
- Data Source
  KAKENHI-PROJECT-19540145
[Presentation] An Indexed System for Characters of Group Representations2008
- Author(s)
  Masahiro Hamano
- Organizer
  24th Annual Conference on Mathematical Foundations of Programming Semantics
- Place of Presentation
  アメリカ合衆国ペンシルベニア大学
- Year and Date
  2008-05-22
- Data Source
  KAKENHI-PROJECT-19540145
[Presentation] An Indexed System for Multiplicative Additive Polarized Linear Logic2008
- Author(s)
  Masahiro Hamano
- Organizer
  17th EACSL Annual Conference on Computer Science Logic
- Place of Presentation
  イタリアボローニャ大学
- Year and Date
  2008-09-17
- Data Source
  KAKENHI-PROJECT-19540145
[Presentation] An Indexed System for Multiplicative Additive Polarized Linear Logic2008
- Author(s)
  Masahiro Hamano
- Organizer
  17th EACSL Annual Conference on Computer Science Logic, Centro Residenziale Universitario di Bertinoro
- Place of Presentation
  ボローニャ大学, イタリア
- Year and Date
  2008-09-17
- Data Source
  KAKENHI-PROJECT-19540145

1. ONO Hiroakira (90055319)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
2. TANAKA Yoshihito (70320132)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. SHIMURA Tatsuya (90246835)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. KOMORI Yuichi (10022302)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. TOJO Satoshi (90272989)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. コワルスキトマシュ (70303336)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

HAMANO Masahiro 浜野 正浩

Hamano Masahiro 浜野 正浩

Research Projects

Research Products

Co-Researchers

"Semantics of Computational Languages for Biochemical Networks -Elucidating Local- ity and Causality-"Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Semantics for Computational Structures -From Viewpoint of Duality and Noncommutativity-Principal 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

Substructural Logics and their Algebraic Structures

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

線形論理学における充満完全性定理の数学的展開Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Stochastic Transcription Elongation via Rule Based Modelling2016

Author(s)

Journal Title

Data Source

[Journal Article] A phase semantics for polarized linear logic and second order conservativity2010

Author(s)

Journal Title

Data Source

[Journal Article] A Phase Semantics for Polarized Linear Logic and Second Order Conservativity2010

Author(s)

Journal Title

Data Source

[Journal Article] An Indexed System for Multiplicative Additive Polarized Lineaa Logic2008

Author(s)

Journal Title

Data Source

[Journal Article] An Indexed System for Multiplicative Additive Polarized Linear Logic2008

Author(s)

Journal Title

Data Source

[Journal Article] A Categorical Semantics for Polarized MALL2007

Author(s)

Journal Title

Data Source

[Journal Article] A Categorical Semantics for Polarized MALL2007

Author(s)

Journal Title

Data Source

[Journal Article] A Phase Semantics for Polarized Linear Logic and Second order Conservativity

Author(s)

Journal Title

Data Source

[Presentation] Stochastic Transcription Elongation via Rule Based Modelling2015

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] An Indexed System for Characters of Group Representations2008

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] An Indexed System for Characters of Group Representations2008

HAMANO Masahiro 浜野正浩

Hamano Masahiro 浜野正浩