これ、書いてみます。まあ、比喩なので完璧なものでないことは断っておきます。Twitter / kururu_goedel: genericっていうのは、ぶっちゃけ「ground mod ...例えば何かリーズナブルなプログラミング言語にオラクルとしてなにか計算不可能な自然数から自然数…