設計だってテストしたい! 【本書の内容】 本書は Hillel Wayne, "Practical TLA+", Apress, 2018 の邦訳版です。 複雑精緻なシステムを構築する際に、設計そのもの、仕様そのものにバグがないかをテストできたら、もう少し幸せな開発人生を送れそうな気がします。 本書は送金システムの小規模な仕様からTLA+を使ってヤバいバグを発見するところから始まります。この小さなサンプルをもとに、より良いアプリケーションの設計・テスト・構築に、どのようにTLA+を使えばよいかを理解し、実際のプロジェクトに援用できるよう、TLA+の演算子、論理、関数、PlusCal、モデル、および同時実行の基礎を学びます。 設計図の整理の仕方、分散システムや最終的な整合性の指定の仕方を学んだら、アルゴリズムのパフォーマンスやデータ構造、ビジネスコードやMapReduceなど、さまざまな実用
※ 8月2日版(anond:20210802194616)を公開しました。 東京の感染者数を5週間ぶん予測した (6月21日版) から (7月19日版) に至る記事の続き。まえがきは初回(6月21日版)の記事でご覧ください。 まず、最初の6月21日の予測から5週が経過したので、全体を振り返っておきます。6月21日版予測 現実 差 ~6月27日 3,368 3,342 -0.8% ~7月04日 4,679 4,074 -12.9% ~7月11日 6,642 5,137 -22.7% ~7月18日 9,642 7,478 -22.4% ~7月25日 12,482 10,175 -18.5% 期間合計 36,813 30,146 -18.1% あとでも触れますが、~7月25日の週は連休の減少を考慮していないため、予測との差は1000人ほど縮まります。また、これまで何度か触れてきたように、本予測の
加藤勝信官房長官が、菅義偉政権が発足した昨年9月に官房長官となってから、今年3月末までに7億円超の内閣官房機密費(報償費)を支出したことが分かりました。このうち6億6800万円(93%)が、長官が自由に使える領収書不要の「政策推進費」でした。本紙が入手した情報公開資料で判明したもの。その手法からは3月に多額の「政策推進費」を使う点など、前任の官房長官だった菅首相との共通点がみえてきました。(矢野昌弘) 官房機密費は会計検査院にも支出先を明らかにしない“使途秘匿金”です。機密費には、3類型(図参照)があります。このうち「政策推進費」は、官房長官に渡した時点で“支出完了”となります。加藤氏しか使い道を知らない最もヤミ金の要素が大きい金です。 加藤氏は昨年9月16日に官房長官に就任。菅氏が「政策推進費」の金庫に残した4200万円を同月中に使い切ったのを皮切りに、毎月9000万円前後を支出していま
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く