星魁人君(山村研究室・2020年3月修士課程修了)が論文「 Automata with One-way Jumping Mode」を発表しました

 2020年2月に開催された研究集会「代数系、論理、言語と計算機科学の周辺Ⅱ」において講演した内容をまとめたもので、星君のこれまでの研究をまとめた内容です。

Automata with One-way Jumping Mode
Kaito Hoshi, Akihiro Yamamura, Szilard Zsolt Fazekas
数理解析研究所講究録 2188巻 (2021) pp. 125-130
https://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/2188-19.pdf