一対多型の安定結婚問題のpythonによる実装