やったこと

HFAを実装した

NFAに対して直接complementを取るのは難しいっぽい。不可能ではないのだろうけど、間違いなく工夫がいる。受理集合の対になる拒否集合みたいなのを作って、これが含まれないことを受理の条件にしなきゃいけない、みたいな。同様の理由でHFAに対して直接complementを取るのも難しい。よって否定後読みをHFAで実装するのは諦めた方が良さそう。

（ところでcomplementってどう訳すんだろう。集合論なら補集合だろうけど‥‥）

上記のことを実装することで確かめたので、あとはREwLB（否定後読み抜き）とそれから構築されたHFAが等価であることを示せれば良い。これがどうやってやったもんだか、って感じだけど‥‥。まあ一つ一つやっていくだけ。やっていき。

コミケに当選した

https://twitter.com/make_now_just/status/925996990751588352

がんばって準備します。

やることリスト。

• 本を作る。
  • 少なくともCrystalの本1, 2, 3をまとめた本を作る。
• crystal-jpのページを作る。がんばる。
• 本の告知ページも作る。がんばる。

多分全てやるのは無理。ゆるして。

インデントのやつ

https://github.com/crystal-lang/crystal/pull/5234

PR出した。

icrにシンタックスハイライトを実装した

https://github.com/crystal-community/icr/pull/70

実装した。1時間くらいでできた。余裕。

その他

明日はyとからのと二郎行く。行くったら行く!!