| 教員紹介トップページへ | 三重大学トップページへ |
| 職名 | 特任教員（研究担当） | ||||||||||||||||
| 氏名 | せんだ りょうま 仙田 涼摩 |
||||||||||||||||
| 生年月 | 1995 | ||||||||||||||||
|
|||||||||||||||||
| TEL | |||||||||||||||||
| FAX | |||||||||||||||||
| senda@info.mie-u.ac.jp | |||||||||||||||||
| ｒｅｓｅａｒｃｈｍａｐ | |||||||||||||||||
| 三重大学全学SEEDS集 | |||||||||||||||||
| 個人のホームページ | https://sites.google.com/mie-u.ac.jp/ryomasenda/%E3%83%9B%E3%83%BC%E3%83%A0 | ||||||||||||||||
| 学歴 | 名古屋大学 工学部 電気電子情報工学科 卒業 (2014年4月～2018年3月)
名古屋大学 大学院情報学研究科 情報システム学専攻 博士前期課程 修了 (2018年4月～2020年3月) 名古屋大学 大学院情報学研究科 情報システム学専攻 博士後期課程 修了 (2020年4月～2022年3月) |
||||||||||||||||
| 学位 | 博士(情報学) | ||||||||||||||||
| 所属学会 | |||||||||||||||||
| 社会活動 | |||||||||||||||||
| 職歴 | 2022.4～2024.3 理化学研究所 革新知能統合研究センター 特別研究員
2024.4～2025.4 三重大学 大学院工学研究科情報工学専攻 特任助教 2025.5～ 三重大学 大学院工学研究科情報工学専攻 助教 |
||||||||||||||||
| 学術（芸術）賞 | 名古屋大学 学術奨励賞, 2021.5.
電子情報通信学会ソフトウェアサイエンス研究会 研究奨励賞, 2022.3. |
||||||||||||||||
| 専門分野 | 形式言語理論
量子情報科学 |
||||||||||||||||
| 現在の研究課題 | 少ない量子ビットで実行可能な量子アルゴリズム設計 | ||||||||||||||||
| 担当科目 | |||||||||||||||||
| 主な業績等 | Yoshiaki Takata, Akira Onishi, 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. Ryoma Senda, Quantum Fingerprinting without Ancilla Qubits, Workshop on Quantum Computing and Quantum Cryptography, Sep 2024. Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki, LTL Model Checking for Register Pushdown Systems, 電子情報通信学会ソフトウェアサイエンス研究会（講演番号： SS2020-6）, 電子情報通信学会技術研究報告 Vol.120, No.193, pp.7-12, オンライン, Oct 2020. Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki, On the Regularity Preservation Property of Register Pushdown Systems, 冬の LA シンポジウム 2019, 京都大学，Feb 2020. Ryoma Senda, Complexity Results on Register Context-Free Grammars and Register Tree Automata, 50th TRS meeting, 熱海, Feb 2019. 仙田 涼摩，関 浩之，レジスタ付き文脈自由文法に関する所属問題と空問題の計算複雑さ，電子情報通信学会ソフトウェアサイエンス研究会(講演番号： SS2017-41)，電子情報通信学会技術研究報告 Vol.117, No.381, pp.41-46，広島市立大学，Jan 2018. Akinori Kawachi, Ryoma Senda, François Le Gall, Quantum Fingerprinting without Ancilla Qubits, International Symposium on Quantum Science, Technology and Innovation, Oct 2024. |
||||||||||||||||