Default avatar
npub1uchj...u6q9
npub1uchj...u6q9
ちょっとまじでHaskellリレーとか言ってる場合じゃないかもしれないけど、それは逃げなのでまだ諦めないぞ
文脈自由パンチ!!!!(文脈に依らず殴る。相手は死ぬ。)
チョムスキーダンスはインターフェースのみが与えられていて、実装は各々に任されているよ
前はチョムスキーダンスしてたら証明が思いついたりしたんですよ
もうなんか全部面白いもんな 一旦チョムスキーダンスするわ
でもさ、文鳥の名前イーソーとかにして分かる日同士でキャッキャしたいじゃん?
ちくわの中身を覗いてしまった画像を探してくるくらいの余裕はある
まあそれでも、修論に載せられそうなトピックA,B,Cのうちの、Cにすごい似てるやつだけだから…
なんかメンバシップ問題が決定不可能なオートマトンを見つけたので、それを決定可能にする制約をつけたオートマトンについて性質を調べてたんですよ そしたら、その制約付きの方とほぼ同じオートマトンを見つけてしまいました、さっき
いやなんというか、今やってるのって延長の延長みたいな感じなんで、まあ耐えます
やばい、クッソ似た体系がある上に、なんならそれに関してひたすらまとめてあるspringerの400ページの本があるぞ
これはやばいな Haskellとか言ってる場合じゃないかもしれない