現代数理論理学序説は今α同値をやっています。次の(本には証明の書かれていない)定理の証明が存外手間がかかったので記しておきます。 補助定理1.2.32(2) (の⇒の部分) V(λxy.MN)に属さない任意の変数zに対してλx.M ≡α λy.N ⇒ [z/x]M ≡α [z/y]N この定理は次…

3DSのソフト一覧から安いものだけを表示して、安い順にソートして、印刷用に見た目を調整するスクリプト。 検索結果を開いて、URLに&limit=1000などと追加して全件表示して、以下のスクリプトをFirebugで実行する。 function price(x) x.querySelector(".pri…