26797
27053
308185
%E3%83%87%E3%82%A4%E3%83%8A%E3%83%BB%E3%82%B9%E3%82%B3%E3%83%83%E3%83%88
%E3%83%87%E3%82%A4%E3%83%8A%E3%83%BB%E3%82%B9%E3%82%B3%E3%83%83%E3%83%88
%E3%83%87%E3%82%A4%E3%83%8A%E3%83%BB%E3%82%B9%E3%82%B3%E3%83%83%E3%83%88
%E3%83%87%E3%82%A4%E3%83%8A%E3%83%BB%E3%82%B9%E3%82%B3%E3%83%83%E3%83%88
%E3%83%87%E3%82%A4%E3%83%8A%E3%83%BB%E3%82%B9%E3%82%B3%E3%83%83%E3%83%88
0
|
|
|
ネットワーク
|
タグ
キーワード
|
|
|
|
|
|
|
|
|
|
|
|
|
つながりの強いひと
|
|
アルフレト・タルスキ
アルフレト・タルスキ（AlfredTarski,1901年1月14日-1983年10月26日）はポーランドおよびアメリカの数学者・論理学者。彼の生年を1902年とする記述も散見され... |
|
|
マイケル・ラビン
著名な情報工学者であり、その分野で最も権威のあるチューリング賞を受賞した。ドイツのブレスラウ（現：ポーランド領ヴロツワフ）でラビの息子として生まれ... |
|
|
アロンゾ・チャーチ
アロンゾ・チャーチ（AlonzoChurch,1903年6月14日-1995年8月11日）はアメリカの論理学者、数学者。ラムダ計算の創案者、「チャーチ＝チューリングのテーゼ」... |
|
|
宮尾すすむ
日本のタレント。本名は山口進（やまぐちすすむ）。 |
|
|
ジョン・レモン
ジョン・レモン 出典: フリー百科事典『ウィキペディア（Wikipedia）』 移動： 案内 , 検索 エドワード・ジョン・レモン ( Edward John Lemmon 、 1930年 6月... |
|
|
アラン・チューリング
アラン・チューリング（AlanMathisonTuring,1912年6月23日-1954年6月7日）はイギリスの数学者。 |
|
|
ハーバート・サイモン
アメリカ合衆国の政治学者・認知心理学者・経営学者・情報科学者。心理学、人工知能、経営学、組織論、言語学、社会学、政治学、経済学、システム科学に影響... |
|
|
アレン・ニューウェル
初期の人工知能研究の研究者。情報工学および認知心理学の研究者であり、ランド研究所やカーネギーメロン大学の情報工学科に勤務した。アメリカのカリフォル... |
|
|
マイケル・ダメット
マイケル・ダメット（SirMichaelAnthonyEardleyDummettF.B.A.,D.Litt、1925年-）はイギリスの著名な哲学者。分析哲学の歴史についての著述を行う一方、数理哲... |
|
|
ジョン・バッカス
アメリカ合衆国の数学者。初期の高級プログラミング言語(FORTRAN)の発明者、（形式言語の文法の定義に汎用的に用いられる）バッカス・ナウア記法の発明者、ま... |
|
|
スティーヴン・コール・クリーネ
アメリカの数学者。ウィスコンシン大学マディソン校に勤め、その業績は計算機科学の理論的な基礎を築くのに貢献した。クリーネは、正規表現の発明や、アロン... |
|
|
佐藤幹夫
日本の数学者で佐藤超函数、概均質ベクトル空間、D加群の創始者。大阪大学教授を経て京都大学数理解析研究所名誉教授。1992年退官。東京都出身。東京大学理学... |
|
|
ケネス・アイバーソン
ケネス・ユージン・アイバーソン（KennethEugeneIverson、1920年12月17日-2004年10月19日）はプログラミング言語APLを開発したことで知られる情報工学者。 |
|
|
ロバート・タージャン
アメリカ合衆国の計算機科学者。カリフォルニア州ポモナ出身。データ構造とアルゴリズムの研究に従事し、深さ優先探索やグラフの平面性判定などにおいて、効... |
|
|
エドワード・ファイゲンバウム
主に人工知能分野で活動する計算機科学者。「エキスパートシステムの父」とも呼ばれる。ユダヤ系ドイツ人出身。ファイゲンバウムはカーネギーメロン大学で博... |
|
|
アントニー・ホーア
チャールズ・アントニー・リチャード・ホーア卿（SirCharlesAntonyRichardHoare、もしくはトニー・ホーア（TonyHoare）,1934年1月11日-）はイギリスの計算機... |
|
|
ドナルド・クヌース
ドナルド・エルビン・クヌース(DonaldErvinKnuth,高徳納1938年1月10日-)は数学者、情報工学者。スタンフォード大学名誉教授。クヌースによるアルゴリズムに関... |
|
|
チャールズ・バックマン
アメリカ合衆国の情報工学者で、データベースの分野で知られる。1973年、「データベース技術への多大な貢献に対して」チューリング賞を受賞した。また1977年... |
|
|
エドガー・F・コッド
イギリス生まれの情報工学者。リレーショナルデータベースの理論に多大な貢献をした。IBMに勤務しながら、データベースの関係モデルを創造した。他にも情報工... |
|
|
プロフィール
- デイナ・スコットとは
- 集合論における業績
- プログラミング言語の意味論における業績
- 関連サイト
デイナ・スコット(DanaS.Scott,1932年-)はアメリカの計算機科学者・数学者・論理学者。1954年、カリフォルニア大学バークレー校にて学士号を取得。その後、同大学院で アルフレト・タルスキの指導を受けるが、タルスキとの間でトラブルが発生し、プリンストン大学へ移ることを余儀なくされる（ただしタルスキとはその後、和解している）。1958年、プリンストン大学にて アロンゾ・チャーチの指導のもと、博士号を取得。その後、 シカゴ大学講師、カリフォルニア大学バークレー校助教授・準教授、スタンフォード大学教授、プリンストン大学教授、オッ ...
集合論における業績
| 可測基数が存在するならば、V≠L。 |
| ''（書きかけです）''。 |
|
1954年
|
カリフォルニア大学バークレー校にて学士号を... |
|
1959年
|
マイケル・ラビンと共同で発表したオートマト... |
|
投票数
0
| ふりがな |
|
| 性別 |
|
| 出身地 |
|
| 生年月日 |
|
| 血液型 |
|
| 職業 |
|
| 所属 |
|
| Twitter |
|
|
|
|
デイナ・スコットさんについてのひとこと紹介
|
|
|
|
