
IMUアバカスメダルは、2022年以前はロルフ・ネヴァンリンナ賞として知られていましたが、[ 1 ]国際数学連合(IMU)が主催する国際数学者会議で4年に一度授与され、情報科学の数学的側面における優れた貢献に対して授与されます。
この賞は1981年に国際数学連合(IMU)の執行委員会によって設立され、フィンランドの数学者ロルフ・ネヴァンリンナにちなんで名付けられました。金メダルと賞金で構成されています。この賞は若手理論計算機科学者を対象としており、授与年の1月1日時点で40歳未満の者のみが受賞対象となります。[ 2 ]この賞は、フィールズ賞を含むIMUの他の賞とともに授与されます。[ 3 ]
この賞は、1981年に創設される前年に亡くなったフィンランドの数学者ロルフ・ネヴァンリンナに敬意を表して名付けられました。メダルの表面には、ネヴァンリンナの横顔、「ロルフ・ネヴァンリンナ賞」の文字、そして非常に小さな文字で「RH 83」が刻まれています。「RH」はメダルのデザイナーであるライモ・ヘイノ、「83」は初鋳造年を表しています。裏面には、賞のスポンサーであるヘルシンキ大学にゆかりのある2人の人物が刻まれています。縁には受賞者の名前が刻まれています。[ 4 ]
世界数学コンテスト連盟のアレクサンダー・ゾイファー会長は、ネヴァンリンナがヒトラーの支持者であり、第二次世界大戦中に武装親衛隊フィンランド義勇大隊の代表として活動していたことから、同賞がネヴァンリンナを称えることに不満を表明した。ゾイファーは2015年に出版した著書でネヴァンリンナの戦時中の活動について論じ、賞の名称変更をIMU執行委員会に個人および組織として要請した。[ 5 ] [ 6 ] 2018年7月、IMU第18回総会はロルフ・ネヴァンリンナの名前を賞から削除することを決定した。[ 7 ]その後、同賞はIMUアバカス・メダルと改名されることが発表された。[ 1 ]
| 年 | 桂冠詩人 | 理由 |
|---|---|---|
| 1982 | ロバート・タージャン | 情報科学の数学的側面への卓越した貢献により、第1回ネヴァンリンナ賞を受賞しました。「純粋数学は、有限か無限かを問わず、効率性の問題から完全に独立して、その構成を研究できるという贅沢を享受しています」と、タルジャンの研究について講演したヤコブ・シュワルツは説明しました。「対照的に、理論計算機科学は、最終的には限られた速度とデータストレージで動作する計算エンジンに焦点を当てる必要があり、したがって、効率性を中心的な関心事の一つとしなければなりません。アルゴリズム設計とアルゴリズム分析という2つの密接に関連する活動は、この避けられない関心から生まれています。」[ 8 ] |
| 1986 | レスリー・ヴァリアント | 「ヴァリアントは、急速に成長している理論計算機科学の若い木のほぼすべての枝の成長に決定的な貢献をしており、彼の計数問題の理論はおそらく彼の最も重要で成熟した研究である。」[ 9 ] |
| 1990 | アレクサンダー・ラズボロフ | 「回路の複雑さの下限に関する画期的な研究に対して。」[ 10 ] |
| 1994 | アヴィ・ウィグダーソン | コンピュータサイエンスの数学的基礎に関する卓越した業績に対して。その研究対象には、例えば、複雑な課題を解決するための効率的な手法の発見や、特定の問題における計算量の上限と下限の発見などが含まれる。ウィグダーソンは、「ゼロ知識インタラクティブ証明」という逆説的な用語の理解に大きく貢献した。[ 11 ] |
| 1998 | ピーター・ショア | 量子計算、特にショアのアルゴリズムの導出に関する優れた業績に対して。 |
| 2002 | マドゥ・スーダン | 確率的に検証可能な証明、最適化問題の近似不可能性、誤り訂正符号など、理論計算機科学のいくつかの分野への重要な貢献に対して。 |
| 2006 | ジョン・クラインバーグ | 影響力のある「ハブとオーソリティ」アルゴリズム、大規模ソーシャルネットワークにおけるショートチェーンの発見方法、データストリームのバーストをモデル化、識別、分析する技術、ソーシャルネットワークにおけるコミュニティ成長の理論モデル、クラスタリングの数学的理論への貢献など、グローバル情報環境の数学的理論への深く創造的かつ洞察力に富んだ貢献に対して。 |
| 2010 | ダニエル・スピルマン[ 12 ] | 「線形計画法の平滑化解析、グラフベースコードのアルゴリズム、および数値計算へのグラフ理論の応用。」 |
| 2014 | スバシュ・コット[ 13 ] | 「『ユニークゲーム』問題の先見的な定義、その複雑さの理解と最適化問題の効率的な近似研究における重要な役割の先導。彼の研究はアルゴリズム設計と近似困難性における画期的な進歩、そして計算複雑性、解析学、幾何学の間の新しい刺激的な相互作用をもたらした。」[ 13 ] |
| 2018 | コンスタンティノス・ダスカラキス[ 14 ] | 市場、オークション、均衡、その他の経済構造における基本的な問題の計算複雑性に関する理解を変革した。彼の研究は、効率的なアルゴリズムと、これらの領域で効率的に実行できる限界の両方を提示した。[ 14 ] |
| 2022 | マーク・ブレイバーマン | 情報理論を用いて通信プロトコルを推論するための枠組みである情報複雑性理論を発展させた画期的な研究に対して。彼の研究は、償却通信の下限値を与える直和定理、独創的なプロトコル圧縮手法、そしてノイズに強い新しい双方向通信プロトコルにつながった。[ 15 ] |