新屋 良磨
Sin'ya Ryoma (Ryoma Sin'ya)
更新日: 01/06
基本情報
主要な経歴
3-
2021年4月 - 現在
-
2017年11月 - 2021年3月
-
2016年4月 - 2017年10月
主要な学歴
4-
2013年4月 - 2016年3月
-
2014年10月 - 2015年11月
-
2011年4月 - 2013年3月
-
2007年4月 - 2011年3月
主要な受賞
4主要な論文
16-
abs/2506.14134 2025年6月 筆頭著者
-
347-362 2024年 査読有り責任著者
-
コンピュータソフトウェア 40(2) 49-60 2023年 査読有り招待有り筆頭著者
-
Implementation and Application of Automata - 27th International Conference(CIAA) 278-289 2023年 査読有り筆頭著者
-
Developments in Language Theory - 26th International Conference(DLT) 274-285 2022年 査読有り筆頭著者
-
Developments in Language Theory - 25th International Conference(DLT) 355-367 2021年8月 査読有り筆頭著者
-
SOFSEM 2021: Theory and Practice of Computer Science - 47th International Conference on Current Trends in Theory and Practice of Computer Science(SOFSEM) 74-88 2021年1月 査読有り筆頭著者
-
Developments in Language Theory - 24th International Conference(DLT) 304-318 2020年 査読有り筆頭著者
-
15(1) 1-57 2019年 査読有り招待有り責任著者
-
Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification(GandALF) 172-185 2015年 査読有り筆頭著者
-
コンピュータソフトウェア 30(2) 2013年 査読有り筆頭著者
主要なMISC
5-
システム/制御/情報 69(6) 2025年 招待有り筆頭著者
-
応用数理 31(4) 15-22 2021年 招待有り筆頭著者
-
コンピュータソフトウェア 34(3) 3-35 2017年 査読有り招待有り筆頭著者
主要な書籍等出版物
2-
青土社 2023年7月 (ISBN: 9784791714483)
-
技術評論社 2015年5月 (ISBN: 9784774172705)
主要な講演・口頭発表等
2-
Dagstuhl Seminar 25141(Categories for Automata and Language Theory) 2025年3月 招待有り
-
日本数学会 年会（春） 特別講演（数学基礎論および歴史分科会） 2022年3月 招待有り
主要な所属学協会
4-
2011年 - 現在
-
2011年 - 現在
-
2023年 - 現在
-
2024年 - 現在
主要な共同研究・競争的資金等の研究課題
5-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2025年4月 - 2029年3月
-
科学技術振興機構 戦略的な研究開発の推進 戦略的創造研究推進事業 ACT-X 2021年 - 2023年
-
日本学術振興会 科学研究費助成事業 基盤研究(S) 2015年5月 - 2020年3月
-
日本学術振興会 科学研究費助成事業 特別研究員奨励費 2014年4月 - 2016年3月
主要なメディア報道
1-
沖縄タイムス 沖縄タイムス 2022年12月 新聞・雑誌
主要な社会貢献活動
4