メニュー
検索
研究課題をさがす
研究者をさがす
KAKENの使い方
日本語
英語
全文検索
詳細検索
絞り込み条件
絞り込み
研究期間 (開始年度)
-
検索結果: 5件 / 研究者番号: 50313705
すべて選択
ページ内選択
XMLで出力
テキスト(CSV)で出力
表示件数:
20
50
100
200
500
適合度
研究開始年: 新しい順
研究開始年: 古い順
配分額合計: 多い順
配分額合計: 少ない順
1.
生化学ネットワーク記述計算言語の意味論-局所性と因果律の解明-
研究課題
研究種目
基盤研究(C)
研究分野
数学基礎・応用数学
研究機関
東京大学
研究代表者
浜野 正浩
東京大学, 情報理工学(系)研究科, 研究員
研究期間 (年度)
2013-04-01 – 2016-03-31
完了
キーワード
確率プロセス計算
/
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
/
化学反応ネットワーク
研究成果の概要
RNA 転写伸張のmechano-chemicalパスウェーを確率プロセス計算の一種であるrule based kappa 計算のsyntaxとsemanticsの両側面から分析した。離散確率モデルを伸張複合体のκ記述から導かれる化学マスター方程式によって構成し、定常状態の分析を詳細釣り合いをチェッ
...
この課題の研究成果物
雑誌論文 (1件 うち査読あり 1件、オープンアクセス 1件、謝辞記載あり 1件) 学会発表 (1件 うち国際学会 1件)
2.
計算構造の意味論-双対性と非可換性の観点から-
研究課題
研究種目
基盤研究(C)
研究分野
数学一般(含確率論・統計数学)
研究機関
東京大学
(2008-2009)
慶應義塾大学
(2007)
研究代表者
浜野 正浩
東京大学, 大学院・情報理工学系研究科, 客員研究員
研究期間 (年度)
2007 – 2009
完了
キーワード
linear logic
/
denotational semantics
/
polarized category
/
full completeness
/
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
/
double gluing
/
Chu space
研究概要
主に、極性を持つ線形論理体系(polarized linear logic)が定める計算構造の意味論を解明した。計算の意味を射として捉えるための圏論的意味論を、2つの双対な極を持つ圏の間の随伴関手とモデュールによって構成し、これらの具体例をpre-*-autonomous圏などによって与えた。一方、
...
この課題の研究成果物
雑誌論文 (7件 うち査読あり 3件) 学会発表 (4件) 備考 (2件)
3.
圏論とグラフ論の融合を用いた高階加法体系を含む線形論理学の新しい統語論と意味論
研究課題
研究種目
若手研究(B)
研究分野
数学一般(含確率論・統計数学)
研究機関
北陸先端科学技術大学院大学
研究代表者
浜野 正浩
北陸先端科学技術大学院大学, 情報科学研究科, 助手
研究期間 (年度)
2002 – 2003
完了
キーワード
linear logic
/
full completeness
/
MALL
/
hypercoherences
/
proof nets
/
softness
/
MALL+Mix
/
MALL proof structure
/
sequentialization theorem
/
Joyal's softness
/
proof net
研究概要
前年度(14年度)に得られたMALL+Mixに対するsequentialization定理(裏面発表論文参照)で開発された圏論とグラフ論の関連を与える手法を利用して、乗法加法線形論理(MALL)に対する充満完全な意味論をEhrhardのhyper coherence圏('93)を用いて構成することに
...
この課題の研究成果物
文献書誌 (2件)
4.
部分構造論理と代数構造
研究課題
研究種目
基盤研究(C)
研究分野
数学一般(含確率論・統計数学)
研究機関
北陸先端科学技術大学院大学
研究代表者
小野 寛晰
北陸先端科学技術大学院大学, 情報科学研究科, 教授
研究期間 (年度)
2001 – 2003
完了
キーワード
部分構造論理
/
普遍代数
/
剰余束
/
多値論理
/
ファジー論理
/
有限モデル性
/
クリプキ意味論
/
剰余構造
研究概要
3年間にわたる研究で多くの重要な結果を得ることができた。それにともない本研究の主要な目的である「部分構造論理とその代数構造」に関する国際的な共同研究を展開することについて大きな進展が見られた。多くの国内外の数理論理学、代数学、情報工学の研究者と緊密な連絡をとり、国際的共同研究として本研究を推進するこ
...
この課題の研究成果物
文献書誌 (57件)
5.
線形論理学における充満完全性定理の数学的展開
研究課題
研究種目
奨励研究(A)
研究分野
数学一般(含確率論・統計数学)
研究機関
北陸先端科学技術大学院大学
研究代表者
浜野 正浩
北陸先端科学技術大学院大学, 情報科学研究科, 助手
研究期間 (年度)
2000 – 2001
完了
キーワード
MALL
/
full completeness
/
hypercoherence
/
softness
/
double gluing
/
^*-autonomous with products
/
proof-net
/
categorical semantics
/
linear logic
/
denotational semantics
/
dinatural transformation
/
Mix
/
*-autonomous category
/
Pontrjagin duality
研究概要
乗法加法線形論理学(MALL)に対する充満完全性定理(full completeness theorem)を、Ehrhard('93)のhypercoherenceがなす(productとcoproductを持つ)^*-autonomous圏HCohからdouble gluing construct
...
この課題の研究成果物
文献書誌 (3件)