2020年2月17-19に、京都大学数理解析研究所にて研究集会「代数系、論理、言語と計算機科学の周辺II」が開催されました。
「Automata with One-way Jumping Modes」というタイトルで、山村-Fazekas-新屋研究室の星魁人君(M2)が30分間の発表を行いました。
感想:
文字列を非順序に読み取るOne-way jumping finite automataの読み方を一般のオートマトンに適用したモデルについて発表しました。自分の研究に興味を持ってくださった研究者がいたのが非常に嬉しかったです。
他の方の発表では、代数学・論理学・計算機科学だけで無く、暗号論や機械学習など多岐にわたる研究発表がありました。全てを理解することはできませんでしたが、研究の過程で学んだことに関するものもあったので参考になる部分もありました。