お茶の水女子大学 · 理学部 情報科学科 · 講師

研究キーワードtheoretical computer science・programming language semantics・algebraic effects・logical methods・category theory・formal reasoning

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

• - 105), 2026年, Anna Matsui,Innocent Obi,Guillaume Sabbagh,Leo Torres,Diana Kessler,Juan F. Meleiro,Koko Muroya, 原著, 研究論文（国際会議プロシーディングス）, 共著者2026 · 論文
• In Proceedings ACT 2025, EPTCS, , 442巻(頁912025 · 論文
• - 257), 2025年, Daichi Aiba,Masaki Waga,Hiroya Fujinami,Koko Muroya,Shutaro Ouchi,Naoki Ueda,Yosuke Yokoyama,Yuta Wada,Ichiro Hasuo, 原著, 研究論文（国際会議プロシーディングス）, 共著者2025 · 論文
• Logical Methods in Computer Science, Centre pour la Communication Scientifique Directe (CCSD), 21巻2号, 2025年04月, Dan R. Ghica,Koko Muroya,Todd Waugh Ambridge, 原著, 研究論文（学術雑誌）, 第一著者相当2025 · 論文

• 階層的グラフの書き換え系での文脈等価性証明支援2019
• 真代数型: 高階書換えに基づく安全性保証付きデータ型の原理・推論・実践
• 相互作用の幾何の確率拡張――圏論的意味論からビッグデータへ
• プログラムの模倣合同性の危険対解析による自動判定

• 公式プロフィール
• ORCID