プログラミング好きの備忘録

関数型言語とか、証明とか

Hoare論理

夏期休暇にやりたいこと

やるべきことがあるときに限って、そうじゃないことが捗る… 試験前の掃除、とか。発端を忘れてしまいましたが、気になる単語からリンクを飛んでいった結果、やりたいことが浮かび上がってきました。 ・圏論の本を読む 途中挫折の可能性もありますが、とにか…