室屋　晃子

MUROYA Koko

職名

講師

所属

基幹研究院 自然科学系

写真a

このページの先頭へ▲

学位 【 表示 ／ 非表示 】

  • Ph.D., University of Birmingham, 2020年07月

このページの先頭へ▲

学内職務経歴 【 表示 ／ 非表示 】

  • 基幹研究院 自然科学系，講師，2025年04月 - 継続中

このページの先頭へ▲

研究分野 【 表示 ／ 非表示 】

このページの先頭へ▲
 

論文 【 表示 ／ 非表示 】

  • A Critical Pair Enumeration Algorithm for String Diagram Rewriting

    In Proceedings ACT 2025, EPTCS, , 442巻(頁91 - 105), 2026年, Anna Matsui,Innocent Obi,Guillaume Sabbagh,Leo Torres,Diana Kessler,Juan F. Meleiro,Koko Muroya, 原著, 研究論文（国際会議プロシーディングス）, 共著者

  • A robust graph-based approach to observational equivalence

    Logical Methods in Computer Science, Centre pour la Communication Scientifique Directe (CCSD), 21巻2号, 2025年04月, Dan R. Ghica,Koko Muroya,Todd Waugh Ambridge, 原著, 研究論文（学術雑誌）, 第一著者相当

  • A Variety of Request-Response Specifications.

    ICTAC, (頁239 - 257), 2025年, Daichi Aiba,Masaki Waga,Hiroya Fujinami,Koko Muroya,Shutaro Ouchi,Naoki Ueda,Yosuke Yokoyama,Yuta Wada,Ichiro Hasuo, 原著, 研究論文（国際会議プロシーディングス）, 共著者

  • Preorder-Constrained Simulations for Program Refinement with Effects

    Coalgebraic Methods in Computer Science - 17th IFIP WG 1.3 International Workshop(CMCS), (頁44 - 64), 2024年, Koko Muroya,Takahiro Sanada,Natsuki Urabe, 原著, 研究論文（国際会議プロシーディングス）, 共著者

  • Explicit Hopcroft's Trick in Categorical Partition Refinement.

    Coalgebraic Methods in Computer Science - 17th IFIP WG 1.3 International Workshop(CMCS), (頁135 - 155), 2024年, Takahiro Sanada,Ryota Kojima,Yuichi Komorida,Koko Muroya,Ichiro Hasuo, 原著, 研究論文（国際会議プロシーディングス）, 共著者

全件表示 >>

このページの先頭へ▲

その他雑誌掲載文 【 表示 ／ 非表示 】

  • 5分で分かる!? 有名論文ナナメ読み：Gordon Plotkin & John Power : Adequacy for Algebraic Effects

    情報処理, 65巻6号(頁318 - 320), 2024年05月, 室屋　晃子, 寄書, 単著, 査読なし, 書評論文，書評，文献紹介等

  • 研究と私の紆余曲折

    日本バーチャルリアリティ学会誌, 28巻2号(頁19 - 22), 0203年, 202405, 寄書, 単著, 査読なし, 記事・総説・解説・論説等（その他）

このページの先頭へ▲

研究発表 【 表示 ／ 非表示 】

  • Term Evaluation Systems with Refinements: First-Order, Second-Order, and Contextual Improvement

    Koko Muroya, 国外, 2024年05月, , FLOPS 2024, 一般発表, 第一発表者

  • Preorder-Constrained Simulation for Program Refinement with Effects

    Koko Muroya, 国外, 2024年04月, , CMCS 2024, 一般発表, 第一発表者

  • プログラムを質的かつ量的に比較する

    室屋　晃子, 国内, 2023年09月, , 日本ソフトウェア学会第40回大会 40周年企画セッション「若手研究者特別講演」, 招待講演, 第一発表者

  • Hypernet Semantics and Robust Observational Equivalence

    Koko Muroya, 国外, 2020年10月, , CMCS 2020, 招待講演, 第一発表者

  • Local Reasoning for Robust Observational Equivalence

    Koko Muroya, 国外, 2019年09月, , STRING 3 and SYCO 5, 招待講演, 第一発表者

全件表示 >>

このページの先頭へ▲