Intel SDMの誤植を直してもらった

Intelはコンピューターの頭脳、CPUを作っている会社です。CPUで動作するプログラムを書くためには、プログラムを低レベルな命令の列に変換し、その命令の列を特定の規則に従って変換したバイナリー（機械語）を用意しなければなりません。IntelのCPUが提供する命令や機械語について、Intelが用意しているマニュアルがIntel 64 and IA-32 Architectures Software Developer’s Manual、略してIntel SDMです。

Intel SDMの最新版は「Intel® 64 and IA-32 Architectures Software Developer Manuals」から入手できます。全部合わせて5000ページ以上あります。

Intel SDMも人間が書いているマニュアルなので、時々誤植等があります。容易にそれとわかる誤植なら可愛いものですが、時にはわかりにくいものもあります。

December 2024の版における、CVTSS2SI命令の説明を見てみましょう。これは単精度浮動小数点数（Scalar Single-precision）を符号付き整数（Signed Integer）に変換する命令です。

続きを読む →

GHCのSIMDサポートの進捗：整数ベクトルの演算

ブログ等にちょいちょい書いていますが、私はこの数ヶ月ほどGHCのSIMDサポートの改善を進めています。

この3ヶ月間はx86 NCGで整数のSIMD演算を使えるようにするパッチを書いており、数日前にマージされました。一つのマイルストーンだと思うので記事にしておきます。

続きを読む →

数学とプログラムはどちらが易しいか／数学とプログラムの違い

最近、某所で「数学とプログラムはどちらが易しいか」という話題が出ました。その場ではあまり上手い返しができなかったので、ブログ記事の題材にして供養します。

もちろん、この質問の答えは人によって違うでしょうし、人によって違うからこそ質問として意味があると言えるでしょう。この記事に書くのは私の見方、私の意見です。

短い答えが欲しい人向けに2択で答えておくと「私にとってはプログラムの方が易しい」となりますが、以下に長い答えを書きます。

続きを読む →

TypeScript使いの憂鬱：never型はプロパティを持つか

never型とプロパティアクセス

TypeScriptにはneverという型があります。先日も記事にしましたが、簡単に言うとこれは「値を持たない型」です。

never型は、あらゆる型に対してその部分型として振る舞います。例えば、never が number の部分型であることは次のコードでわかります：

続きを読む →

never型があると便利か（言語処理系実装者の観点から）

TypeScriptをはじめとするいくつかのプログラミング言語には、never型という型がある。この型は典型的には「制御を返さない関数」の返り値として使われる：

function f(x: string): never {
    console.error(x);
    throw new Error();
}

never型は型システム的には「値を持たない型」「任意の型の部分型」として特徴づけられる。

他のプログラミング言語、例えば私が作っているLunarMLにもnever型があると便利だろうか？

続きを読む →

「インタプリタは機械語に翻訳する」という誤解

プログラミング言語のインタプリタの説明で「逐次機械語に翻訳する」という説明を見かけることがある。ググればそういう説明がたくさん出てくるので具体例は割愛する。

しかし、「機械語に翻訳する」という説明は好意的に言えば「誤解を招く言い方」で、率直に言うと「デタラメ」である。

そういう説明を書く人は、自分でインタプリタを書いたことがあるのだろうか？誰かが書いた間違った説明文をそのまま引き写しているのだろうか？

もちろん、世の中にはJITコンパイルする言語処理系もあるが、それはインタプリタのように使えたとしても「コンパイラ」なのではないか。

続きを読む →

√2が無理数であることの証明と背理法と構成的数学

背理法による証明の例として、よく「\(\sqrt{2}\)が無理数であること」が挙がる。大まかな流れは以下の通りだ：

「\(\sqrt{2}\)が有理数だったと仮定し、\(\sqrt{2}=p/q\)（\(p\), \(q\)は互いに素）とおく。すると\(2q^2=p^2\)で、左辺が偶数なので右辺も偶数、よって\(p\)は\(p=2p’\)と書ける。すると\(q^2=2p’^2\)が得られて、\(q\)も偶数ということになる。これは『\(p\)と\(q\)は互いに素』という仮定に反する。よって、\(\sqrt{2}\)は有理数ではない（無理数である）。」

