2012-02-28から1日間の記事一覧
付録A.5 の小さなケーススタディからA.5.1 の Unix ファイルシステムは 10個のアドレスを扱うというのが Alloy の設定でデフォルト 4bit までしか扱えないので断念(設定で増やせると思いますが)。 A.5.2 の鉄道のスイッチングをやってみます。 A.5.2 (a), (b…
付録A.5 の小さなケーススタディからA.5.1 の Unix ファイルシステムは 10個のアドレスを扱うというのが Alloy の設定でデフォルト 4bit までしか扱えないので断念(設定で増やせると思いますが)。 A.5.2 の鉄道のスイッチングをやってみます。 A.5.2 (a), (b…