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

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

証明駆動

ソフトウェアの基礎、継続中

ソフトウェアの基礎、115ページまで。演習問題はoptional,recommendedであるものはやってません。多相性の部分はXをどこに置くのかはっきり理解しておらず、コンパイルエラーが起きているので後回しに。先に高階関数のほうに進みます。 いずれは証明駆動開発…

夏期休暇にやりたいこと

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