fetburner https://blog.hatena.ne.jp/fetburner/ fetburner.core https://fetburner.hatenablog.com/ OCaml 僕の所属する研究室では毎年Software Foundationsの輪講をやっているんですが，Brzozowski derivativeに基づいて正規表現エンジンを実装し，あまつさえCoqで検証してしまおうといった練習問題が追加されていて大変興味深かったです． 折角practicalなプログラムを書いたのにCoqの中に閉じ込めておくのも勿体ないですし， OCamlで同様の正規表現エンジンを実装し，実行速度を見てみようと思います． *1 2018/12/16 Brzozowski derivativeの定義に誤りがあったため修正 *1:Software Foundationsには"Please … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ffetburner.hatenablog.com%2Fentry%2F2018%2F10%2F18%2F223918" title="OCamlで正規表現を微分する - fetburner.core" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://chart.apis.google.com/chart?cht=tx&chl=u%5E%7B-1%7DR Hatena Blog https://hatena.blog 2018-10-18 22:39:18 rich https://fetburner.hatenablog.com/entry/2018/10/18/223918 1.0 100%