安定結婚問題という有名問題を一から解説。全員がある程度幸せになれる「安定マッチング」を求めるGale-Sharpleyアルゴリズムとその動作例。