ロゴ
ユニオンペディア
コミュニケーション
Google Play で手に入れよう
新しい! あなたのAndroid™デバイスでユニオンペディアをダウンロードしてください!
無料
ブラウザよりも高速アクセス!
 

グレース・ホッパー賞

索引 グレース・ホッパー賞

レース・ホッパー賞(英: )は、Association for Computing Machinery (ACM) が1971年から授与している賞。コンピュータの先駆者であるグレース・ホッパーの名を冠している。35歳以下のコンピュータの専門家を対象とし、技術的または業務的な重要な貢献をした者を表彰する。.

43 関係: APLApple IApple IIAssociation for Computing Machineryマンマシンインタフェースリチャード・ストールマンルイス・フォン・アンレイ・カーツワイルロバート・メトカーフビャーネ・ストロヴストルップビル・ジョイデータマイニングディープ・ブルー (コンピュータ)ドナルド・クヌースダン・ブリックリン分散ハッシュテーブルイーサネットウォータールー大学エキスパートシステムガイ・スティール・ジュニアグレース・ホッパーコネクションマシンコンピュータシャフィ・ゴールドワッサースティーブ・ウォズニアックBSDC++CADCOBOLEmacs静的スコープ計算理論論理プログラミング輻輳制御英語FORTRANLISPMycinSmalltalkSystem/360The Art of Computer ProgrammingVisiCalc

APL

APL(エーピーエル)は、プログラミング言語のひとつで、1957年のケネス・アイバーソンによる創案に基づいた独特の表記法を用いる。処理系の実装は、ほとんどが対話型インタプリタである。とくに多次元配列の柔軟な処理が特徴である。「APL」は「プログラミング言語」(a programming language) の略であるが、言語の特性から、ときに「配列処理言語」(array processing language) などとされる。.

新しい!!: グレース・ホッパー賞とAPL · 続きを見る »

Apple I

Apple I(アップル ワン)は、アップルが最初期に製作したマイクロコンピュータである。「Apple 1」と表記されることもあるが、これは基板の表面に「Apple Computer 1」と刻印されていたため。 スティーブ・ジョブズとともにアップルを創業したエンジニア、スティーブ・ウォズニアックがほぼ独力で開発したマイクロコンピュータ(ないし、周辺装置を容易に仕立てられるよう周到に設計された、ある種のワンボードマイコン)である。アップルコンピュータの創立者3名が私財を投じて作った。ジョブズは唯一の移動手段だったフォルクスワーゲンのバンを売り、ウォズニアックはヒューレット・パッカード製のHP-65という電卓を500ドルで売った。 1976年7月、カリフォルニア州パロアルトのホームブリュー・コンピュータ・クラブで披露された。 後継機は、大ヒットとなったApple IIである。.

新しい!!: グレース・ホッパー賞とApple I · 続きを見る »

Apple II

Apple II Apple II(アップル ツー)は、アップルが1977年に発表したパーソナルコンピューター(ないしホームコンピューター (en:Home computer))。当時の分類としてはマイクロコンピューター)である。「Apple.

新しい!!: グレース・ホッパー賞とApple II · 続きを見る »

Association for Computing Machinery

Association for Computing Machinery (ACM) は、ニューヨークに本部のあるコンピュータ科学分野の国際学会。1947年設立。IEEEとともに、この分野で最も影響力の強い学会であり、IEEEがその名と由来や歴史からエレクトロニクスや通信分野の工学に強いのに対し、数学的な理論計算機科学のような分野もカバーする。日本語に訳して「計算機械学会」とされることもあるが、こんにちこの訳語が用いられることはほとんどなく、通常は単に"ACM"という略称で呼ばれるのがもっぱらである。ACMの「A」は Association (学会、団体) の頭文字であるが、アメリカ数学会 (AMS) と混同して「米国計算機学会」と誤訳されることがある。 数多くの国際会議を開催しており、人目を惹くデモ映像のSIGGRAPHやSIGMODなどはよく知られている。他の多くの学会と同様にすぐれた業績などへの表彰もおこなっているが、チューリング賞は、特にこの分野の最高の賞とみなされており、物理や化学といった分野におけるノーベル賞に匹敵するものと扱われることもある(他の賞についても時折「~のノーベル賞」といったような表現が使われることがあるが、この分野の全てを対象とした世界トップクラスの賞という位置づけにあるのはチューリング賞をおいて他にない)。.

新しい!!: グレース・ホッパー賞とAssociation for Computing Machinery · 続きを見る »

マンマシンインタフェース

マンマシンインタフェース(man machine interface、日本以外では現在では human machine interface(ヒューマンマシンインタフェース、HMI)とするほうが普通)は、人間と機械の間の伝達を行う、機器やコンピュータプログラム等といったインタフェースの総称である。.

新しい!!: グレース・ホッパー賞とマンマシンインタフェース · 続きを見る »

