finish except ARENA

一応ARENAまでは訳し終わった．これから要約だ……