57年前、静岡県で一家4人が殺害された、いわゆる「袴田事件」で、無罪を主張しながらも死刑が確定した、袴田巌さんについて、東京高等裁判所は再審=裁判のやり直しを認める決定をしました。有罪の根拠とされた証拠について、決定は「捜査機関が隠した可能性が極めて高い」と、“ねつ造”の疑いに言及しました。 袴田巌さん(87)は、57年前の1966年に今の静岡市清水区で一家4人が殺害された事件で、死刑が確定しましたが、無実を訴え、裁判のやり直しを求めています。 9年前、静岡地方裁判所が再審を認める決定を出し、袴田さんは死刑囚として初めて釈放されましたが、その後の東京高裁は一転して再審を認めず、さらに最高裁が審理が尽くされていないと判断したことから、東京高裁で再び審理が行われる、異例の展開をたどっていました。 最大の争点は、逮捕から1年以上あとに現場近くのみそタンクから見つかった衣類についた血痕の色の変化で
Unix系OSでのIPCの手段として提供されている機能の中にメッセージキューという機能があります。 この機能はプロセス間のデータの受け渡しに便利ですが、そもそもプロセス間通信とかたまにしか使わないので備忘のためまとめておきたいと思います。 目次 目次 メッセージキューとは APIの簡単な説明 初期化 送受信 キューの削除 メリットとデメリット メリット キューであること 優先度が指定できる 送信と受信の呼び出し順を意識しなくてよい 送信側が待たされない 送受信ともタイムアウトが指定できる socketより気軽に使える デメリット C言語以外での実装があまりされていない 双方向性がない システムコールがデフォルトで有効化されていないことがある サンプルコード Linuxでの実装 まとめ 追記 メッセージキューとは プロセス間通信の手法の1つです。 メッセージキューに関する注意点として、Sys
LinuxコンテナをFreeBSDで動かす「Linux containers on FreeBSD」、containerd 1.7.0で正式サポート コンテナランタイムのもっとも代表的な実装としてCloud Native Computing Foundation(CNCF)が開発を主導するのが「containerd」です。 その最新版として3月11日付でリリースされた「containerd 1.7.0」に「Linux containers on FreeBSD」が正式な機能として組み込まれました。 Linux containers on FreeBSDは、LinuxコンテナをFreeBSD上で実行する際に、FreeBSDのファイルシステムの代わりLinuxファイルシステムにマウントする機能だと説明されています。 FreeBSD上でLinuxコンテナを実行可能に FreeBSDには以前からシ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く