ASAHIネット(http://asahi-net.jp )のjouwa/salonから。
---
　オライリー・ジャパン。まだプログラミング言語の本を出してくれている。ありがたいことです。
　ご祝儀で買わねば娘かのぉ。

https://www.amazon.co.jp/exec/obidos/ASIN/4873118557/showshotcorne-22/
プログラミングRust 単行本（ソフトカバー） – 2018/8/10
　電子書籍は、後述、オライリー・ジャパンの電子書籍一覧から買えます。

　オライリー・ジャパンにある紹介。目次や正誤表も。
https://www.oreilly.co.jp/books/9784873118550/
プログラミングRust
　本書に出てくるサンプルコードは、次にあります。
https://github.com/ProgrammingRust/examples
ProgrammingRust/examples

https://www.amazon.co.jp/exec/obidos/ASIN/4873118220/showshotcorne-22/
Go言語でつくるインタプリタ 単行本（ソフトカバー） – 2018/6/16
Thorsten Ball (著), 設樂 洋爾 (翻訳)
　電子書籍は、後述、オライリー・ジャパンの電子書籍一覧から買えます。

　オライリー・ジャパンにある紹介。目次も。
https://www.oreilly.co.jp/books/9784873118222/
Go言語でつくるインタプリタ

　原書「Writing An Interpreter In Go」のサイト
https://interpreterbook.com
Writing An Interpreter In Go
に行くと、関連書で、「Writing A Compiler In Go」があり、そのサイトもありますね。
https://compilerbook.com
Writing A Compiler In Go
　２つを同時に買うと、安くなりますね。

　オライリー・ジャパンで売っている電子書籍一覧。
　mobiは、Kindleで読めるフォーマット。
https://www.oreilly.co.jp/ebook/

　じゃじゃーん。
　「プログラミングRust」「Go言語でつくるインタプリタ」の電子書籍、買いました。＼(^O^)／

http://iiyu.asablo.jp/blog/2018/08/21/8947267
「作って動かすALife ―実装を通した人工生命モデル理論入門」、ドミニク・チェン、オートポイエーシス、ネオサイバネティクス、西垣通「AI原論」
で紹介した「作って動かすALife」のPDFがあったので、これも買いました。＼(^O^)／

　「プログラミングRust」の電子書籍、正誤表が反映されているかと思ったら、まだでした。電子書籍だけでも、すぐ反映してくれればいいのに。
　オライリー・ジャパンは、電子書籍に正誤表を反映したら、通知してくれるんだろうか。
　海外の出版社は、通知が来て、新しいバージョンをダウンロードできることが多いけど。

Go関連：
http://iiyu.asablo.jp/blog/2017/11/01/8718707
ラムダノート(LamdaNote)社の新刊「Goならわかるシステムプログラミング」「定理証明手習い」。テスト駆動開発(TDD)の限界、Formal Methods(形式仕様記述、形式手法)のことも。
http://iiyu.asablo.jp/blog/2016/10/01/8207327
プログラミング言語Go、みんなのGo言語、改訂2版 基礎からわかる Go言語
http://iiyu.asablo.jp/blog/2016/04/06/8066132
Effective Python, Pythonチュートリアル第3版, Go言語によるWebアプリケーション開発, スターティングGo言語
http://iiyu.asablo.jp/blog/2016/01/14/7990070
Go言語によるWebアプリケーション開発
http://iiyu.asablo.jp/blog/2014/08/28/7423307
プログラミング言語Go, Mastering Concurrency in Go


関連：
http://iiyu.asablo.jp/blog/2018/04/27/8834314
ハイパフォーマンスなデータサイエンス向けプログラミング言語Juliaのこと、続き。
http://iiyu.asablo.jp/blog/2016/09/14/8189207
いろいろなプログラミング言語で、安全な乱数の作り方

https://twitter.com/shownakamura/status/934166805244809216
Packtは、Black Fridayで10ドルセール中。おれ、Julia, Kotlin, Rust本を買った。

　おいおい、
http://iiyu.asablo.jp/blog/2017/11/01/8718707
ラムダノート(LamdaNote)社の新刊「Goならわかるシステムプログラミング」「定理証明手習い」。テスト駆動開発(TDD)の限界、Formal Methods(形式仕様記述、形式手法)のことも。
で、アマゾンのAWSなど各種サービスが、Formal Methods(形式仕様記述、形式手法)を使って作られたという話を書くといって、書いてないじゃん。そのうち、書こう。すみません。