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

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

ソフトウェアの基礎

今日は8月に入って初めての、予定がまったく入っていない日でした。 自分で設定した、夏休みの課題を推めることにしました。・TAPL 読み始めると(遅々ながら)のめり込むことができる。でも、とっかかりが難しい。というわけで、今日はTAPLは進まなかった(意…

TAPL読み始めました

ようやく夏休みです。夏休みにやりたかったことの1つである「TAPLの読み進め」を始めました。 Prefaceは必要そうな部分をざっと読み、1章に入りました。2ページの上半分でストップ。単純に日割すると一日8~10ページなのですが、この調子だと達成は難しそうで…

本を買いました

忙殺されていて、最近コーディングできていません。ブログの更新がないのが何よりの証拠です。コーディングしてたら何かしら疑問点や成果があってブログに書くはず。 夏季休暇に読むために買った本をメモ・『すごいHaskellたのしく学ぼう!』 (Miran Lipovac…