タグ

2024年2月21日のブックマーク (2件)

  • 3万2768時間が経過して発生した石巻市戸籍情報システムの障害についてまとめてみた - piyolog

    2024年2月14日、宮城県石巻市は2023年9月に発生したシステム障害について原因がSSDの重大なファームウエア不具合であったと公表しました。ここでは関連する情報をまとめます。 重大な不具合情報が共有されずシステム障害発生 2023年9月当時にシステム障害が発生したのは石巻市庁内で稼働する戸籍情報システム。システムが稼働するサーバー上で使用していたSSDの不具合によりバックアップサーバーを含めてシステム停止が起こり、市役所やコンビニなどで戸籍証明書の発行が行えない事態となった。2日後には最新の戸籍証明書の写しは発行できるようになった*1ものの、完全復旧(除籍や改製原戸籍の証明書発行)には約1か月(2023年9月20日~2023年10月18日)を要することとなった。 障害影響が長期化した理由として、市は当該システム上で取り扱うデータが戸籍にかかわるもので、復旧方法および突合などに万全を期

    3万2768時間が経過して発生した石巻市戸籍情報システムの障害についてまとめてみた - piyolog
    razokulover
    razokulover 2024/02/21
    時限爆弾だ…
  • 数理科学2012年3月号No.585 特集:「量子を操る」 - 拡がりゆく量子の不思議な姿 - 株式会社サイエンス社

    内容詳細 デザインレシピを用いてプログラミングに必要な思考法を学び,メトロネットワーク最短路問題を解きながらデータ構造とアルゴリズムを身につける,関数型言語OCamlによる入門者のための教科・参考書. ご注文に際しての注意事項 ×プリントアウト ×注文キャンセル ~この商品は電子書籍です.電子書籍についてのご利用案内を必ずご確認ください.~ 第1章 はじめに 1.1 デザインレシピ 1.2 使用する言語 1.3 準備 1.4 参考となる資料 第2章 基的なデータ 2.1 整数 2.2 実数 2.3 文字列 2.4 真偽値 2.5 そのほかのデータ 第3章 変数の定義 3.1 変数の必要性 3.2 変数定義の構文 3.3 変数の実行方法 3.4 ほかの言語の変数との違い 第4章 関数の定義 4.1 関数定義の必要性 4.2 関数定義の構文 4.3 関数の型 4.4 型推論と型チェック 4.

    数理科学2012年3月号No.585 特集:「量子を操る」 - 拡がりゆく量子の不思議な姿 - 株式会社サイエンス社