実践TLA+ | 翔泳社
設計だってテストしたい！ 【本書の内容】 本書は Hillel Wayne, "Practical TLA+", Apress, 2018 の邦訳版です。 複雑精緻なシステムを構築する際に、設計そのもの、仕様そのものにバグがないかをテストできたら、もう少し幸せな開発人生を送れそうな気がします。 本書は送金システムの小規模な仕様からTLA+を使ってヤバいバグを発見するところから始まります。この小さなサンプルをもとに、より良いアプリケーションの設計・テスト・構築に、どのようにTLA+を使えばよいかを理解し、実際のプロジェクトに援用できるよう、TLA+の演算子、論理、関数、PlusCal、モデル、および同時実行の基礎を学びます。 設計図の整理の仕方、分散システムや最終的な整合性の指定の仕方を学んだら、アルゴリズムのパフォーマンスやデータ構造、ビジネスコードやMapReduceなど、さまざまな実用
東京の感染者数を5週間ぶん予測した (7月26日版)
※ 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人ほど縮まります。また、これまで何度か触れてきたように、本予測の
内閣官房機密費で加藤氏/年度末使い切る“菅流”踏襲/領収書不要の政策推進費が９３％
加藤勝信官房長官が、菅義偉政権が発足した昨年９月に官房長官となってから、今年３月末までに７億円超の内閣官房機密費（報償費）を支出したことが分かりました。このうち６億６８００万円（９３％）が、長官が自由に使える領収書不要の「政策推進費」でした。本紙が入手した情報公開資料で判明したもの。その手法からは３月に多額の「政策推進費」を使う点など、前任の官房長官だった菅首相との共通点がみえてきました。（矢野昌弘） 官房機密費は会計検査院にも支出先を明らかにしない“使途秘匿金”です。機密費には、３類型（図参照）があります。このうち「政策推進費」は、官房長官に渡した時点で“支出完了”となります。加藤氏しか使い道を知らない最もヤミ金の要素が大きい金です。 加藤氏は昨年９月１６日に官房長官に就任。菅氏が「政策推進費」の金庫に残した４２００万円を同月中に使い切ったのを皮切りに、毎月９０００万円前後を支出していま
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Gr\"obner deformation and $F$-singularities
