プログラマーのための論理学 v0.15、ライブコーディングの話
「Logic for Programmers」の初のリリース候補版v0.15が公開された。すべての内容が確定し、コピー編集と校正も完了。次は1.0として印刷版が登場する。また、手首を痛めてニュースレターが書けない代わりに、シカゴで開催されたライブコーディング音楽のミートアップで紹介されたStrudel（JavaScript DSL）やCLAVIER-36（2次元グリッドの特殊言語）といった言語を推奨している。
背景メモ
- Hillel Wayneはソフトウェアエンジニア兼技術書作家。形式手法（フォーマルメソッド）の解説で知られ、前作『Learn TLA+』で実務者向けに理論を翻訳した実績がある。
- 『Logic for Programmers』は「プログラマのための論理学」教科書。通常の数学／CSの論理学入門とは異なり、実用的な仕様記述や検証を意識した内容で、同書はまだ執筆中のアーリーアクセス版。
- Livecoding（ライブコーディング）は、コードをリアルタイムに書き換えながら音楽や映像を生成するパフォーマンス手法。特に音楽分野では「Algorave」と呼ばれるジャンルがある。
- Strudelはブラウザ上で動くJavaScriptベースの音楽ライブコーディング環境。元はHaskellのTidalCyclesという成熟したフレームワークをJSに移植したもの。
- CLAVIER-36（C36）は2次元グリッド上にノードを配置してプログラムを記述するビジュアル言語。Orcaという同名のグリッド型ライブコーディング言語に触発されている。
- ライブコーディング言語は、同じ音楽出力を目指しても「テキストかグリッドか」「関数型か手続き型か」「即時実行かループか」など設計の自由度が極めて高く、言語設計のミニマルな実験場としても注目される。