基本的な文法 TLA+は普通のプログラミング言語とは違って、どちらかというと数学に近い。そのため、Operandの意味が異なることが多い。さらにTLA+はすべてを集合と論理演算で表現する。これも会社のブログで書いたのでそのまま転記しとく。 dev.classmethod.…

Introduction まずは一回目のVideo講座。TLA+の目的や形式手法、擬似コード等基本的な内容について触れている。 会社のブログで書いたのでそのまま転記しとく。 dev.classmethod.jp

DebianのBackports Packageが削除された。 gihyo.jp lists.debian.org 海外でもいくつか話題になっている。 unix.stackexchange.com なぜDocker Buildに失敗するのか 今回はまさにこれを踏んだ。 サポート終了コンポーネントのアーカイブ削除に寄せて · Forg…