チャールズ・ホスキンソン氏は、カーネギーメロン大学の新センターに2,000万ドルを寄付し、CMUにHoskinson Center for Formal Mathematicsを設立しました。
このセンターは、数学の研究者、教育者、学習者のための知識やリソースへのグローバルなアクセスを改善することで、数学研究を推進します。
チャールズ・ホスキンソン氏はツィートで、”CMUは、素晴らしいリーダーシップを持ち、アフリカでの活動も目覚ましく、このようなプロジェクトが機能する数少ない場所のひとつである、本当に素晴らしい大学です。おめでとう、アビガッド教授”と述べています。
また、空軍科学研究局は公式ツィッターで、”長年の#AFOSRMURIの発見を基に、PIのJeremy Avigad博士が率いる『Hoskinson Center for Formal Mathematics』が数学の未来をどのように導いていくのか期待している”とコメントしています。
以下はCrypto-economy.comに掲載された記事「Cardano’s Charles Hoskinson Contributes $20M to Carnegie Mellon’s new center」を翻訳したものです。
カルダノのチャールズ・ホスキンソン氏、カーネギーメロン大学の新センターに2,000万ドルを寄付
By Alice P Jacobs 2021年9月22日
カルダノのチャールズ・ホスキンソン氏がカーネギーメロン大学の新センターに2,000万ドルを寄付
カルダノの創業者チャールズ・ホスキンソン氏は、何よりも数学者です。同氏は、世界トップ30の大学の一つであるカーネギーメロン大学に彼の名を冠した最新のセンターを設置することで、”数学の言語を書き換える “ことを期待しています。
ホスキンソン氏は、最も裕福な人物の一人であるだけでなく、暗号化コミュニティで最も著名で影響力のある人物の一人でもあります。今日、彼はツイッターで、カーネギーメロン大学に「Hoskinson Center for Formal Mathematics」という私立研究大学を展開するために、2,000万ドルの寄付を発表しました。
新センターの主な目的は、数学への世界的なアクセスを向上させ、計算による証明支援者の力を強化し、教育者、研究者、学習者の間の協力関係を強化することにあります。
CMUのファルナム・ジャハニアン学長は、ホスキンソン氏の寄付により、同センターが数学、論理、計算の分野で新たな協力関係を築くことができると述べています。また、ジャハニアン学長は次のように述べています。
数学の新しいやり方を可能にし、数学的ツールのための共同デジタルライブラリを作成することで、幅広い分野での発見を加速することができます。このセンターは、当社の強みであるコラボレーションとテクノロジーを駆使した実験を明確に表現しており、その可能性に非常に期待しています。
ホスキンソン氏は、2013年に暗号分野に参入して以来、暗号業界の複雑さと、世界中の金融システムに革命を起こす可能性について、人々を教育してきました。IOHKの共同設立者であるホスキンソン氏は、今回の動きによって、このセンターが “数学の言語を書き換える “ことを期待しています。
コラボレーション、探究、発見が、数学的活動のインセンティブを与え、支援し、高度な自動化の方法のためのリソースを与える扉を開く、このような重要なセンターの創設に参加できることを光栄に思います。
カルダノサミット2021
今回の開発は、待望のカルダノサミットが近づいてきたことを受けたものです。ブロックチェーン上のコントラクト機能を可能にするAlonzoハードフォークの実行に成功した後、世界最大のグリーンブロックチェーンは、今年最大の暗号イベントの開催に向けて準備を進めています。
カルダノサミット2021は、アフリカ、ヨーロッパ、米国の6つのハブで直接開催され、ソーシャル、ビデオ、インタラクティブな機能を含む最新のイノベーションを活用してバーチャルに開催されるハイブリッドイベントです。カルダノは、過去6年間の集中的な開発と査読付きの学術研究において、世界的にシステムを改善すると同時に、その過程における機会を民主化するというコミットメントを示してきました。
ブロックチェーンの研究・開発会社であるIOHKは、ブロックチェーン愛好家、業界の専門家、特別ゲストを集めて、カルダノの重要な1年を振り返ることを約束します。このサミットは9月25日と26日に開催され、著名人が参加して、いくつかの独占的で画期的な発表が行われる予定です。
