オンライン数学コラボレーション

ブログでの議論が数学の論文が生まれたというニュースがUCLAの学生新聞The Daily Bruinから:

The Daily Bruin | UCLA mathematician Terence Tao’s site has audience of 40,000 via Environmental and Urban Economics

取り上げられているのはフィールズ賞まで受賞しているスター数学者であるテレンス・タオ(Terence Tao)のブログだ。

After six months and more than 1,000 comments from more than 50 mathematicians, a paper titled “A new proof of the density Hales-Jewett theorem” is ready to be submitted under the pseudonym D.H.J. Polymath because of the difficulty in determining how much each person has contributed. The paper is one of the first to be collaborated through a blog.

多くの数学者からのコメントをもとに完成した論文はD. H. J. Polymathという著者名のもとジャーナルに投稿されるそうだ。これはPolymathプロジェクトの一部だ(ポリマスとは博学なひとのことだ)。Polymathプロジェクトで扱われる問題はプロジェクトのブログで公開されている。

プロジェクト自体の構想についてはTim Gowersのポストに詳しい。このプロジェクトの鍵は次の問いにある:

What about the solving of a problem that does not naturally split up into a vast number of subtasks?

自然に分割できないような問題を解く場合に多くの人間が関わることの意味が何かということだ。これはインターネットという複数の人間が同時に作業をする環境が出現したことで生じた問題だ。彼は、この問いに肯定的な回答をする:

(i) Sometimes luck is needed to have the idea that solves a problem. If lots of people think about a problem, then just on probabilistic grounds there is more chance that one of them will have that bit of luck.

まず運という要素があるなら多くの人間が関与した方が望ましい。これは特許制度の設計でも重要だ。ある発明の価値が決まっていて、発明を試みる度に決まった確率で成功するとしよう。すると発明を試みる人間が多ければ多いほうが発明できる確率は上がっていく。

これが社会的に望ましいとは限らないことに注意が必要だ。社会的に望ましいのは発明の確率をできるだけ上げることではなく(何人が参加しても発明確率は100%にはならない)、試行のコストが限界的な試行の価値=発明の価値×発明確率のその試行による上昇分(marginal value)となった時だ。しかし、参加者は試行の費用が平均的な発明の価値=発明の価値×発明確率÷参加人数(inframarginal value)となった場合だ。この時、社会余剰はゼロになり、当然人数が過剰になっている。但し、発明の価値と発明者にとって私的利益は一致しないため必ずしも過剰にはならない。過剰になるか過少になるかは私的利益の割合によるが最適な値になる理由はない。

(ii) Furthermore, we don’t have to confine ourselves to a purely probabilistic argument: different people know different things, so the knowledge that a large group can bring to bear on a problem is significantly greater than the knowledge that one or two individuals will have.

二つ目の利点は分業だ。これについては異論はないだろう。異なる知識や強みをもつ人間の協力は生産性を上昇させる。

(iii) Different people have different characteristics when it comes to research. Some like to throw out ideas, others to criticize them, others to work out details, others to re-explain ideas in a different language, others to formulate different but related problems, others to step back from a big muddle of ideas and fashion some more coherent picture out of them, and so on.

三つ目の利点もまた分業の一種だが、研究の仕方に関するものだ。アイデアを出すのがうまいひともいれば、それを反駁するのが得意な人もいる。

ここから、

In short, if a large group of mathematicians could connect their brains efficiently, they could perhaps solve problems very efficiently as well.

数学者がうまく協力できれば問題を効率的に解いていけると結論付ける。

Why would anyone agree to share their ideas? Surely we work on problems in order to be able to publish solutions and get credit for them. And what if the big collaboration resulted in a very good idea? Isn’t there a danger that somebody would manage to use the idea to solve the problem and rush to (individual) publication?

次の課題は、ではどうやってうまく協力させるかというインセンティブの問題だ。

Here is where the beauty of blogs, wikis, forums etc. comes in: they are completely public, as is their entire history.

ここでブログやWiki、フォーラムの利点が指摘される。それは完全な公開性であり、証拠が残るという特性だ。

Instead of the usual reaction of being afraid to share it in case someone else beat you to the solution, you would be afraid not to share it in case someone beat you to that particular idea

アイデアを公開して他人に先に使われてしまうのを恐れるのではなく、早く共有することで誰かが先にそれを発表してしまうのを防げるという。

この問題も特許制度が抱えている問題と極めて類似している。特許は重要な発明が企業秘密にされてしまうことを防ぐという目的がある。特許があることで発明者は自分の発明を共有するインセンティブを持つ。インターネットは数学の問題を解く場合において部分的な貢献を公開・共有することを可能にした。これはジャーナルによる公開・共有が基本であった時代では不可能なことだ。

