円城塔（『烏有此譚』で第32回野間文芸新人賞受賞）流のスペースオペラか？　壮大にしてリリカルな宇宙（？）SF短編。SF界屈指の翻訳者/書評家・大森望の責任編集でお届けするオリジナル日本SFアンソロジー『NOVA1』（全11編）の分冊版。「Beaver Weaver」（解説：大森望）に併せて、「序」（大森望）収録。【作品冒頭】　千年後に目覚めたという夢から覚めて百年後にいる。　こんなことは海狸（ビーバー）の仕業に決まっているので慌てない。　百年前と何も変わらぬ様子の部屋を横切り、冷蔵庫の扉を開けて、内部が円筒形の物体に満たされているのを観察する。ビールの缶と、ビタミンらしきアルファベットの記された缶。ビタミン from A to Z。ビタミンA0からビタミンZωまで。ビールの缶はのっぺら坊に銀色に光り、ビタミンの缶はそれぞれ伊派手に塗られている。多分間違えて呑まないように。　ビールの缶がただの銀色の円柱ならば、何故それがビールだなんてわかるのか。ビールだからに決まっている。伊派手っていうのは何...

設計だってテストしたい！【本書の内容】本書はHillel Wayne, "Practical TLA+",Apress, 2018の邦訳版です。複雑精緻なシステムを構築する際に、設計そのもの、仕様そのものにバグがないかをテストできたら、もう少し幸せな開発人生を送れそうな気がします。本書は送金システムの小規模な仕様からTLA+を使ってヤバいバグを発見するところから始まります。この小さなサンプルをもとに、より良いアプリケーションの設計・テスト・構築に、どのようにTLA+を使えばよいかを理解し、実際のプロジェクトに援用できるよう、TLA+の演算子、論理、関数、PlusCal、モデル、および同時実行の基礎を学びます。設計図の整理の仕方、分散システムや最終的な整合性の指定の仕方を学んだら、アルゴリズムのパフォーマンスやデータ構造、ビジネスコードやMapReduceなど、さまざまな実用的な問題にTLA+を適用し、ケーススタディのアプリケーションを使って実践します。

This book is designed for young readers. This book may be helpful to students who are learning multiple languages. This book presents information about U.S. local law enforcement work in English, Japanese, and Traditional Chinese, which allow the students to make quick comparisons between the languages.Featuring colorful illustrations to support the text.Ebook available from Kobo, Apple Books and Barnes & Noble