さて、数学の一部の流儀では使用する論理を制限することがある。構成的数学というのがその例で、大まかには「排中律を使わないような数学」つまり「直観主義論理に基づいた数学」が構成的数学になる（Brouwerの「直観主義」とは違うので注意されたい。あと、構成的数学の中でも選択公理をどの程度認めるかでバリエーションがあるようだ）。「\(\sqrt{2}\)が無理数である」という上記の証明は、構成的数学では受け入れられるのだろうか？

続きを読む →

AIでも生成できる技術記事に価値はあるのか

最近、Qiitaの「タイムライン」（指定したタグのついた記事を新着順に表示してくれる機能）を眺めていると、ある特徴を持った記事が散見されるようになった。その特徴とは、

  • 内容が当たり障りないというか、オリジナルの知見とか著者の感情のようなものが少なく、淡白である
  • セクションに番号が振られている
  • 著者のページを見に行くと、毎日のように記事を公開している

である。そう、AIで生成された可能性が高い記事だ。

最近見かけるようになったAI生成された技術記事について何点か思うところがあるので、書いておく。

続きを読む →

WSL2へVS CodeからSSH接続する／VS Codeを使いこなしたい

最近はメインのテキストエディターとしてVisual Studio Codeを使っています。しかし、いまいち使いこなせている気がしません。

作業内容としては、最近はGHCのSIMDプリミティブの実装をやっていて、x86-64 WindowsマシンのWSL2で作業することが多いです。しかし、私のメインマシンはMacで、MacでFirefoxを開きつつ、リモートデスクトップでWindowsにつなぎ、その上でターミナルとVS Codeを立ち上げて作業していました。「直接Windowsで作業しろよ」とか言われそうですね。

このやり方では困ったことがあって、Mac miniのネットワークの問題なのか、時々リモートデスクトップが固まります。固まっている間はエディターへの入力もできなくなります。

リモートデスクトップ越しではなく、手元のVS Codeを使えばこの問題を回避できそうです。ネットワーク接続はファイルを開くタイミングと保存するタイミングで繋がっていればいいわけですからね。つまり、MacのVS CodeからWindows機のWSL2へSSH接続するのです。

（昔使っていたEmacsにもSSH越しに作業するモードがありました。）

というわけで、重い腰を上げてVS CodeでSSH越しに作業する方法を調べました。

続きを読む →

「オイラーの定数ガンマ γで旅する数学の世界」を読んだ

ずっと積んであった「オイラーの定数ガンマ γで旅する数学の世界」を読みました。

この本は私が学部生の頃（2010年代前半）に生協書籍部で見つけて、面白そうだったので買った本です。しかし、この本にはある欠点（後述）があり、学部の時は読むのを断念しました。

この本はどういう本か

数学を代表する定数といえば、円周率π、自然対数の底e、虚数単位iが挙がるでしょう。少し物知りな人は、第4の定数（実数としては、第3の定数）としてオイラーの定数γ（ガンマ）を挙げるかもしれません。

この本は、タイトルの通り、オイラーの定数ガンマの話題を扱った本です。教科書というよりは、読み物です。数学に関するエピソードがふんだんに散りばめられています。

関連する話題として、調和級数、ゼータ関数なども扱っています。本の後半は素数定理とリーマン予想の話題です。

双子素数の逆数和の話で「Pentium FDIVバグが見つかるきっかけになったのが双子素数の逆数和の計算だった」というエピソードに触れられており、プログラマーとしては興味深かったです。

翻訳の質が低い

学部生の時にこの本を読むのを断念したのは、翻訳の質が低いと感じたからです。日本語がこなれていないというか。（これは邦訳だけを読んだ感想です。この記事は英語の原著を読まずに書かれています。）

私が翻訳の質について敏感であるという側面は多分あります。私は中学生の頃に2chの「ハリーポッターの邦訳のここがおかしい」みたいなスレッドに入り浸っていました（そのスレッドでは、Lily, Petunia姉妹の上下が邦訳ではグダグダになっているとか、vanishとbanishを取り違えている疑惑とか、The Boy Who LivedとThe boy who livedの訳し分けとかを語っていました）。大学以降では、IT技術の記事を扱っているpostd.ccというサイトの翻訳の質が低いようなことを短文投稿SNSで愚痴っていました。

