プロキシコントラクト

元々「データが可変でコードが不変」だが、「コードに対するポインタ」を書き換えることによって実行内容を可変にする

ということだと思うので後で確認する