の集合が実は関数であることが示せることが頭でわかった。証明はやってない。 述語論理の形式モデルの実装が進んだ。前述Variableの問題はホルダークラスを実装して回避した。 あと緑diffを2個解いた(Triangle と Rain Flows into Dams)。 ほかはなんもやっ…