やったこと

東工大

東工大に行って、南出研でESOPでした発表をしてきた。
森さん (?) が中々するどい発言が多かった。すごい。

英語でやった発表を日本語でやってみると、いかに英語で上手く伝えられていないかが分かってつらい。
逆に、一度日本語で練習してみると何を伝えたいのか整理できていいのかもしれない。反省。

ReDoS検出は、string-to-treeトランスデューサの増加性判定問題に帰着されて、それが改めてNFAの曖昧性判定に帰着される、という話が納得だった。
南出先生にはっきり言ってもらえると助かる。

DLS は面白そうなカンファレンスなのだけど、どうも2024が予告されていないっぽい。
困ったぞ。