しかし、この方法がうまくいくかは数学におけるイノベーションの発生の方法に依存している。これは以前ふれた特許制度の問題とまったく同じだ。よってその弊害も同様に存在する:

  • 研究の途中で公開できるようになると最適な状態にたどり着く前に公開して終わりにしてしまうインセンティブがある
  • 細かい成果が公表されすぎると後続の研究がそれらを言及するための費用が増える

前者は以前のポストにおけるBoldrinとLevineの指摘を数学に適用したものだ。アイデアを得た人が本当なら最後まで頑張って仕上げたものを途中で公開してしまうということだ。これはいろんな学術分野に当てはまるだろう。

経済でいえばアイデアを出し、直感的な説明をするところはまでは楽しい。しかし、それを示す数理モデルを書いて、解いて、実証やシミュレーションを行うのは面倒だ。ジャーナルしか発表の場がなければそこまで頑張ってやるしかないが、ブログなどでさっさと世の中に公表できるなら最初のステップで終わりしてしまうかもしれない。誰かが後半をやっても前半部分は評価されるわけだ(前半のほうがセンスがいる)。Matthew Kahnは何故このような方法が経済でうまくいかないかと問いかけているがこれが答えだろう。経済学はアイデアと直感というセンスを要する部分が最も評価されるため後半を誰もやりたがらない。数学では重要な問題はいくらでもあって解くという後半のステップの比重が高い(そしてそれが好きな人が集まっている)。

後者は金銭支払いのない研究では大きな問題にはならないがそれでもややこしいことには変わらない。何かの定理を証明したとして既に誰かが発表している内容とかぶっていたらそれを引用する必要がある。もし、その定理に関する情報が学術ジャーナル以外の場所にも散在しているとなると、文献調査作業は非常に手間の掛かるものとなる。今までならその分野を研究している先生に聞いて、ジャーナルデータベースでも検索するだけだったが、そうもいかなくなるだろう。

ちなみにテレンス・タオは学術的に成功した天才児(Child Prodigy)としても有名だ。10歳で数学オリンピックに出場し銅メダル、13歳のときには現在に至るまでの最年少で金メダルをとっている。17歳で地元の大学(Flinders University)で修士号、20歳でプリンストン大学でPh.Dを取得し25歳には最年少でUCLAでテニュアを得ている。

http://rionaoki.net/2009/11/1464

オンライン数学コラボレーション」への3件のフィードバック

  1. 数学研究の情報は学術ジャーナルからプレプリント・サーバーに移りつつあるように思います。学術ジャーナルでは投稿と公表の時間差が大きすぎますので。私は、プレプリント・サーバーの論文を評価できるようなシステムが整えば、学術ジャーナルはいらないと考えています。実績のある数学者に持ち点を与え、それをプレプリントサーバーの良い論文に配分していくというようなシステムができれば良いと思うのですが。しかし現状では、昇進のためにはジャーナルへの投稿が必要で、評価が必要ないくらい抜群な人以外は投稿まで情報を隠さざるを得ません。日本でも、京大の望月新一さんなどは成果をどんどんプレプリントで出していると聞きました。彼はフィールズ賞は逃したようですが、23歳でプリンストン大Ph.D取得、33歳で京大教授になったそうです。

  2. >数学研究の情報は学術ジャーナルからプレプリント・サーバーに移りつつあるように思います。学術ジャーナルでは投稿と公表の時間差が大きすぎますので。

    ジャーナルに出てたらもう「古い」わけで自然な流れですね。ジャーナルのサブスクリプションの高騰も一役買いそうです。

    >私は、プレプリント・サーバーの論文を評価できるようなシステムが整えば、学術ジャーナルはいらないと考えています。

    これは実際にやろうとすると結構難しいと思います。特許だとあまりにも数が多すぎて検索が有効に働かなくなっています。

    もう一つの方向性としてはおっとオープンなジャーナルを作るということもありえます。経済だとこちらの流れが多いようです。

    これも学問分野の違いだと思います。経済では取り上げた現象が面白いか、モデルの作り方にセンスがあるかが重要なのでノイズのレベルが数学とは比べ物にならないようです。

    >日本でも、京大の望月新一さんなどは成果をどんどんプレプリントで出していると聞きました。彼はフィールズ賞は逃したようですが、23歳でプリンストン大Ph.D取得、33歳で京大教授になったそうです。

    日本の数学はレベルが高いと思うので皆様頑張ってほしいですね。今、科研費関連で揉めていますけど。

  3. ピンバック: Twitterとイノベーション » 経済学101

コメントは停止中です。