ブラウザよりも高速アクセス！
102 関係: Amazon.com、Association for Computing Machinery、博士、十六進法、名誉教授、客員教授、属性文法、層化抽出法、京都賞先端技術部門、土木工学、ペニー、ミルウォーキー、マサチューセッツ工科大学、チャールズ・バベッジ研究所、チューリング賞、ネイピア数、ハーヴェイ賞、バグ、ランダウの記号、ルーテル教会、ヘルマン・ツァップ、プリンストン大学、プログラミング (コンピュータ)、プログラマ、ビルバオ・ビスカヤ・アルヘンタリア銀行、フランクリン・メダル、フォン・ノイマンメダル、ニューズウィーク、命令セット、アムステルダム、アメリカ国家安全保障局、アメリカ国家科学賞、アルゴリズム、アルゴリズム解析、イスラエル工科大学、ウィスコンシン州、ウォルター・クロンカイト、オックスフォード大学、カリフォルニア工科大学、カリグラフィー、クヌースの矢印表記、クヌース・ベンディックス完備化アルゴリズム、クヌース–モリス–プラット法、クヌース賞、クヌース賞金小切手、グレース・ホッパー賞、ケース・ウェスタン・リザーブ大学、コンピュータ、コンピュータ歴史博物館、ジョン・ホートン・コンウェイ、...、ステレオ、スタンフォード大学、スタンフォード人工知能研究所、ソフトウェア、タイポ、円周率、前立腺癌、CBSイブニングニュース、Computer Modern、Concrete Mathematics、王立協会、王立協会フェロー、理論計算機科学、科学アカデミー (フランス)、組版、片柳コンピュータ科学賞、Extensible Markup Language、韻文、聖書、計算理論、計算機科学、長さ、集合論、IBM 650、IEEE、MAD (雑誌)、METAFONT、MIX (プログラミング)、MMIX、Open Content Alliance、TeX、The Art of Computer Programming、Things a Computer Scientist Rarely Talks About、WEB、柏書房、松浦俊輔、文芸的プログラミング、放射線療法、数学、数学者、1938年、1963年、1976年、1990年、1992年、1996年、1月10日、2003年、2005年、3Dプリンター、3月13日、3月14日。 インデックスを展開 (52 もっと) »
Amazon.com
Amazon.com, Inc.（アマゾン・ドット・コム）は、アメリカ合衆国・ワシントン州シアトルに本拠を構えるECサイト、Webサービス会社である。アレクサ・インターネット、A9.com、Internet Movie Database (IMDb) などを保有している。一部の地域でネットスーパー（Amazonフレッシュ）事業を展開している。 2014年現在、Amazon.comがアメリカ国外でサイトを運営している国はイギリス、フランス、ドイツ、カナダ、日本、中国、イタリア、スペイン、ブラジル、インド、メキシコ、オーストラリア、オランダの13国である。.
新しい！!: ドナルド・クヌースとAmazon.com · 続きを見る »
Association for Computing Machinery
Association for Computing Machinery (ACM) は、ニューヨークに本部のあるコンピュータ科学分野の国際学会。1947年設立。IEEEとともに、この分野で最も影響力の強い学会であり、IEEEがその名と由来や歴史からエレクトロニクスや通信分野の工学に強いのに対し、数学的な理論計算機科学のような分野もカバーする。日本語に訳して「計算機械学会」とされることもあるが、こんにちこの訳語が用いられることはほとんどなく、通常は単に"ACM"という略称で呼ばれるのがもっぱらである。ACMの「A」は Association (学会、団体) の頭文字であるが、アメリカ数学会 (AMS) と混同して「米国計算機学会」と誤訳されることがある。 数多くの国際会議を開催しており、人目を惹くデモ映像のSIGGRAPHやSIGMODなどはよく知られている。他の多くの学会と同様にすぐれた業績などへの表彰もおこなっているが、チューリング賞は、特にこの分野の最高の賞とみなされており、物理や化学といった分野におけるノーベル賞に匹敵するものと扱われることもある（他の賞についても時折「～のノーベル賞」といったような表現が使われることがあるが、この分野の全てを対象とした世界トップクラスの賞という位置づけにあるのはチューリング賞をおいて他にない）。.
新しい！!: ドナルド・クヌースとAssociation for Computing Machinery · 続きを見る »
博士
博士（はくし、はかせ）は、人類が保有する教育機関・体系の中で与えられる学位のうち最高位のものである（博士の学位参照）。英語からドクターともいい、世界の教育レベルを分類しているISCEDでは最高位のレベル8、欧州資格フレームワーク (EQF) でも最高位のレベル8と定義されている。戦前の日本においては原則として博士号授与機関は帝国大学に限られ、その希少性から「末は博士か大臣か」と詠われるほど市井において高く評価され、学位の保持者に対しては敬意が表されていた。現在でも旧帝国大学（北大・東北大・東大・名大・京大・阪大・九大）にて博士号を取得し大学・研究機関・大企業・公共団体などで活躍する割合は人口割合で10,000人に2.7人であり希少性が高く非常に大きな敬意が払われている。後述するように法学、経済学、文学などの文系や、理学、工学、医学、薬学などの理系などの各学問分野に渡っている。 博士 (en:Doctor) の学位は、国によって多少の差異はあるものの国際的に最高位の学位として位置づけられているが、日本では学校教育法第104条により大学など高等教育機関や学位授与機関（日本においては独立行政法人大学評価・学位授与機構）における修士およびそれと同等の学力があると認められた者が、大学院の博士課程あるいは博士後期課程において主軸となる研究テーマについて研究を行い、その内容を学位論文として執筆し、最高学位に相応しいと授与機関から認められることで取得できる（甲博士、通称は課程博士もしくはコースドクター）。また、論文審査により高度な研究能力があると認定された者にも授与されることがある（乙博士、通称は論文博士と称する）。 博士の取得方法としては、上記の甲博士に相当するように博士課程に在籍して学位審査に合格、修了した者に授与される課程博士と、乙博士に相当するように在学しないまま学位審査に合格した者に授与される論文博士がある。また、学位ではないが、名誉称号としての名誉博士なども存在する。外交儀礼上、各国政府要人等が博士号取得者である場合、官名の後に博士閣下と敬称する事例が見受けられる。.
新しい！!: ドナルド・クヌースと博士 · 続きを見る »
十六進法
十六進法（じゅうろくしんほう、 hexadecimal）とは、16を底（てい）とし、底およびその冪を基準にして数を表す方法である。.
新しい！!: ドナルド・クヌースと十六進法 · 続きを見る »
名誉教授
名誉教授（めいよきょうじゅ、professor emeritus / emeritus professor）とは、国内法では大学（短期大学を含む）、高等専門学校などの高等教育機関に教授などとして勤務した者であって、功績のあった者に対して授与される称号。法的･国際的に認められた栄誉称号であり学術称号の一つ。日本では学校教育法にその根拠規定があり、それぞれ大学または高等専門学校の規程・規則の定めるところにより授与される。.
新しい！!: ドナルド・クヌースと名誉教授 · 続きを見る »
客員教授
客員教授（きゃくいんきょうじゅ）とは、大学や研究所などの学術機関に一定期間、非常勤の教員として籍を有する者のうち、当該機関で教授に相当する教員に付与される職位呼称またはその職にある人のことを言う。.
新しい！!: ドナルド・クヌースと客員教授 · 続きを見る »
属性文法
属性文法（ぞくせいぶんぽう、Attribute Grammar）とは、形式文法の生成に関する属性を定義する形式的手法。属性には値を関連付けられる。その言語を構文解析やコンパイラで処理する際に、属性の評価（属性から値を得ること）が抽象構文木上のノードで行われる。 属性は2種類に分類される。合成(sythesized)属性と継承(inherited)属性である。合成属性とは、属性評価の結果として生成されるものであり、継承属性の値を使用することもある。継承属性とは、親ノードから継承される属性である。 いくつかの手法では、合成属性は意味情報を構文解析木の上に渡すのに使われ、継承属性は逆に下に渡すのに使われる。例えば、言語変換ツールを作成する場合、属性文法は構文要素に意味（値）を設定するのに使われる。また、文法（構文規則だけでは明示的に示されない言語の規則）に従って意味論的検証を行うことも可能である。 属性文法を応用している、最も広まっているツールはyacc（及びBisonなどの互換ツール）である。yaccはLALR(1)のパーサを構文規則群から生成できるパーサジェネレータだが、各規則に付けられる「セマンティックアクション」と呼ばれているコード片は、直接パーサのC言語のコード中に展開されて埋め込まれるというプリミティブな実現法ではあるが、子ノードの値を受け取って合成し（例えば、子ノードを葉とする枝のデータ構造を作り）、左辺の非終端記号の値として設定する、といったことができるという、属性を扱えるツールとなっている。一般には(具象)構文木を構築することが多いが、簡単な言語とターゲットであれば、ネイティブコードあるいは中間言語のコードをそこで生成することも不可能でもない。.
新しい！!: ドナルド・クヌースと属性文法 · 続きを見る »
層化抽出法
層化抽出法（そうかちゅうしゅつほう、stratified sampling）とは、統計学における母集団からの標本調査の手法のひとつ。.
新しい！!: ドナルド・クヌースと層化抽出法 · 続きを見る »
京都賞先端技術部門
京都賞先端技術部門（きょうとしょうせんたんぎじゅつぶもん）は、京都賞の一部門であり、優れた業績を上げた科学者に贈られる賞である。受賞対象分野は、エレクトロニクス、バイオテクノロジーおよびメディカルテクノロジー、材料科学、情報科学である。.
新しい！!: ドナルド・クヌースと京都賞先端技術部門 · 続きを見る »
土木工学
土木工学（どぼくこうがく、civil engineering）とは、良質な生活空間の構築を目的として、自然災害からの防御や社会的・経済的基盤の整備のための技術（土木技術）について研究する工学である。.
新しい！!: ドナルド・クヌースと土木工学 · 続きを見る »
ペニー
ペニーは、英国の下位通貨単位、もしくはアメリカとカナダにおける1¢（セント）銅貨の別称。.
新しい！!: ドナルド・クヌースとペニー · 続きを見る »
ミルウォーキー
ミルウォーキー（Milwaukee）は、アメリカ合衆国ウィスコンシン州にある都市。同州最大の都市である。.
新しい！!: ドナルド・クヌースとミルウォーキー · 続きを見る »
マサチューセッツ工科大学
マサチューセッツ工科大学（英語: Massachusetts Institute of Technology）は、アメリカ合衆国マサチューセッツ州ケンブリッジに本部を置く私立工科大学である。1865年に設置された。通称はMIT（エム・アイ・ティー。「ミット」は誤用で主に日本、欧州の極めて一部で用いられる）。 全米屈指のエリート名門校の1つとされ、ノーベル賞受賞者を多数（2014年までの間に1年以上在籍しMITが公式発表したノーベル賞受賞者は81名で、この数はハーバード大学の公式発表受賞者48名を上回る）輩出している。最も古く権威ある世界大学評価機関の英国Quacquarelli Symonds（QS）による世界大学ランキングでは、2012年以来2017年まで、ハーバード大学及びケンブリッジ大学を抑えて6年連続で世界第一位である。 同じくケンブリッジ市にあるハーバード大学とはライバル校であるが、学生達がそれぞれの学校の授業を卒業単位に組み込める単位互換制度（Cross-registration system）が確立されている。このため、ケンブリッジ市は「世界最高の学びのテーマパーク」とさえも称されている。物理学や生物学などの共同研究組織を立ち上げるなど、ハーバード大学との共同研究も盛んである。 MITはランドグラント大学でもある。1865年から1900年の間に約19万4千ドル(これは2008年時点の生活水準でいうところの380万ドルに相当)のグラントを得、また同時期にマサチューセッツ州から更なる約36万ドル（2008年時点の生活水準で換算して700万ドルに相当）の資金を獲得しているD.
新しい！!: ドナルド・クヌースとマサチューセッツ工科大学 · 続きを見る »
チャールズ・バベッジ研究所
チャールズ・バベッジ研究所（、CBI）は、ミネソタ大学にある情報技術史に特化した研究センターであり、特に1935年以降のデジタルコンピュータ、プログラミング/ソフトウェア、コンピュータネットワークを専門としている。19世紀のイギリスでプログラム可能なコンピュータ（解析機関）を発明したチャールズ・バベッジの名を冠している。ミネソタ州ミネアポリスにあるミネソタ大学図書館にある。.
新しい！!: ドナルド・クヌースとチャールズ・バベッジ研究所 · 続きを見る »
チューリング賞
ACMチューリング賞(ACM A.M. Turing Award)は、計算機科学分野で革新的な功績を残した人物に年に1度、ACMから贈られる賞であり世界最高の権威を持つ賞とされている。その功績は長く影響が続くもので、コンピュータ業界で技術的にも重要なものとされている。計算機科学におけるノーベル賞と広く認識されており、事実、受賞者にはハーバート・サイモンなどノーベル賞受賞者が存在している。 「チューリング」の名は、現代計算機科学の父の1人とされるアラン・チューリングの名にちなむ。2014年11月3日、Googleの後援により受賞者には100万ドルが贈られると発表された。 1966年の最初の受賞者はカーネギーメロン大学のアラン・パリスだった。初の女性受賞者は、2006年のフランシス・E・アレン（IBM）である。2008年には再び女性であるバーバラ・リスコフが受賞している。.
新しい！!: ドナルド・クヌースとチューリング賞 · 続きを見る »
ネイピア数
1.
新しい！!: ドナルド・クヌースとネイピア数 · 続きを見る »
ハーヴェイ賞
ハーヴェイ賞 (Harvey Prize)は、ハイファのイスラエル工科大学が主催する賞。科学技術の進展、人類の健康福祉の増進、中東和平への貢献に対して、毎年原則として2人ずつに授与され、賞金は各75,000ドル。 選考時点で既にノーベル賞やウルフ賞を受賞している者は対象から除外されるが、本賞受賞後にそれらを受賞した者は少なくない。.
新しい！!: ドナルド・クヌースとハーヴェイ賞 · 続きを見る »
バグ
バグ (bug) とは、英語で「虫」の意であり、転じてコンピュータプログラムの誤りや欠陥を表す。 ソフトウェア・ハードウェア開発における契約文書など、法的な文書ではバグのことを「瑕疵」と記述する。原因や責任の所在などが不明なものを特定性の低い表現の「不具合」と呼ぶことがある。また、セキュリティ上に関わるバグや欠陥は「セキュリティホール」などと呼ばれることもある（正確には、バグはこれらの原因（のひとつ）である）。 多くのバグが含まれ、機能的に正常な役割を果たさないものを、バギー・プログラム (Buggy Program) と呼ぶことがある。 なお、発生したバグを探して取り除く作業はデバッグと呼ばれる。.
新しい！!: ドナルド・クヌースとバグ · 続きを見る »
ランダウの記号
ランダウの記号（ランダウのきごう、Landau symbol）は、関数の極限における値の変化度合いに、おおよその評価を与えるための記法である。 ランダウの漸近記法 (asymptotic notation)、ランダウ記法 (Landau notation) あるいは主要な記号として O （オーもしくはオミクロン Ο。数字の0ではない）を用いることから（ランダウの）O-記法、ランダウのオミクロンなどともいう。 記号 O は「程度」の意味のオーダー（Order）から。 なおここでいうランダウはエドムント・ランダウの事であり、『理論物理学教程』の著者であるレフ・ランダウとは別人である。 ランダウの記号は数学や計算機科学をはじめとした様々な分野で用いられる。.
新しい！!: ドナルド・クヌースとランダウの記号 · 続きを見る »
ルーテル教会
ルーテル教会（ルーテルきょうかい、, ）は、マルティン・ルターによりドイツに始まる、キリスト教の教派または教団。ルター派（ルターは）とも呼ばれる。プロテスタントの一つであり、全世界に推定8260万人の信徒が存在する。発祥の地ドイツを始め、北欧諸国では国民の大半がルター派であり、そこから移民が渡った先のアメリカ合衆国、カナダ、ブラジル等の南アメリカ各国でも信徒数が多い。 パッヘルベル、J.S.バッハ、テレマン、メンデルスゾーンなど著名な音楽家が多く所属し、作曲家や音楽家に縁がある教会としても知られる。.
新しい！!: ドナルド・クヌースとルーテル教会 · 続きを見る »
ヘルマン・ツァップ
ヘルマン・ツァップ（Hermann Zapf, 1918年11月8日 – 2015年6月4日）は、ドイツの書体デザイナー。多くの書体を世に送り出してきた。彼の妻はカリグラファーであり書体デザイナーでもあるグドルン・ツァップ＝フォン・ヘッセ（Gudrun Zapf-von Hesse、旧姓がフォン・ヘッセ）である。 ツァップの仕事は、その優れたデザイン（Optima, Palatinoなどは特に有名）故に多くの尊敬を得た一方、数々のツァップ作書体の模倣品が生まれた。よく知られていることだが、マイクロソフトの製品にバンドルされたBook AntiquaはPalatinoの模造品である。 ヘルマン・ツァップのデザインした書体として以下のようなものがある。 2015年に96歳で没した。.
新しい！!: ドナルド・クヌースとヘルマン・ツァップ · 続きを見る »
プリンストン大学
プリンストン大学（英語: Princeton University）は、アメリカ合衆国ニュージャージー州プリンストンに本部を置くアメリカ合衆国の私立大学である。1746年に設置された。 学生数は学部生約4800名、大学院生約2000名である。アイビー・リーグ（Ivy League）の大学8校のうちの1校であることや、2名の大統領を輩出していること、アメリカ全土で8番目に古いことなどで有名な大学である。41人のノーベル賞受賞者、14人のフィールズ賞受賞者、5人のアーベル賞受賞者、10人のチューリング賞受賞者、209人のローズ奨学生、126人のを輩出している。2016年度の受験サイクルでは全受験者の6.5%が入学を許可された。.
新しい！!: ドナルド・クヌースとプリンストン大学 · 続きを見る »
プログラミング (コンピュータ)
ンピュータのプログラミング（programming）とは、コンピュータプログラムを作成することにより、人間の意図した処理を行うようにコンピュータに指示を与える行為である。.
新しい！!: ドナルド・クヌースとプログラミング (コンピュータ) · 続きを見る »
プログラマ
プログラマ（Programmer）とは、コンピューターのプログラムを作成する人全般を指す。プログラマーとも表記される（#プログラマに対する呼称参照）。.
新しい！!: ドナルド・クヌースとプログラマ · 続きを見る »
ビルバオ・ビスカヤ・アルヘンタリア銀行
ビルバオ・ビスカヤ・アルヘンタリア銀行（Banco Bilbao Vizcaya Argentaria S.A.）は、スペイン・バスク自治州・ビルバオに本社を持つ銀行グループ。通称はBBVA。スペインとアメリカ南部を中心として、ラテンアメリカ諸国にも拠点を持つ。マドリード証券取引所、ニューヨーク証券取引所上場企業（、）。.
新しい！!: ドナルド・クヌースとビルバオ・ビスカヤ・アルヘンタリア銀行 · 続きを見る »
フランクリン・メダル
フランクリン・メダル（英: Franklin Medal）は、1997年までフランクリン協会より個人に贈られていた科学技術賞。1998年以降は、ベンジャミン・フランクリン・メダルとなっている。.
新しい！!: ドナルド・クヌースとフランクリン・メダル · 続きを見る »
フォン・ノイマンメダル
フォン・ノイマンメダル、正確には「IEEEジョン・フォン・ノイマン・メダル」（IEEE John von Neumann Medal）は、コンピュータ関連の科学および工学への貢献に対して（ほぼ）毎年贈られる賞であり、IEEEが1990年に創設した。受賞対象には学術的なもの、技術的なもの、事業的なものが含まれ、必ずしも受賞年の業績である必要はない。 メダルの名称はジョン・フォン・ノイマンにちなんで名づけられた。.
新しい！!: ドナルド・クヌースとフォン・ノイマンメダル · 続きを見る »
ニューズウィーク
『ニューズウィーク』（Newsweek）とは、主に政治や社会情勢などを扱うアメリカ合衆国の週刊誌である。ニューヨークに本社がある。.
新しい！!: ドナルド・クヌースとニューズウィーク · 続きを見る »
命令セット
命令セット（めいれいせっと、instruction set）は、コンピュータのハードウェアに対して命令を伝えるための言葉の語彙。.
新しい！!: ドナルド・クヌースと命令セット · 続きを見る »
アムステルダム
アムステルダム（オランダ語: Amsterdam ）は、オランダの北ホラント州の基礎自治体（ヘメーンテ）であり、オランダ最大の都市である。人口820,654人（2012年）、都市圏人口は2,289,762人にのぼる。商業や観光が盛んなヨーロッパ屈指の世界都市である。オランダ語での発音は片仮名で表記すると「アムスタダム」に近い。地名は「アムステル川のダム（堤防）」の意（「ダム広場」の項を参照）。 憲法に規定されたオランダの首都だが、国会、中央官庁、王宮、各国の大使館など首都機能のほとんどはデン・ハーグにある。 元々は小さな漁村だったが、13世紀にアムステル川の河口にダムを築き、町が築かれた。16世紀には海運貿易の港町として、ヨーロッパ屈指の都市へと発展した。現在のアムステルダムは、アムステルダム中央駅を中心に市内に網の目状に広がる運河や、その運河に沿って並ぶ無総督時代の豪商の邸宅、自転車、飾り窓の女性たち、アンネ・フランクの家などで広く知られる。.
新しい！!: ドナルド・クヌースとアムステルダム · 続きを見る »
アメリカ国家安全保障局
CSSの紋章。右上から時計回りに陸軍情報保全コマンド、合衆国海兵隊、海軍保安部、合衆国沿岸警備隊、空軍情報・監視・偵察局のそれぞれの紋章が並び、中央にNSAの紋章がある アメリカ国家安全保障局（アメリカこっかあんぜんほしょうきょく、National Security Agency：NSA）は、アメリカ国防総省の諜報機関である。.
新しい！!: ドナルド・クヌースとアメリカ国家安全保障局 · 続きを見る »
アメリカ国家科学賞
アメリカ国家科学賞（あめりかこっかかがくしょう、National Medal of ScienceまたはPresidential Medal of Science）は、アメリカ合衆国大統領によって、科学や工学の世界において、その貢献が認められたアメリカ市民に送られる勲章・メダルである。対象となる主な学術分野は、行動科学、社会科学、生物学、化学、工学、数学、物理学に及ぶ。 その選考作業はアメリカ国立科学財団（NSF）が責務を持っている。.
新しい！!: ドナルド・クヌースとアメリカ国家科学賞 · 続きを見る »
アルゴリズム
フローチャートはアルゴリズムの視覚的表現としてよく使われる。これはランプがつかない時のフローチャート。 アルゴリズム（algorithm ）とは、数学、コンピューティング、言語学、あるいは関連する分野において、問題を解くための手順を定式化した形で表現したものを言う。算法と訳されることもある。 「問題」はその「解」を持っているが、アルゴリズムは正しくその解を得るための具体的手順および根拠を与える。さらに多くの場合において効率性が重要となる。 コンピュータにアルゴリズムをソフトウェア的に実装するものがコンピュータプログラムである。人間より速く大量に計算ができるのがコンピュータの強みであるが、その計算が正しく効率的であるためには、正しく効率的なアルゴリズムに基づいたものでなければならない。.
新しい！!: ドナルド・クヌースとアルゴリズム · 続きを見る »
アルゴリズム解析
アルゴリズム解析とは、アルゴリズムの実行に必要とされるリソース（時間や記憶領域）量を見積もることである。多くのアルゴリズムは任意長の入力を受け付けるよう設計されている。アルゴリズムの「効率」や「複雑さ」は一般に、入力長からそのアルゴリズムを実行するのに必要なステップ数（時間複雑性）や記憶領域サイズ（空間複雑性）への関数として表される。 アルゴリズム解析は計算複雑性理論の重要な一分野である。計算複雑性理論では、与えられた計算問題を解くアルゴリズムが必要とするリソースを理論的に見積もる。この見積もりにより効率的なアルゴリズムを設計する指針が得られることがある。 アルゴリズム解析ではふつう、漸近的（asymptotic）な意味で複雑性を見積もる。すなわち、ある程度大きな入力長の際の複雑性関数を見積もる。このためにO記法、Ω記法、Θ記法が用いられる。例えば、二分探索のステップ数は入力サイズの対数に比例し、これを O(log(n)) と表記したり、「対数時間」と称したりする。このような漸近的な見積もりを用いるのは、同じアルゴリズムでも実装の違いにより差が出るのを捨象するためである。異なる妥当な実装による効率の違いは定数倍に留まる。この定数を隠れた定数（hidden constant）と呼ぶ。 漸近的でない正確な効率がわかる場合もあるが、そのためには「計算モデル」と呼ばれるアルゴリズムの特定の実装を仮定する必要がある。計算モデルはチューリング機械のような抽象化された機械を使うか、個々の命令の実行時間が変化しないと仮定することが多い（例えば実際のコンピュータではキャッシュにヒットするかしないかでは大きく実行時間が異なるが、アルゴリズム解析では一般にそれを無視する）。例えば、二分探索で N 個のソートされた数から探索する場合、1回の参照を一定の単位時間でできるとした場合、回答を得るまでに最大で log2 N+1 単位時間を要する。.
新しい！!: ドナルド・クヌースとアルゴリズム解析 · 続きを見る »
イスラエル工科大学
1901年、ドイツのベルリンにおいて、「ドイツ系ユダヤ人による慈善協会」(通称「エズラ」)が発足した。「エズラ」協会には、「東欧のユダヤ人を助けること」および「ドイツ外のユダヤ人に対するドイツ文化の促進」という2つの目的があった。 1907年の9月から12月、創始者であるパウル・ナタン博士はエズラ協会の設立した学校を調査するため、パレスチナを訪問した。パレスチナ滞在時に、彼の脳裏に「技術者学校のプランで高等教育機関を建設してみてはどうか、きっとそれがエズラ協会最大の活動になるのではないか」との案が湧いた。 彼の思索は、地域で起こり始めていた変革によるものである。当時パレスチナの地を支配していたオスマン帝国は、科学技術的にヨーロッパより遅れをとっていた。時を同じくしてトルコ政府は大規模な生産開発を計画し、多くの技術者を必要としていた。しかし当時、オスマン帝国全土に養成学校が皆無であったため、このような技術者は存在しなかった。その為、帝国外部から専門の技術者を呼び寄せる他はなかったのである。 ナタンは、この新しい技術者学校を卒業するユダヤ人が、新分野の研究に携わるには、以下の条件が必要だと望んだ。.
新しい！!: ドナルド・クヌースとイスラエル工科大学 · 続きを見る »
ウィスコンシン州
ウィスコンシン州（State of Wisconsin ）は、アメリカ合衆国の中西部の最北に位置する州である。五大湖地域にも含まれる。合衆国50州の中で、陸地面積では第23位、人口では第20位である。前身のウィスコンシン準州から1848年5月29日に合衆国30番目の州に昇格した。東側はミシガン湖に、北東はミシガン州に、西側はミネソタ州とアイオワ州に、南側はイリノイ州に、北側はスペリオル湖に接している。州都はマディソン市、人口最大の都市はミルウォーキー市である。 愛称は「Dairy Country(酪農の国)」または「The Badger State（あなぐま州）」。アメリカアナグマ(バジャー)は州のシンボルでもあり、19世紀前半、ウィスコンシン州が国内の鉛の半分以上を産出した鉛ラッシュ時代に、鉛鉱山で働く鉱夫とその家族が地上に住居が完成するまで坑道に住んだことから「アナグマ」と呼ばれたことが元になっている。.
新しい！!: ドナルド・クヌースとウィスコンシン州 · 続きを見る »
ウォルター・クロンカイト
ウォルター・リーランド・クロンカイト・ジュニア（Walter Leland Cronkite, Jr、1916年11月4日 - 2009年7月17日）はアメリカのジャーナリスト、アンカーマンである。そのリベラルかつ愛国的な姿勢から、「アメリカの良心（the most trusted man in America）」と呼ばれた。.
新しい！!: ドナルド・クヌースとウォルター・クロンカイト · 続きを見る »
オックスフォード大学
ックスフォード大学 (University of Oxford) は、イギリスの大学都市、オックスフォードに所在する総合大学である。11世紀の末に大学の礎が築かれていることから、現存する大学としては世界で3番目に古く、英語圏では最古の大学である。また、ハーバード大学、ケンブリッジ大学、シカゴ大学等と並び、各種の世界大学ランキングで常にトップレベルの優秀な大学として評価される世界有数の名門大学である。2016年、2017年THE世界大学ランキングで世界1位の大学に2年連続で選ばれた。 イギリス伝統のカレッジ制を特徴とする大学である。貴族の大学としても有名である。 世界中の指導的政治家を輩出しており、テリーザ・メイ現首相、デーヴィッド・キャメロン前首相、トニー・ブレア元首相、マーガレット・サッチャー元首相など27人のイギリス首相、30人以上の各国元首らがオックスフォード大学出身である。さらに、50人以上のノーベル賞受賞者、6人のイギリス国王、150人以上のオリンピックメダリストなどを輩出している。また、皇太子徳仁親王、皇太子妃雅子、秋篠宮文仁親王ら、日本の皇族の留学先としても知られている。 ちなみに「オックスブリッジ」として並び称されるケンブリッジ大学の形成は、この大学に所属していた多くの教師と学生が1209年にケンブリッジに移住したことに端を発する。.
新しい！!: ドナルド・クヌースとオックスフォード大学 · 続きを見る »
カリフォルニア工科大学
リフォルニア工科大学（英語: California Institute of Technology）は、米国カリフォルニア州に本部を置く私立工科大学である。1891年に設置された。Caltech（カルテック、カルテク、キャルテク）の略称でも親しまれる。 カリフォルニア大学、カリフォルニア州立大学、南カリフォルニア大学とは別組織である。 全米屈指のエリート名門校の1つとされ, アメリカではマサチューセッツ工科大学（MIT）と並び称される工学及び科学研究の専門大学である。2011年10月の英国高等教育専門誌「Times Higher Education」においてはハーバード大学を抜き、世界第1位の高等教育機関として位置付けられた。以後、2015年まで、5年連続で同誌のランキングで第１位に選ばれている。 QS World University Rankingsの2018年度向け世界ランキングでは4位、前後には3位にハーバード大学が、5位にケンブリッジ大学が名を連ねる。 学部生896人、大学院生1275人。(ノーベル賞受賞者は37名) 校訓は"The truth shall make you free"。量子電磁力学の発展に寄与し、初等物理学の教科書やエッセイでも有名なリチャード・P・ファインマンや、クォーク仮説のマレー・ゲルマン、トランジスタの発明者の一人であるウィリアム・ショックレー等が教壇に立っていたこともある。NASAの技術開発に携わるジェット推進研究所 (JPL) があることでも有名。.
新しい！!: ドナルド・クヌースとカリフォルニア工科大学 · 続きを見る »
カリグラフィー
15世紀イングランドの聖書写本におけるカリグラフィー ギヨーム・アポリネールによるカリグラム カリグラフィー（καλλιγραφία）は西洋や中東などにおける、文字を美しく見せるための手法。字を美しく見せる書法という面は日本の書道など東洋の書と共通する部分があるが、筆記にペンまたはそれに類する道具を用いているため、毛筆を使用する書道とは表現されたものが異なる。 記録媒体としての羊皮紙が高価であるため、文を残す際により多くの文字を紙に詰め込みつつ、より美しい表現を試みた結果、発明された。 カリグラフィーでデザインされるものはアルファベットだけでない。イスラム圏ではコーランの一部をカリグラフィーを用いて書いたタペストリーが見られるなど、文字を美しく見せる書法が発達している（アラビア書道）。アラビア書道であらわされる文字はアラビア語に限定されるが、イスラム圏においてはもう一か国、イランにおいてもカリグラフィーは非常に盛んであり、ペルシア書道と呼ばれる。ペルシア書道はペルシア語で書かれることを基本とし、ナスタアリーク体をはじめとする様々な書体を生み出した。インドにおいても様々な文字による書法が盛んである（インドのカリグラフィー）。 活版印刷の発明後も、さまざまなフォントのデザインにカリグラフィーは影響を与えた。印刷物の章の頭の1文字で、カリグラフィーの手法でデザインされた通常の活字より大きなものを用いることがあり、直接ペンで描写するもの以外にも応用されている。 画像:Arabic Calligraphy at Wazir Khan Mosque2.jpg|パキスタン・ラホールにある17世紀のモスク・ワジール・ハーン・モスク外壁の装飾文字 画像:Qur'an folio 11th century kufic.jpg|11世紀イランのコーラン写本.
新しい！!: ドナルド・クヌースとカリグラフィー · 続きを見る »
クヌースの矢印表記
ヌースの矢印表記とは、1976年にドナルド・クヌースが巨大数を表現するために発明した表記法である。これは、乗算が加算の反復であり、冪乗が乗算の反復であるのと同様の考え方に基づくもので、冪乗の反復（テトレーション、超指数）を表す演算の表記法である。また、クヌースの矢印表記を拡張した表記法に、コンウェイのチェーン表記やBEAFがある。.
新しい！!: ドナルド・クヌースとクヌースの矢印表記 · 続きを見る »
クヌース・ベンディックス完備化アルゴリズム
ヌース・ベンディックス完備化アルゴリズム（Knuth–Bendix completion algorithm）、あるいはクヌース・ベンディックス完備化手続きは、等式の有限集合をそれと等価な完備性のある項書き換えシステムに変換するアルゴリズムである。このアルゴリズムは普遍代数（en）での語の問題（word problem）（en）を解くための手法としてクヌースとベンディックスから提案された。 アルゴリズムは必ず成功するとは限らないが、成功した場合は停止性と合流性のある項書き換えシステムを生成することができる。そのベースとなる考え方は多くの分野で応用することができる。.
新しい！!: ドナルド・クヌースとクヌース・ベンディックス完備化アルゴリズム · 続きを見る »
クヌース–モリス–プラット法
ヌース–モリス–プラット法（Knuth–Morris–Pratt algorithm、KMP法と略記）とは、文字列検索アルゴリズムの一種。テキスト（文字列）Sから単語Wを探すにあたり、不一致となった位置と単語自身の情報から次に照合を試すべき位置を決定することで検索を効率化するアルゴリズムである。 このアルゴリズムは1977年、ドナルド・クヌースと Vaughan Pratt および（単独で）J.
新しい！!: ドナルド・クヌースとクヌース–モリス–プラット法 · 続きを見る »
クヌース賞
label.
新しい！!: ドナルド・クヌースとクヌース賞 · 続きを見る »
クヌース賞金小切手
ヌース賞金小切手（クヌースしょうきんこぎって、Knuth reward checks）は、計算機科学者ドナルド・クヌースが、彼の出版物の誤りを発見したり多大な提案をしたりした者に贈っている、小切手もしくは小切手を模した証明書である。MITテクノロジーレビューによれば、この小切手は「コンピューター業界で最も賞賛されるトロフィー」である。.
新しい！!: ドナルド・クヌースとクヌース賞金小切手 · 続きを見る »
グレース・ホッパー賞
レース・ホッパー賞（英: ）は、Association for Computing Machinery (ACM) が1971年から授与している賞。コンピュータの先駆者であるグレース・ホッパーの名を冠している。35歳以下のコンピュータの専門家を対象とし、技術的または業務的な重要な貢献をした者を表彰する。.
新しい！!: ドナルド・クヌースとグレース・ホッパー賞 · 続きを見る »
ケース・ウェスタン・リザーブ大学
アデルバート・ホール ケース・ウェスタン・リザーブ大学（Case Western Reserve University）はアメリカ合衆国オハイオ州クリーブランドにある私立工科系総合大学。1967年創立。ケース工科大学（1880年創立）とウェスタン・リザーブ大学（1826年創立）を前身とする。 米国・カナダ両国の主要研究大学が加盟する、アメリカ大学協会のメンバーであり、USニューズ&ワールド・レポートの2007年度のランキングによると、学部のプログラムの総合評価はオハイオ州内では第1位、全米では第38位にランクされるなど高い評価を得ており、とくに医学、生化学の教育・研究レベルの質の高さは全米でもトップクラスである。.
新しい！!: ドナルド・クヌースとケース・ウェスタン・リザーブ大学 · 続きを見る »
コンピュータ
ンピュータ（Computer）とは、自動計算機、とくに計算開始後は人手を介さずに計算終了まで動作する電子式汎用計算機。実際の対象は文字の置き換えなど数値計算に限らず、情報処理やコンピューティングと呼ばれる幅広い分野で応用される。現代ではプログラム内蔵方式のディジタルコンピュータを指す場合が多く、特にパーソナルコンピュータやメインフレーム、スーパーコンピュータなどを含めた汎用的なシステムを指すことが多いが、ディジタルコンピュータは特定の機能を実現するために機械や装置等に組み込まれる組み込みシステムとしても広く用いられる。電卓・機械式計算機・アナログ計算機については各項を参照。.
新しい！!: ドナルド・クヌースとコンピュータ · 続きを見る »
コンピュータ歴史博物館
ンピュータ歴史博物館（Computer History Museum）は、カリフォルニア州マウンテンビューにある1996年設立の博物館である。.
新しい！!: ドナルド・クヌースとコンピュータ歴史博物館 · 続きを見る »
ジョン・ホートン・コンウェイ
ョン・ホートン・コンウェイ ジョン・ホートン・コンウェイ（John Horton Conway, 1937年12月26日 - ）はイギリスの数学者。現プリンストン大学教授。.
新しい！!: ドナルド・クヌースとジョン・ホートン・コンウェイ · 続きを見る »
ステレオ
テレオ (stereo) は、音響工学ではステレオフォニック (stereophonic, 英語版ではstereophonic sound) の略語であり、左右2つのスピーカーで音声を再生する方式のことである。広義には、ステレオフォニック再生のための音声信号を集音、録音、伝送、通信、放送、加工する技術全般、またはステレオフォニック再生のための音響再生装置（ステレオ・セット）を指す。.
新しい！!: ドナルド・クヌースとステレオ · 続きを見る »
スタンフォード大学
タンフォード大学（Stanford University）とは、アメリカ合衆国カリフォルニア州スタンフォードに本部を置く私立大学。正式名称はリーランド・スタンフォード・ジュニア大学（）。 校訓は「Die Luft der Freiheit weht（独：自由の風が吹く）」。サンフランシスコから約60 km南東に位置し、地理上も、歴史的にもシリコンバレーの中心に位置している。.
新しい！!: ドナルド・クヌースとスタンフォード大学 · 続きを見る »
スタンフォード人工知能研究所
タンフォード人工知能研究所（スタンフォードAIラボまたは SAIL）は、スタンフォード大学にある人工知能(AI)研究所。 1963年、マサチューセッツ工科大学からスタンフォードに移ってきたジョン・マッカーシーが設立した。1965年から1980年までスタンフォードを見下ろすサンタクルーズ山のふもとの D.C. Power building にあった。この期間、SAIL は AI 研究の主要拠点のひとつであった。.
新しい！!: ドナルド・クヌースとスタンフォード人工知能研究所 · 続きを見る »
ソフトウェア
フトウェア（software）は、コンピューター分野でハードウェア（物理的な機械）と対比される用語で、何らかの処理を行うコンピュータ・プログラムや、更には関連する文書などを指す。ソフトウェアは、一般的にはワープロソフトなど特定の作業や業務を目的としたアプリケーションソフトウェア（応用ソフトウェア、アプリ）と、ハードウェアの管理や基本的な処理をアプリケーションソフトウェアやユーザーに提供するオペレーティングシステム (OS) などのシステムソフトウェアに分類される。.
新しい！!: ドナルド・クヌースとソフトウェア · 続きを見る »
タイポ
タイポ.
新しい！!: ドナルド・クヌースとタイポ · 続きを見る »
円周率
円周率（えんしゅうりつ）は、円の周長の直径に対する比率として定義される数学定数である。通常、ギリシア文字 （パイ、ピー、ラテン文字表記: ）で表される。数学をはじめ、物理学、工学といった様々な科学分野に出現し、最も重要な数学定数とも言われる。 円周率は無理数であり、その小数展開は循環しない。円周率は、無理数であるのみならず、超越数でもある。 円周率の計算において功績のあったルドルフ・ファン・コーレンに因み、ルドルフ数とも呼ばれる。ルドルフは、小数点以下35桁までを計算した。小数点以下35桁までの値は次の通りである。.
新しい！!: ドナルド・クヌースと円周率 · 続きを見る »
前立腺癌
前立腺癌（ぜんりつせんがん）とは、前立腺（外腺）に発生する病気、癌の一つ。様々な組織型の悪性腫瘍が生じうるが、そのほとんどは腺癌で、通常は前立腺癌≒前立腺腺癌の意味で用いられる。2012年4月日本で初めてロボット手術であるda Vinciの保険適応となった疾患である。.
新しい！!: ドナルド・クヌースと前立腺癌 · 続きを見る »
CBSイブニングニュース
『CBSイブニングニュース』（CBS Evening News）は、アメリカCBSニュースが製作し、CBSネットワークで放送されているニュース番組。1948年に放送を開始した。放送時間は、平日版は午後6時30分から午後7時00分（ET/PT）、日曜版は午後6時00分から午後6時30分（ET/PT）。Podcastで無料配信されている。.
新しい！!: ドナルド・クヌースとCBSイブニングニュース · 続きを見る »
Computer Modern
Computer Modern はドナルド・クヌースが開発した、TeX でデフォルトとして用いられる書体である。オリジナルの最新版は1992年以降出ていないが、同系列のフォントである CM-Super (Computer Modern-super) が2002年にリリースされており、また、ラテン文字、ギリシャ文字、キリル文字をサポートする CM-LGC が2005年にリリースされており、どちらも のディストリビューションである TeX Live に収録されている。 Computer Modern の書体については完全なソースコードを含んだ詳細が、Computers and Typesetting シリーズの volume E、Computer Modern Typefaces に書かれている。 名前の通り、Computer Modern は垂直な太線と細線のコントラストがはっきりしたモダン・フェイスとなっている。具体的にいえば、Computer Modern はモノタイプ社の Modern 8a に基づいており、どちらもエックスハイトがアセンダーやディセンダーより大きくなっている。 しかし、このフォントでいちばん特徴的なことは、完全に METAFONT 上でデザインされたことである。Computer Modern のソースファイルには62個のパラメータがあり、各部の幅や高さ、セリフの有無や古書体の数字にするかどうか、"i" の上につくような点が丸か四角かなど、フォントのいろいろな部分を制御できる。METAFONT で作られた書体はほかにもあるが、Computer Modern は圧倒的に広く使われている。 プリンタ技術の進歩により、METAFONT のようにあらかじめフォントをラスタライズする必要がなくなり、むしろ、アウトラインフォントが必要になってきたため、オリジナルの METAFONT 上の実装ではなく、アメリカ数学会や Latin Modern 実装のType 1フォントによる Computer Modern を使う人が増えている。.
新しい！!: ドナルド・クヌースとComputer Modern · 続きを見る »
Concrete Mathematics
Concrete Mathematics: A Foundation for Computer Science（邦題：コンピュータの数学）は、、ドナルド・クヌース、による、計算機科学の分野で幅広く使用されている教科書である。.
新しい！!: ドナルド・クヌースとConcrete Mathematics · 続きを見る »
王立協会
イヤル・ソサイエティ（Royal Society）は、現存する最も古い科学学会。1660年に国王チャールズ2世の勅許を得て設立された。正式名称は"The President, Council, and Fellows of the Royal Society of London for Improving Natural Knowledge"（自然知識を促進するためのロンドン王立協会）。日本語訳ではロンドン王立協会（-おうりつきょうかい）、王立学会（おうりつがっかい）など。 この会は任意団体ではあるが、イギリスの事実上の学士院（アカデミー）としてイギリスにおける科学者の団体の頂点にあたる。また、科学審議会（Science Council）の一翼をになうことによって、イギリスの科学の運営および行政にも大いに影響をもっている。1782年創立の王立アイルランドアカデミーと密接な関係があり、1783年創立のエジンバラ王立協会とは関係が薄い。.
新しい！!: ドナルド・クヌースと王立協会 · 続きを見る »
王立協会フェロー
王立協会フェロー（おうりつきょうかいフェロー、Fellowship of the Royal Society）は、「数学・工学・医学を含む自然知識の向上への多大な貢献」をした個人に対して、ロンドンの王立協会から付与される賞およびフェローシップ（会員資格）である。 最古の科学アカデミーである王立協会のフェローシップは、歴史上、多くの有名な科学者に与えられた重要な名誉である。フェローには、アイザック・ニュートン（1672年）、チャールズ・ダーウィン（1839年）、マイケル・ファラデー（1824年）、アーネスト・ラザフォード（1903年）、シュリニヴァーサ・ラマヌジャン（1919年）、アルベルト・アインシュタイン（1921年）、ウィンストン・チャーチル（1941年）、スブラマニアン・チャンドラセカール（1944年）、ドロシー・ホジキン（1947年）、アラン・チューリング（1951年）、フランシス・クリック（1959年）などがいる。現在では、スティーヴン・ホーキング（1974年）、ティモシー・ハント（1991年）、エリザベス・H・ブラックバーン（1992年）、ティム・バーナーズ＝リー（2001年）、ヴェンカトラマン・ラマクリシュナン（2003年）、 アンドレ・ガイム（2007年）、ジェームズ・ダイソン（2015年）、（2015年）を始めとして合計8000人以上がフェローとなり、1900年以降で280人以上のノーベル賞受賞者のフェローがいる。2016年現在、約1600名の存命のフェロー（外国人会員・名誉フェローを含む）がいる。 王立協会のフェローシップはガーディアン紙によると「オスカー特別功労賞に匹敵する名誉」とされ、受賞者が所属する研究機関はその名誉を広報するのが普通である。.
新しい！!: ドナルド・クヌースと王立協会フェロー · 続きを見る »
理論計算機科学
論計算機科学（りろんけいさんきかがく、英語：theoretical computer science）は計算機を理論的に研究する学問で、計算機科学の一分野である。計算機を数理モデル化して数学的に研究することを特徴としている。「数学的」という言葉は広義には公理的に扱えるもの全てを指すので、理論計算機科学は広義の数学の一分野でもある。理論計算機科学では、現実のコンピュータを扱うことも多いが、チューリングマシンなどの計算モデルを扱うことも多い。 理論計算機科学の代表的な分野として以下のものがある。.
新しい！!: ドナルド・クヌースと理論計算機科学 · 続きを見る »
科学アカデミー (フランス)
科学アカデミー（かがくアカデミー、仏:Académie des sciences）は、フランス国立の学術団体で、フランス学士院を構成する団体の一つ。フランス科学アカデミー。アカデミー・デ・シアンス。.
新しい！!: ドナルド・クヌースと科学アカデミー (フランス) · 続きを見る »
組版
組版（くみはん）とは、印刷の一工程であって、文字や図版などの要素を配置し、紙面を構成すること。組み付けともいう。本来は活版印刷の用語であり、文字どおり版を物理的に組むこと、活字を並べて結束糸で縛ったものを「組み版」と呼んだことに由来する。.
新しい！!: ドナルド・クヌースと組版 · 続きを見る »
片柳コンピュータ科学賞
片柳コンピュータ科学賞（かたやなぎコンピュータかがくしょう、The Katayanagi Prize）は、コンピュータ科学技術に関する賞の一つ。2007年に創設された。.
新しい！!: ドナルド・クヌースと片柳コンピュータ科学賞 · 続きを見る »
Extensible Markup Language
Extensible Markup Language（エクステンシブル マークアップ ランゲージ）は、基本的な構文規則を共通とすることで、任意の用途向けの言語に拡張することを容易としたことが特徴のマークアップ言語の総称である。一般的にXML（エックスエムエル）と略称で呼ばれる。JISによる訳語は「拡張可能なマーク付け言語」。 SGMLからの移行を目的として開発された。文法はSGMLの構文解析器と互換性を保つようにSGMLのサブセットに定められシンプルになり、機能はSGMLに無いものが追加されている。 XML の仕様は、World Wide Web Consortium (W3C) により策定・勧告されている。1998年2月に XML 1.0 が勧告された。2010年4月現在、XML 1.0 と XML 1.1 の2つのバージョンが勧告されている（#バージョン）。 ちなみに、「eXtensible Markup Language の略である」と書かれることがあるが、これは間違いであり、XはExの発音を表している。.
新しい！!: ドナルド・クヌースとExtensible Markup Language · 続きを見る »
韻文
韻文（いんぶん）とは、聴覚に一定の定まった形象を感覚させる一定の規則（韻律）に則って書き表された文章。散文の反意語。多く詩において用いられる。 一定のリズムを持ち、暗誦されるのに適しているため、古代から神話や歴史の叙述に用いられてきた。俳句、和歌、漢詩、連歌、連句、四行詩、脚韻詩などの韻文詩なども韻文に含まれる。.
新しい！!: ドナルド・クヌースと韻文 · 続きを見る »
聖書
聖書（せいしょ）とは、キリスト教、ユダヤ教の教典、正典であり、イスラム教でも教典とされている。.
新しい！!: ドナルド・クヌースと聖書 · 続きを見る »
計算理論
計算理論（けいさんりろん、theory of computation）は、理論計算機科学と数学の一部で、計算模型やアルゴリズムを理論的にあつかう学問である。計算複雑性理論、計算可能性理論を含む。ここでいう計算 (computation) とは、数学的に表現できる、あらゆる種類の情報処理のこと。 計算を厳密に研究するため、計算機科学では計算模型と呼ばれるコンピュータの数学的抽象化を行う。その手法はいくつかあるが、最も有名なものはチューリングマシンである。チューリングマシンは、言ってみれば無限のメモリを持つコンピュータであるが、一度にアクセスできるメモリ範囲は非常に限られている。チューリングマシンは十分な計算能力を持つモデルでありながら、単純で定式化しやすく、様々な証明に使い易いため、計算機科学者がよく利用する。無限のメモリというのは非現実的な特徴と思われるかもしれないが、より適切な表現を使うならば「無制限」のメモリであって、読み書きしようとした時にそれができればよく、それに対応する「無限な実体」とでも言うべきものが必要なわけではない。「チューリングマシンで、ある問題が解ける」とは必ず有限のステップで計算が終了することを意味し、よってそれに必要なメモリの量は有限である。よって、チューリングマシンで解くことが出来る問題は、現実のコンピュータであっても必要なだけのメモリがあれば解くことが出来る。.
新しい！!: ドナルド・クヌースと計算理論 · 続きを見る »
計算機科学
計算機科学（けいさんきかがく、computer science、コンピュータ科学）とは、情報と計算の理論的基礎、及びそのコンピュータ上への実装と応用に関する研究分野である。計算機科学には様々な下位領域がある。コンピュータグラフィックスのように特定の処理に集中する領域もあれば、計算理論のように数学的な理論に関する領域もある。またある領域は計算の実装を試みることに集中している。例えば、プログラミング言語理論は計算を記述する手法に関する学問領域であり、プログラミングは特定のプログラミング言語を使って問題を解決する領域である。.
新しい！!: ドナルド・クヌースと計算機科学 · 続きを見る »
長さ
長さ（ながさ、length）とは、.
新しい！!: ドナルド・クヌースと長さ · 続きを見る »
集合論
集合論（しゅうごうろん、set theory, théorie des ensembles, Mengenlehre）は、集合とよばれる数学的対象をあつかう数学理論である。 通常、「集合」はいろいろな数学的対象の集まりを表していると見なされる。これは日常的な意味でのものの集まりやその要素、特定のものが入っているかいないか、という概念を包摂している。現代数学の定式化においては集合論がさまざまな数学的対象を描写する言葉をあたえている。（論理や述語論理とともに）集合論は数学の公理的な基礎付けをあたえ、数学的な対象を形式的に（無定義語の）「集合」と「帰属関係」によって構成することが可能になる。また、集合論の公理として何を仮定するとどんな体系が得られるか、といった集合それ自体の研究も活発に行われている。 集合論における基本的な操作には、あたえられた集合のべき集合や直積集合をとる、などがある。また二つの集合の元同士の関係（二項関係）を通じて定義される順序関係や写像などの概念が集合の分類に重要な役割を果たす。集合論では二つの集合はそれぞれの集合の元の間に全単射が存在するとき濃度が等しいという。そこで集合を濃度の等しさによって類別した各々の同値類のことを濃度という。この定義では濃度は真のクラスになってしまうので、濃度そのものを集合論的な対象として取り扱い難い。選択公理を仮定すると任意の集合は整列可能であることが導かれる。整列集合の順序型を順序同型で類別した各々の同値類と定義してしまうと、それは真のクラスとなってしまう。幸いなことに任意の整列集合は順序数と呼ばれる特別な集合（を帰属関係で順序付けしたもの）と順序同型となる。そのためそれら順序数を整列集合の順序型と定義することができる。また順序数全体 \mathrm（これは真のクラスになる）もまた整列順序付けられている。以上のもとで、集合の濃度を と定義することができる。すなわち濃度というのを特別な順序数として定義するわけである。このようにすることで濃度の定義から真のクラスを追放することができる。ただし選択公理を仮定することなく濃度を定義し取り扱うことはできる。基本的なアイデアは濃度で類別した各々同値類から累積階層の意味で階数が最小なものだけを分出するというものである。詳細はを参照。.
新しい！!: ドナルド・クヌースと集合論 · 続きを見る »
IBM 650
テキサスA&M大学の IBM 650。 右にあるのが IBM 533 パンチカード・リーダ/パンチャー IBM 650 の前面パネル（1956年製造） 二五進法表示になっている。 IBM 650の前面パネルの裏側 ノルウェーの最初の IBM 650 (1959)。"EMMA" と呼ばれていた。CPU（右）、入出力装置（中央）、パンチカードソータ（左）。（オスロ、ノルウェー科学技術博物館） 650で使われていたタイプの真空管回路モジュール Bronx High School of Science での1960年の教室。IBM 650 の命令コード表が黒板の右上にある。 IBM 650（アイビーエムろくごーまる）はIBMの最初のコンピュータのひとつであり、世界初の大量生産されたコンピュータである。1953年に発表され、1954年の初出荷から生産終了の1962年までに2000システム以上が製造された。保守サポートは1969年に終了。.
新しい！!: ドナルド・クヌースとIBM 650 · 続きを見る »
IEEE
IEEE（アイ・トリプル・イー、The Institute of Electrical and Electronics Engineers, Inc.）は、アメリカ合衆国に本部を持つ電気工学・電子工学技術の学会である。.
新しい！!: ドナルド・クヌースとIEEE · 続きを見る »
MAD (雑誌)
MADは1952年からDCコミックスが発行しているアメリカ合衆国の風刺雑誌。.
新しい！!: ドナルド・クヌースとMAD (雑誌) · 続きを見る »
METAFONT
METAFONT（メタフォント）は、フォント作成用のコンピュータプログラムである。組版システム TeX とともにドナルド・クヌースにより開発された。.
新しい！!: ドナルド・クヌースとMETAFONT · 続きを見る »
MIX (プログラミング)
MIX とは、ドナルド・クヌースが著書 The Art of Computer Programming (TAoCP) で使った仮想計算機である。1960年代に生まれた MIX は、今後の TAOCP の版では MMIX という新たな（仮想の）コンピュータアーキテクチャで置換される予定である。MIX と MMIX のソフトウェア実装（MIXware および MMIXware）はクヌースが開発しており、自由に利用可能となっている。クヌースの MIX/MMIX エミュレータからの派生版も存在する。GNU MDK がその一例で、フリーソフトウェアとして幅広いプラットフォーム上で動作する。 TAoCP 本文中の記述によれば、MIX は「世界初の多機種複合型コンピュータ」で、型番は MIX という綴りをローマ数字として解釈したものと同じ 1009 であると設定されている。この数は「MIX によく似ていて MIX を簡単にシミュレートできる実在のコンピュータ 16 種」の型番から取って平均した（mixした）ものであるとあるが、具体的にその機種を検討してみるとかなり恣意的であり、このラインナップについてはこじつけと見てよいであろう。.
新しい！!: ドナルド・クヌースとMIX (プログラミング) · 続きを見る »
MMIX
MMIX（エムミックス）は、ドナルド・クヌースがジョン・ヘネシー（MIPSプロセッサ設計者）や Dick Sites（Alphaプロセッサ設計者）の協力を得て設計した命令セット（命令セットアーキテクチャ、ISA）である。コンピュータプログラミングの「Art」を記している大著The Art of Computer Programming (TAoCP) において使用していた「MIX」の代替となるべく設計され、現代的な特徴を持つ。当命令セットを設計した後に執筆・改訂の TAoCP にて既に使用されている。 "MMIX" という綴りはローマ数字として解釈すると2009であり、前任のMIXの頭にMを付けたものであると同時に、2000年代のコンピュータ（プロセッサ）という意味を掛けているものと思われる（とはいえ、MIXの時の「実在のコンピュータ 16 種の型番から取って平均した」値の1009である、という主張にはかなりこじつけの気配があったのと同様、特に意味があるものではない）。.
新しい！!: ドナルド・クヌースとMMIX · 続きを見る »
Open Content Alliance
Open Content Alliance (OCA)とは誰でもアクセスできるデジタルスキャン文書のアーカイブの永久的な構築を目指す団体である。2005年10月にYahoo!、インターネットアーカイブ、カリフォルニア大学、トロント大学等によって設立された。OCAによるスキャン作業はインターネット・アーカイブによって行われ、ウェブサイトを通してアクセスできるように記録媒体に永久保存している。 マイクロソフトはOCAと2008年5月まで特別な関係を持っており、2005年10月にLive Book Searchプロジェクトの一環としてOCAに加わっていた。しかし、その2008年5月にLive Book Searchプロジェクトとインターネット・アーカイブによる書籍スキャン作業への資金提供を終了すると発表した, Live Search Blog.
新しい！!: ドナルド・クヌースとOpen Content Alliance · 続きを見る »
TeX
（TeX; テック、テフ）はアメリカ合衆国の数学者・計算機科学者であるドナルド・クヌース (Donald E. Knuth) により開発されている組版処理システムである。.
新しい！!: ドナルド・クヌースとTeX · 続きを見る »
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 · 続きを見る »
Things a Computer Scientist Rarely Talks About
Things a Computer Scientist Rarely Talks Aboutは、ドナルド・E・クヌースの著書であるISBN 1-57586-327-8 （ハードカバー）、ISBN 1-57586-326-X （ペーパーバック）。2001年にスタンフォード大学言語情報研究所(CSLI)から刊行された。日本語訳のタイトルは『コンピュータ科学者がめったに語らないこと』（滝沢徹・牧野祐子・富澤昇 訳）ISBN 978-4434036170である。 本書には、クヌースがMITで行った宗教と科学（特にコンピュータ科学）との関係に関する6つの公開講義の記録が注釈付きで含まれている。クヌースは、神性の概念を信頼している。.
新しい！!: ドナルド・クヌースとThings a Computer Scientist Rarely Talks About · 続きを見る »
WEB
WEB（ウェブ）は、ドナルド・クヌースによって設計および開発されたプログラミングの仕組みであり、TeX の実装に用いられていることで知られる。 クヌースが提唱する「文芸的プログラミング」を実装したものがこの WEB であり、ソフトウェアを文学作品として著述するための仕組みである。クヌースは「文芸的プログラミング」（ THE COMPUTER JOURNAL 掲載版）の中で WEB を「文書整形言語とプログラミング言語という二つの部分の組み合わせ」だと説明した。 WEB ではソースコードは説明文の中に記述されるが、これは一般的なプログラミング言語において、コメントがソースコードの中に記述されるのと対照的である。WEB テキストを記述するときは節ごとにひとまとまりのコードとその説明を記述する。出来上がったWEBテキストを weave というプログラムに通すと、 経由で整形された印刷用のドキュメントが得られる。一方 tangle というプログラムを通すと、コンパイラやインタプリタなどプログラミング言語処理系に掛けることができる(狭義の)ソースコードが得られる。 オリジナルの WEB は tangle することによってプログラミング言語 Pascal のソースコードを出力するものであるが、ここから C言語のソースを出力する CWEB・任意のプログラミング言語に適用が可能な noweb が派生した。また WEB の出力を C 言語に変換する Web2C があり、近年 をコンパイルするために用いられている。.
新しい！!: ドナルド・クヌースとWEB · 続きを見る »
柏書房
柏書房（かしわしょぼう）は、日本の出版社。人文学、歴史学や図書館学に関する出版が多い。 近年の刊行物では、『アホでマヌケなアメリカ白人』（マイケル・ムーア、松田和也訳）が話題を呼んだ。.
新しい！!: ドナルド・クヌースと柏書房 · 続きを見る »
松浦俊輔
松浦 俊輔（まつうら しゅんすけ、1956年 - ）は科学哲学を専門とする日本の翻訳家。名古屋学芸大学非常勤講師。哲学的な側面を含んだ一般向けの数学・科学関係の書籍を多数日本語に翻訳している。主な翻訳のフィールドは純粋数学、確率統計、理論物理学、進化生物学など。代表的な訳書としては、一般向けのもので『ビル・ゲイツの面接試験』や『素数に憑かれた人たち リーマン予想への挑戦』など、またある程度専門家向けものとしてリー・スモーリンの『迷走する物理学』などがある。.
新しい！!: ドナルド・クヌースと松浦俊輔 · 続きを見る »
文芸的プログラミング
文芸的プログラミング（ぶんげいてきプログラミング、literate programming）とは、.
新しい！!: ドナルド・クヌースと文芸的プログラミング · 続きを見る »
放射線療法
『肺がん』 p.92。 放射線療法（ほうしゃせんりょうほう、radiation therapy / radiotherapy）は、放射線を患部に体外および体内から照射する治療法である。手術、抗がん剤治療とともに癌（がん）に対する主要な治療法の一つである。.
新しい！!: ドナルド・クヌースと放射線療法 · 続きを見る »
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
新しい！!: ドナルド・クヌースと数学 · 続きを見る »
数学者
数学者（すうがくしゃ、mathematician）とは、数学に属する分野の事柄を第一に、調査および研究する者を指していう呼称である。.
新しい！!: ドナルド・クヌースと数学者 · 続きを見る »
1938年
記載なし。
新しい！!: ドナルド・クヌースと1938年 · 続きを見る »
1963年
記載なし。
新しい！!: ドナルド・クヌースと1963年 · 続きを見る »
1976年
記載なし。
新しい！!: ドナルド・クヌースと1976年 · 続きを見る »
1990年
この項目では、国際的な視点に基づいた1990年について記載する。.
新しい！!: ドナルド・クヌースと1990年 · 続きを見る »
1992年
この項目では、国際的な視点に基づいた1992年について記載する。.
新しい！!: ドナルド・クヌースと1992年 · 続きを見る »
1996年
この項目では、国際的な視点に基づいた1996年について記載する。.
新しい！!: ドナルド・クヌースと1996年 · 続きを見る »
1月10日
1月10日（いちがつとおか）は、グレゴリオ暦で年始から10日目に当たり、年末まであと355日（閏年では356日）ある。誕生花は、スノードロップ。.
新しい！!: ドナルド・クヌースと1月10日 · 続きを見る »
2003年
この項目では、国際的な視点に基づいた2003年について記載する。.
新しい！!: ドナルド・クヌースと2003年 · 続きを見る »
2005年
この項目では、国際的な視点に基づいた2005年について記載する。.
新しい！!: ドナルド・クヌースと2005年 · 続きを見る »
3Dプリンター
3Dプリンター（スリーディープリンター、）とは、3DCAD、3DCGデータを元に立体（3次元のオブジェクト：製品）を造形する機器。通常のプリンターのように紙に平面（二次元）的に印刷する形式や、鋳型を作って造形材を充填・固形化する形式と異なる。日本語では立体印刷機（りったいいんさつき）とも言う。 通常は積層造形法(additive manufacturing、AM)によるものを指す。3次元のオブジェクトを造形することを3Dプリンティング（）、三次元造形（さんじげんぞうけい）と呼ぶ。.
新しい！!: ドナルド・クヌースと3Dプリンター · 続きを見る »
3月13日
3月13日（さんがつじゅうさんにち）はグレゴリオ暦で年始から72日目（閏年では73日目）にあたり、年末まであと293日ある。.
新しい！!: ドナルド・クヌースと3月13日 · 続きを見る »
3月14日
3月14日（さんがつじゅうよっか、さんがつじゅうよんにち）はグレゴリオ暦で年始から73日目（閏年では74日目）に当たり、年末まであと292日ある。.
新しい！!: ドナルド・クヌースと3月14日 · 続きを見る »
ここにリダイレクトされます：
Donald Ervin Knuth、Donald Knuth、ドナルド・E・クヌース、クヌース、高徳納。
