進捗大陸02

進捗大陸02

  • Digital
    300 JPY

2017年10月分の技術書典駆動開発にて生成された進捗をまとめた本です。 内容 @yutopp 自作言語RillとWebAssembly LLVMを使ったWASMサポートとランタイム移植の話 @youxkei 再帰を持つ関数型言語の符号解析 抽象解釈を使って関数型言語の符号を解析するpart2 @amutake 証明付き分散システムを作ろう! Coqの分散システム実装フレームワークVerdiの紹介 https://yutopp.github.io/shinchoku-tairiku-web/02

About shipping
Shipped from warehouse

These products are shipped from BOOTH warehouse as soon as payment is confirmed.

Shipped from home

These products are packed and shipped from the seller. "Ships within ~ days" are the estimated number of days from when payment is confirmed at BOOTH until the item is shipped.
Items shipped by Anshin-BOOTH-Pack will be delivered anonymously.

Download item

You will be able to download these products from "Purchase History" at any time after payment is confirmed.

Shipped from pixivFACTORY

These products are manufactured and shipped by pixivFACTORY as soon as payment is confirmed.

2017年10月分の技術書典駆動開発にて生成された進捗をまとめた本です。 内容 @yutopp 自作言語RillとWebAssembly LLVMを使ったWASMサポートとランタイム移植の話 @youxkei 再帰を持つ関数型言語の符号解析 抽象解釈を使って関数型言語の符号を解析するpart2 @amutake 証明付き分散システムを作ろう! Coqの分散システム実装フレームワークVerdiの紹介 https://yutopp.github.io/shinchoku-tairiku-web/02