型クラスの多重継承やオーバーロード解決機能を考えるにあたって、「忘却グラフに追憶スパンをアタッチする」という定式化がいいような気がします。それを説明します。この記事は“とりあえず・取り急ぎ”書いたもので、自己完結的な解説にはなっていません。…