2014-01-12から1日間の記事一覧
オンライン演習システムのおかげでようやく、型理論が分かってきました。 身に付いて来たといったほうがいいのかな。知識としてあるだけではなくて、実際に手を動かさないと覚えないんですね。 逆に言えば手を動せば覚えは速い。でもさすがに、大きすぎる計…
オンライン演習システムのおかげでようやく、型理論が分かってきました。 身に付いて来たといったほうがいいのかな。知識としてあるだけではなくて、実際に手を動かさないと覚えないんですね。 逆に言えば手を動せば覚えは速い。でもさすがに、大きすぎる計…
