ケストレル研究所

ケストレル研究所は、パロアルトのスタンフォードリサーチパークにある非営利のコンピュータサイエンス研究センターです。1981年にケストレルを設立したコーデルグリーンが所長兼主任科学者です。 ^[2]^[1]ケストレル研究所の使命は、良質で高品質なソフトウェアの作成を容易にすることであり、ランバート・ミーテンスのようなコンピュータ科学者を雇用しています。^[3]^[^{説明が必要}^]

1980年代、ケストレルは、ソフトウェアの作成を容易にする（「プログラミングプロセスを標準化し、機械化する」）「知識ベースのソフトウェア環境」を研究の焦点としていました。^[4]さらに、2002 年のMIT Technology Review の記事では、ケストレルのプロジェクトの 1 つが「プログラマーに信頼性の高いプログラムの作成をほぼ強制する」方法であると説明されていました。^[5] 2005 年のNewsweek の記事では、ケストレルの 1 つの技術について説明されており、これは「問題の説明をコンピューターが理解できるガイドラインに変換する」ことで、米軍の貨物の配備スケジュールを支援するソフトウェアを開発しました。^[6]

ケストレルの資金のほぼすべては、米国国防総省、DARPA、高等研究計画局（IARPA）、空軍研究所（AFRL）、AFOSR、海軍研究局（ONR）、NASA、国立科学財団（NSF）などの組織からの政府助成金によるものです。^[7]^[8] 2015年には、助成金と寄付金で490万ドルを受け取りましたが、前年の660万ドルから減少しました。^[1]

参考文献

^ abcd 「2015 Form 990、Kestrel Institute」（PDF）。GuideStar 。2016年10月6日。 2018年1月23日閲覧。
^ 「Kestrel Institute」ブルームバーグ。 2018年1月23日閲覧。
^ “LGLT メルテンス教授”.ユトレヒト大学。2018 年1 月 23 日に取得。
^ Douglas R. Smith、Gordon B. Kotik、Stephen J. Westfold (1985 年 11 月)。「Kestrel Institute における知識ベースソフトウェア環境の研究」(PDF)。IEEE Transactions on Software Engineering。SE -11 (11): 1278–1295。doi : 10.1109 /tse.1985.231879。2018年1 月 23 日閲覧。
^ Mann, Charles C. (2002 年 7 月 1 日). 「ソフトウェアがなぜ悪いのか」. MIT テクノロジーレビュー. 2018 年1 月 23 日閲覧。
^ 「自己記述型コンピュータソフトウェア」。ニューズウィーク。2005年12月25日。 2018年1月23日閲覧。
^ 「高保証ソフトウェアの合成」Kestrel Institute 。 2018年1月23日閲覧。
^ 「GuideStar Report: Kestrel Institute」。GuideStar 。 2018年1月23日閲覧。