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

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

まだありました

夏休みにやりたいこと、まだありました。


以前購入して流し読みして放置していた、「テスト駆動開発」の写経を再開したい。


こうして見ると、「時間があるから大規模なプログラムを作りたい」という感じではなく、「この機会に知識を蓄えたい」という方向に偏ってますね。基礎も大事だけどコーディング力も大切なはずなので、何か作りたいです


競技プログラミングのうち、特にTopCoderは半年以上離れていて、きちんとリハビリしないとまったく問題が解けない状態です。(もともと灰コーダー底辺ですが…)
C++全然やってない…