｢ちきゅう｣頑張ってるんですよ。 深海探査船｢ちきゅう｣は、世界一の深さ、海底下7000メールトルまでの掘削が可能な世界初のライザー式科学掘削船なんです。科学者たちは、その｢ちきゅう｣で人類史上初めて地球深部マントルまで達することを計画しているようです。 PopSciでは、この巨大なドリルに注目していて、仕組みや地球マントルまで到達するために必要な事、科学者たちの想いなどが紹介されています。PopSciによると科学者たちは、地下奥深くにある原始地球に類似した環境で、原始的な地下生命を探索したり、新しい要素などを解明できるのでは？と期待に胸をふくらませているそうです。今までに、9.3メートルの岩石のサンプルを収拾して分析しているそうですよ。 そして、この巨大ドリルが、どのようにして地球マントルまで掘りすすんでいるかというと、海底にあるトランスポンダーは、ドリルがターゲットに向かって、ちゃんと

「NANDフラッシュを利用した製品には寿命がある」という記述はあちこちで見かけますが、具体的に"寿命"とは何なのかという点についての詳しい説明は少ないのが現状です。…というより、今まで不勉強で僕がよく分かってなかったので、最近調べた内容について記しておきます。 SSDはどうなったら使えなくなる？ SSDの寿命が尽きた状態とは、SSD内の予備領域が払底した状態を指します。 SSDをはじめとしたNANDフラッシュを利用するストレージには、必ず「予備領域」が設けられています。後述するように、SSDやUSBメモリなどのコントローラは、ビットエラーが多数発生したセクタを含むブロックを"不良ブロック"とみなし"無効化"します。このとき、OSから認識されるストレージの容量が減ってしまうと困ったことになります。そこで、コントローラは、予備領域からブロックを補填することで、額面の容量が減らないようにしていま

妻がトルコへ行きたいと言った。彼女が何処其処へ行きたい、というのはごく日常的なことなので、いつ言われたのかは覚えていない。 「子供を産んだり、今後人生に転機が訪れたら、きっと遠くへ行くのは難しくなると思うの。私、トルコに行きたい」 その話を聞いたとき、僕には反対する理由も、賛成する理由もなかった。「ああ」とだけ返事をした。あえて言うのであれば、賛成する理由は妻が喜ぶこと、だ。とにかく、僕は積極的ではなかった。なぜかと言えば、語学力に甚だ自信のない僕にとって海外に行くというのはひとつの恐怖であったし、国内に行きたいところがあまりに多すぎて海外の旅先のことなどほとんど考えたことがなかったのだ。 なんでトルコなの？ 僕が聞くと、妻は「だって三大美食のひとつだし」と言った。言い切った。正直なところ、その程度の理由で海外に行きたいという欲求が成立し得るのかは非常に疑問だったが、旅のみならず日常生活に

MiSPLi: http://mooz.github.com/mispli/ MiSPLi Emacs に出会ったのが三年前. それから一年程して elisp をいじり始めたので, 僕と Lisp との付き合いはかれこれ二年ほどになる. JavaScript を始めたのが一年前だから, 僕の中では C 言語に次いで付き合いの長い言語だ. 必要にかられたときにちょこちょこと elisp を書いて, 終わったらしばらく別れを告げる. そんな中途半端な付き合いを続けていた三月も終盤, 竹内先生の書かれた「初めての人のための LISP」を読み, その内容に深い感銘を受けた. Lisp を Lisp で実装する, といった章があり, これまで何となしに使っていた Lisp の中身を垣間見ることができたような, そんな気分になっていた. その時に, 「ひょっとしたら僕にも Lisp の処理系を実装でき

以前書いた「ラムダ計算基礎文法最速マスター」では, ラムダ計算に自然数やデータ構造, 条件分岐, ループが用意されていないため, これらをラムダ項を使って模倣する方法を紹介しました. このようなことはどんなプログラミング言語でも起きうることで, たとえば, アセンブリ言語にforループが無いために, C言語で書かれたプログラムをアセンブリ言語にコンパイルするときには条件ジャンプ命令とラベルでforループを模倣する, というのも同じことです. 今回は, Javaを最小限の機能だけに制限した純粋オブジェクト指向言語で, 以下のものを実現してみます. 真偽値と条件分岐 自然数と四則演算 リスト 無限リスト さらに, これらすべてを用いて任意個の素数を列挙するプログラムを書いてみます. 完全なソースコードは一番最後にあります. 最小限のJava Javaはそれ自体純粋なオブジェクト指向言語ですが,