読者です 読者をやめる 読者になる 読者になる

あー

「型システム入門」二章の数学的な部分が全くもって分からず、この調子で読み終えることができるのだろうかという一抹の不安を覚えつつも三章を参照したところ、予想通り理解が困難であり、仕方なくまずは離散数学の勉強から始めることとした。