参考文献
- ↑ 「チューリング賞、ブリタニカ百科事典」。2024年4月17日。
- ↑ ACM SIGARCH アラン・D・ベレンバウム功労賞、ACM SIGARCH、2011年7月8日、 2020年1月27日取得
- ↑ 「通知」。記号論理学紀要。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日に取得
- ↑ 「ダニー・ルーウィン最優秀学生論文賞」。 2008年6月20日にオリジナルからアーカイブされました。
- ↑エドガー・W・ダイクストラ分散コンピューティング賞、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 ユージン・ローラー賞」。ACM 。 2013年9月1日取得。
- ↑ 「ACMユージン・ローラー賞に関する国際科学研究センター」。国際科学研究センター。 2013年9月1日取得。
- ↑ジェラード・サルトン賞、SIGIR 、 2020年1月27日取得
- ↑ 「ACMプログラミングシステムおよび言語論文賞」。ACM 。2022年8月17日取得。
- ↑ IEEE CS Charles Babbage Award、IEEE Computer Society、2018年4月3日、 2023年10月9日取得
- ↑クロード・E・シャノン賞、IEEE情報理論学会、 2020年1月28日取得
- ↑ 「アレン・ニューウェル賞」。Association for Computing Machinery。2012年5月16日のオリジナルからアーカイブ。2012年4月26日取得。
- ↑アッカーマン賞、EACSL 、 2020年11月27日取得
- ↑ 「PAMI アズリエル・ローゼンフェルド生涯功労賞」、IEEE コンピュータソサエティ パターン分析および機械知能技術委員会、IEEE 、 2020年1月28日取得
- ↑バーワイズ賞、アメリカ哲学会、2007年3月12日にオリジナルからアーカイブ、2020年1月28日に取得
- ↑ 「ラブレース・メダルについて」
- ↑ 「チャールズ・バベッジ賞」。英国無線技術者協会誌。19 （1）。英国無線技術者協会：132、134。1959年。2020年4月20日取得。
- ↑ AITO Dahl-Nygaard 賞、国際技術オブジェ協会、 2020-01-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 Today. 2006年11月11日。 2013年1月1日閲覧。
- ↑ 「ジョン・カーン氏、材料科学への基礎的貢献により2011年京都賞を受賞」。米国国立標準技術研究所。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日に取得。
- ↑ Geoff Sutcliffe および Christian Suttner (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 - 英国サイバーセキュリティチャレンジ」。英国サイバーセキュリティチャレンジ。 2017年4月23日取得。
- ↑サイバーパトリオットとは？、空軍協会、 2020年1月28日取得
