報告会
学生１：均衡モデルに興味をもってくれた（もたせた，というのが正しいか）ようなので，まずは利用者均衡モデルの等価最適化問題と potential game の関係を理解してもらうことに．
学生２：後日打合せ→DUE/DSO/DUE+通行権市場 の potential game としての解釈．
学生３：合同輪講打合せ．Strategy proof の証明は，以下の２つをきちんと説明すればいいはず：
- WTP よりも低い額を入札する場合，入札額を上げるインセンティブはあっても下げるインセンティブはない(ie. 入札額↑で勝率↑だが，入札額↓でも支払額は変わらない)．
- WTP よりも高い額を入札する場合，入札額を下げるインセンティブはあっても上げるインセンティブはない(ie. 入札額↓で利得↑だが，入札額↑でも勝率は変わらない)．
