2024-04-07: ETAPS 2日目
やったこと
オートマトン
カンファレンスの暇な時間に何かアルゴリズムの復習をしようと思ってGlushkov構成を実装した。
https://gist.github.com/makenowjust/0651fe23a694a22e3de92df4f2cbdd68
もう少し周辺の知識も調べて解説も書きたい。
ETAPS
2日目。
今日は午前中はCMCS、午後はHCVSに参加していた。
ホーン節が色々できて面白い。
何かやってみたいが‥‥。