プログラマーのための論理学 追加クレジット

今週はブダペストでのカンファレンス準備のためニュースレターはお休みだが、代わりに『Logic for Programmers』の補足資料を公開した。本には収まりきらなかった周辺的・技術的なトピックを4本の記事にまとめ、GitHubで入手可能。内容は並行プロセスの順序数計算、一階述語論理における関数の集合、Barbara Liskovの履歴規則、集合上の全順序と半順序について。未編集で荒削りな部分もあるが、約2,000〜3,000語の数学コンテンツとなっている。