HAMANO Masahiro 浜野正浩

Researcher Number	50313705
Affiliation *help	2016 – 2018 : 東京大学, 大学院情報理工学系研究科, 研究員 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 linear logic / full completeness / denotational semantics / MALL / double gluing / softness / steady state dynamics / topological phase space / proof net / Polarized linear logic … More Except Principal Investigator 有限モデル性 / universal algebra / 剰余束 / ファジー論理 / 部分構造論理 / fuzzy logic / substructural logics / 剰余構造 / 普遍代数 / 多値論理 / residuated lattices / クリプキ意味論 / many-valued 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 Pages : 169-179
- Peer Reviewed / Open Access / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25400195, KAKENHI-PROJECT-26462760, KAKENHI-PROJECT-26670692, KAKENHI-PROJECT-15H04969, KAKENHI-PROJECT-25462828
[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 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
[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

1. ONO Hiroakira (90055319)

# of Collaborated Projects : 1results

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

# of Collaborated Projects : 1results

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

# of Collaborated Projects : 1results

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

# of Collaborated Projects : 1results

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

# of Collaborated Projects : 1results

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

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
7. Hashimoto Soshi

# of Collaborated Projects : 0results

# of Collaborated Products : 1results
8. 天谷文昌

# of Collaborated Projects : 0results

# of Collaborated Products : 1results
9. 佐和貞治

# of Collaborated Projects : 0results

# of Collaborated Products : 1results

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 Multiplicative Additive Polarized Linear Logic2008

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] An Indexed System for Characters of Group Representations2008

Author(s)

HAMANO Masahiro 浜野正浩