ダブルランク最小化アルゴリズムのクラスの収束 | Synapse