pandaman64 https://blog.hatena.ne.jp/pandaman64/ 井山梃子歴史館 https://pandaman64.hatenablog.jp/ そろそろ懐が寂しいので終わりです。ご協力ありがとうございました！Lean 4で作っている正規表現エンジンを、もっと便利で実用的なライブラリにするために、一緒に開発・証明してくれる仲間を募集しています。せっかくなので、今回はいくつかのIssueにバウンティを設定してみることにしました。github.comLeanや形式検証に興味がある方、Unicode周りが好きな方、正規表現エンジンの内部に触れてみたい方ならどなたでも歓迎です。 取り組む Issue は自由に選べますし、実装方針の相談やレビューは気軽にどうぞ。必要なら背景説明や資料も用意します。 報酬について 対象 Issue を解決して PR… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fpandaman64.hatenablog.jp%2Fentry%2F2025%2F11%2F30%2F215834" title="【終わり】正規表現エンジンの実装と形式検証を手伝ってくれる方を募集します（報酬あり！） - 井山梃子歴史館" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2025-11-30 21:58:34 rich https://pandaman64.hatenablog.jp/entry/2025/11/30/215834 1.0 100%