Hamano Masahiro 浜野正浩

… Alternative Names

HAMANO Masahiro 浜野正浩

Less

Researcher Number	50313705
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) / Foundations of mathematics/Applied mathematics / General mathematics (including Probability theory/Statistical mathematics) Except Principal Investigator General mathematics (including Probability theory/Statistical mathematics)
Keywords	Principal Investigator linear logic / full completeness / denotational semantics / double gluing / softness / MALL / 化学反応ネットワーク / stochastic petri net / 定常状態 / 化学マスター方程式 … More / kappa 計算 / free energy / equilibrium kinetics / master equation / RNA polymerase / Boltzmann distribution / Michaelis-Menten / Brownian ratchet / steady state dynamics / stochastic modelling / chemical master equation / rule based modelling / 確率プロセス計算 / Chu space / bimodule / pre-autonomous category / Second order linear logic / Topological semantics / Phase semantics / Denotational completeness / Polarized linear logic / Pointed relation / Relational semantics / Indexed linear logic / closure operators / interior / enriched phase space / topological phase space / focalization / polarized linear logic / second order linear logic / topological semantics / polarity / indexed linear logic / relational category / polarized category / proof net / Joyal's softness / sequentialization theorem / MALL proof structure / MALL+Mix / proof nets / hypercoherences / Pontrjagin duality / -autonomous category / Mix / dinatural transformation / categorical semantics / proof-net / ^*-autonomous with products / hypercoherence … More Except Principal Investigator fuzzy logic / many-valued logics / residuated lattices / universal algebra / substructural logics / 剰余構造 / クリプキ意味論 / 有限モデル性 / ファジー論理 / 多値論理 / 剰余束 / 普遍代数 / 部分構造論理 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 浜野正浩