本稿は「契約付マッチング(matching with contracts)」と呼ばれる理論とその応用を概説する.第一に,契約付マッチング理論の標準的なモデルと,応用上中心的な役割を果たす累積オファー・メカニズム(cumulative offer mechanism)を紹介する.第二に,それらのモデルおよびメカニズムの現実の事例への応用を解説する.第三に,累積オファー・メカニズムに依拠しない「無構造アプローチ」による理論研究を紹介し,その意義を論じる.