56310
56672
699977
%E3%83%AD%E3%83%90%E3%83%BC%E3%83%88%E3%83%BB%E3%83%95%E3%83%AD%E3%82%A4%E3%83%89
%E3%83%AD%E3%83%90%E3%83%BC%E3%83%88%E3%83%BB%E3%83%95%E3%83%AD%E3%82%A4%E3%83%89
%E3%83%AD%E3%83%90%E3%83%BC%E3%83%88%E3%83%BB%E3%83%95%E3%83%AD%E3%82%A4%E3%83%89
%E3%83%AD%E3%83%90%E3%83%BC%E3%83%88%E3%83%BB%E3%83%95%E3%83%AD%E3%82%A4%E3%83%89
%E3%83%AD%E3%83%90%E3%83%BC%E3%83%88%E3%83%BB%E3%83%95%E3%83%AD%E3%82%A4%E3%83%89
0
|
|
|
ネットワーク
|
タグ
キーワード
|
|
|
|
|
|
|
|
|
|
|
|
|
つながりの強いひと
|
|
アーマンド・アサンテ
アメリカ合衆国の俳優。エミー賞を1度受賞し、ゴールデングローブ賞に4度ノミネートされたことがある。 |
|
|
アントニー・ホーア
チャールズ・アントニー・リチャード・ホーア卿（SirCharlesAntonyRichardHoare、もしくはトニー・ホーア（TonyHoare）,1934年1月11日-）はイギリスの計算機... |
|
|
ケネス・ウィルソン
アメリカ合衆国の物理学者。「相転移に関連した臨界現象に関する研究」により、1982年のノーベル物理学賞を受賞した。 |
|
|
ナンシー・シナトラ
アメリカ出身の歌手・女優。イタリア系アメリカ人。髪と瞳の色はブラウン。エルヴィスやビートルズと並び称されたフランク・シナトラの娘で、60年代中期にア... |
|
|
青木幹雄
日本の政治家。竹下登の秘書を長く務めたあと、島根県議会議員（5期）を経て、参議院議員（4期）、内閣官房長官（第64・65代）、沖縄開発庁長官（第38・39代... |
|
|
ボズ・スキャッグス
ボズ・スキャッグス（BozScaggs,本名：WilliamRoyceScaggs,1944年6月8日-）はアメリカのミュージシャン。1970年代後半から1980年代にかけて流行したAC(AdultC... |
|
|
ドナルド・クヌース
友達
ドナルド・エルビン・クヌース(DonaldErvinKnuth,高徳納1938年1月10日-)は数学者、情報工学者。スタンフォード大学名誉教授。クヌースによるアルゴリズムに関... |
|
|
エリザベス・アン・ベネット
エリザベス・アン・ベネット プロフィール - あのひと検索 SPYSEE ... エリザベス・アン・ベネット Elizabeth Ann Bennettエリザベス・ベネット Elizabeth Be... |
|
|
デイナ・スコット
デイナ・スコット(DanaS.Scott,1932年-)はアメリカの計算機科学者・数学者・論理学者。1954年、カリフォルニア大学バークレー校にて学士号を取得。その後、同... |
|
|
エドガー・ダイクストラ
オランダ人の情報工学者。1972年、プログラミング言語の基礎研究に対してチューリング賞を受賞。構造化プログラミングの提唱者。1984年から2002年に亡くなる... |
|
|
ハーバート・サイモン
アメリカ合衆国の政治学者・認知心理学者・経営学者・情報科学者。心理学、人工知能、経営学、組織論、言語学、社会学、政治学、経済学、システム科学に影響... |
|
|
マイケル・ラビン
著名な情報工学者であり、その分野で最も権威のあるチューリング賞を受賞した。ドイツのブレスラウ（現：ポーランド領ヴロツワフ）でラビの息子として生まれ... |
|
|
アレン・ニューウェル
初期の人工知能研究の研究者。情報工学および認知心理学の研究者であり、ランド研究所やカーネギーメロン大学の情報工学科に勤務した。アメリカのカリフォル... |
|
|
ジョン・バッカス
アメリカ合衆国の数学者。初期の高級プログラミング言語(FORTRAN)の発明者、（形式言語の文法の定義に汎用的に用いられる）バッカス・ナウア記法の発明者、ま... |
|
|
ケネス・アイバーソン
ケネス・ユージン・アイバーソン（KennethEugeneIverson、1920年12月17日-2004年10月19日）はプログラミング言語APLを開発したことで知られる情報工学者。 |
|
|
エドガー・F・コッド
イギリス生まれの情報工学者。リレーショナルデータベースの理論に多大な貢献をした。IBMに勤務しながら、データベースの関係モデルを創造した。他にも情報工... |
|
|
アイバン・サザランド
アイバン・エドワード・サザランド（IvanEdwardSutherland,1938年5月16日-）はアメリカのコンピュータ科学者で、コンピュータグラフィックス、バーチャルリア... |
|
|
アラン・パリス
アメリカ合衆国の計算機科学者。1966年、第1回のチューリング賞を受賞した。 |
|
|
エドワード・ファイゲンバウム
主に人工知能分野で活動する計算機科学者。「エキスパートシステムの父」とも呼ばれる。ユダヤ系ドイツ人出身。ファイゲンバウムはカーネギーメロン大学で博... |
|
|
マヌエル・ブラム
マヌエル・ブラム（ManuelBlum、1938年4月26日-）はベネズエラのカラカス出身の著名な計算機科学者。1995年、「計算複雑性理論の基礎的研究とその暗号および... |
|
|
プロフィール
ロバート・W・フロイド（RobertW.Floyd、1936年6月8日-2001年9月25日）は、アメリカ合衆国の情報工学者。
経歴
| ニューヨーク州で生まれたフロイドは14歳で高校を卒業した。 |
| 1953年にはシカゴ大学の教養学科を卒業し（17歳）、1958年には物理学でも学士号を取得した。 |
| 1960年代初めにはコンピュータオペレータとなり、数々の注目すべき論文を発表し始めた。 |
| これにより27歳でカーネギーメロン大学の助教授に招かれ、6年後にはスタンフォード大学の教授となった。 |
| 彼は博士号を取得することなく教授となったのである。 |
| 彼の貢献としてフロイドのアルゴリズムの設計がある。 |
| これはグラフ理論における最短経路問題の解法のひとつであり、構文解析にも利用できる。 |
| また、別の論文で彼は画像描画のための誤差拡散に関する重要な概念を提案しており、これがフロイド-スタインバーグ・ディザリングとして知られている（ただしフロイド自身は誤差拡散とディザリングは区別して考えていた）。 |
| 特に有名な貢献は1967年の論文''AssigningMeaningstoPrograms''（プログラムへの意味の割り当て）である。 |
| この中でプログラム検証を数理論理学の手法を使って行うという先駆的な試みがなされている。 |
| これは後のホーア論理につながる重要な貢献となった。 |
| フロイドはドナルド・クヌースと親しく、クヌースの著書''TheArtofComputerProgramming''の主な査閲者でもあった。 |
| 同書でもよく言及されている。 |
| フロイドは、「効率的で信頼できるソフトウェアの作成手法への明確な寄与に対して。 |
| および構文解析理論、プログラミング言語の形式意味論、自動プログラム検証、自動プログラム合成、アルゴリズム解析といった情報工学の下位分野の開拓への重要な寄与に対して」1978年にチューリング賞を授与された。 |
| フロイドは2回結婚と離婚を繰り返し、4人の子供を儲けた。 |
| 趣味はバックギャモンとハイキングであった。 |
|
1953年
|
シカゴ大学の教養学科を卒業し（17歳）、1958... |
|
1978年
|
チューリング賞を授与された |
|
投票数
0
| ふりがな |
|
| 性別 |
|
| 出身地 |
|
| 生年月日 |
|
| 血液型 |
|
| 職業 |
|
| 所属 |
|
| Twitter |
|
|
|
|
ロバート・フロイドさんについてのひとこと紹介
|
|
|
|
