<div class="dln" itemprop="articleBody"><div class="shdw top"> </div><div class="mbd Tw" data-URL="https%3A%2F%2Ftwitter.com%2Fyuki_obuchi%2Fstatus%2F1589876005078192129"></div><div class="mbd Tw" data-URL="https%3A%2F%2Ftwitter.com%2Fyuki_obuchi%2Fstatus%2F1589878175068487680"></div><div class="mbd Tw" data-URL="https%3A%2F%2Ftwitter.com%2Flotz84_%2Fstatus%2F1570396786728259585"></div><p>接触元 <a class="URI" href="https://misskey.io/notes/97boowmf71" target="_blank" rel="noopener nofollow ugc">https://misskey.io/notes/97boowmf71</a>
</p><div class="shdw btm"> </div><button type="button" class="mxmz icn_ btn_mxmz"></button></div>

正規表現を微分

<div class="dln" itemprop="articleBody"><div class="shdw top"> </div><p><a class="URI" href="https://arxiv.org/abs/2208.14724" target="_blank" rel="noopener nofollow ugc">https://arxiv.org/abs/2208.14724</a>
</p><div class="shdw btm"> </div><button type="button" class="mxmz icn_ btn_mxmz"></button></div>

『Monadic Expressions and their Derivatives』

<div class="dln" itemprop="articleBody"><div class="shdw top"> </div><p>おもろ
</p><h3>接触元</h3><p>2022-11-08
</p><p><a class="oln" data-kno="K#EDD2/7731" href="/7731" rel="nofollow"><img class="icon" decoding="async" src="/KNo.EDD2?icon" width="16" height="16">正規表現を微分</a>
</p><blockquote><p>正規表現に文字列がマッチするか判定するアルゴリズムの一つに&quot;正規表現を文字列によって微分した結果が空文字列を含むかを確認する&quot;というものがある。この正規表現を微分する方法はいくつか提案されているが圏論におけるモナドを使って統一的に理解することができる
</p><footer><span class="dmdsh">──</span> <a class="URI" href="https://twitter.com/lotz84_/status/1570396786728259585" target="_blank" rel="noopener nofollow ugc">https://twitter.com/lotz84_/status/1570396786728259585</a></footer></blockquote><div class="shdw btm"> </div><button type="button" class="mxmz icn_ btn_mxmz"></button></div>

t_wの輪郭

正規表現を微分

『Monadic Expressions and their Derivatives』

正規表現の合致性をその微分によって確かめる

接触元