(図1)ロスアトムがCGで作成した放射性物質トリチウム除去装置 (1日480立方メートルの水の処理が可能、サイズ :50 – 51 – 46 m) (GEPR編集部より) ロシアの国営原子力会社ロスアトムが6月、トリチウムの自らの分離を、グループ企業が実現したと発表した。東京電力の福島第一原発では、炉の冷却などに使った水が放射性物質に汚染されていた。その水では特別な装置で大半の放射性物質の除去には成功したが、水と性質が似ているトリチウムの除去ができなかった。 この技術は、どの国もこれまで大規模には成功していない。トリチウムは、放射性物質であるものの有害性は少ないとされ、どの国でも、また日本の他の原発でも一定量の外部環境への排出は認められている。 しかし政府は風評と批判を恐れるためか、福島原発の処理では、理由を明確にしないまま、このトリチウムを含んだ処理水を、東電にため込ませ続けている。3月
CloudNative Days Tokyo 2020 で使用したスライドです。 バグのない分散システムの設計は果たして可能でしょうか? この問いに対する一つの答えとして、CockroachDB では形式手法ツール TLA+ を用いて分散トランザクションの正しさを担保しています。 形式手法はシステムの挙動を数学的に解析する技法で、「ノードが特定のタイミングで故障した場合にのみ発生するバグ」といった再現困難な問題を確実に検出することができます。 本講演では、CockroachDB の事例を通して、形式手法が実世界で活用されている様子をお伝えします。 イベント概要:https://event.cloudnativedays.jp/cndt2020 ブログ記事:https://ccvanishing.hateblo.jp/entry/2020/09/10/044848
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く