Muroya Koko 室屋晃子

… Alternative Names

室屋晃子ムロヤコウコ

Less

Researcher Number	00827454
Other IDs
Affiliation (Current)	2025: お茶の水女子大学, 基幹研究院, 講師
Affiliation (based on the past Project Information) *help	2025: 国立情報学研究所, アーキテクチャ科学研究系, 特任研究員 2022 – 2023: 京都大学, 数理解析研究所, 助教 2018: 京都大学, 数理解析研究所, 助教
Review Section/Research Field	Principal Investigator Basic Section 60010:Theory of informatics-related Except Principal Investigator Basic Section 60050:Software-related / Theory of informatics
Keywords	Principal Investigator プログラム等価性 / 文脈等価性 / 危険対解析 / 項書き換え系 Except Principal Investigator 書替え系 / ラムダ計算 / Haskell / 停止性 / 合流性 / 関数プログラム … More / 関数プログラミング / プログラム理論 / 代数仕様 / 書換え系 / ソフトウェア科学 / 線形論理 / 圏論 / 確率的プログラミング / 抽象機械 / 操作的意味論 / 表示的意味論 / 統計的機械学習 / 確率的システム検証 / 確率的システム / プログラム検証 / 高階計算 / 確率的プログラミング言語 / プログラミング言語理論 Less

プログラム最適化の理論保証に向けた重みつきオートマトン理論の展開Principal Investigator
- Principal Investigator
  
  室屋晃子
- Project Period (FY)
  2025 – 2029
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  National Institute of Informatics
プログラムの模倣合同性の危険対解析による自動判定Principal Investigator
- Principal Investigator
  
  室屋晃子
- Project Period (FY)
  2022 – 2024
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Kyoto University
Universal Algebraic Datatypes: Theory and Practice on Datatypes based on Higher-Order Rewriting
- Principal Investigator
  
  浜名誠
- Project Period (FY)
  2020 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Gunma University
Probabilistic Extension of Geometry of Interaction--from Categorical Semantics to Big Data
- Principal Investigator
  
  Ichiro Hasuo
- Project Period (FY)
  2015 – 2018
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Theory of informatics
- Research Institution
  National Institute of Informatics
  The University of Tokyo

All 2023 2018 2016

All Journal Article Presentation

[Journal Article] The Geometry of Computation-Graph Abstraction2018
- Author(s)
  Muroya Koko、Cheung Steven W. T.、Ghica Dan R.
- Journal Title
  
  Proc. LICS 2018, Thirty-Third Annual ACM/IEEE Symposium on Logic in Computer Science
  
  Volume: - Pages: 749-758
- DOI
  10.1145/3209108.3209127
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K11984
[Journal Article] A Functional Perspective on Machine Learning via Programmable Induction and Abduction2018
- Author(s)
  Cheung Steven、Darvariu Victor、Ghica Dan R.、Muroya Koko、Rowe Reuben N. S.
- Journal Title
  
  Proc. FLOPS 2018, Lecture Notes in Computer Science
  
  Volume: 10818 Pages: 84-98
- DOI
  10.1007/978-3-319-90686-7_6
- ISBN
  9783319906850, 9783319906867
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K11984
[Journal Article] Memoryful Geometry of Interaction II: Recursion and Adequacy2016
- Author(s)
  Koko Muroya, Naohiko Hoshino and Ichiro Hasuo
- Journal Title
  
  Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016
  
  Volume: なし Pages: 748-760
- DOI
  10.1145/2837614.2837672
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15KT0012, KAKENHI-PROJECT-15K11984, KAKENHI-PROJECT-24680001
[Presentation] Local Coherence and Program Refinement (work in progress)2023
- Author(s)
  室屋晃子
- Organizer
  58th TRS Meeting
- Data Source
  KAKENHI-PROJECT-22K17850
[Presentation] The Geometry of Computation-Graph Abstraction2018
- Author(s)
  Koko Muroya
- Organizer
  Thirty-Third Annual ACM/IEEE Symposium on Logic in Computer Science
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K11984
[Presentation] A Functional Perspective on Machine Learning via Programmable Induction and Abduction2018
- Author(s)
  Koko Muroya
- Organizer
  International Symposium on Functional and Logic Programming
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K11984
[Presentation] Memoryful Geometry of Interaction II: Recursion and Adequacy2016
- Author(s)
  Koko Muroya, Naohiko Hoshino and Ichiro Hasuo
- Organizer
  The 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016
- Place of Presentation
  St. Petersburg, Florida, United States
- Year and Date
  2016-01-20
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K11984

1. Ichiro Hasuo (60456762)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
2. 星野直彦 (20611883)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
3. 浜名誠 (90334135)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. 菊池健太郎 (40396528)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. 今井敬吾 (70456630)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Muroya Koko 室屋 晃子

室屋 晃子 ムロヤ コウコ

Research Projects

Research Products

Co-Researchers

プログラム最適化の理論保証に向けた重みつきオートマトン理論の展開Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

プログラムの模倣合同性の危険対解析による自動判定Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Universal Algebraic Datatypes: Theory and Practice on Datatypes based on Higher-Order Rewriting

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Probabilistic Extension of Geometry of Interaction--from Categorical Semantics to Big Data

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] The Geometry of Computation-Graph Abstraction2018

Author(s)

Journal Title

DOI

Data Source

[Journal Article] A Functional Perspective on Machine Learning via Programmable Induction and Abduction2018

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Memoryful Geometry of Interaction II: Recursion and Adequacy2016

Author(s)

Journal Title

DOI

Data Source

[Presentation] Local Coherence and Program Refinement (work in progress)2023

Author(s)

Organizer

Data Source

[Presentation] The Geometry of Computation-Graph Abstraction2018

Author(s)

Organizer

Data Source

[Presentation] A Functional Perspective on Machine Learning via Programmable Induction and Abduction2018

Author(s)

Organizer

Data Source

[Presentation] Memoryful Geometry of Interaction II: Recursion and Adequacy2016

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

Muroya Koko 室屋晃子

室屋晃子ムロヤコウコ