atzy

そういえば、正則表現Rに対応するFlowRegex が受理するというかマッチする集合をF(R)とした時に、Rに対する正則集合である L(R) がF(R)と等しいことの証明を書いていなかった気がしますね。 証明の道筋は構造的帰納法だけど、直感的には問題なく示せそう。 というか、証明を書いた記憶もかすかにある。

世の中に正規表現が好きな人が少なからずいることを知ったのが昨日の一番の収穫かもしれない。

多分背後にはないかな…。当初考えていただけで、最終的にできあがったものは似ても似つかなものになった気がする。

生成AIもこの正規表現構成についての議論ですぐに不動点を持ち出してきたんだよね。

昨日の Nextbeat Tech Bar：「楽しい正規表現」で登場していた @atzyyama さんの FlowRegex をきちんと理解したので共有。クリーネ閉包についての構成が、冪集合に包含関係で順序を入れた束を考えたときのクリーネの不動点定理として表せると教えてくれた @mit00042 に感謝。 github.com/hsjoihs/flowre…

m3tech.blog/entry/2025/06/… 昨日発表した正規表現(flowregex)のコードやreadmeはこの形で生成AIによって作成しています。 理論面についてもかなりGemini 2.5の検討をしました。 #Nextbeattechbar

電波の届かないところに数時間缶詰めになってる。今は例外的に届いた…。

#Nextbeattechbar 参加してみました。

めちゃくちゃ急いで帰宅した。今日はちょっとした発表があるので遅れるわけにもいかず。

感覚的にはこの程度の工数でイケる、ってのが大きく外れると老いを感じる。 変な実装を見て毒されたのもあるけれど、生成AIのせいでもあるかも。

色々やりすぎて何やってるのかわからなくなってきた。

gemini-cli / claude codeを使ってるんだけど、日本語での会話がしづらい気がする。 大抵、OKとかsureとかI've got it とかで済むせいもあって、そのまま英語で指示をしている。

どんどん深遠な話に進んでいく。

多くのセキュリティ製品・サービスについて言えることだけど、利用者側が品質を確認するのは難しく、提供者側と利用者側の情報量に大きな非対称性がある典型的なレモンマーケット。なので価格や利便性のようなわかりやすい条件だけを優先してサービスを提供していると市場として品質が劣化する方向に働

ゼビウスのあれはどうなんだろ。