ちくわの中身を覗いてしまった画像を探してくるくらいの余裕はある

私はまだ変身を3つ残している

大丈夫、新規性ストックはまだある

まあそれでも、修論に載せられそうなトピックA,B,Cのうちの、Cにすごい似てるやつだけだから…

なんかメンバシップ問題が決定不可能なオートマトンを見つけたので、それを決定可能にする制約をつけたオートマトンについて性質を調べてたんですよ そしたら、その制約付きの方とほぼ同じオートマトンを見つけてしまいました、さっき

いやなんというか、今やってるのって延長の延長みたいな感じなんで、まあ耐えます

なんだこれ、チャンスか？

やばい、クッソ似た体系がある上に、なんならそれに関してひたすらまとめてあるspringerの400ページの本があるぞ

これはやばいな Haskellとか言ってる場合じゃないかもしれない

それでもまあいいんだけども