RHELやCentOSをインストールするとデフォルトインストールされるmicrocode_ctl。 長らく何なのかわからなかったのだが、最近コレの正体がわかった。 これね。 [root@localhost ~]# chkconfig --list |grep micro microcode_ctl 0:off 1:off 2:on 3:on 4:on 5:on 6:off 実はソフトウェアにバグがあるように、CPUのようなハードウェアにもバグがある。 昔はこういったCPUバグはコンパイラが回避するようになってたらしいけど、最近ではIntelが修正パッチを出していて、OSの起動時にこのパッチをかぶせることで、このバグを一時的に修正できるようになっている。 当然CPUのバグとは回路の不具合なので、このパッチで恒久的な対策がされるわけではなく、毎回OS起動時に適用させてやる必要がある。 そのパッ

はてなアプリケーションエンジニアの id:takuya-a です。 この記事では、Microsoft の検索エンジン Bing で採用された BitFunnel アルゴリズムを紹介します。 昨年のエンジニアアドベントカレンダーでは、文字列検索のアルゴリズム全般について紹介しました（文字列アルゴリズムの学びかた - Hatena Developer Blog）。今年はそのなかでも、インデックス（索引）を使った全文検索アルゴリズムについてのお話になります。 この記事の前半は全文検索の入門にもなっていますので、検索技術になじみがない方にも楽しんでいただけるのではないでしょうか。 逆に、「そんなのもう知ってるよ！」という方は、本題である「BitFunnel アルゴリズムの詳細」から目を通していただければと思います。 この記事は、はてなエンジニア Advent Calendar 2017の21日目の

はじめに プログラミングにおいてローマ字（表記）の知識が必要になる状況があります。識別子の命名にローマ字を用いるときや、かな文字をローマ字に変換するプログラムを作るときなどです。しかし、今は学校でローマ字をきちんと教えないので、ローマ字を正しく理解している人は極めて少ないのが現状です。そこで、プログラマーが知っておくべきローマ字の基礎知識をまとめました。簡単なサンプルコードもあります。お役立てください。 こにしまさみ編「NINGYOHIME」教学研究社 ローマ字の概要 ローマ字とは ローマ字とは日本語を記述する方法の一種で、日本語をABCで書く方法です。または、その方法で書かれた日本語です。「ローマ字」はもともと文字の名前ですが、ここでいうローマ字は「ローマ字書き」「ローマ字書き日本語」の意味です。 ローマ字は日本語の発音を外国人に示す発音記号のようなものではありません。したがって、日本語

安倍晋三首相は29日朝、北朝鮮による弾道ミサイル発射について「我が国を飛び越えるミサイル発射という暴挙はこれまでにない深刻かつ重大な脅威で、地域の平和と安全を著しく損なう」と述べた。そのうえで北朝鮮に厳重に抗議した