チャールズ・ホスキンソン氏は、カーネギーメロン大学の新センターに2,000万ドルを寄付し、CMUにHoskinson Center for Formal Mathematicsを設立しました。 https://twitter.com/IOHK_Charles/status/1440443081183019017 このセンターは、数学の研究者、教育者、学習者のための知識やリソースへのグローバルなアクセスを改善することで、数学研究を推進します。 チャールズ・ホスキンソン氏はツィートで、”CMUは、素晴らしいリーダーシップを持ち、アフリカでの活動も目覚ましく、このようなプロジェクトが機能する数少ない場所のひとつである、本当に素晴らしい大学…