Ochanomizu University · Faculty of Science, Department of Information Science · 講師

Research keywordstheoretical computer science・programming language semantics・algebraic effects・logical methods・category theory・formal reasoning

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• - 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
• 真代数型: 高階書換えに基づく安全性保証付きデータ型の原理・推論・実践
• 相互作用の幾何の確率拡張――圏論的意味論からビッグデータへ
• プログラムの模倣合同性の危険対解析による自動判定

• Official profile
• ORCID