大阪公立大学の研究室で保管されていた青酸カリなど毒性の強い2種類の薬品がなくなっていることがわかり、大学は盗まれたり誤って廃棄されたりした可能性があるとして警察に相談することにしています。 大阪 住吉区にある大阪公立大学によりますと、今月2日、工学研究科の教員が研究室にある薬品の保管庫を調べたところ、毒性の強いシアン化カリウム、いわゆる青酸カリ25グラムとシアン化ナトリウム25グラムをそれぞれ入れた瓶、合わせて2本がなくなっているのがわかったということです。 紛失した薬品は少なくとも大人160人分の致死量に当たるということで、いずれも実験に使う目的で購入されたもののこの10年ほどは使用された記録がなく、去年6月に点検したときには保管庫にあったということです。 研究室のある建物には日中は外部の人も出入りできますが、薬品の保管庫には鍵がかけられ、所属する教員と学生しか開けられないということです
Tagged Type(Branded Type)を使って飛行機の不時着や人工衛星紛失を防ごう / Scala 3ではTagged Typeを簡単に作れる - Lambdaカクテル
Tagged Type というテクニックがある（TypeScript界隈などではBranded Typeと呼ばれているようだ）。実行時の型としては同じだが、型システム上はこれを区別して別物として扱い、混同できなくする仕組みを作るためのものだ。 AIくん！サムネイラスト作って！と頼んで作ってもらった画像 Tagged Type 単位の取り違えによる事故は後を絶たない。世の中には、キログラムとポンドを混同して飛行機があわや墜落しかけたり、メートルとヤードを混同して人工衛星がどっかに行ったりしている。尊い人命や国民の血税と比べるといささか霞むかもしれないが、ユーザIDとペイロードを間違えて送信したり、金額と口座番号を取り違えて送金したり、秘密鍵と公開鍵を間違えて表示したりしてしまえば、プログラマが大変な苦労をするか、会社そのものが傾くだろう。 しかしながら、データとしてはどちらも同じDouble
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
大阪公立大 研究室で保管の青酸カリなど毒性強い2種の薬品紛失 | NHK
AppleとGoogle、紛失防止タグの悪用防止でタッグ