リチャード・ストールマン

リチャード・マシュー・ストールマン(Richard Matthew Stallman、1953年3月16日 - )は、アメリカ合衆国のプログラマー、フリーソフトウェア活動家。コピーレフトの強力な推進者として知られ、現在にいたるまでフリーソフトウェア運動において中心的な役割を果たしている。また、プログラマーとしても著名な存在であり、開発者としてその名を連ねるソフトウェアにはEmacsやGCCなどがある。なお、名前の頭文字を取って RMS と表記されることもある。.

新しい!!: グレース・ホッパー賞とリチャード・ストールマン · 続きを見る »

ルイス・フォン・アン

ルイス・フォン・アン博士(Dr.

新しい!!: グレース・ホッパー賞とルイス・フォン・アン · 続きを見る »

レイ・カーツワイル

レイ・カーツワイル(Ray Kurzweil, 1948年2月12日 - )はアメリカ合衆国の発明家、実業家、未来学者。本名はレイモンド・カーツワイル(Raymond Kurzweil)。 人工知能研究の世界的権威であり、特に技術的特異点(technological singularity)に関する著述で知られる。 発明家としては、オムニ・フォント式OCRソフト、フラットベッド・スキャナー、"Kurzweil"ブランドのシンセサイザー「K250」、文章音声読み上げマシーン(カーツワイル朗読機)などを開発している。.

新しい!!: グレース・ホッパー賞とレイ・カーツワイル · 続きを見る »

ロバート・メトカーフ

バート・メランクトン・メトカーフ(Robert Melancton Metcalfe、1946年4月7日 -)は、アメリカの電気工学者(electrical engineer)。愛称はボブ・メトカーフ(Bob Metcalfe)。パロアルト研究所所属中に、イーサネットの共同発明者のひとりとなった。後に3COMを創業。メトカーフの法則でも知られている。2012年現在、Polaris Venture Partners のゼネラルパートナーを務めている。2011年1月からテキサス大学オースティン校で電気工学教授と技術革新ディレクターを務めている。.

新しい!!: グレース・ホッパー賞とロバート・メトカーフ · 続きを見る »

ビャーネ・ストロヴストルップ

ビャーネ・ストロヴストルップ(, 1950年12月30日 - )は、デンマークのオーフス生まれのコンピュータ科学者。ファーストネームは「ビアルネ」「ビャーン」「ビョーン」、ファミリーネームは「ストラウストラップ」「ストゥロウストゥループ」などとも書かれる。本人による自身のである。 1975年、オーフス大学で計算機科学と数学の修士号を取得。卒業後イギリスに渡り、1979年にケンブリッジ大学で計算機科学の博士号を取得。その後家族とともにアメリカ合衆国ニュージャージー州に渡り、AT&Tベル研究所に大規模プログラミング研究部部長として勤務。1983年に C言語を拡張し、オブジェクト指向プログラミングを可能にした C++ を開発した。2002年に AT&T ベル研究所を退所し、テキサス州テキサスA&M大学の計算機科学教授を務めた。2014年よりモーガンスタンレーのテクノロジー部門でマネージングディレクターを務めている。 2004年、全米技術アカデミーの会員に選出される。2018年チャールズ・スターク・ドレイパー賞受賞。.

新しい!!: グレース・ホッパー賞とビャーネ・ストロヴストルップ · 続きを見る »

ビル・ジョイ

ウィリアム・ネルソン・ジョイ(William Nelson Joy, 1954年11月8日 - )、通称ビル・ジョイ(Bill Joy)は、アメリカ合衆国のコンピュータ科学者でありコンピュータ技術者。KPCB パートナー。元サン・マイクロシステムズチーフサイエンティスト。BSD開発の初期にまとめ役として働き、viテキストエディタを開発したことで知られている。 漢字を勉強したことがあり、来日した際のサインなどで、名前を「美流上位」と書いている。.

新しい!!: グレース・ホッパー賞とビル・ジョイ · 続きを見る »

データマイニング

データマイニング(Data mining)とは、統計学、パターン認識、人工知能等のデータ解析の技法を大量のデータに網羅的に適用することで知識を取り出す技術のことである。DMと略して呼ばれる事もある。通常のデータの扱い方からは想像が及びにくい、ヒューリスティク(heuristic、発見的)な知識獲得が可能であるという期待を含意していることが多い。とくにテキストを対象とするものをテキストマイニング、そのなかでもウェブページを対象にしたものをウェブマイニングと呼ぶ。英語では"Data mining"の語の直接の起源となった研究分野であるknowledge-discovery in databases(データベースからの知識発見)の頭文字をとってKDDとも呼ばれる。.

新しい!!: グレース・ホッパー賞とデータマイニング · 続きを見る »

ディープ・ブルー (コンピュータ)

ディープ・ブルー(Deep Blue)は、IBMが開発したチェス専用のスーパーコンピュータである。.

新しい!!: グレース・ホッパー賞とディープ・ブルー (コンピュータ) · 続きを見る »

ドナルド・クヌース

ドナルド・エルビン・クヌース(Donald Ervin Knuth, 1938年1月10日 -)は数学者、計算機科学者。スタンフォード大学名誉教授。 クヌースによるアルゴリズムに関する著作 The Art of Computer Programming のシリーズはプログラミングに携わるものの間では有名である。アルゴリズム解析と呼ばれる分野を開拓し、計算理論の発展に多大な貢献をしている。その過程で漸近記法で計算量を表すことを一般化させた。 理論計算機科学への貢献とは別に、コンピュータによる組版システム TeX とフォント設計システム METAFONT の開発者でもあり、Computer Modern という書体ファミリも開発した。 作家であり学者であるクヌースは、文芸的プログラミングのコンセプトを生み出し、そのためのプログラミングシステム WEB / CWEB を開発。また、MIX / MMIX 命令セットアーキテクチャを設計。.

新しい!!: グレース・ホッパー賞とドナルド・クヌース · 続きを見る »

ダン・ブリックリン

ダン・ブリックリン(2007年2月25日撮影) ダニエル・S・ブリックリン(英: Daniel S. Bricklin, 1951年7月16日 - )はアメリカ合衆国のコンピュータ科学者。ボブ・フランクストンとともに表計算ソフトVisiCalcを開発した。 ペンシルベニア州フィラデルフィアに生まれる。Akiba Hebrew Academyを経て1969年マサチューセッツ工科大学に入学し、1973年に電気工学と計算機科学の理学士号を取得。MIT卒業後DECに入社しワープロソフト「WPS-8」のプロジェクトリーダーとなるが、1976年に退社。1977年にハーバード・ビジネス・スクールに入学し、1979年に経営学修士号を取得。 1979年、MIT時代の友人であったボブ・フランクストンとともにSoftware Artsを設立、世界初のパーソナルコンピュータ向け表計算ソフトであるVisiCalcの販売を開始した。ロータスに買収される1985年まで会長を務め、同年Software Gardenを設立。1990年にはSlate Corporationを設立するが1994年に閉鎖、Software Gardenに復帰した。1995年にはTrellix Corporationを設立、2003年にInterland(現Web.com)に買収され、ブリックリンは2004年までInterlandの最高技術責任者を務めた。 1981年にグレース・マレー・ホッパー賞を、2003年にウォートン・インフォシス・ビジネス変革賞を受賞した。1994年にはACMのフェローに就任した。 現在はソフトウェア会社Software Gardenの社長を務める傍ら、Wikiシステムを利用したWebベースの表計算ソフト「wikiCalc」の開発に取り組んでいる。.

新しい!!: グレース・ホッパー賞とダン・ブリックリン · 続きを見る »

分散ハッシュテーブル

分散ハッシュテーブル (Distributed Hash Table, DHT) とは、ハッシュテーブルを複数のピアで管理する技術のこと。2001年に発表されたCAN, Chord, Pastry, Tapestryが代表的なアルゴリズムとして挙げられる。.

新しい!!: グレース・ホッパー賞と分散ハッシュテーブル · 続きを見る »

イーサネット

イーサネット (Ethernet) はコンピューターネットワークの規格の1つ。世界中のオフィスや家庭で一般的に使用されている有線のLAN (Local Area Network) で最も使用されている技術規格で、OSI参照モデルの下位2つの層である物理層とデータリンク層に関して規定している。 現代の有線LANは、OSI参照モデルの下位2層に相当するイーサネットとそれ以上の層を規定した「TCP/IPプロトコル」の組み合わせが一般的である。.

新しい!!: グレース・ホッパー賞とイーサネット · 続きを見る »

ウォータールー大学

ナダにある理工系中心の大学である。.

新しい!!: グレース・ホッパー賞とウォータールー大学 · 続きを見る »

エキスパートシステム

パートシステム()は人工知能研究から生まれたコンピュータシステムで、人間の専門家(エキスパート)の意思決定能力をエミュレートするものである。専門家のように知識についての推論によって複雑な問題を解くよう設計されており、通常のプログラミングのようにソフトウェア開発者が設定した手続きに従うわけではない。1970年代に人工知能の研究者によって開発され、1980年代にわたって商業的に適用され、AIソフトウェアとして最初に成功を収めた形態である。日本語訳では専門家システムと言う場合もある。 エキスパートシステムは基本的に、特定の分野の問題についての情報を解析するルール群から構成されるプログラムであり、その情報はシステムの利用者が提供する。 問題の分析結果を提供するだけでなく、設計によっては利用者の行動を正しく導く指針を与えることもできる。通常のプログラムとは異なった独特の構造をしている。2つの部分で構成されており、1つはそのエキスパートシステムから独立している推論エンジンであり固定である。もう1つは知識ベースで、可変である。推論エンジンが知識ベースを使って推論を行う。80年代になると、利用者とやりとりするための対話インタフェースが第3の部分として登場した。利用者との会話によって知識ベースを構築することから、後に会話型 (en:Conversational Programming System) と呼ばれるようになった。 関連用語としてウィザードがある。エキスパートシステムのように、ウィザードもユーザが問題を解決するのを手助けする対話型コンピュータプログラムである。普通、ウィザードという用語は、ユーザにより入力された指針に従ってデータベースで検索するプログラムを指す。あいにく、これらの2つの定義の区別は確定したものではなくルールベースのプログラムの中にはウィザードと呼ばれるものもある。.

新しい!!: グレース・ホッパー賞とエキスパートシステム · 続きを見る »

ガイ・スティール・ジュニア

イ・L・スティール・ジュニア(Guy L. Steele, Jr.、1954年10月2日 - )はアメリカ合衆国の計算機科学者であり、3つの書籍の著者として知られている。あだ名は The Great Quux。ジャーゴンファイルの編集者でもあったが、その後エリック・レイモンドが改版したときにはガイ・スティール・ジュニアのイラスト付きの序文が寄せられた(MIT出版局)。Scheme 言語の共同開発者としても知られている。.

新しい!!: グレース・ホッパー賞とガイ・スティール・ジュニア · 続きを見る »

グレース・ホッパー

レース・マレー・ホッパー (Grace Murray Hopper, 1906年12月9日 - 1992年1月1日) は、アメリカ海軍の軍人かつ計算機科学者。最終階級は准将。ハーバード マークIの最初のプログラマーの一人であり、プログラミング言語COBOLを開発した。愛称はアメージング・グレース。.

新しい!!: グレース・ホッパー賞とグレース・ホッパー · 続きを見る »

コネクションマシン

ネクションマシン(Connection Machine)は、スーパーコンピュータシリーズの名称である。1980年代初頭、マサチューセッツ工科大学の Danny Hillis によるノイマン型コンピュータの代替となるアーキテクチャの研究から発展して製品化された。最初の CM-1 は、MITで考案されたもので、数千の単純なプロセッサノード(それぞれにRAMを持つ)をハイパーキューブ型に接続した超並列マシンであり、各CPUノードにはRAMを持ちSIMD方式で動作した。人工知能や記号処理に使うことを目的としていたが、計算科学分野で成功した。 Hillis と Sheryl Handler はシンキングマシンズ社をマサチューセッツ州 Waltham に設立し(1983年)、CM-1 を製造し、後に最大 65,536プロセッサ構成の CM-2を開発した。各プロセッサは非常に単純な 1ビットプロセッサである。後に数値演算コプロセッサ(Weitek 3132)を追加できるように改良され、32ノードがひとつの数値演算コプロセッサを共有する構成となっていた。CM-2 の小規模版 CM-2a(最大 4096プロセッサか 8192プロセッサ)や、高速版 CM-200 も後にリリースされた。 その本来の目的がAI研究であったため、CM-1/CM-2 のソフトウェアはLISPが基本とされ、Common Lispの派生版である *Lisp(スターリスプ)が実装された。CM-1/2のユーティリティの大半は *Lisp で書かれていた。 1991年に発表された CM-5 では、アーキテクチャを完全に変更し、Fat Tree構成のネットワークでSPARC RISCプロセッサを接続し、MIMD方式で動作した。後継の CM-5E では、SPARC を SuperSPARC に置き換えている。 コネクションマシン(CM-1)は一辺が 1.5メートルの立方体型であった。8個の同サイズの立方体に分かれている。その各立方体内に16枚のプリント基板とプロセッサが収められていた。各プリント基板には32個のチップが搭載されている。各チップには、ルーターと呼ばれる伝送路、16個のプロセッサ、16個のRAM、その他電子部品が集積されている。コネクションマシンは、全体としてはルーティングネットワークと主記憶と入出力プロセッサから構成されていた。そのスイッチングネットワーク部分を nexus と呼ぶ。主記憶装置は512メガバイト、補助記憶装置は 10ギガバイトであった。 コネクションマシンはその特異なデザインで記憶されている。CM-2 は立方体型で、その表面の大部分で LED が点滅しているのが見えた。CM-5 は上から見ると稲妻型になっていて、やはりLEDが多数並んだパネルが付いていた。そのデザインのためと思われるが、CM-5は、映画『ジュラシックパーク』で中央制御室に置かれていた。 コネクションマシンについて書かれた Danny Hillis 自身の著作 The Connection Machine (MIT Press Series in Artificial Intelligence) (ISBN 0262081571) は既に絶版となっている(2005年現在)。この本ではコネクションマシンの哲学、アーキテクチャ、ソフトウェアを概観しており、CPUノード間のデータルーティング手法、超並列マシンでのLISPプログラミング手法などが解説されている。なお、邦訳は1990年にパーソナルメディアより刊行(ISBN 4-89362-062-2)され、現在でも入手可能である(2009年10月現在)。邦訳にあたっては1985年発行の原書の内容が古くなったため、Danny Hillis自身の希望により、訳者がCM-2の記述を第2部として追加している。.

新しい!!: グレース・ホッパー賞とコネクションマシン · 続きを見る »

コンピュータ

ンピュータ(Computer)とは、自動計算機、とくに計算開始後は人手を介さずに計算終了まで動作する電子式汎用計算機。実際の対象は文字の置き換えなど数値計算に限らず、情報処理やコンピューティングと呼ばれる幅広い分野で応用される。現代ではプログラム内蔵方式のディジタルコンピュータを指す場合が多く、特にパーソナルコンピュータやメインフレーム、スーパーコンピュータなどを含めた汎用的なシステムを指すことが多いが、ディジタルコンピュータは特定の機能を実現するために機械や装置等に組み込まれる組み込みシステムとしても広く用いられる。電卓・機械式計算機・アナログ計算機については各項を参照。.

新しい!!: グレース・ホッパー賞とコンピュータ · 続きを見る »

シャフィ・ゴールドワッサー

ャフリラ・ゴールドワッサー(Shafrira Goldwasser、、1958年 - )は、マサチューセッツ工科大学の電気工学と計算機科学の教授で、イスラエルのワイツマン科学研究所の数学の教授。通称はシャフィ (Shafi)。.

新しい!!: グレース・ホッパー賞とシャフィ・ゴールドワッサー · 続きを見る »

スティーブ・ウォズニアック

テファン・ゲーリー・ウォズニアック(Stephen Gary Wozniak、1950年8月11日 - )は、アメリカ合衆国のコンピュータ・エンジニアである。スティーブ・ジョブズ、ロン・ウェインらと共に、商用パーソナルコンピュータで世界初の成功を収めたアップルの共同設立者の一人。 Apple IおよびApple IIをほぼ独力で開発。多くのコンピューター関係者に人柄を慕われ「ウォズ」と、また、技術者からはApple IIの設計などから窺えるその技術力から「ウォズの魔法使い」とも呼ばれる。アメリカ国家技術賞とグレース・ホッパー賞を受賞している。.

新しい!!: グレース・ホッパー賞とスティーブ・ウォズニアック · 続きを見る »

BSD

BSD(ビーエスディー)は、Berkeley Software Distribution の略語で、1977年から1995年までカリフォルニア大学バークレー校 (University of California, Berkeley, UCB) の Computer Systems Research Group (CSRG) が開発・配布したソフトウェア群、およびUNIXオペレーティングシステム (OS)。なお、今日「BSD」という名称は同OSを元に開発されたBSDの子孫の総称として使われることもあるが、この項では主に前述のUCBによるソフトウェア群およびOSについて述べる。 元となったコードベースと設計はAT&TのUNIXと共通であるため、歴史的にはBSDはUNIXの支流 "BSD UNIX" とみなされてきた。1980年代、ワークステーションクラスのシステムベンダーがプロプライエタリなUNIXとしてBSDを広く採用していた。例えば、DECのUltrix、サン・マイクロシステムズのSunOSなどである。これは、ライセンス条件の容易だったためと、当時の多くの技術系企業の創業者がBSDを熟知していたためである。 それらプロプライエタリ (proprietary:非公開) なBSD派生OSは、1990年代にはUNIX System V Release 4とOSF/1に取って代わられ(どちらもBSDのコードを取り入れており、他の現代のUnixシステムの基盤となった)、後期のBSDリリースはいくつかのオープンソース開発プロジェクトの基盤となった。例えば、FreeBSD、NetBSD、OpenBSD、DragonFly BSDなどが今も開発中である。さらにそれら(の全部あるいは一部)が最近のプロプライエタリなOSにも採用されている。例えば、WindowsのTCP/IPコード(IPv4のみ)やアップルのmacOSである。.

新しい!!: グレース・ホッパー賞とBSD · 続きを見る »

C++

C++(シープラスプラス)は、汎用プログラミング言語の一つである。日本語では略してシープラプラ、シープラなどとも呼ばれる。.

新しい!!: グレース・ホッパー賞とC++ · 続きを見る »

CAD

CAD(キャド、computer-aided design)は、コンピュータ支援設計とも訳され、コンピュータを用いて設計をすること、あるいはコンピュータによる設計支援ツールのこと(CADシステム)。人の手によって行われていた設計作業をコンピュータによって支援し、効率を高めるという目的からきた言葉である。 CADを「コンピュータを用いた製図(システム)」と解する場合は「computer-assisted drafting」、「computer-assisted drawing」を指し、同義として扱われることもある。 設計対象や目的によりCADD()、CAID()、CAAD()などと区分される場合もある。 日本での定義としてはJIS B3401に記載があり、「製品の形状、その他の属性データからなるモデルを、コンピュータの内部に作成し解析・処理することによって進める設計」となっている。 3次元の作業の場合でも、数値の精密さの必要がないコンピュータゲームや映画やアニメーションなどの制作関係の事柄については「3DCG」を参照。.

新しい!!: グレース・ホッパー賞とCAD · 続きを見る »

COBOL

COBOL(コボル)は、1959年に事務処理用に開発されたプログラミング言語である。名前は「Common Business Oriented Language」(共通事務処理用言語)に由来する。.

新しい!!: グレース・ホッパー賞とCOBOL · 続きを見る »

Emacs

Emacs (イーマックス、)は、その拡張性を特徴としたテキストエディタのファミリーである。Emacsの中で最も広く使われている派生物はGNU Emacsであるが、そのマニュアルにはEmacsを「the extensible, customizable, self-documenting, real-time display editor」(拡張およびカスタマイズが可能で、自己文書化を行い、リアルタイム表示を行うエディタ)であると説明されている。最初のEmacs開発が1970年代中盤に開始されてから、その直系の子孫であるGNU Emacsが製作され、その開発がも続いている。 Emacsはユーザインタフェースと10,000を超える組み込みコマンドを持ち、ユーザーは作業自動化のためにこれらのコマンドをマクロと組み合わせることができる。さらに深い拡張性を提供するLISPプログラミング言語の方言であるEmacs Lisp (ELisp) はEmacs実装の主な特徴であり、ELispでユーザーや開発者はEmacs用の新しいコマンドやアプリケーションを書くことができる。Emacsの拡張機能として電子メール、ファイル、アウトライン、およびRSSフィードが書かれており、それ以外にもELIZA、ポン、ライフゲーム、ヘビゲーム、およびテトリスのクローンもある。ユーザーの中にはEmacs内部からテキスト編集だけでなくほとんど全ての作業を行うことができることに気づいた者もいる。 原典であるEMACSは1972年にCarl Mikkelson、、およびガイ・L・スティール・ジュニアらによりTECOエディタ用のEditor MACroSのセットとして書かれたものであり、TECOマクロエディタの概念にインスパイアされている。 最も有名かつ最も移植されたEmacsは、ストールマンによってGNUプロジェクトのために作成されたGNU Emacsである。XEmacsは1991年にGNU Emacsからフォークされた派生物である。GNU EmacsとXEmacsは類似のLISP方言を使い、互いに互換性のある部分が大半である。 Emacsはvi (Vim) と並びUNIX文化における伝統的なエディタ戦争の主要な当事者の2つである。Emacsは未だ開発中であるオープンソースプロジェクトの中で最古のものである。.

新しい!!: グレース・ホッパー賞とEmacs · 続きを見る »

静的スコープ

静的スコープ(せいてきスコープ、英: static scope)とは、プログラミング言語におけるスコープの一種。字面(レキシカル、英: lexical)のみから決定できるためレキシカルスコープ(lexical scope)ともいう(「構文」は一般に syntax の定訳であり、「レキシカル」と混同するのは誤解を招く)。 まず、一般的なローカル変数のスコープについて考える。 ブロックなどの構造を持つプログラミング言語では、あるブロックの内側のローカル変数はそのブロックの外側からは「見えない」というものが多い(以前のJavaScriptのように、関数ローカルのみで、ブロックローカルというスコープは無いものもある)。以下の疑似コードでは、 ブロックAで定義されている変数xとブロックBで定義されている変数xは同じ識別子を持つが、ブロックが異なるため実体は別である。また、ブロックBからは、さらに内側のブロックCで定義されている変数を参照することはできない。逆にブロックCからはブロックBで定義されている変数xとブロックCで定義されている変数yが参照可能である。 以上のようなスコープはローカル変数として一般的なものである。しかし、上記の疑似コード中にある f.

新しい!!: グレース・ホッパー賞と静的スコープ · 続きを見る »

計算理論

計算理論(けいさんりろん、theory of computation)は、理論計算機科学と数学の一部で、計算模型やアルゴリズムを理論的にあつかう学問である。計算複雑性理論、計算可能性理論を含む。ここでいう計算 (computation) とは、数学的に表現できる、あらゆる種類の情報処理のこと。 計算を厳密に研究するため、計算機科学では計算模型と呼ばれるコンピュータの数学的抽象化を行う。その手法はいくつかあるが、最も有名なものはチューリングマシンである。チューリングマシンは、言ってみれば無限のメモリを持つコンピュータであるが、一度にアクセスできるメモリ範囲は非常に限られている。チューリングマシンは十分な計算能力を持つモデルでありながら、単純で定式化しやすく、様々な証明に使い易いため、計算機科学者がよく利用する。無限のメモリというのは非現実的な特徴と思われるかもしれないが、より適切な表現を使うならば「無制限」のメモリであって、読み書きしようとした時にそれができればよく、それに対応する「無限な実体」とでも言うべきものが必要なわけではない。「チューリングマシンで、ある問題が解ける」とは必ず有限のステップで計算が終了することを意味し、よってそれに必要なメモリの量は有限である。よって、チューリングマシンで解くことが出来る問題は、現実のコンピュータであっても必要なだけのメモリがあれば解くことが出来る。.

新しい!!: グレース・ホッパー賞と計算理論 · 続きを見る »

論理プログラミング

論理プログラミング(Logic Programming)とは、広い意味では、コンピュータプログラミングでの数理論理学の使用である。この観点での論理プログラミングは、ジョン・マッカーシーのadvice takerの提案にまでさかのぼることができる。 より一般的に受け入られている狭い意味での論理プログラミングは、述語論理式を非決定的なプログラミング言語とみなすもので、述語論理式は宣言的であると同時に手続き的にも解釈される。 論理をベースにしたプログラミング言語として1971年に Planner のサブセットである Micro-Planner が開発された。表明とゴールからパターンによる手続き的計画を呼び出す機能を備えていたが、十分に形式化されていなかった。Plannerと独立してより論理を重視した Prolog が開発され、コワルスキーにより述語論理式(ホーン節)のプログラム的解釈の考え方と結び付き、論理プログラミングの基本的な考え方が確立した。 Planner からの派生で、プログラミング言語 Poplerが開発された。Prolog からの派生言語としては、Mercury、Visual Prolog、Oz、Fril などがある。バックトラッキングを使用しない並行論理プログラミング言語としてProlog からの派生したConcurrent Prolog、PARLOG、GHC、KL1などの各種言語(Shapiro に調査結果がある)がある。.

新しい!!: グレース・ホッパー賞と論理プログラミング · 続きを見る »

賞(しょう、アワード、アウォード、プライズ、award、prize)とは、表彰の一種である。個人または団体に対して審査・判定をした上で、ある分野での秀逸性や達成した業績を讃える目的で贈呈あるいは授与されるもの。.

新しい!!: グレース・ホッパー賞と賞 · 続きを見る »

輻輳制御

輻輳制御(ふくそうせいぎょ、congestion control)は、電気通信においてトラフィックを制御し、例えばパケットの転送レートを削減するなどして中間ノードやネットワークの許容量(処理能力やリンク数)を超過することによる輻輳さらには輻輳崩壊を防ぐことである。受信側が受けきれなくなるのを防ぐフロー制御とは異なる概念である。.

新しい!!: グレース・ホッパー賞と輻輳制御 · 続きを見る »

英語

アメリカ英語とイギリス英語は特徴がある 英語(えいご、)は、イ・ヨーロッパ語族のゲルマン語派に属し、イギリス・イングランド地方を発祥とする言語である。.

新しい!!: グレース・ホッパー賞と英語 · 続きを見る »

FORTRAN

FORTRAN(フォートラン)は、1954年にIBMのジョン・バッカスによって考案された、コンピューターにおいて広く使われた世界最初の高級言語である。.

新しい!!: グレース・ホッパー賞とFORTRAN · 続きを見る »

LISP

LISPは、プログラミング言語である。 によって記述される。-->前置記法などが特徴である。 1958年にはじめて設計されたLISPは、現在広範囲に使用されている高水準プログラミング言語の中でもFORTRANに次いで2番目に古い。ただし、FORTRANと同様に、現在のLISPは初期のものから非常に大きく変化している。 これまでに多数の方言が存在してきたが、今日最も広く知られるLISP方言は、Common LispとSchemeである。 元々、LISPは、アロンゾ・チャーチのラムダ計算表記法に影響を受け、コンピュータープログラムのための実用的かつ数学的な表記法として作られた。そして、すぐに人工知能研究に好まれるプログラミング言語になった。最初期のプログラミング言語として、LISPは計算機科学にて、木構造、ガベージコレクション、動的型付け、条件分岐、高階関数、再帰、セルフホスティング、コンパイラを含む多くのアイディアを切り開いた。 LISPの名前は、「list processor」に由来している。リストはLISPの主要なデータ構造であり、LISPソースコードはそれ自体がリストからできている。その結果、LISPプログラムはソースコードをデータとして操作することができ、プログラマーは、マクロ・システムで新しい構文やLISP埋め込みの新しいDSLを作成できる。 コードとデータの互換性は、LISPにそのすぐに認識できる構文を与える。すべてのプログラム・コードはS式または入れ子のリストとして書かれる。関数呼び出しまたは構文は先頭が関数または演算子の名前で、その続きが引数であるリストとして書かれる。具体的には、3つの引数を取る関数fは、(f arg1 arg2 arg3)として呼び出される。.

新しい!!: グレース・ホッパー賞とLISP · 続きを見る »

Mycin

Mycin(マイシン)は、スタンフォード大学で1970年代初めに5、6年の歳月をかけて開発されたエキスパートシステムである。Lispで書かれ、ブルース・ブキャナンとエドワード・ショートリッフェが開発した。Dendralから派生したものだが、かなり修正されている。システムは伝染性の血液疾患を診断し、抗生物質を推奨するようにデザインされていて、患者の体重のために供与量を調節する。Mycinの名称の由来は、抗生物質の多くはサフィックス「-mycin」がつくからである。.

新しい!!: グレース・ホッパー賞とMycin · 続きを見る »

Smalltalk

Smalltalk(スモールトーク)は、Simula のオブジェクト(およびクラス)、LISPの徹底した動的性、LOGO のタートル操作や描画機能に、アラン・ケイの「メッセージング」というアイデアを組み合わせて作られたクラスベースの純粋オブジェクト指向プログラミング言語、および、それによって記述構築された統合化プログラミング環境の呼称。 Smalltalk で一語であり、「Small Talk」「SmallTalk」などは誤りである。 大規模な開発実績としてはCargill Lynx Projectがあり、国産製品の開発実績としてはMCFrameがある。.

新しい!!: グレース・ホッパー賞とSmalltalk · 続きを見る »

System/360

フォルクスワーゲンで使われているSystem/360 System/360(S/360、システム/360、システムさんろくまる)は、IBMが1964年4月7日(日本では翌4月8日)に発表したメインフレーム コンピュータのシリーズである。1965年から1977年まで出荷された。あらゆる用途をカバーするファミリを形成し、小型から大型まで、商用から科学技術計算まで使われた。コンピュータ・アーキテクチャの確立により、IBMは互換性のある設計で様々な価格のシステムをリリースすることができた。最上位機種以外は命令セットをマイクロプログラム方式で実装しており、8ビットのバイト単位のアドレス指定、十進数計算、浮動小数点数計算などを備えている。.

新しい!!: グレース・ホッパー賞とSystem/360 · 続きを見る »

The Art of Computer Programming

『』は、コンピュータプログラミングに関する書籍である。様々なアルゴリズムについて、その背景や歴史まで踏み込んだ徹底的な解説を行っている。著者のドナルド・クヌース は、自身のライフワークと位置づけている。 その全体構想から見れば現在も未完であるが、十分な業績としてみなされていることは、3巻初版までが刊行されていた1974年に受賞したチューリング賞の受賞理由に功績として本シリーズが含まれていることからも分かる。また、1976年に2巻の第2版の準備をしていた際に、初版のような鉛版による組版 (en:Hot metal typesetting) が行われなくなっていたために仕上がりに納得せず、組版システムの TeX を(当初は1978年のサバティカルが終わるまでには完全に仕上げるつもりで)作り始めてしまったことなど、逸話も多い。 現在3巻までと4巻の分冊が刊行されている。今後の計画についてはwebページで確認できるが、おおむね執筆開始当初の構想と変わっておらず、5巻は構文的 (syntactic) アルゴリズムについてで、9章が字句スキャナ、10章が(文字列)解析の技術、6巻は文脈自由文法の理論、7巻がコンパイラ技術となっている。ただし位置付けとして、5巻までの内容は central core of computer programming for sequential machines であるのに対し、6・7巻の内容は important but more specialized である、としている(またドラゴンブック等、この40年の間に書籍が充実した分野でもある)。 近年では、アスキーから日本語訳が出版されていた。2007年9月現在で3巻までと改訂版分冊1巻、4巻の分冊2,3が刊行されていた。その後、KADOKAWAドワンゴに在籍する元アスキーの編集者が担当する「アスキードワンゴ」レーベルにより、2015年6月の1巻再刊から再開され、2017年3月に4巻の最初のまとまった分冊である4A巻が刊行されている。 サイエンス社から出版されていた旧日本語訳版は、原著2巻相当分の4巻までしか出ていない。また、出版時期が古いためもあるが、専門用語について可能な限りカタカナ語を使わず訳すという少々冒険的な方針のために独特の用語が多用されており、和訳における専門用語の扱いにおける歴史的な一例にもなっている。.

新しい!!: グレース・ホッパー賞とThe Art of Computer Programming · 続きを見る »

VisiCalc

VisiCalc(ヴィジカルク)は、世界初のパーソナルコンピュータ向け表計算ソフトである。それまでホビー用と考えられていたマイクロコンピュータをビジネスツールとして定着させるきっかけとなったソフトウェアである。6年間で70万本を売り上げた。.

新しい!!: グレース・ホッパー賞とVisiCalc · 続きを見る »

ここにリダイレクトされます:

ACMグレース・ホッパー賞

出ていきます入ってきます
ヘイ!私たちは今、Facebook上です! »