型システム入門 プログラミング言語と型の理論

著者:BenjaminC.Pierce

発売日:

出版社:オーム社

ISBN:

プログラミング言語の入門が終わったら何の勉強をすればいいの? - きしだのHatena

JJUG CCC 2022 Fallで「Javaの入門が終わったら何の勉強をすればいいの?」という内容で発表を行いました。 資料はこちらです とりあげた本についてまとめておきます。 開発作業について まず最初に、ユーザーは直接的にはコンピュータに載ったプログラムを動かすことでサービスを体験するので、プログラマが直接ユーザ...

大学生活の勉学まわりの回顧録

大学生活も終わりを迎えようとしているので、過去6年間の大学生活で勉強したことを大まかにまとめつつ振り返ろうと思います。 当時読んだ書籍に沿って書こうと思うので、タイトルを拾うことで僕と近しい進路の人が学ぶことの一例を垣間見えるかもしれません。 各本に付属する本文は思い出話で書評ではないので留意してく...