型理論の検索結果1 - 1 件 / 1件

• あとで読む

  型理論を理解するためのロードマップ - きしだのHatena

  • 11 users
  • nowokay.hatenablog.com
  • テクノロジー
  • 2022/03/25

  基本的には少しずつオーバーラップしているはず。 「論理と計算のしくみ」はぜひ読んでほしいです。この本に論理の説明もあるので、先にこれを買って、わからなければさかのぼる感じでいいかも。 論理学に入門する 入門!論理学 (中公新書) 作者:野矢 茂樹中央公論新社Amazon 論理学をもすこし勉強する 論理学 作者:茂樹, 野矢東京大学出版会Amazon 計算とつなげる 論理と計算のしくみ (岩波オンデマンドブックス) 作者:萩谷 昌己,西崎 真也岩波書店Amazon プログラミング言語を学ぶ プログラミング言語の基礎概念 ((ライブラリ情報学コア・テキスト)) 作者:五十嵐 淳サイエンス社Amazon 壁にたちむかう これは、「プログラミング言語の基礎概念」で ものたりないって思ったときだけ手を出すくらいでいいです。 型システム入門 −プログラミング言語と型の理論− 作者:Benjamin C

  • article
  • programming
  • Book