室屋 晃子
Koko Muroya
更新日: 04/02
基本情報
研究分野
1論文
10-
Coalgebraic Methods in Computer Science - 17th IFIP WG 1.3 International Workshop(CMCS) 1-22 2024年
-
Proceedings of the 17th International Symposium on Functional and Logic Programming (FLOPS 2024) 31-61 2024年 査読有り
-
The Art, Science, and Engineering of Programming 5(3) 2021年2月28日 査読有り
-
Logical Methods in Computer Science 15(4) 2019年10月 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10818 84-98 2018年 査読有り
-
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018 749-758 2018年 査読有り
-
Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford, UK, 8th September 2017. 52-66 2017年 査読有り
-
26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden 32:1-32:15 2017年 査読有り
-
ACM SIGPLAN NOTICES 51(1) 748-760 2016年1月 査読有り
-
Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014 52:1-52:10 2014年 査読有り
講演・口頭発表等
11-
CMCS 2024 2024年4月6日
-
日本ソフトウェア学会第40回大会 40周年企画セッション「若手研究者特別講演」 2023年9月14日 招待有り
-
CMCS 2020 2020年10月12日 招待有り
-
STRING 3 and SYCO 5 2019年9月6日 招待有り
-
Lambda World Cadiz 2018 2018年10月25日 招待有り
-
LICS 2018 2018年7月12日
-
CSL 2017 2017年9月7日
-
POPL 2016 2016年1月22日
共同研究・競争的資金等の研究課題
2-
日本学術振興会 科学研究費助成事業 若手研究 2022年4月 - 2025年3月
-
日本学術振興会 科学研究費助成事業 挑戦的萌芽研究 2015年4月 - 2019年3月