同人誌: 進捗大陸02

紹介

2017年10月分の技術書典駆動開発にて生成された進捗をまとめた本です。

参加イベント開催日スペースサークルページ
技術書典32017/10/22お16進捗大陸
  • 物理版(紙媒体) 500円
  • booth版(pdf) 300円

内容

タイトル著者詳細
自作言語RillとWebAssembly@yutoppLLVMを使ったWASMサポートとランタイム移植の話
再帰を持つ関数型言語の符号解析@youxkei抽象解釈を使って関数型言語の符号を解析するpart2
証明付き分散システムを作ろう!@amutakeCoqの分散システム実装フレームワークVerdiの紹介

謝辞