浜野正浩 Hamano Masahiro

研究者番号	50313705
所属 (過去の研究課題情報に基づく) *注記	2013年度 – 2015年度: 東京大学, 情報理工学(系)研究科, 研究員 2009年度: 東京大学, 大学院・情報理工学系研究科, 客員研究員 2009年度: 東京大学, 情報理工学系研究科, 客員研究員 2008年度: 独立行政法人沖縄科学技術研究基盤整備機構, 数理生物学ユニット, 研究員 2007年度: 慶應義塾大学, 文学部, 准教授 2000年度 – 2003年度: 北陸先端科学技術大学院大学, 情報科学研究科, 助手
審査区分/研究分野	研究代表者数学一般(含確率論・統計数学) / 数学基礎・応用数学 / 数学一般(含確率論・統計数学) 研究代表者以外数学一般(含確率論・統計数学)
キーワード	研究代表者 linear logic / full completeness / denotational semantics / double gluing / softness / MALL / 化学反応ネットワーク / stochastic petri net / 定常状態 / 化学マスター方程式 … もっと見る / 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 … もっと見る研究代表者以外 fuzzy logic / many-valued logics / residuated lattices / universal algebra / substructural logics / 剰余構造 / クリプキ意味論 / 有限モデル性 / ファジー論理 / 多値論理 / 剰余束 / 普遍代数 / 部分構造論理隠す

生化学ネットワーク記述計算言語の意味論-局所性と因果律の解明-研究代表者
- 研究代表者
  
  浜野正浩
- 研究期間 (年度)
  2013 – 2015
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学基礎・応用数学
- 研究機関
  東京大学
計算構造の意味論-双対性と非可換性の観点から-研究代表者
- 研究代表者
  
  浜野正浩
- 研究期間 (年度)
  2007 – 2009
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  東京大学
   慶應義塾大学
圏論とグラフ論の融合を用いた高階加法体系を含む線形論理学の新しい統語論と意味論研究代表者
- 研究代表者
  
  浜野正浩
- 研究期間 (年度)
  2002 – 2003
- 研究種目
  
  若手研究(B)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  北陸先端科学技術大学院大学
部分構造論理と代数構造
- 研究代表者
  
  小野寛晰
- 研究期間 (年度)
  2001 – 2003
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  北陸先端科学技術大学院大学
線形論理学における充満完全性定理の数学的展開研究代表者
- 研究代表者
  
  浜野正浩
- 研究期間 (年度)
  2000 – 2001
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  北陸先端科学技術大学院大学

すべて 2016 2015 2010 2008 2007 その他

すべて雑誌論文学会発表

[雑誌論文] Stochastic Transcription Elongation via Rule Based Modelling2016
- 著者名/発表者名
  Masahiro Hamano
- 雑誌名
  
  Electronic Notes in Theoretical Computer Science, Elsevier.
  
  巻: To appear
- 査読あり / 謝辞記載あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-25400195
[雑誌論文] A phase semantics for polarized linear logic and second order conservativity2010
- 著者名/発表者名
  Masahiro Hamano
- 雑誌名
  
  The Journal of Symbolic Logic 75(1)
  
  ページ: 77-102
- 査読あり
- データソース
  KAKENHI-PROJECT-19540145
[雑誌論文] A Phase Semantics for Polarized Linear Logic and Second Order Conservativity2010
- 著者名/発表者名
  Masahiro Hamano, Ryo Takemura
- 雑誌名
  
  Journal of Symbolic Logic 75(1)
  
  ページ: 77-102
- データソース
  KAKENHI-PROJECT-19540145
[雑誌論文] An Indexed System for Multiplicative Additive Polarized Lineaa Logic2008
- 著者名/発表者名
  Masahiro Hamano, Ryo Takemura
- 雑誌名
  
  Proc. of 17th EACSL AnnualConference on Computer Science Logic, Lecture Notes in Computer Science(Springer Verlag) 5213
  
  ページ: 262-277
- データソース
  KAKENHI-PROJECT-19540145
[雑誌論文] An Indexed System for Multiplicative Additive Polarized Linear Logic2008
- 著者名/発表者名
  Masahiro Hamano
- 雑誌名
  
  Proceedings of 17th EACSL Annual Conference on Computer Science Logic, Lecture Notes in Computer Science 5213
  
  ページ: 262-277
- データソース
  KAKENHI-PROJECT-19540145
[雑誌論文] A Categorical Semantics for Polarized MALL2007
- 著者名/発表者名
  Masahiro Hamano, Phil Scott
- 雑誌名
  
  Annals of Pure and Applied Logic(Elsevier) 145
  
  ページ: 276-313
- データソース
  KAKENHI-PROJECT-19540145
[雑誌論文] A Categorical Semantics for Polarized MALL2007
- 著者名/発表者名
  Masahiro Hamano
