長崎大学 · 教育学部 / 教育学研究科

研究キーワードlinear logic・geometry of interaction・probabilistic coherent spaces・proof nets・comonads・rule-based modeling

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces Masahiro Hamano Information and Computation 295巻PartB号105109頁- 2023年2023
• Double Glueing over Free Exponential: with Measure Theoretic Applications Masahiro HAMANO arXiv:2107.07726 2021年07月16日2021
• A MALL geometry of interaction based on indexed linear logic Masahiro Hamano Mathematical Structures in Computer Science 30巻10号1025頁-1053頁 2020年2020
• On geometry of interaction for polarized linear logic MASAHIRO HAMANO,PHILIP SCOTT Mathematical Structures in Computer Science 28巻10号1639頁-1694頁 2018年2018

• Stochastic Semantics for Logic and Computation –Continuous Exponential Comonad and Feedback– 臺灣科学技術部 ( 科技部專題研究計畫 (個別型) 110-2222-E-006-013-MY2 2021年09月 - 2023年08月 研究代表者2021
• 生化学ネットワーク記述計算言語の意味論-局所性と因果律の解明- 日本学術振興会 科学研究費助成事業 2013年04月01日 - 2016年03月31日2013
• 情報論理学の新パラダイムがもたらす生物現象の計算構造の解明 科学技術振興機構 戦略的な研究開発の推進 戦略的創造研究推進事業 さきがけ 2009年 - 2012年 研究代表者2009
• 計算構造の意味論-双対性と非可換性の観点から- 日本学術振興会 科学研究費助成事業 2007年 - 2009年2007

• 公式プロフィール