経済産業省は9日午前、東京電力福島第1原子力発電所の廃炉や賠償などの費用総額が21兆5000億円にのぼるとの見積もりを公表した。廃炉費用が8兆円に上振れしたことなどにより、これまでの想定の11兆円から倍増した。賠償費用の一部を新たに新電力にも負担させるようにして、巨額の事故処理費用を賄う。経産省が9日示した見積もりでは、廃炉は従来の2兆円から8兆円に、賠償は5兆4000億円から7兆9000億円
![福島廃炉・賠償費21.5兆円に倍増 経産省が公表 - 日本経済新聞](https://cdn-ak-scissors.b.st-hatena.com/image/square/ec5d270776a12e948a89a0afc662ec2bd10f3648/height=288;version=1;width=512/https%3A%2F%2Farticle-image-ix.nikkei.com%2Fhttps%253A%252F%252Fimgix-proxy.n8s.jp%252FDSXMZO1047555009122016000001-5.jpg%3Fixlib%3Djs-3.8.0%26auto%3Dformat%252Ccompress%26fit%3Dcrop%26bg%3DFFFFFF%26w%3D1200%26h%3D630%26s%3Dde3e53603ebb7b5cc78ae5884a365fea)
以前書いた(C言語についての) メモリ安全性について定義した記事 について、型安全性について説明する記事も投稿してほしいというコメントがありました。型安全性についてはかなりよく知られてきていると思いますが、ズバリこうだと簡単に定義できるほどにはまだ理解が浸透していません。特に誰かが”Javaは型安全な言語だ”と言った場合、これは厳密に何を意味するのでしょう。全ての型安全な言語はある意味”同じ”と言えるでしょうか。ある特定の言語について、そして一般的な意味で、あなたを悩ませる型安全性とは何でしょうか。 実際のところ、型安全性が何を意味するのかは言語の型システムの定義によります。最もシンプルなケースでは、型安全性はプログラムの動作が正しく定義されるように保証します。もっと一般的な話をすると(この記事ではそのあたりをカバーするつもりですが)、言語の型システムはそのプログラムの正確さと安全性を推論
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く