- 雑誌名
  
  Annals of Pure and Applied Logic, Elsevier 145(3)
  
  ページ: 276-313
- 査読あり
- データソース
  KAKENHI-PROJECT-19540145
[雑誌論文] A Phase Semantics for Polarized Linear Logic and Second order Conservativity
- 著者名/発表者名
  Masahiro Hamano
- 雑誌名
  
  Journal of Symbolic Logic (印刷中)
  
  ページ: 33-33
- 査読あり
- データソース
  KAKENHI-PROJECT-19540145
[学会発表] Stochastic Transcription Elongation via Rule Based Modelling2015
- 著者名/発表者名
  Masahiro Hamano
- 学会等名
  The Sixth International Workshop on Static Analysis and Systems Biology (SASB 2015)
- 発表場所
  Saint-Malo, FRANCE
- 年月日
  2015-09-08
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-25400195
[学会発表] An Indexed System for Characters of Group Representations2008
- 著者名/発表者名
  Masahiro Hamano
- 学会等名
  24th annual conference on Mathematical Foundations of Programming Semantics
- 発表場所
  合衆国, ペンシルべニア大学
- 年月日
  2008-05-22
- データソース
  KAKENHI-PROJECT-19540145
[学会発表] An Indexed System for Characters of Group Representations2008
- 著者名/発表者名
  Masahiro Hamano
- 学会等名
  24th Annual Conference on Mathematical Foundations of Programming Semantics
- 発表場所
  アメリカ合衆国ペンシルベニア大学
- 年月日
  2008-05-22
- データソース
  KAKENHI-PROJECT-19540145
[学会発表] An Indexed System for Multiplicative Additive Polarized Linear Logic2008
- 著者名/発表者名
  Masahiro Hamano
- 学会等名
  17th EACSL Annual Conference on Computer Science Logic
- 発表場所
  イタリアボローニャ大学
- 年月日
  2008-09-17
- データソース
  KAKENHI-PROJECT-19540145
[学会発表] An Indexed System for Multiplicative Additive Polarized Linear Logic2008
- 著者名/発表者名
  Masahiro Hamano
- 学会等名
  17th EACSL Annual Conference on Computer Science Logic, Centro Residenziale Universitario di Bertinoro
- 発表場所
  ボローニャ大学, イタリア
- 年月日
  2008-09-17
- データソース
  KAKENHI-PROJECT-19540145

1. 小野寛晰 (90055319)

共同の研究課題数: 1件

共同の研究成果数: 0件
2. 田中義人 (70320132)

共同の研究課題数: 1件

共同の研究成果数: 0件
3. 志村立矢 (90246835)

共同の研究課題数: 1件

共同の研究成果数: 0件
4. 古森雄一 (10022302)

共同の研究課題数: 1件

共同の研究成果数: 0件
5. 東条敏 (90272989)

共同の研究課題数: 1件

共同の研究成果数: 0件
6. コワルスキトマシュ (70303336)

共同の研究課題数: 1件

共同の研究成果数: 0件

浜野 正浩 Hamano Masahiro

研究課題

研究成果

共同研究者

生化学ネットワーク記述計算言語の意味論-局所性と因果律の解明-研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

計算構造の意味論-双対性と非可換性の観点から-研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

圏論とグラフ論の融合を用いた高階加法体系を含む線形論理学の新しい統語論と意味論研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

部分構造論理と代数構造

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

線形論理学における充満完全性定理の数学的展開研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Stochastic Transcription Elongation via Rule Based Modelling2016

著者名/発表者名

雑誌名

データソース

[雑誌論文] A phase semantics for polarized linear logic and second order conservativity2010

著者名/発表者名

雑誌名

データソース

[雑誌論文] A Phase Semantics for Polarized Linear Logic and Second Order Conservativity2010

著者名/発表者名

雑誌名

データソース

[雑誌論文] An Indexed System for Multiplicative Additive Polarized Lineaa Logic2008

著者名/発表者名

雑誌名

データソース

[雑誌論文] An Indexed System for Multiplicative Additive Polarized Linear Logic2008

著者名/発表者名

雑誌名

データソース

[雑誌論文] A Categorical Semantics for Polarized MALL2007

著者名/発表者名

雑誌名

データソース

[雑誌論文] A Categorical Semantics for Polarized MALL2007

著者名/発表者名

雑誌名

データソース

[雑誌論文] A Phase Semantics for Polarized Linear Logic and Second order Conservativity

著者名/発表者名

雑誌名

データソース

[学会発表] Stochastic Transcription Elongation via Rule Based Modelling2015

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] An Indexed System for Characters of Group Representations2008

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] An Indexed System for Characters of Group Representations2008

著者名/発表者名

浜野正浩 Hamano Masahiro