やったこと

インド

10時間のフライトを経てようやく到着。到着は深夜1時20分くらいだった。しんどい。
飛行場の混雑で飛行機がなかなか出発しないなど問題はあったけど無事到着できてよかった。
入国審査もe-Visaで抜けられた。やたら列の進みが遅かったけれど。
そしてUberでホテルへ。Uberがなかなか呼べず、ちょうど来た車に乗れたので運が良い。

そして2時間くらい寝て、ATVAの始まり。
一日目はワークショップで、色々興味深い話があった。
Regular TheoryとそのDecision Problemの話は、最終的にオートマトンを使うのだというのが学びがあった。

午後はスライドを直し続けていた。
どうにか間に合いそうだが‥‥。