このことは2次元の座標系に限らず、3次元の系やより大きな次元の系についても成り立つ。この事実から、ピタゴラスの定理を用いて任意の2点の間の距離を測ることができる。このようにして導入される距離はユークリッド距離と呼ばれる。「ピタゴラスが直角二等辺三角形のタイルが敷き詰められた床を見ていて、この定理を思いついた」など幾つかの逸話が知られているものの、この定理はピタゴラスが発見したかどうかは分からない。バビロニア数学のプリンプトン322や古代エジプトなどでもピタゴラス数については知られていたが、彼らが定理を発見していたかどうかは定かではない。『周髀算経』でもこの定理が取り上げられている。呼び、日本の和算でも中国での名称を用いて鉤股弦の法(こうこげんのほう)等と呼んだ。三平方の定理という名称は、敵性語が禁じられていた第二次世界大戦中に文部省の図書監修官であった塩野直道の依頼を受けて、数学者末綱恕一が命名したものである。公立の学費でアイビーリーグと同等の教育を受けられる(ただし、留学生と州外の生徒は公立料金の扱いは除外される)大学を指すパブリック・アイビーの一つである。Austin」もしくは「UT」などと呼称される。5万人の学部生と大学院生、1万6千人の教授、関係者を抱え、270以上の学部、大学院教育プログラムを提供し、幅広い研究、教育を行っている。学生間には強烈な仲間意識があり、独特な校風を有している。卒業生、関係者は各分野で活躍しており、数々の分野において高く評価されている。Newsweek世界大学ランキングでは世界第27位。シンクタンクなどにみられる。学会がその分野に著しい貢献があった者に授与する称号でもある。学会等が授与・贈呈するフェローの称号をフェロー称号と通称することがある。)は、オランダ北ブラバント州の基礎自治体(ヘメーンテ)。アイントホーフェンの北東6km、アムステルダムの南東110kmの位置にある。ニューネン、ヘルヴェン、ネーデルヴェテンの各地区のほか、いくつかの村(オプウェッテン、ボールト、エーンアイント、スタト・ファン・ヘルヴェン、オレン)から成る。「ニューネン」は、日本語では「ヌエネン」と表記されることもある。-)はスイスの計算機科学者。プログラミング言語Pascal、Modula-2などの開発や、ソフトウェア工学分野の開拓的研究で知られる。logic.)とは、公理的意味論の立場でプログラムの正当性について厳密に推論するために第一階述語論理を拡張した形式論理の言語を言う。プログラムの正しさを証明するためのロバート・フロイドによる流れ図に関する方法を基に、計算機科学者のアントニー・ホーアによって提案された。解くための最良優先探索によるアルゴリズムである。辺の重みに負数を含む場合はベルマン-フォード法などが使える。辺の重みが全て同一の非負数の場合は幅優先探索が速く、線形時間で最短路を計算可能である。無向グラフで辺の重みが正整数の場合は、Thorupのアルゴリズムによって線形時間での計算が可能であるが、実用性はあまり高くない。computing)とは、プログラムの個々の部分が同時並行的に複数のコンピュータ上で実行され、各々がネットワークを介して互いに通信を行いながら全体として処理が進行する計算手法のことである。複雑な計算などをネットワークを介して複数のコンピュータを利用して行うことで、一台のコンピュータで計算するよりスループットを上げようとする取り組み、またはそれを実現する為の仕組みである。分散処理(ぶんさんしょり)ともいう。並列コンピューティングの一形態に分類されるが、一般に並列コンピューティングと言えば、同時並行に実行する主体は同じコンピュータシステム内のCPU群である。どちらもプログラムの分割(同時に実行できる部分にプログラムを分けること)が必須である。分散コンピューティングではさらに、それぞれの部分が異なる環境でも動作できるようにしなければならない。2台の異なるハードウェアを使ったコンピュータで、それぞれ異なるファイルシステム構成であっても動作するよう配慮する必要がある。問題を複数の部分問題に分けて各コンピュータに実行させるのが基本であり、素数探索や数多く試してみる以外に解決できない問題の対処として用いられているものが多い。分散コンピューティングの例としてBOINCがある。これは、大きな問題を多数の小さな問題に分割し、多数のコンピュータに分配するフレームワークである。その後、それぞれの結果を集めて大きな解を得る。一般的に処理を分散すると一台のコンピュータで計算する場合と比べ、問題データの分配、収集、集計するためのネットワークの負荷が増加し、問題解決の為のボトルネックとなるため、部分問題間の依存関係を減らすことが重要な課題となる。分散コンピューティングは、コンピュータ同士をネットワーク接続し、効率的に通信できるよう努力した結果として自然に生まれた。分散コンピューティングはコンピュータネットワークと同義ではない。コンピュータネットワークと言った場合、複数のコンピュータが互いにやり取りするが、単一のプログラムの処理を共有することはない。コンピュータネットワークの例であるが、分散コンピューティングの例ではない。分散処理を構築するための様々な技術や標準が存在し、一部はその目的に特化して設計されている。AAAS)は、アメリカ合衆国マサチューセッツ州ケンブリッジに本部を置く学術団体である。選出、式典は毎年10月に行われる。会員にはベンジャミン・フランクリン、ジョージ・ワシントン、トーマス・ジェファーソン、西脇順三郎、アレクサンダー・ハミルトンなどがいる。Hoare)またはC・A・R・ホーア。Processes(CSP)などがある。CSPはプログラミング言語Occamに示唆を与えた。Eindhoven)は、オランダのアイントホーフェンにある公立大学。»エイト・クイーンイト・クイーンとは、チェスの盤とコマを使用したパズルの名称である。づけのシステムソフトウェアである。通常、OSメーカーが組み上げたコンピュータプログラムの集合として、作成され提供されている。オペレーティングシステムは通常、ユーザーやアプリケーションプログラムとハードウェアの中間に位置し、ユーザーやアプリケーションプログラムに対して標準的なインターフェースを提供すると同時に、ハードウェアなどの各リソースに対して効率的な管理を行う。メモリ管理、マルチタスクなどのプロセス管理、更にはGUIなどのユーザインタフェース、TCP/IPなどのネットワーク、などがある。オペレーティングシステムは、パーソナルコンピュータからスーパーコンピュータまでの各種のコンピュータや、更にはスマートフォンやゲーム機などを含む各種の組み込みシステムで、内部的に使用されている。ミドルウェア、ファイル管理ソフトウェアやエディタや各種設定ツールなどのユーティリティ、基本的なアプリケーションソフトウェア(ウェブブラウザや時計などのアクセサリ)が、マーケティング上の理由などから一緒に含められていることもある。OSの中で、タスク管理やメモリ管理など特に中核的な機能の部分をカーネル、カーネル以外の部分(シェルなど)をユーザランドと呼ぶ事もある。ドイツ、南はベルギーおよびルクセンブルクと国境を接し、北と西は北海に面する。ベルギー、ルクセンブルクと合わせてベネルクスと呼ばれる。憲法上の首都はアムステルダム(事実上の首都はデン・ハーグ)。カリブ海のアルバ、キュラソー、シント・マールテンと共にオランダ王国を構成している。他、カリブ海に海外特別自治領としてボネール島、シント・ユースタティウス島、サバ島(BES諸島)がある。KNAW)は、オランダにおける科学と文学の振興を専門とする組織である。含む多数の研究所を運営しており、さらに多数の賞を主催している。理論物理学の賞であるローレンツメダル、微生物学の賞であるレーウェンフック・メダルなどがある。projector、OHP)とは、テキストを含む画像を聴衆に提示するための表示システムの一種。2002年6月29日)は、ノルウェー人の計算機科学者。クリステン・ニゴールと共同で、オブジェクト指向の起源となるSimulaを開発したことで知られる。オルヨハン・ダールと表記されることもあるが、ノルウェー語の発音としては正しくない。»オブジェクト指向ブジェクト指向(オブジェクトしこう)とは、オブジェクト同士の相互作用として、システムの振る舞いをとらえる考え方である。オブジェクト指向の枠組みが持つ道具立ては、一般的で強力な記述能力を持つ。複雑なシステム記述、巨大なライブラリ(特に部品間で緊密で複雑な相互関係を持つもの)の記述においては、オブジェクト指向の考え方は必須である。Belfast、QUB)は、北アイルランドのベルファストにある大学である。イギリスのトップレベル大学で構成されたラッセル・グループに所属する。theory)は、ノード(節点・頂点)の集合とエッジ(枝・辺)の集合で構成されるグラフに関する数学の理論である。»セマフォマフォ(semaphore)とは、計算機科学において、並列プログラミング環境での複数の実行単位(主にプロセス)が共有する資源にアクセスするのを制御する際の、単純だが便利な抽象化を提供する変数または抽象データ型である。ある資源が何個使用可能かを示す記録と考えればわかりやすく、それにその資源を使用する際や解放する際にその記録を「安全に」(すなわち競合状態となることなく)書き換え、必要に応じて資源が使用可能になるまで待つ操作が結びついている。セマフォは競合状態を防ぐ便利なツールであるが、セマフォを使うことでプログラムにおける競合状態がなくなると保証するものではない。任意個の資源を扱うセマフォをカウンティングセマフォ、値が0と1に制限されている(ロック/アンロック、使用可能/使用不可の意味がある)セマフォをバイナリセマフォと呼ぶ。後者はミューテックスと同等の機能を持つ。セマフォの概念はオランダ人計算機科学者エドガー・ダイクストラが考案した。今ではさまざまなオペレーティングシステムで採用されている。「semaphore」の本来の語義は「視覚による通信・信号」全般を指し、腕木通信や、それから派生した鉄道の腕木信号(や自動車の方向指示器)、手旗信号などが含まれる。日本語でのセマフォは、本用途(コンピュータ、プログラミング関連)に限られる。ソフトウェア工学において既存のソフトウェアを改良・最適化していくと共にバグを修正していくプロセスを意味する。ソフトウェア保守はソフトウェア製品ライフサイクルにおける主要なプロセスの一部であり、ソフトウェアの実際の現場への投入後に行われる。ソフトウェア保守工程では、実際の使用で発見された問題点やバグを修正すると共に、そのソフトウェアのユーザビリティや可用性を改善するための機能追加も行う。再帰(さいき)は、あるものについて記述する際に、記述しているものそれ自身への参照が、その記述中にあらわれることをいう。定義において、再帰があらわれているものを再帰的定義という。英語のrecursionとその派生語の訳にあてられる。他にrecurrenceの訳(回帰#物理学及び再帰性を参照のこと)や、reflexiveの訳として「再帰」が使われることがある。数学的帰納法との原理的な共通性から、recursionの訳として数学では「帰納」を使うことがある。商業(しょうぎょう、commerce)とは、財やサービスなどの商品を所有している人または存在している場所と、必要としている人または必要としている場所を結びつけることにより利益を得る産業または経済活動である。多くは貨幣の媒介を経て市場や個々の店舗において取引(商取引)という形式をとって行われる。貨幣や市場などを媒介しないケースを含める場合には「交換」と呼ぶこともある。「商業的」という場合、「営利を目的として」という意味になる(例:商業的生産)。産業の類には含まれるものの、第一次産業と第二次産業とは大きく異なり、いわゆるサービス業に近い一面を持っている。あらゆる言語の音声を文字で表記すべく、国際音声学会が定めた音声記号である。国際音声字母(こくさいおんせいじぼ)、国際音標文字(こくさいおんぴょうもじ)とも言う。»BASICBASIC(ベーシック)は手続き型プログラミング言語のひとつ。code」(「初心者向け汎用記号命令コード」を意味する)のバクロニムである。貢献を顕彰し、原則として毎年2件贈られる。1件につき1000万円。(りろんぶつりがく、)は、物理学において、理論的な模型や理論的仮定(主に数学的な仮定)を基に理論を構築し、既知の実験事実(観測や観察の結果)や、自然現象などを説明し、かつ未知の現象に対しても予想する物理理論を扱う分野のこと。実験物理学と対比して使われる言葉。手段として、伝統的な紙と鉛筆によるもの以外に、現在ではコンピュータによる数値的なシミュレーション、数値解析、物理シミュレーションなどにおいて使用される計算機も重要なものの一つとなっている。このシミュレーションなどによる計算物理学分野も、通常は理論物理学に含める。計算物理学を、理論、実験以外の第三の分野と捉える考え方もある。物理学が理論物理学と実験物理学に分化したのは、19世紀後半から20世紀初頭にかけての物理学の急速な発展に原因がある。それまでの物理学の知識の集積は、一人の物理学者が実験と理論の両方を十分カバーできる程度のものであった。急速な発展の結果、物理学の領域はあまりにも巨大化・複雑化しすぎて、全体を把握することが困難となった。理論的な考察を行なうために習得しなければならない数学的手法や既存の物理理論も膨大な量になって、習得に何年もかかるようになった。このため、それぞれ担当分野に分かれて研究を進める他なくなったのである。ロシア(旧ソ連)のレフ・ダヴィドヴィッチ・ランダウが自国の物理学者志望の学生に課した「理論ミニマム」教程(最低限の知識)にもそれが現れている。密(ひみつ、英語:secrecy)とは、個人ないしひとつの組織、団体が、外集団に対して公開することのない情報を指す言葉。外部に知られることによる不利益を回避するために用いられることが多い。一定の組織(軍や国家)において、特別な意味を持つ秘密を機密と呼び、区別する。algorithm)とは、計算機科学における資源の割り当ておよびデッドロック回避のアルゴリズムで、エドガー・ダイクストラによって開発された。銀行家のアルゴリズムでは、あらかじめ決定された最大量の計算資源の割り当てをシミュレートすることで安全性をテストし、資源の割り当て継続するかどうかを決定する前に、遅延されたデッドロックが発生する条件に対する「安全状態」のチェックを行う。オペレーティングシステムを設計する過程で考案された。記述されていたもので、この名前は銀行家が流動性の制約を説明する方法から取られている。Problem)とは、並列処理に関する問題を一般化した例である。古典的なマルチプロセスの同期(排他制御)問題であり、大学レベルの計算機科学課程にはほぼ確実に含まれている。1965年、エドガー・ダイクストラは5台のコンピュータが5台のテープ装置に競合アクセスするという同期問題を提示した。間もなく、この問題はアントニー・ホーアによって「食事する哲学者の問題」に変形して語られることとなった。複雑性(ふくざつせい、complexity)という用語は、多数の部品が入り組んで配置された何らかのものを特徴付ける言葉として使われる。科学として複雑性を研究するアプローチはいくつか存在しており、本項目ではそれらを概説する。マサチューセッツ工科大学のセス・ロイドは、複雑性の定義を32種類集めてプレゼンテーションしたことがあるという。証明(しょうめい)とは、ある事柄が真理もしくは事実であることを明らかにすること。science、コンピュータ科学)とは、情報と計算の理論的基礎、及びそのコンピュータ上への実装と応用に関する研究分野である。計算機科学には様々な下位領域がある。コンピュータグラフィックスのように特定の処理に集中する領域もあれば、計算理論のように数学的な理論に関する領域もある。ある領域は計算の実装を試みることに集中している。プログラミング言語理論は計算を記述する手法に関する学問領域であり、プログラミングは特定のプログラミング言語を使って問題を解決する領域である。Semantics)は、エドガー・ダイクストラによるホーア論理の拡張であり、その後も他の研究者が改良を加えたものである。railroad)とは、等間隔に設置された2本の鉄製の軌条(レール)またはそれに代わる物を案内路として車輪を有する車両が走行する交通機関である。線路・停車場などの施設、旅客や貨物を輸送する列車、運行管理や信号保安まで様々な要素で構成される一連の体系である。広い意味では、レール、案内軌条などの案内路に誘導されて走行する車両を用いた交通機関を指し、懸垂式・跨座式のモノレール、案内軌条式のAGT(新交通システム)、鋼索鉄道(ケーブルカー)、浮上式鉄道を含む。日本では鉄道事業法の許可、または、軌道法の特許を得て敷設される。トロリーバス(無軌条電車)は、架線が張られたルートを集電装置(トロリー)により集電した電気を動力として走行するバスであるが、鉄道事業法に基づく鉄道、または、軌道法上の「軌道に準ずる」軌道として扱われる。ロープウェイも鉄道事業法、または、軌道法の対象であるが、索道という扱いとなる。本項では鉄製レールの案内路を有する鉄道について解説する。英国コンピュータ学会とも。ブランド名を変更したが、正式名称は変更されていない。mail、E-mail、Eメール)は、コンピュータネットワークを使用して、郵便のように情報等を交換する手段である。電子郵便(でんしゆうびん)とも言う。逆ポーランド記法(ぎゃくポーランドきほう、)は、数式やプログラムの記法の一種。その他の記法として、演算子を被演算子の中間に記述する中置記法、前に記述する前置記法(ポーランド記法)がある。分類があり、特に演算子早出し逆ポーランド記法は「その記号の配列順を些かも崩さずに和文に移せる」という特徴がある。名称の由来は、演算子と被演算子の順序がポーランド記法の逆になっていることによる(「ポーランド記法」自体の由来についてはポーランド記法の記事を参照のこと)。»FORTRANFORTRAN(フォートラン)は、1954年にIBMのジョン・バッカスによって考案された、コンピューターにおいて広く使われた世界最初の高級言語である。同じだったからという理由もある(BASICにも、どちらも使えるようにしているものもある)。Society(IEEEコンピュータソサエティ)とはアメリカに本部を持つ電気・電子技術の学会であるIEEE内に設置されているテクニカルソサイエティのうちのひとつである。System、アイエスアイエス、あるいはアイエストゥアイエス)とはルーティングプロトコルの一種である。Macintosh(マッキントッシュ)は、アップルが開発および販売を行っているパーソナルコンピュータ。通称・略称は、Mac(マック)。小規模から大規模のネットワーク向けのリンクステート型ルーティングプロトコルである。Format(ポータブル・ドキュメント・フォーマット、略称:PDF)は、アドビシステムズが開発および提唱する、電子上の文書に関するファイルフォーマットである。Acrobatで採用された。特定の環境に左右されずに全ての環境でほぼ同様の状態で文章や画像等を閲覧できる特性を持っている。アドビシステムズはPDF仕様を1993年より無償で公開していたが、それでもPDF規格はAdobeが策定するプロプライエタリなフォーマットであった。32000-1として標準化された。JavaScriptなどはアドビのプロプライエタリな部分として残っている。LAnguage)は、オルヨハン・ダールとクリステン・ニガードによってALGOL60を拡張する形で1960年代に開発が始められたシミュレーション用途のプログラミング言語である。1965年から66年に論文に記され、1968年に発表された。ダイクストラはこのシステムを命名したことはない。略で、オランダ語でアイントホーフェン工科大学を意味する。THEシステムは基本的にマルチタスクをサポートしたバッチ処理システムである。マルチユーザーOSとしては設計されていない。似ているが、THEシステムでのプロセス群は静的だった。ハードウェアでのメモリ管理をサポートしていなかった)、プログラマは磁気ドラムメモリ上の物理的位置を気にする必要がなくなった。そのために修正を加えたALGOLコンパイラ(ダイクストラのシステムでサポートされた唯一のプログラミング言語)を使い、システムルーチン呼び出しを自動生成し、必要な情報が必要なときにスワップインされることを保証している。ノードが外れないという状態になりうる。排他制御(はいたせいぎょ)とは、コンピュータ・プログラムの実行において、複数のプロセスが利用出来る共有資源に対し、複数のプロセスからの同時アクセスにより競合が発生する場合に、あるプロセスに資源を独占的に利用させている間は、他のプロセスが利用できないようにする事で整合性を保つ処理の事をいう。exclusion)ともいう。換言すれば1つのクリティカルセクションに複数のプロセス(またはスレッド)が同時に入ることを防ぐことである。クリティカルセクションとは、プロセスが共有メモリなどの共有資源にアクセスしている期間を指す。p.49)-->段階的詳細化などを特徴とするプログラミング手法である。language)とは、コンピュータのプロセッサが直接解釈実行可能な一連の命令群のデータそのもの(を、コンピュータ・プログラミング言語とみなしたもの)である。アルゴリズムの入出力動作に関する正当性である(すなわち、各入力に対して正しく出力を生成すること)。形式的検証を参照されたい。Correctness)は単に返ってくる答えが正しいことのみを要求する(常に答えが返ってくるとは限らない)。停止問題には汎用的解法はないので、完全正当性はより深い問題をはらんでいる。完全数かどうかを調べる)。そのプログラムが完全正当性を備えているとするには数論において未知の知識を必要とする。正当性の証明は数学的証明でなければならず、アルゴリズムもその仕様記述も形式的に与えられなければならない(形式的仕様記述)。その証明は、そのアルゴリズムを特定のマシン上でプログラムとして実装したものについて正当性を意味するものではない。その場合メモリ量の限界を考慮する必要がある。証明論におけるカリー・ハワード対応は、直観主義論理における機能的正当性の証明がラムダ計算における特定プログラムに対応するとしている。extraction」と呼ぶ。problem)とは、重み付きグラフの与えられた2つのノード間を結ぶ経路の中で、重みが最小の経路を求める最適化問題である。Processing:IFIP)とは、1960年にユネスコの提案により設立された国際機関であり、日本では情報処理学会が加入している。情報処理技術の促進と開発途上国の支援を国際的に推進することを目的としている。tumor)は、遺伝子変異によって自律的で制御されない増殖を行うようになった細胞集団(腫瘍)のなかで周囲の組織に浸潤し、または転移を起こす腫瘍である。M.Cooper『クーパー細胞生物学』pp.593-595とされる。neoplasm)とも呼ばれる。「がん」という語は「悪性腫瘍」と同義として用いられることが多く、本稿もそれに倣い「悪性腫瘍」と「がん」とを明確に区別する必要が無い箇所は、同一語として用いている。操車場アルゴリズム操車場アルゴリズム(そうしゃじょうアルゴリズム)は、なんらかの中置記法に属する構文に従った順序で記号(トークン)が並んでいる、数式等の記号列を解析(構文解析)する、スタックベースのアルゴリズムである。なるし、あるいは抽象構文木を構築したり、数値と四則演算等の算術式のようなものであればその場で直接計算結果を得てしまってもよい。エドガー・ダイクストラが考案したもので、鉄道(車輛)の入れ替えとして説明したことから、操車場という名称がつけられた。データフローとして見ると、このアルゴリズムには、入力と出力の2つの記号の列(ストリーム)があり、その他に1つ、演算子を保持するスタック(LIFO)として使われる列がある(この3本の列と、それぞれに向かう流れを列車と線路にたとえたわけである)。入力から記号を順次読み出し、その記号とスタックトップの記号に応じて、入力の記号を直接出力に送るか、スタックに積むか、入力を一旦そのままホールドしてスタックトップを取り出して出力に送るか、という動作をする。操車場アルゴリズムを後に一般化したのがである。»1970年代1970年代(せんきゅうひゃくななじゅうねんだい)は、西暦(グレゴリオ暦)1970年から1979年までの10年間を指す十年紀。この項目では、国際的な視点に基づいた1970年代について記載する。協定世界時による計測では、この年は(閏年で)閏秒による秒の追加が年内に2度あり、過去最も長かった年である。»2000年400年ぶりの世紀末閏年(20世紀および2千年紀最後の年)である100で割り切れるが、400でも割り切れる年であるため、閏年のままとなる(グレゴリオ暦の規定による)。