| 教員紹介トップページへ | 三重大学トップページへ |
| 職名 | 特任教員（研究担当） | |||||||||
| 氏名 | せんだ りょうま 仙田 涼摩 |
|||||||||
| 生年月 | 1995年8月 | |||||||||
|
||||||||||
| TEL | ||||||||||
| FAX | ||||||||||
| senda@into.mie-u.ac.jp | ||||||||||
| 個人のホームページ | ||||||||||
| 学歴 | 名古屋大学 工学部 電気電子情報工学科 学士(2014.4-2018.3) 卒業
名古屋大学 大学院情報学研究科 情報システム学コース 博士前期課程(2018.4-2020.3), 博士後期課程(2020.4-2022.3) 修了 |
|||||||||
| 学位 | 2022.3 博士 (情報学) | |||||||||
| 所属学会 | ||||||||||
| 社会活動 | ||||||||||
| 職歴 | 2022.4 - 2024.3 理化学研究所 革新知能統合研究センター 特別研究員
2024.4 - 現在 三重大学 大学院工学研究科 特任助教 |
|||||||||
| 学術（芸術）賞 | ・令和3年度電子情報通信学会ソフトウェアサイエンス研究会 研究奨励賞, March 2022.
・令和3年度名古屋大学 学術奨励賞, May 2021. |
|||||||||
| 専門分野 | 形式言語理論
量子情報科学 |
|||||||||
| 現在の研究課題 | ||||||||||
| 担当科目 | ||||||||||
| 主な業績等 | 査読付き原著論文
・Yoshiaki Takata, Akira Ohishi, Ryoma Senda, Hiroyuki Seki, A Subclass of Mu- Calculus with the Freeze Quantifier Equivalent to Register Automata, IEICE Transactions on Information and Systems, Vol.E106-D, No.3, pp.294-302, March 2023. ・Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki, Complexity Results on Register Context-Free Grammars and Related Formalisms, Theoretical Computer Science, Vol.923, pp.99-125, Jun 2022. ・Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki, LTL Model Checking for Register Pushdown Systems, IEICE Transactions on Information and Systems, Vol.E104-D, No.12, pp.2131-2144, Dec 2021. ・Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki, Forward Regularity Preservation Property of Register Pushdown Systems, IEICE Transactions on Information and Systems, Vol.E104-D, No.3, pp.370-380, March 2021. ・Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki, Generalized Register Context- Free Grammars, IEICE Transactions on Information and Systems, Vol.E103-D, No.3, pp.540-548, March 2020. 査読付き国際会議論文 ・Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki, Reactive Synthesis from Visibly Register Pushdown Automata, 18th International Colloquium on Theoretical Aspects of Computing (ICTAC 2021), Lecture Notes in Computer Science 12819, pp.334-353, 2021. ・Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki, Complexity Results on Register Pushdown Automata, 3rd Workshop on Software Foundations for Data Interoperability (SFDI2019+), short paper, Fukuoka, Oct 28, 2019. https://arxiv.org/abs/1910.10357v1 ・Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki, Generalized Register Context- Free Grammars, 13th International Conference on Language and Automata Theory and Applications (LATA 2019), Lecture Notes in Computer Science 11417, pp.259- 271, March 2019. ・Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki, Complexity Results on Register Context-Free Grammars and Register Tree Automata, 15th International Colloquium on Theoretical Aspects of Computing (ICTAC 2018), Lecture Notes in Computer Science 11187, pp.415-434. Oct 2018 |
|||||||||