2018-02-04: 疲れていた

やったこと

とりあえずrebaseしてEnumとBoolに対する実装を外して整理すればマージされる気がする。さっさとやりたい。
が、今あまりCrystalへのモチベがない。

ダメです。

難しく書きすぎたんだと思う。もっと簡単に説明できたはず。

あとHFAはBounded Concurrencyという名前で既に研究されているらしい。
非決定性、Alternatingと合わせてラムダキューブみたいなのを作っているっぽい。
面白い。
ちゃんと読みたいところ。

ポスターの方はとりあえず申し込んだので通りたいところ。通って‥‥。

これはとてもしんどい。

なんでそんなことになるの‥‥。
かなり気合いを入れていたのでそこそこ不服。しんどい。

なんかあまりに眠れなくて死にそうなのでDPを書いた。最初の10分くらい表が10連続だけだと思っていた。表か裏だった。

やはりchokudaiさんはすごい。
というか確率に苦手意識がありすぎて確率DPができなかった。あと、まあ工夫すればそのタイミングの配列だけにできるよなぁ、と。

プログラミングできない。