2009年1月31日のブックマーク (2件)

  • 「"read" になることはできませんでした」のひみつ

    "はじめに" コンピュータを使っているとたまに奇っ怪な日語に出会うことがあります。 たとえば、Windows NT や Windows 2000 を使っている人は次のようなウィンドウを 見たことがあるかもしれません: この「メモリが "read" になることはできませんでした」 という文章を初めて見た人は、みんな目が点になると思います。 このコラムは、この「謎の日語」がどこからやってきたのかを解明しつつ、 国際化/ローカライゼーションの難しさについて考えてみたいと思います。 蓋然的な考察 この変な日語がどこからやってきたのかを考えてみると、 まず直感的に思いつくのは、 「これは英語メッセージの直訳なのではないか。 そしてその訳が不適切だったのではないか」 という仮定です。このことは、もともと Windows という OS が アメリカ発祥であることと、read という英単語を そのま

  • 論理記号のいろいろ - 檜山正幸のキマイラ飼育記 (はてなBlog)

    数学記号の認知速度 -- 実験心理学的計測方法と実例 --」(by 堀幸雄, 後藤英一, 佐藤雅彦; http://www.jssac.com/Editor/Suushiki/V10/No3/V10N3_113.pdf)のなかに、論理記号の一覧表がありまして(P.11)、こりゃ便利だと思うので、引用しておきます。ペアノの含意は、視力検査で使うような「C」をひっくり返したみたいな記号です。 対応する文献の抜粋: [8] Genzten, G.: Untersuchungen ¨uber das logische Schliesen, Mathematische Zeitshrift, 39, pp. 176-210, 405-431, 1935. [10] G¨odel, K.: ¨Uber formal unentscheidbare S¨atze der Principia mathe

    論理記号のいろいろ - 檜山正幸のキマイラ飼育記 (はてなBlog)
    DOSEI
    DOSEI 2009/01/31