多少翻訳の質が低くても、気にせずに読める人は多いのでしょう。しかし、私にとっては翻訳の質が低いのはノイズになるのでした。今回も「読んだ」というよりは「スキミングした」の方が近いかもしれません。

翻訳の質の定量化は難しいですが、引っかかった箇所を具体的にいくつか挙げます。私の手元にあるのは初版第2刷です。

xii（序文）：

場合によって必要になるのは，彼の名前Eulerの発音の仕方でしょう．もちろん，“Oiler”ですが．

これ日本語の本ですよね。「Oiler」ってどう見ても英語圏向けの注釈ですよね。日本語版に要ります？要らないでしょ、「オイラー」ってすでに何回も書いているのに。全体的に、「日本語の本にしよう」という気概が足りないのではないかと思います。

5ページ：

ネイピアは確かにlogarithmという語（ratioとnumberを意味するラテン語を組み合わせた語）を作り，タイトルに含めましたが，…

「ratio」と「number」は英語の原著での表現なのだと思いますが、そこは日本語に訳さないのか！？と思ってしまいました。

18ページ、オイラーについて：

この定義は1770年刊の彼のベストセラーになった代数学の教科書，Complete Introduction to Algebraに出てきます．

オイラーが書いた本は多分英語ではないですよね。Elements of Algebra – Wikipediaによるとロシア語か？タイトルの英語への直訳がComplete Introduction to Algebraなのだと思いますが、日本語に訳すにあたってはタイトルも日本語に訳して、必要なら原語でのタイトルも併記する形にするべきだったと思います。

132ページ：

現代的なコンピュータで「芸術的（state-of-the-art）」なソフトウェアを使って計算すれば簡単にできます．

state-of-the-artは「芸術的」ではないですね……。最近AI周りでSOTAという語をよく見るようになりましたが、辞書を引くと「最先端」という意味が出てきます。直訳すると「技術（art）の現在の状態」→その時点での最高の技術を集めたもの、てな感じでしょうか。

こういう誤訳は、単発なら可愛いものですが、それ以外の部分で「全体的に質が低い」という印象を与えてしまうと、「質が低い」ことのエビデンスとして使われてしまうということです。

261ページ：

セルバーグは，1942年に，ハーディのオリジナルの結果をさらに進めて，すべての非自明な零点の正の部分は臨界線上にあることを示しました（これは微妙ですが，重要な区別です．例えば，ℤは無限ですが，ℝと比べた正確な大きさを測定すると0です）．

「零点の正の部分」って意味伝わりますか？前後の文脈から判断して、「非自明な零点のうち臨界線上にあるものの存在割合（proportion）が正である」という風に私は解釈しましたが、合っているかは知りません（Selberg (1942)を読めばいいのでしょうが）。とにかく、もっと良い訳し方があったのではないかと思います。

このほかにも、一文が長すぎたり、直訳調だったりします。日本語ネイティブならもっと流暢な日本語にできないのか？と思ってしまいますが、訓練していないと難しいんでしょうね。

まあ翻訳にケチをつける人（私のような）がより良い翻訳をできるのか？というとそれは別問題だと思います。しかし、お金を出して買った本がイマイチだった時に愚痴る権利は2800円+税の分（実際は大学生協でさらに1割引）くらいはあると思います。

繰り返しますが、多くの人は翻訳の質を気にせずに読めると思います。ただ、私のように翻訳の質が気になる人（下手な訳がノイズになる人）は英語の原著を買った方が良いかもしれません。原著は多分これです：Amazon | Gamma: Exploring Euler’s Constant (Princeton Science Library) | Havil, Julian, Dyson, Freeman | Mathematical Physics

前にも共立出版の本をレビューしました（「数学ソフトウェアの作り方」を読んだ）が、共立出版のWebサイトを見ても誤植等の報告をどこにすればいいのかよくわからないんですよね（「お問い合わせ」でいいのか？）。そんなに自信があるならもうちょっと品質を頑張って欲しいものです。