仕事の休憩時間はご飯を食べたのち、散歩することが多いが、雨が降ってる時や気が乗らない時は数学の集合と論理を勉強してる。
『例題で学ぶ集合と論理』
今年の目標に数学の学び直しというのがあるのもそうだし、TaPL(型システム入門)の勉強会に出て数学的な土台に不安定さを欠いているため読み始めた。
実は去年の10,11月くらいに読み始めたんだけど、忙しくなって読むのをやめたので、今回は最後まで読み切りたい。
他には、型なしラムダ計算の動画をYouTubeで見ている。個人的に書籍の方が効率よく学習できると思っているが、理解度が低いうちは動画も有効だなと感じる。(個人差の問題)
ここら辺は一通りRubyのラムダ式で実装していって理解を深める。
仕事と違うプログラミングをすると頭がリフレッシュする気がする。