グラフの同値性判定の実用例（名前が違うだけで全く同一の振る舞いをする関数を見つけてマージする）
public.icon
/emoji/twitter.icon グラフの同値性判定の実用例（名前が違うだけで全く同一の振る舞いをする関数を見つけてマージするという最適化）。関数呼び出し関係というのがグラフになるので、グラフにおける同値性判定問題になる。 https://t.co/UGyHkOucy7
@rui314rui314.icon August 23, 2021
ちなみにrui314がやってるリンカのことは何もわからない
名前が違うだけで全く同一の振る舞いをする関数を見つけてという文脈が、今のcivichat-langの課題と同じような気がした
/emoji/twitter.icon 2つの関数について（無限に深いかもしれない）コールツリーを作ったとして、コールツリーの形と、コールツリーのそれぞれのノードのマシンコードが同じなら、その関数は全く同じ振る舞いをするので、同値ということにする。
@rui314rui314.icon August 23, 2021
名前は違うけど、同じ振る舞いをする
冪等性に近そうyuiseki.icon
APIの文脈で出てくる概念なのかtkgshn.icon