コンピュータサイエンスの賞一覧
このコンピュータサイエンス賞一覧は、コンピュータサイエンスに関連する著名な賞に関する記事の索引です。この一覧には、計算機学会（ACM）、電気電子学会（IEEE）、その他のコンピュータサイエンスおよび情報科学の賞、そしてコンピュータサイエンスのコンテスト一覧が含まれています。
コンピュータサイエンスの最高賞はACMチューリング賞であり、一般的にコンピュータサイエンスのノーベル賞とみなされています。[1]その他の高く評価されているコンピュータサイエンスの最高賞には、IEEE理事会によって授与されるIEEEジョン・フォン・ノイマン・メダルや、日本の京都賞（情報科学）などがあります。
計算機協会
計算機協会( ACM) は、多くのコンピュータ サイエンス関連の賞を授与しており、その多くは ACM の特別利益団体によって運営されています。
| 賞 | SIG | 注記 |
|---|---|---|
| アラン・D・ベレンバウム功労賞 | シガルチ | コンピュータアーキテクチャコミュニティへの重要な貢献[2] |
| アロンゾ・チャーチ賞 | シグログ | 論理と計算への顕著な貢献[3] |
| CHIアカデミー | シグチ | ヒューマンコンピュータインタラクション分野の進歩[4] |
| ダニー・ルーウィン最優秀学生論文賞 | シガクト | 計算理論シンポジウムにおける最優秀学生論文賞[5] |
| ダッカサイト | ICPC | 大学プログラミングコンテスト[6] |
| ダイクストラ賞 | PODC | 共催：分散コンピューティングに関する国際シンポジウム。分散コンピューティングの原理に関する優れた論文に対して[7] |
| 博士論文賞 | コンピュータサイエンスとコンピュータエンジニアリングにおける優秀な博士論文[8] | |
| エッカート・モークリー賞 | 共催：IEEEコンピュータ協会. コンピュータとデジタルシステムアーキテクチャへの貢献[9] | |
| エドガー・F・コッド・イノベーション賞 | シグモッド | データベースシステムおよびデータベースの開発、理解、または利用に対する革新的で永続的な価値を持つ非常に重要な貢献[10] |
| ユージン・L・ローラー賞 | 人道目的の情報技術の利用への大きな貢献[11] [12] | |
| ジェラルド・サルトン賞 | シギル | 情報検索研究への重要な、持続的かつ継続的な貢献[13] |
| ゲーデル賞 | シガクト | 共催： 欧州理論計算機科学協会。理論計算機科学分野における優れた論文に対して |
| ゴードン・ベル賞 | 高性能コンピューティングアプリケーションにおける優れた成果 | |
| グレース・マレー・ホッパー賞 | 35歳までに単一の重要な技術またはサービス貢献を行ったコンピューター専門家 | |
| ケン・ケネディ賞 | IEEEコンピュータソサエティとの共催。コンピューティングにおけるプログラミング性と生産性への多大な貢献、およびコミュニティサービスやメンタリングへの多大な貢献に対して。 | |
| クヌース賞 | シガクト | IEEEコンピュータソサエティとの共催。コンピュータサイエンスの基盤への卓越した貢献に対して |
| マーク・ワイザー賞 | シゴップス | オペレーティングシステム研究における創造性と革新性 |
| モーリス・ウィルクス賞 | シガルチ | コンピュータアーキテクチャへの顕著な貢献 |
| パリ・カネラキス賞 | コンピューティングの実践に大きな影響を及ぼした特定の理論的成果 | |
| ペニー・クレーン功労賞 | シグックス | 特別利益団体および高等教育におけるコンピューティングへの多大な貢献 |
| コンピューティング賞 | コンピューティング分野における初期から中期の革新的な貢献 | |
| プログラミング言語ソフトウェア賞 | SIGPLAN | プログラミング言語ソフトウェア |
| プログラミングシステムと言語論文賞[14] | 1983年にACMソフトウェアシステム賞に置き換えられた。 | |
| SIGCOMM賞 | シグコム | 通信ネットワーク分野への生涯にわたる貢献 |
| SIGUCCS殿堂賞 | シグックス | ACM SIGUCCS組織にプラスの影響を与えた貢献 |
| ソフトウェアシステム賞 | 概念への貢献、商業的受容、またはその両方に反映され、永続的な影響を与えたソフトウェア システム | |
| スティーブン・A・クーンズ賞 | シーグラフ | コンピュータグラフィックスへの優れた創造的貢献 |
| チューリング賞 | コンピュータ分野への永続的かつ重要な技術的貢献 |
IEEE
電気電子技術者協会(IEEE)、IEEE コンピュータ協会、IEEE 情報理論協会から数多くの賞が授与されます。
| 賞 | スポンサー | 注記 |
|---|---|---|
| チャールズ・バベッジ賞 | IEEEコンピュータ協会 | 並列計算分野における重要な貢献[15] |
| クロード・E・シャノン賞 | IEEE情報理論学会 | 情報理論分野への一貫した深遠な貢献[16] |
| コンピュータパイオニア賞 | IEEEコンピュータ協会 | コンピュータ産業の創造と継続的な活力の源となった人々 |
| ハーラン・D・ミルズ賞 | IEEEコンピュータ協会 | ソフトウェア工学を中心とした情報科学の理論と実践への貢献 |
| ハリー・H・グッド記念賞 | IEEEコンピュータ協会 | 情報処理分野における業績で、顕著な意義を持つ理論、設計、または技術の単一の貢献、あるいは長期間にわたる理論または実践に関する重要な貢献の蓄積のいずれかであると考えられるもの |
| インターネット賞 | IEEE、ノキア | ネットワークアーキテクチャ、モビリティ、および/またはエンドユースアプリケーションにおけるインターネット技術の進歩への卓越した貢献 |
| ジョン・フォン・ノイマン・メダル | IEEE | コンピュータ関連科学技術分野における優れた業績 |
| クリーネ賞 | IEEEコンピュータサイエンスにおける論理シンポジウム | 最優秀学生論文 |
| マハティ賞 | IEEEコンピュータサイエンス基礎シンポジウム | 最優秀学生論文 |
| レイノルド・B・ジョンソン情報ストレージシステム賞 | IEEE | 情報ストレージシステムへの顕著な貢献 |
| リチャード・W・ハミング賞 | IEEE、クアルコム | 情報科学、情報システム、情報技術における優れた業績 |
| シーモア・クレイコンピュータエンジニアリング賞 | IEEEコンピュータ協会 | 高性能コンピューティング分野における重要な革新的な貢献 |
| シドニー・ファーンバック賞 | IEEEコンピュータ協会 | 革新的なアプローチを用いた高性能コンピュータの応用における顕著な貢献 |
| 時の試練賞 | IEEEコンピュータサイエンスにおける論理シンポジウム | 20年前のLICSの論文は「時の試練」に耐えた |
| W. ウォレス マクドウェル賞 | IEEEコンピュータ協会 | コンピュータ学会の関心範囲内にある、最近の優れた理論、設計、教育、実用、またはその他の同様の革新的な貢献 |
| ウィリアム・C・カーター賞 | IEEEフォールトトレラントコンピューティング技術委員会およびIFIPディペンダブルコンピューティングおよびフォールトトレランスワーキンググループ | 博士論文全体を通じて信頼性とセキュリティに優れたコンピューティングの分野に多大な貢献をしている |
その他のコンピュータサイエンスの賞
| 国 | 賞 | スポンサー | 注記 |
|---|---|---|---|
| アメリカ合衆国 | ACM-AAAI アレン・ニューウェル賞 | 人工知能推進協会 | コンピュータサイエンスの幅広い分野、またはコンピュータサイエンスと他の分野をつなぐキャリア貢献[17] |
| ヨーロッパ | アッカーマン賞 | 欧州コンピュータサイエンスロジック協会 | コンピュータサイエンスにおける論理学の優秀論文賞[18] |
| 国際的 | アズリエル・ローゼンフェルド賞 | 国際コンピュータビジョン会議（電気電子学会） | 長年にわたるキャリアを通じてコンピュータビジョン分野に多大な貢献をした[19] |
| アメリカ合衆国 | バーワイズ賞 | アメリカ哲学協会 | 哲学とコンピューティングに関連する分野への重要かつ継続的な貢献[20] |
| イギリス | BCSラブレスメダル | 英国コンピュータ協会 | コンピューティングの理解や発展に顕著な貢献をした個人[21] |
| イギリス | チャールズ・バベッジ・プレミアム | 電気技術者協会 | 電子計算機の設計または使用に関する優れた論文の著者[22] |
| ヨーロッパ | ダール・ナイガード賞 | ヨーロッパオブジェクト指向プログラミング会議 | 優れたキャリア貢献を持つ上級研究者と、大きな可能性を示した若手研究者[23] |
| イギリス | デジタル保存賞 | デジタル保存連合 | デジタル保存という困難な分野における新たな取り組み[24] |
| ヨーロッパ | EATCS賞 | 欧州理論計算機科学協会 | 理論計算機科学における輝かしい経歴 |
| 国際的 | エジソン賞 | エジソン賞 | イノベーションの卓越性を称える |
| ヨーロッパ | ERCIM コル・バーエン賞 | 欧州情報科学・数学研究コンソーシアム | コンピュータサイエンスと応用数学の研究者 |
| アメリカ合衆国 | エルデシュ・レーニ賞 | ネットワーク科学協会 | ネットワーク科学分野における優れた若手研究者 |
| ドイツ | ハインツ・ビリング賞 | マックス・プランク協会ハインツ・ビリング財団 | 科学の進歩に不可欠なハードウェアとソフトウェアの開発に時間と労力を費やしてきた人々 |
| アメリカ合衆国 | エルブランド賞 | 自動控除に関する会議 | 自動控除の分野への重要な貢献 |
| イギリス | IETマウントバッテンメダル | 工学技術協会および電気技術者協会 | 電子工学や情報技術とその応用の促進に対する顕著な貢献、または一定期間にわたる貢献 |
| 国際的 | IJCAI研究優秀賞 | 人工知能に関する国際合同会議 | 人工知能の研究者はキャリアの優秀さを認められる |
| 国際的 | IJCAI コンピューターと思考賞 | 人工知能に関する国際合同会議 | 人工知能分野の優秀な若手科学者 |
| インド | インフォシス賞 | インフォシス科学財団 | 工学やコンピュータサイエンスを含む6つの分野における現代の研究者や科学者の優れた業績 |
| カナダ | JWグラハムメダル | ウォータールー大学数学部 | ウォータールー大学とカナダのコンピュータ産業にリーダーシップと多くの革新的な貢献を果たした。 |
| アメリカ合衆国 | ジョナサン・B・ポステル・サービス賞 | インターネット協会 | データ通信コミュニティへの優れた貢献をした人物を表彰する |
| オランダ | カライ賞 | ゲーム理論協会 | ゲーム理論とコンピュータサイエンスの接点における優れた論文 |
| ドイツ | コンラート・ツーゼ・メダル | 情報科学協会 | ドイツの著名なコンピューター科学者 |
| 国際的 | レフチン賞 | 国際暗号研究協会 | 現実世界に影響を与える暗号技術の革新 |
| イギリス | ローブナー賞 | 人工知能と行動シミュレーションの研究協会 | 審査員が最も人間に似ていると考えたコンピュータプログラム |
| ヨーロッパ | マイクロソフト賞 | 王立協会、フランス科学アカデミー | 計算手法を用いて科学の進歩に大きく貢献したヨーロッパの科学者たち |
| ヨーロッパ | ミルナー賞 | マイクロソフトリサーチ | （マイクロソフト賞に代わる）ヨーロッパの研究者によるコンピュータサイエンスにおける優れた業績 |
| ヨーロッパ | ネロード賞 | 欧州理論計算機科学協会、欧州アルゴリズムシンポジウム | 多変量アルゴリズムの分野における優れた研究 |
| ブラジル | ニュートン・フォーラー賞 | ブラジルコンピュータ協会 | ブラジルコンピュータ協会への貢献で生涯を通じて優れた功績を残した会員[25] |
| 国際的 | IMUアバカスメダル（ネヴァンリンナ賞） | 国際数学者会議 | 情報科学の数学的側面における顕著な貢献 |
| アメリカ合衆国 | オライリーオープンソース賞 | オライリーメディア | オープンソースへの献身、革新、リーダーシップ、そして卓越した貢献が認められた個人 |
| イタリア | ピレリ・インターネット賞 | ピレリ | 科学技術の普及に関するテーマに焦点を当てた最優秀マルチメディアプレゼンテーション |
| ヨーロッパ | プレスバーガー賞 | 欧州理論計算機科学協会 | 理論計算機科学における卓越した貢献をした若手科学者 |
| ヨーロッパ | 分散コンピューティングにおけるイノベーション賞 | 構造情報とコミュニケーションの複雑性に関する国際コロキウム | 分散コンピューティングにおける情報と効率の関係の理解への大きな貢献 |
| イギリス | ロジャー・ニーダム賞 | 英国コンピュータ協会 | 英国を拠点とする研究者によるコンピュータサイエンスにおける優れた研究貢献 |
| 国際的 | RSA数学優秀賞 | RSAカンファレンス | 関連する数学を含む広義の暗号研究における優れた業績 |
| アメリカ合衆国 | スローン研究フェローシップ | アルフレッド・P・スローン財団 | 若手科学者や学者に支援と認知を提供する |
| 国際的 | スティーブンス賞 | リエンジニアリングフォーラム | ソフトウェアおよびシステム開発手法に関する文献または実践への顕著な貢献 |
| イギリス | トニー・ケント・ストリクス賞 | 英国国際知識協会、王立化学協会 、英国コンピュータ協会 | 情報検索分野への顕著な貢献 |
| 日本 | 金井務賞 | 日立 | 最先端の分散コンピューティングシステムとその応用への主要な貢献 |
| アメリカ合衆国 | タッカー賞 | 数理最適化学会 | 最適化分野における優れた論文 |
| イギリス | ワイゼンバウム賞 | 国際倫理情報技術協会 | 情報倫理とコンピュータ倫理の分野への多大な貢献 |
| アメリカ合衆国 | ホワイトキャメル賞 | Perl財団 | Perlプログラミング言語コミュニティへの重要な貢献者 |
| オランダ | ファン・ウィンガーデン賞 | セントラム ウィスクンデ & インフォマティカ | 数学とコンピュータサイエンス |
| アメリカ合衆国 | 数値ソフトウェアに関するJHウィルキンソン賞 | 産業応用数学協会 | 数値ソフトウェア分野における顕著な貢献 |
| アメリカ合衆国 | 数値解析と科学計算におけるジェームズ・H・ウィルキンソン賞 | 産業応用数学協会 | 数値解析および科学計算に関する研究またはその他の貢献 |
| 国際的 | カレン・スパーク・ジョーンズ賞 | BCS、その情報検索スペシャリストグループ（BCS IRSG）、およびMicrosoft Research | カレン・スパーク・ジョーンズの業績と、情報検索とNLPの分野における彼女の影響力のある研究を記念する賞。 [26] |
情報科学賞
| 国 | 賞 | スポンサー | 注記 |
|---|---|---|---|
| 香港 | 香港ICTアワード | イノベーション・テクノロジー局 | 情報通信技術のスタートアップ企業とソリューション[27] [28] [29] [30] |
| カナダ | JWグラハムメダル | ウォータールー大学数学部 | ウォータールー大学とカナダのコンピュータ産業へのリーダーシップと多くの革新的な貢献[31] |
| 日本 | 京都先端技術賞 | 稲盛財団 | 電子工学 / バイオテクノロジー・医療技術 / 材料科学・工学 / 情報科学[32] [33] |
| チリ | 国家精密科学賞 | 文部科学省 | 例：ナノサイエンスとナノテクノロジー[34] |
| アイルランド | オムーアメダル | ヘルスケア情報学会 | 医療情報学への大きな貢献[35] |
| アメリカ合衆国 | パターソン・クレーン賞 | アメリカ化学会 | 化学情報への貢献[36] |
| アメリカ合衆国 | ハーマン・スコルニック賞 | アメリカ化学会 | 化学情報科学の理論と実践における顕著な貢献と業績[37] |
| 国際的 | ワイゼンバウム賞 | 国際倫理情報技術協会 | 情報倫理とコンピュータ倫理の分野に多大な貢献をした個人[38] |
競技会
| 国 | 賞 | スポンサー | 注記 |
|---|---|---|---|
| オーストラリア | ハッター賞 | マーカス・ハッター | 特定の1GBの英語テキストファイルのデータ圧縮の改善[39] |
| カナダ | AIチャレンジ | ウォータールー大学コンピュータサイエンスクラブ | 人工知能プログラミング[40] |
| アメリカ合衆国 | アメリカコンピュータサイエンスリーグ | ACSL | プログラミング[41] |
| アメリカ合衆国 | アリマーチャレンジ | アリマー/ オマール・サイード | 人工知能プログラミング（ゲームプレイ対人間）[42] |
| スウェーデン | CADE ATPシステム競技 | 自動推論協会 | 古典論理のための完全自動定理証明器[43] [44] [45] [46] |
| アメリカ合衆国 | 世界コンピュータブリッジ選手権 | アメリカコントラクトブリッジリーグ | コンピュータソフトウェアを使用したコントラクトブリッジ[47] |
| イギリス | サイバーセンチュリオン | サイバーセキュリティチャレンジUK | 小学生向けサイバーセキュリティコンテスト[48] [49] |
| アメリカ合衆国 | サイバーパトリオット | 空軍協会 | 高校生・中学生を対象とした全国ユースサイバー防衛コンテスト[50] |
| アメリカ合衆国 | DARPAネットワークチャレンジ | DARPA | インターネットとソーシャルネットワーキングの競争 |
| アメリカ合衆国 | DARPAシュレッダーチャレンジ2011 | DARPA | 様々な紙シュレッダー技術によって破砕された文書を復元する方法の競争 |
| ポーランド | 締め切り24 | トマシュ・ワコタとマテウシュ・ブジェシュチュ | プログラミング |
| アメリカ合衆国 | Halite AIプログラミングコンテスト | ツーシグマ、コーネルテック | オープンソースコンピュータプログラミングコンテスト |
| アメリカ合衆国 | ImageNet大規模視覚認識チャレンジ | イメージネット | ソフトウェアプログラムは、オブジェクトやシーンを分類し検出するために競争している |
| 国際的 | 国際情報オリンピック | ユネスコとIFIP | 学校対抗戦 |
| イギリス | ローブナー賞 | 人工知能と行動シミュレーションの研究協会 | 審査員が最も人間に似ていると考えたコンピュータプログラム |
| アメリカ合衆国 | 全国大学サイバー防衛コンテスト | テキサス大学サンアントニオ校 | 大学レベルのサイバー防衛コンテスト |
| アメリカ合衆国 | Netflix賞 | ネットフリックス | 映画のユーザー評価を予測するための最適な協調フィルタリングアルゴリズム |
| アメリカ合衆国 | アウトリーチ | ソフトウェア自由保存協会 | フリーおよびオープンソースソフトウェアプロジェクトでの3か月間の有給インターンシップ |
| アメリカ合衆国 | パスワードハッシュコンテスト | ジャン＝フィリップ・オーマソン | 1つ以上のパスワードハッシュ関数を選択する競争 |
| イギリス | プロジェクト・オイラー | コリン・ヒューズ | コンピュータプログラムで解決することを目的とした計算問題 |
| アメリカ合衆国 | セムエバル | 計算言語学協会SIGLEX | 計算意味解析システムの評価 |
| アメリカ合衆国 | テキスト検索会議 | 国立標準技術研究所、インテリジェンス先端研究プロジェクト活動 | 情報検索研究分野 |
| オーストラリア | UAVアウトバックチャレンジ | オーストラリア航空宇宙オートメーション研究センター | 無人航空機の開発競争 |
| アメリカ合衆国 | 大学投票システムコンペティション | 国立科学財団など | 学生はオープンソースの選挙システムを設計、実装、実証します |
参照
参考文献
- ^ 「チューリング賞、ブリタニカ百科事典」2024年4月17日。
- ^ ACM SIGARCH Alan D. Berenbaum Distinguished Service Award、ACM SIGARCH、2011年7月8日、 2020年1月27日閲覧。
- ^ 「Notices」. The Bulletin of Symbolic Logic . 23 (4): 540– 545. 2017. doi :10.1017/bsl.2017.40. ISSN 1079-8986. JSTOR 26409199.
- ^ SIGCHI Awards、SIGCHI、2011年1月18日時点のオリジナルよりアーカイブ、2020年1月27日閲覧。
- ^ “Danny Lewin Best Student Paper Award”. 2008年6月20日時点のオリジナルよりアーカイブ。
- ^ 2017 ACM-ICPC アジア ダッカ地域コンテストの順位表、ICPC 、 2020年1月27日取得
- ^ Edsger W. Dijkstra Prize in Distributed Computing、PODC 、2020年1月27日閲覧。
- ^ 「ACM博士論文賞について」awards.acm.org .
- ^ エッカート・モークリー賞、IEEEコンピュータ協会、2018年4月3日、 2020年1月27日閲覧。
- ^ SIGMOD Edgar F. Codd Innovations Award、ACM SIGMOD 、2020年1月27日閲覧。
- ^ 「ACM Eugene Lawler Award」ACM . 2013年9月1日閲覧。
- ^ 「ACMユージン・ローラー賞に関する国際科学研究センター」国際科学研究センター. 2013年9月1日閲覧。
- ^ Gerard Salton Awards、SIGIR 、 2020年1月27日閲覧。
- ^ 「ACMプログラミングシステムおよび言語論文賞」ACM . 2022年8月17日閲覧。
- ^ IEEE CS Charles Babbage Award、IEEE Computer Society、2018年4月3日、 2023年10月9日閲覧。
- ^ Claude E. Shannon Award、IEEE Information Theory Society 、 2020年1月28日閲覧。
- ^ 「アレン・ニューウェル賞」. Association for Computing Machinery. 2012年5月16日時点のオリジナルよりアーカイブ。2012年4月26日閲覧。
- ^ アッカーマン賞、EACSL 、 2020年11月27日閲覧
- ^ 「PAMI Azriel Rosenfeld Lifetime Achievement Award」、IEEE Computer Society Technical Committee on Pattern Analysis and Machine Intelligence、IEEE 、 2020年1月28日閲覧。
- ^ バーワイズ賞、アメリカ哲学協会、2007年3月12日時点のオリジナルよりアーカイブ、 2020年1月28日閲覧。
- ^ 「ラブレスメダルについて」
- ^ 「チャールズ・バベッジ・プレミアム」. The Journal of the Brit.IRE . 19 (1).英国無線技術者協会: 132, 134. 1959. 2020年4月20日閲覧。
- ^ AITO ダール・ナイガード賞、国際技術オブジェ協会、 2020 年 1 月 28 日取得
- ^ デジタル保存賞、デジタル保存連合、2007年8月21日時点のオリジナルよりアーカイブ、 2020年1月28日閲覧。
- ^ Newton Faller、Sociedade Brasileira de Computação 、2020-01-20取得
- ^ KSJ賞、BCS IRSG 、 2020-06-09取得
- ^ “「2017 香港資訊及通訊科技獎」(Hong Kong ICT Awards) 頒獎典禮將於四月舉行”. Unwire.hk。 2017 年 2 月 3 日。
- ^ “2018香港資訊及通訊科技獎現接受報名”. 東方日報。 2017 年 11 月 2 日。
- ^ “港青少年 創新科技成果”. PCM電腦廣場。
- ^ "2018 香港資訊及通訊科技獎 智慧生活 ‧ 創科先行". U週刊イーゾーン。 2017 年 12 月 7 日。
- ^ 「JWグラハム賞」ウォータールー大学. 2011年4月3日閲覧。
- ^ 「京都賞、功績と人格を称える」USAトゥデイ、2006年11月11日。 2013年1月1日閲覧。
- ^ 「ジョン・カーン氏が材料科学への基礎的貢献で2011年京都賞を受賞」アメリカ国立標準技術研究所（NIST）2011年6月24日。 2013年1月1日閲覧。
- ^ “Ley 19169: Establece normas sobre otorgamiento de Premios Nacionales” [法律 19169: 国家賞の授与に関する規則を確立] (スペイン語)。文部省。 1992 年 9 月 26 日。2017 年12 月 8 日に取得– チリ国民会議図書館経由。
- ^ オムーアメダル、アイルランド医療情報学会（HISI） 、 2020年1月28日閲覧
- ^ 「パターソン・クレーン賞（デイトン支部との共催）」アメリカ化学会コロンバス支部. 2015年1月13日閲覧。
- ^ 「ハーマン・スコルニック賞」ACS化学情報部門. 2016年7月21日閲覧。
- ^ INSEITニュースレター
- ^ 「人間の知識の圧縮に50万ユーロの賞金」prize.hutter1.net . 2020年8月1日閲覧。
- ^ AIチャレンジフォーラム、 2020年1月28日閲覧
- ^ 「アメリカコンピュータサイエンスリーグ」. アメリカコンピュータサイエンスリーグ. 2014年11月13日閲覧。
- ^ 「アリマーチャレンジ」.
- ^ Sutcliffe, Geoff (2011). 「第5回IJCAR自動定理証明システムコンペティション - CASC-J5」 . AI Communications . 24 (1): 75– 89. doi :10.3233/AIC-2010-0483.
- ^ ジェフ・サトクリフ. 「CADE ATPシステム競技会」. 2009年3月2日時点のオリジナルよりアーカイブ。2008年10月23日閲覧。
- ^ ジェフ・サトクリフ、クリスチャン・サットナー (2006). 「CASCの現状」. AI Communications . 19 (1): 35–48 .
- ^ Jeff Pelletier、Geoff Sutcliffe、Christian Suttner (2002). 「CASCの開発」(PDF) . AI Communications . 15 ( 2–3 ): 79–90 .
- ^ 世界コンピュータブリッジ選手権、アメリカコントラクトブリッジリーグと世界ブリッジ連盟、 2020年1月28日閲覧
- ^ 「サイバーセンチュリオンインフォグラフィック」（PDF） . cybersecuritychallenge.org.uk .
- ^ 「CyberCenturion - サイバーセキュリティチャレンジUK」.サイバーセキュリティチャレンジUK . 2017年4月23日閲覧。
- ^ サイバーパトリオットとは何か？、空軍協会、 2020年1月28日閲覧
