2018-12-16: 4869とてらちーと会った
やったこと
記憶が飛ぶ
最近先読み付き正規表現の微分について考えすぎだと思う。
日記を書くのを忘れる。まあそれについて考えてただけだが。
そろそろ一段落ついたつもりなので落ち着いていきたい。
言語実装Advent Calendar 2018の16日目を担当した
https://makenowjust-labo.github.io/rewla/langimpl-ac2018.html
うおおおお。書いたぞ!!
と調子にのって新屋さんに報告したりした。ただ、少なくとも証明は間違ってないはずなので問題ないと思う。
参考文献が無いのは手抜き。というかMarkdownで参考文献書くの時間かかるからちょっと待って。
どうも、一ヶ月くらい前に東工大の南出研から先読み付き正規表現の微分についての発表があったらしい。普通に勉強会で発表しただけなのでペーパーが無く詳細がよく分からない。とりあえず南出先生にメールを送ってみたけど見てもらえるか分からない。新屋さんにも何か聞いてみるべきだろうか?
4869とてらちー氏と会った
4869が人生相談みたいなことをしていた。酒を飲んでいたので微妙にテンションが高かったが。HUB行ったりねぎし行ったりした。やはり牛タンはうまい。
とりあえず4869はプログラミング言語を作ってほしい。