安定マッチングへの分権的プロセスと知識の役割 上圷宏史