というわけでまた本を発注しました。
計算論読んでて集合論の知識不足を感じたので集合の本を。
最近λ計算とか圏論とかに興味を持ってるものの前提知識不足で全然理解が進みません。来年四月ぐらいにわんくま勉強会 in 東京でλ計算の話しようかと思っているのに間に合うんでしょうか。
会社ブログで書けないあんなことやこんなことを書いちゃいますよ
というわけでまた本を発注しました。
計算論読んでて集合論の知識不足を感じたので集合の本を。
最近λ計算とか圏論とかに興味を持ってるものの前提知識不足で全然理解が進みません。来年四月ぐらいにわんくま勉強会 in 東京でλ計算の話しようかと思っているのに間に合うんでしょうか。