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