「abstraction elimination」の訳語で迷う。 googleに頼ってみる。google:"抽象除去"？ "抽象除去" の検索結果 約 11 件 うち二件は自分の書いたページだ。残りは中国語とフランスっぽいpdf。 google:"抽象簡約"？ "抽象簡約" の検索結果 約 67 件 しかし、…