安定マッチングモデルに対する アルゴリズムの最近の進展