アメリカ南部フロリダ州の刑務所で、受刑者の減刑を認めるうその文書に基づき、殺人の罪で服役していた男２人が誤って釈放され、再び拘束されるまでの１０日間以上にわたって行方が分からなくなる事態となりました。 事件が起きたのは、フロリダ州オレンジ郡の刑務所です。 この刑務所で、殺人の罪により仮釈放のない終身刑で服役していたジョセフ・ジェンキンス受刑者とチャールズ・ウォーカー受刑者について、刑期を「大幅に減刑する」とした公文書が提出されました。これにより受刑者２人は今月８日までにそれぞれ釈放されましたが、その後、受刑者の家族からの指摘で、文書は何者かが偽造したうその文書であることが判明しました。警察は、１９日になって受刑者２人を刑務所から４８０キロほど離れた町で拘束しましたが、その間、１０日以上にわたって行方が分からなくなる事態となりました。 釈放の発端となったうその文書は地元の裁判所が作成したもの

中国東北部のハルビンで、大気汚染物質ＰＭ２．５の濃度が正確に計測できないほど高いレベルに達し、地元政府はほとんどの学校を休校にしたのをはじめ、バスの運行を取りやめるなど生活への影響が広がっています。 中国東北部、黒竜江省のハルビンでは、２０日から大気汚染物質を含む濃いもやに覆われていて、夜になってＰＭ２．５の１時間当たりの平均濃度が多くの計測地点で１立方メートル当たり１０００マイクログラムを超え、正確に計測できないほど深刻なレベルにまで達しています。 ２４時間当たりの平均濃度でも、７５０マイクログラムを超えていて、中国が定める６段階の大気汚染のレベルで最もひどい「極めて重度の汚染」となっています。 このため、ハルビン市は、２１日朝、小学校から高校までの学校をすべて休校にしたほか、視界が５０メートルを下回っていることから、公共バスの運行を取りやめたり、運行本数を減らしており、生活への影響が広

iBus 1.5がUbuntu 13.10で採用されてから、あちこちから混乱の声が挙がっている。色々と議論を読んだ結果、ようやく、iBus 1.5の設計思想を理解したように思う。iBusでは、IMは常に有効になっているものなのだ。 IBus 1.5がUbuntu 13.10に投入されるまでの流れと現状 - いくやの斬鉄日記 結局IBus 1.5の何が問題なのだろうか。 - いくやの斬鉄日記 我々は日本語を入力する時、日本語IMEを使う。これは、日本語の文字があまりに多すぎるため、それだけの物理的なキーを用意することが現実的ではないからだ。そのため、キーボードからの入力を、IMEに変換させ、さらに漢字に変換している。 ところで、日本語中に半角英数を混ぜたい場合は、どうするだろうか。例えばこんなふうに、日本語のsentence中にEnglishを混ぜるルー大柴の芸のようなwritingをしたい

カリフォルニア州オークランドには700万ドルの連邦助成金が給付されている。本来その予算は銃声検知センサやナンバープレートの認識用カメラなどテロを防止するためのものだった。しかし、実際には警察が都市周辺部を調査監視するためのデータ収集に使用されているという。来年の夏に稼働予定のデータマイニング・システムを使用すると、警察は犯罪活動の証拠を捜すためソーシャルメディアの投稿を監視したり、通勤者が電子パスを使用した場合、料金支払い状況を追跡することが可能になるという（The New YorkTimes、SDTimes、本家/.）。 ニューヨーク市警でも約3,000台監視カメラ、ナンバープレートの認識用カメラ、放射線センサとテロ容疑者リストおよび犯罪者データベースをリンクする大規模なシステムを所有している。こうしたシステムは事件が存在しない場合には、データはどのように使用されるか分からないままビッグ

ラベルライターという道具がある。メーカーによって商品名は違うが、テプラやネームランドあたりがよく知られているだろうか。 シールのテープにきれいな文字を打ち出せる機械。資料や備品のわかりやすい管理のために、多くのオフィスに１台あるだろう。 そして、オフィスにありがちゆえに、下手に使うと妙な事務っぽさが出てくるとも思う。その違和感を確かめてみたい。

Accidentally Turing-Complete ― Andreas Zwinkau 本来なら、チューリング完全となるべきではなかったものがある。これは、そのようなうっかりチューリング完全になってしまったものの例である。 C++テンプレート 当初はチューリング完全を目指していなかったが、C++テンプレートはチューリング完全になってしまった。その証明は、この論文にある（PDF） x86 MMU x86のpage fault handlingは、単純なマシンの実装に使える。原理としては、page faultが1 wordをスタックに積み、それによりアンダーフローを起こして別のトラップを生成する。この仕組みは、「減算して0以下ならば分岐」処理を実現する。チューリングマシンを実装するには十分である。デモ動画、講演動画 マジック・ザ・ギャザリング マジック・ザ・ギャザリングはカードゲームであ