読みたい積読一覧

tundoku.md

• 動かして学ぶ量子コンピュータプログラミング https://www.oreilly.co.jp/books/9784873119199/
• Rubyのしくみ https://shop.ohmsha.co.jp/shopdetail/000000004065/
• 定理証明手習い https://www.lambdanote.com/products/littleprover
• 計算理論の基礎 原著第２版 ①オートマトンと言語 https://www.kyoritsu-pub.co.jp/bookdetail/9784320122079
• n月刊ラムダノート　シリーズ https://www.lambdanote.com/collections/n
  • Vol1のNo.2とNo.3を持ってます。揃えたい。
  • ラムダノート社の直販サイトで本を買うとき、n月刊ラムダノートを一緒に買うと送料無料になります。
  • ラムダノート社の本は、直販サイトで買うとpdfの電子書籍版が無料で付いてきます！うれしい！
• みんなのデータ構造 https://www.lambdanote.com/products/opendatastructures
• プログラミング言語の基礎概念 https://www.fos.kuis.kyoto-u.ac.jp/~igarashi/CoPL/
• プログラム意味論の基礎 https://www.saiensu.co.jp/search/?isbn=978-4-7819-1483-1&y=2020#detail
• 純粋関数型データ構造 https://asciidwango.jp/post/160831986220/%E7%B4%94%E7%B2%8B%E9%96%A2%E6%95%B0%E5%9E%8B%E3%83%87%E3%83%BC%E3%82%BF%E6%A7%8B%E9%80%A0
• プログラミングElm https://book.mynavi.jp/ec/products/detail/id=120921
• 並行プログラミング入門 https://www.oreilly.co.jp/books/9784873119595/