RAMP

RAMP原稿15ページに収まるかどうか不安だけど，とりあえずなんとかする方向で．
Section 3と4は大体書けて，1のイントロはどうしようか．今のところ2段落しかない．
2は多面体を定義するかどうか，とか，端折るか，とか，いろいろ悩ましい．
とりあえず，Section 5 (アルゴリズム) に突入．