ブラウザよりも高速アクセス！
56 関係: 原則、収斂進化、反例、契約書、実験、仮説、形式科学、例外処理、例外状態、メンデルの法則、ラッセルのパラドックス、ブルースクリーン、プログラミング (コンピュータ)、プログラミング言語、プログラム (コンピュータ)、プロセス、パラドックス、命題、アドホックな仮説、カーネル、シグナル (Unix)、セレンディピティ、ゼロ除算、サイレン、全称命題、動詞、C++、CPU、社会正義、科学における不正行為、科学哲学、算術、緊急自動車、物理学、特別、特異点、適応放散、道路交通法、規則、解釈、証明、量、自己言及のパラドックス、自然科学、自然言語、Java、Microsoft Windows、UNIX、法 (法学)、法則、...、活用、振り子、文法、日本の法令の基本形式、数学、普通。 インデックスを展開 (6 もっと) »
原則
Category:哲学の和製漢語.
収斂進化
モグラとケラは前足の外形がよく似ている。ヨーロッパモグラ ''Talpa europaea'' ケラの一種 ''G. gryllotalpa''の前脚 収斂進化（しゅうれんしんか、convergent evolution）とは、複数の異なるグループの生物が、同様の生態的地位についたときに、系統に関わらず身体的特徴が似通った姿に進化する現象。.
反例
反例(はんれい、counterexample) とは、なんらかの条件と性質について、「その条件を満たすすべてのものがその性質を持っている」という主張が正しくないことを示すために持ち出される、「その条件を満たしてはいるがその性質は持たないなにか」のことである。つまり、論理式 ∀x P(x) が成り立たないことを証明するために導入される、¬P(a) を満たすような a のことである。 反例が存在する場合、∃x ¬P(x) が成立し、これが元の論理式の否定になるため、∀x P(x) は成り立たない。.
契約書
契約書（けいやくしょ）とは、契約を締結する際に作成される当該契約の内容を表示する文書をいう。当該契約の当事者が作成したことを証するために、署名や記名押印（実務上、両者は「調印」と呼ばれる。日本国民や日本法人である当事者については記名押印が通常である。）がなされる。日本法上は、一部の例外（保証契約など）を除き、契約の成立には契約書を作成することを必要としないから、契約書を作成しなくても当事者間で口頭による合意があれば契約が成立する。もっとも、重要な契約（不動産の売買契約・賃貸借契約、金銭消費貸借契約、金額の大きな契約など）については、合意内容の明確化や紛争の防止等の理由から、契約書が作成されることが多い。.
実験
実験（じっけん、）は、構築された仮説や、既存の理論が実際に当てはまるかどうかを確認することや、既存の理論からは予測が困難な対象について、さまざまな条件の下で様々な測定を行うこと。知識を得るための手法の一つ。 実験は観察（測定も含む）と共に科学の基本的な方法のひとつである。ただ、観察が対象そのものを、その姿のままに知ろうとするのに対して、実験ではそれに何らかの操作をくわえ、それによって生じる対象に起こる変化を調べ、そこから何らかの結論を出そうとするものである。ある実験の結果が正しいかどうかを確かめることを追試という。 工学においては、規範的実験と設計的実験とに分類できる。.
仮説
仮説（かせつ、hypothesis）とは、真偽はともかくとして、何らかの現象や法則性を説明するのに役立つ命題のこと。.
形式科学
形式科学（けいしきかがく、formal science）とは形式体系に関係する科学の総称である。論理学、数学、システム理論に加え、計算機科学、情報理論、ミクロ経済学、統計学、言語学などといった分野の理論ベースの細分野（たとえば計算機科学であれば理論計算機科学）がこれに含まれる。 形式科学で扱うのは記号システムによって記述される抽象的構造であり、結果は公理や理論上のアイデアから推論（純粋な思考の過程）のみによって導き出される。これは、自然科学が現実世界を扱い、観測・観察から得られた知識をもとに結果を導き出すのと対照的である。しかし、形式科学で扱う体系は現実世界のものをモチーフしたものが多い。また、形式科学の結果は自然科学において現実世界を簡潔に理解するための構造（モデル）をつくるのに応用されることが多い。 形式科学で扱う体系は純粋に理論的なものであるので、現実世界そのものではない。しかし、時として「理論的なモデルは現実世界を完全に描写することができる」とか、理論が「現実そのものである」などと信じられてしまうことがある。.
例外処理
例外処理（れいがいしょり）とは、プログラムの上位の処理から呼び出されている下位の処理で継続不能、または継続すれば支障をきたす異常事態に陥ったとき、制御を呼び出し元の上位の処理に返し安全な状態になるよう回復処理をすること。その際に発生した異常のことを例外と呼ぶ。 継続不能や継続すると問題になる様な状態としては、次のようなものが挙げられる。.
例外状態
例外状態（れいがいじょうたい、Ausnahmezustand）は、一般に国家における非常事態を意味する。ドイツのカール・シュミットは、自らの政治思想をこの語と関連づけて説明したが、その訳語として「例外状態」という表現が用いられた（ドイツ語の「Ausnahme」が例外、「Zustand」が状態、状況を意味する語なので、より原語のニュアンスを生かそうとした訳語である）。また、近年、イタリアの哲学者ジョルジョ・アガンベンなどによって、アメリカの帝国主義と重ねて論じられている（『ホモ・サケル』）。.
メンデルの法則
メンデルの法則（メンデルのほうそく）は、遺伝学を誕生させるきっかけとなった法則であり、グレゴール・ヨハン・メンデルによって1865年に報告された。分離の法則、独立の法則、優性の法則の3つからなる。.
新しい！!: 例外とメンデルの法則 · 続きを見る »
ラッセルのパラドックス
ラッセルのパラドックス（Russell's paradox）とは、素朴集合論において矛盾を導くパラドックスである。バートランド・ラッセルからゴットロープ・フレーゲへの1902年6月16日付けの書簡における、フレーゲの『算術の基本法則』における矛盾を指摘する記述に表れる。これは1903年に出版されたフレーゲの『算術の基本法則』第II巻（Grundgesetze der Arithmetik II）の後書きに収録されている。同じパラドックスはツェルメロが1年先に発見していたが、彼はその発見を公開せず、ヒルベルトやフッサールなどのゲッティンゲン大学の同僚たちだけに知られているだけだった。 ラッセルが型理論（階型理論）を生み出した目的にはこの種のパラドックスを解消するということも含まれていた。.
新しい！!: 例外とラッセルのパラドックス · 続きを見る »
ブルースクリーン
ブルースクリーン（Blue Screen of Death, BSoD）とは、Microsoft Windowsにおいて、オペレーティングシステム (OS) に何らかの異常が発生した際に表示されるメッセージおよび、その画面全体を指す通称である。青い背景に文字が表示されることからこの名がついた。.
新しい！!: 例外とブルースクリーン · 続きを見る »
プログラミング (コンピュータ)
ンピュータのプログラミング（programming）とは、コンピュータプログラムを作成することにより、人間の意図した処理を行うようにコンピュータに指示を与える行為である。.
新しい！!: 例外とプログラミング (コンピュータ) · 続きを見る »
プログラミング言語
プログラミング言語（プログラミングげんご、programming language）とは、コンピュータプログラムを記述するための形式言語である。なお、コンピュータ以外にもプログラマブルなものがあることを考慮するならば、この記事で扱っている内容については、「コンピュータプログラミング言語」（computer programming language）に限定されている。.
新しい！!: 例外とプログラミング言語 · 続きを見る »
プログラム (コンピュータ)
ンピュータプログラム（英：computer programs）とは、コンピュータに対する命令（処理）を記述したものである。コンピュータが機能を実現するためには、CPUで実行するプログラムの命令が必要である。 コンピュータが、高度な処理を人間の手によらず遂行できているように見える場合でも、コンピュータは設計者の意図であるプログラムに従い、忠実に処理を行っている。実際には、外部からの割り込み、ノイズなどにより、設計者の意図しない動作をすることがある。また設計者が、外部からの割り込みの種類を網羅的に確認していない場合もある。.
新しい！!: 例外とプログラム (コンピュータ) · 続きを見る »
プロセス
プロセスとは、情報処理においてプログラムの動作中のインスタンスを意味し、プログラムのコードおよび全ての変数やその他の状態を含む。オペレーティングシステム (OS) によっては、プロセスが複数のスレッドで構成される場合があり、命令を同時並行して実行する。.
パラドックス
パラドックス（）とは、正しそうに見える前提と、妥当に見える推論から、受け入れがたい結論が得られる事を指す言葉である。逆説、背理、逆理とも言われる。.
命題
命題（めいだい、proposition）とは、論理学において判断を言語で表したもので、真または偽という性質をもつもの。また数学で、真偽の判断の対象となる文章または式。定理または問題のこと。西周による訳語の一つ。 厳密な意味での命題の存在は、「意味」の存在と同様に、疑問を投げかける哲学者もいる。また、「意味」の概念が許容される場合にあっても、その本質は何であるかということにはなお議論のあるところである。古い文献では、語の集まりあるいはその語の集まりの表す「意味」という意味で命題という術語を用いているかどうかということが、つねに十分に明らかにされているわけではなかった。 現在では、論争や存在論的な含みを持つことを避けるため、ある解釈の下で（真か偽のいずれであるかという）真理の担い手となる記号列自体について述べる時は、「命題」という代わりに「文 (sentence)」という術語を用いる。ストローソンは「言明 ("statement")」 という術語を用いることを提唱した。.
アドホックな仮説
アドホックな仮説（アドホックなかせつ、Ad hoc hypothesis）とは、ある理論が反証されたときに、その反証を否定するためにその理論に後から付け加えられる補助仮説のことである。.
新しい！!: 例外とアドホックな仮説 · 続きを見る »
カーネル
ーネルはアプリケーションソフトウェアとコンピュータのハードウェアを結び付ける。 カーネル（kernel）は、階層型に設計されたオペレーティングシステム (OS) の中核となる部分である。アプリケーションとハードウェアレベルでの実際のデータ処理との間の架け橋である。システムのリソースを管理し、ハードウェアとソフトウェアコンポーネントのやりとりを管理する。 オペレーティングシステムの基本コンポーネントとして、カーネルはメモリ、CPU、入出力を中心としたハードウェアを抽象化し、ハードウェアとソフトウェアがやり取りできるようにする。また、ユーザープログラムのための機能として、プロセスの抽象化、プロセス間通信、システムコールなどを提供する。 これらのタスクはカーネルによって方式が異なり、設計も実装も異なる。モノリシックカーネルは全てを一つの仮想アドレス空間に格納されたコードで実行して性能を向上させようとする。マイクロカーネルはサービスの大部分をユーザー空間で実行し、コードの保守性とモジュール性を向上させようとする, by K.J.。多くのカーネルはこの二つのカテゴリのいずれか、あるいは中間である。.
シグナル (Unix)
ナル（signal）とは、Unix系（POSIX標準に類似の）OSにおける、限定的なプロセス間通信の形式を使って、プロセスに対し、非同期で、イベントの発生を伝える機構である。シグナルが送信された際、OSは宛先プロセスの正常な処理の流れに割り込む。どんな不可分でない処理の間でも割り込むことができる。受信プロセスが以前にシグナルハンドラを登録しておけば、シグナル受信時にそのルーチンが実行される。さもなくば、デフォルトのシグナル処理が行われる。（同様なものは他のTSSなどでも開発されてはいるが、UNIXのシグナルは）1970年ごろベル研究所でUNIXに実装された。後にPOSIXである程度は標準化されているが、標準化が諦められているような振舞などもいくつかあり、特に他の幾つかの要素（fork等）とマルチスレッドとシグナルが絡むと実装毎の対処にプログラミングが大変になることがある。.
新しい！!: 例外とシグナル (Unix) · 続きを見る »
セレンディピティ
レンディピティ（serendipity）とは、素敵な偶然に出会ったり、予想外のものを発見すること。また、何かを探しているときに、探しているものとは別の価値があるものを偶然見つけること。平たく言うと、ふとした偶然をきっかけに、幸運をつかみ取ることである。.
新しい！!: 例外とセレンディピティ · 続きを見る »
ゼロ除算
算（ゼロじょざん、division by zero）は、0で除す割り算のことである。このような除算は除される数を a とするならば、形式上は と書くことができるが、数学において、この式と何らかの意味のある値とが結び付けられるかどうかは、数学的な設定にまったく依存している話である。少なくとも通常の実数の体系とその算術においては、意味のある式ではない。 コンピュータなど計算機においても、ゼロ除算に対するふるまいは様々である。たとえば浮動小数点数の扱いに関する標準であるIEEE 754では、数とは異なる無限大を表現するものが結果となる。 しかし、浮動小数点以外の数値型（整数型など）においては多くの場合無限大に相当する値は定義されておらず、またいくつかの除算アルゴリズムの単純な実装（取尽し法など）においては無限ループに陥りかねないなど演算処理の中でも特異なふるまいとなるため、演算前にゼロ除算例外を発生させることで計算そのものを行わせないか、便宜上型が表現できる最大の数値、あるいはゼロを返すなどの特殊な処理とされる場合が多い（後述） 計算尺では、対数尺には0に相当する位置が存在しない（無限の彼方である）ため計算不可能である。.
サイレン
米国ミネソタ州） サイレン (siren) は大きい音を発する装置の名称である。警笛、号笛、警報等と訳される。名称はギリシャ神話に登場する、航行中の船の乗組員を美声で誘惑、難破させる半人半鳥の精、セイレーンが語源であるとされる。.
全称命題
全称命題（ぜんしょうめいだい、英：universal proposition）とは、一つの集合を構成する全ての項について、ある性質を肯定する命題である。 例えば、「全ての犬はいずれ死ぬ」という命題と「全ての牛は空を飛ぶ」という命題はどちらも全称命題であり、前者は真であり後者は偽である。全称命題は、存在命題の否定と論理的に等値である。それゆえ、「全ての牛は空を飛ぶ」という命題を主張することは、「少なくとも一頭は空を飛べない牛がいる」という命題を否定することと等値である。 ただし、ヒューム的な因果に関する懐疑論の線に従えば、真となる全称命題は唯一、アプリオリに存在し定義から導き出される種類の命題（「全ての犬は哺乳類である」など）に限られる。アポステリオリに、すなわち世界についての経験から導き出される命題（「全ての犬は4本足をもって生まれてくる」など）は決して真として確証されることはなく、差し当たり真とされている（反証可能である）、というものである。.
動詞
動詞（どうし、英: verb）とは、品詞の一つで、主に動作や状態を表し、項として主語や目的語などの名詞句をとる語である。時制がある言語では、一般に動詞が時制を示す。.
C++
C++（シープラスプラス）は、汎用プログラミング言語の一つである。日本語では略してシープラプラ、シープラなどとも呼ばれる。.
CPU
Intel Core 2 Duo E6600) CPU（シーピーユー、Central Processing Unit）、中央処理装置（ちゅうおうしょりそうち）は、コンピュータにおける中心的な処理装置（プロセッサ）。 「CPU」と「プロセッサ」と「マイクロプロセッサ」という語は、ほぼ同義語として使われる場合も多いが、厳密には以下に述べるように若干の範囲の違いがある。大規模集積回路（LSI）の発達により1個ないしごく少数のチップに全機能が集積されたマイクロプロセッサが誕生する以前は、多数の（小規模）集積回路（さらにそれ以前はディスクリート）から成る巨大な電子回路がプロセッサであり、CPUであった。大型汎用機を指す「メインフレーム」という語は、もともとは多数の架（フレーム）から成る大型汎用機システムにおいてCPUの収まる主要部（メイン）、という所から来ている。また、パーソナルコンピュータ全体をシステムとして見た時、例えば電源部が制御用に内蔵するワンチップマイコン（マイクロコントローラ）は、システム全体として見た場合には「CPU」ではない。.
社会正義
会正義（しゃかいせいぎ、social justice）とは、正義を社会において応用した概念である。社会的公正とも呼ばれる。 騎士道にも登場するなど古くからある発想であるが、近代になって具体的な概念として明確化した。18世紀末の『ザ・フェデラリスト』やエドワード・ギボンの『ローマ帝国衰亡史』に、その表れを見ることが出来る。19世紀末、ローマ教皇レオ13世がカトリック教会に人道の精神から社会問題への取り組みを指示した回勅『レールム・ノヴァールム』を発表し、労働者の権利を擁護して搾取や資本主義の行き過ぎに警告を行うと同時に、一方で社会主義を批判して階級間の労使協調を説いた（コーポラティズムも参照）。 また、社会的に公正な世界を目指す運動の概念としても使用される。具体的には、人権や平等主義（公平）、累進課税などを通した収入や財産の富の再分配などが挙げられる。正義の観点から、汚職や金権政治をも強く非難する。最近では、自由主義の思想家であるジョン・ロールズ（『正義論』の著者）によって概念が大きく拡張され、グローバルグリーンズを構成する各国・各地域の緑の党や、その基盤たるみどりの政治の概念にも多大な影響を与えた。国際労働機関は『普遍的にして恒久的な平和』に不可欠な基本理念として『社会正義』を掲げており、 ウィーン宣言及び行動計画の第2部に於いても『社会正義』は人権教育の目標の一つに掲げられている。 資本主義に批判的な視点を含むなど福祉や社会保障を裏付ける思想の一つで、社会主義や社会民主主義の基礎にある発想と重なる部分もあるが、社会主義と異なり、必ずしも大きな政府（福祉国家）を肯定するものでもなく、より幅の広い概念である。社会自由主義に与えた影響も有るが自由主義に限られるものでもない。上で挙げられた例や宗教左派など、社会問題への宗教からのアプローチも含まれる。保守主義、特に道徳を重視する社会保守主義にも通じる点が有る。一例としては、ラジオの活用で知られる反ユダヤ主義や反共主義の右派カトリック説教師であるチャールズ・カフリンも、社会正義を前面に掲げた。このように、単純に左派や右派の軸で捉えられるものでなく、その曖昧さからアルゼンチンのペロン党などのポピュリズム政権が称する例もある。 日本では、弁護士法第1条に「弁護士は、基本的人権を擁護し、社会正義を実現することを使命とする。」とあり、法曹界において重要な用語となっている。 インドネシアは、国是であるパンチャシラ5原則の一つに「社会正義」（社会的公正）を掲げている。 国際連合総会は2007年の決議で、毎年2月20日を国際デーの「」に制定し、貧困削減や、男女同権、国際労働機関の定める労働者の権利といった社会正義の尊重の向上を確認した。この国際デーは2009年から実施されている。.
科学における不正行為
科学における不正行為（かがくにおけるふせいこうい、scientific misconduct）とは、科学の学問としての規範や、研究を行う際に守るべき研究倫理基準に対し、違反する行為のことである規範とは「行動や判断の基準となる模範。手本」のこと（出典：大辞泉）。.
新しい！!: 例外と科学における不正行為 · 続きを見る »
科学哲学
科学哲学（かがくてつがく、philosophy of science）とは、科学を対象とする哲学的な考察のことである『岩波 哲学・思想事典』【科学哲学】野家啓一 執筆『世界大百科事典』【科学哲学】坂本百大 執筆。.
算術
算術 (さんじゅつ、arithmetic) は、数の概念や数の演算を扱い、その性質や計算規則、あるいは計算法などの論理的手続きを明らかにしようとする学問分野である。.
緊急自動車
緊急自動車（きんきゅうじどうしゃ）とは、人命救助や火災対応など、何らかの理由で急を要する業務に利用される自動車をいう。緊急車両とも呼ばれている。法令に基づく、急を要する業務の目的の特別な走行を緊急走行という。本稿では日本の道路交通法における「緊急自動車」について述べる。 東京ガスの緊急作業車。赤色回転灯を点灯して停車している。 日本赤十字社愛媛県支部の血液運搬車.
物理学
物理学（ぶつりがく, ）は、自然科学の一分野である。自然界に見られる現象には、人間の恣意的な解釈に依らない普遍的な法則があると考え、自然界の現象とその性質を、物質とその間に働く相互作用によって理解すること（力学的理解）、および物質をより基本的な要素に還元して理解すること（原子論的理解）を目的とする。化学、生物学、地学などほかの自然科学に比べ数学との親和性が非常に強い。 古代ギリシアの自然学 にその源があり, という言葉も、元々は自然についての一般的な知識の追求を意味しており、天体現象から生物現象までを含む幅広い概念だった。現在の物理現象のみを追求する として自然哲学から独立した意味を持つようになったのは19世紀からである。 物理学の古典的な研究分野は、物体の運動、光と色彩、音響、電気と磁気、熱、波動、天体の諸現象（物理現象）である。.
特別
特別（とくべつ）とは、広く通用する状態とは異なる状態、即ち例外となる状態のこと。類義語は、「特殊」「特異」「奇異」「殊(こと)」「異(こと)」「特(こと)」など。対義語は、「普通」「一般」「平常」「通常」「庸常」。.
特異点
特異点（とくいてん、singularity）とは、ある基準 の下、その基準が適用できない (singular) 点である。したがって、特異点は基準があって初めて認識され、「—に於ける特異点」「—に関する特異点」という呼ばれ方をする。特異点という言葉は、数学と物理学の両方で用いられる。.
適応放散
適応放散（てきおうほうさん、adaptive radiation）は、生物の進化に見られる現象のひとつで、単一の祖先から多様な形質の子孫が出現することを指す。.
道路交通法
道路交通法（どうろこうつうほう、昭和35年6月25日法律第105号）は、道路における危険を防止し、その他交通の安全と円滑を図り、及び道路の交通に起因する障害の防止に資することを目的とする（1条）、日本の法律である。略称は「道交法」。 車両等を運転して本法に違反すると「懲役・禁錮・罰金などの刑事処分」「累積点数で免許証の効力が停止または取り消される行政処分」「被害者の損害を賠償する民事処分」が課される。.
規則
規則（きそく、ルールとも言う）とは、人の従うべき準則であり、主に文章によって規定されたものをいう。なお、規則に定められたものを原則（げんそく）、または本則（ほんそく）とも呼ばれ、規則に規定されていない事項については例外（れいがい）と称される。 個別の名称にはさまざまなものがあり、規則のほかに規制、規程、規定、規約、基準、規準などがある。 また、ある物事と別の物事との間に一定の関係が見られるとき、その関係を規則あるいは法則という。.
解釈
解釈（かいしゃく、ἑρμηνεία (hermeneia)、interpretatio、Auslegung、Interpretation）は、主として以下のような意味で用いられる。.
証明
証明（しょうめい）とは、ある事柄が真理もしくは事実であることを明らかにすること。また、その内容。.
量
この記事では量（りょう、）について解説する。.
自己言及のパラドックス
哲学および論理学における自己言及のパラドックス（じこげんきゅうのパラドックス）または嘘つきのパラドックスとは、「この文は偽である」という構造の文を指し、自己を含めて言及しようとすると発生するパラドックスのことである。この文に古典的な二値の真理値をあてはめようとすると矛盾が生じる（パラドックス参照）。 「この文は偽である」が真なら、それは偽だということになり、偽ならばその内容は真ということになり……というように無限に連鎖する。同様に「この文は偽である」が偽なら、それは真ということになり、真ならば内容から偽ということになり……と、この場合も無限に連鎖する。.
新しい！!: 例外と自己言及のパラドックス · 続きを見る »
自然科学
自然科学（しぜんかがく、英語：natural science）とは、.
自然言語
自然言語（しぜんげんご、natural language）とは、人間によって日常の意思疎通のために用いられる、文化的背景を持って自然に発展してきた言語である。分類として、音声言語と文字言語、口頭言語と書記言語、口語と文語といったような分類があるが、いずれも似ているようだが着目点や対比軸が異なる分類であり、混同してはならない。また、以上のような分類がいずれも当たらない言語もあり、例えば日本手話（「日本語対応手話」とは異なる）がそうである。.
Java
Java（ジャバ）は、狭義ではプログラミング言語Javaを指す。広義では言語仕様以外にも、仕様が与えられているJavaクラスライブラリやJava仮想マシン、さらにはJDKやJREなどの公式のものをはじめとする、場合によってはサードパーティのものなどを含め曖昧にJavaプラットフォームと総称されるようなものなどのエコシステムなどを指すこともある。構文についてはJavaの文法の記事を参照。.
Microsoft Windows
Microsoft Windows（マイクロソフト ウィンドウズ）は、マイクロソフトが開発・販売するオペレーティングシステム (OS) の製品群。グラフィカルユーザインタフェース (GUI)を採用している。.
新しい！!: 例外とMicrosoft Windows · 続きを見る »
UNIX
UNIX （ユニックス、Unix、）は、コンピュータ用のマルチタスク・マルチユーザーのオペレーティングシステムの一種である。公式な商標は「UNIX」だが、商標以外の意味として「Unix」、またはスモールキャピタルを使用して「Unix」などとも書かれる。Unixは1969年、AT&Tのベル研究所にて、ケン・トンプソン、デニス・リッチーらが開発を開始した。 当初はアセンブリ言語のみで開発されたが、1973年にほぼ全体をC言語で書き直した。このため、Unixは歴史上、初めて高水準言語で書かれたOSであると言われる。 1973年の段階ではPDP-11に依存したコードが多く、移植性は低かったが、その後徐々にPDP-11に依存したコードを減少させ、1978年にInterdata 8/32への移植に成功して以降、徐々に他のプラットフォームにも移植されていった。 現在では「Unix」という語は、Unix標準に準拠するあらゆるオペレーティングシステムの総称でもある。現在ではUnixシステムは多数の系統に分かれており、AT&Tの開発停止後も、多数の商用ベンダーや非営利組織などによって開発が続けられている。 1970年代から1980年代の初期にかけて、Unixは大学や研究所などの教育機関で広範囲に採用され、特にカリフォルニア大学バークレー校をオリジナルとするBSD系統が誕生した。また Version 7 Unix や UNIX System V の特徴を持つオペレーティングシステムは「伝統的なUNIX」(traditional Unix)とも呼ばれる。 2007年に、「UNIX」の商標の所有者である標準化団体のThe Open Groupは、Single UNIX Specificationを完全に満たすと認証を受けたシステムのみが「UNIX」の商標を得られるとした。このためそれ以外のシステムは（ずっと以前から、AT&T版およびBSD以外を指して使われていた用語だが）「Unixシステムライク」または「Unixライク（Unix系）」と呼ばれるようになった。ただし The Open Groupはその呼称を気に入っていない。 現在では多く使われているUnixとしてはmacOS、AIX、HP-UX、Solarisなどがある（いずれも商用）。また認証を受けていないUnix系としてはLinux（派生OSにAndroid他）やMINIX、BSDの派生OS（FreeBSD、NetBSD、OpenBSD、DragonFly BSDなど）がある。.
法 (法学)
法（ほう、law）とは、道徳などと区別される社会規範の一種である。一般的にイメージされる法の属性としては、一定の行為を命令・禁止・授権すること、違反したときに強制的な制裁（刑罰、損害賠償など）が課せられること、裁判で適用される規範として機能することなどがあげられる。 もっとも、どのような点をもって他の社会規範と区別されるのか、何をして法を法たらしめるのかについては、これまで種々な見解が唱えられてきた。また、法学の各分野ごとに考察の着眼点が異なることもあり、ある分野で妥当する法の定義や内容が別の分野では必ずしも妥当しないこともある。 このような点から、以下の記述では法の定義や内容についての結論を論ずることを避け、伝統的に問題とされた主要な点について概観する。.
法則
法則（ほうそく）とは、ある現象とある現象の関係を指す言葉である。 自然現象についてだけでなく、法規上の規則を法則と呼ぶこともある。また文法上の規則（例えば係り結びの法則など）も法則とされる。 法則を大別し、自然現象に焦点が当てられているものが「自然法則」、人間の行動についての規範・規則は「道徳法則」、と分けられることもある。.
活用
活用（かつよう、Conjugatio, conjugation）は、言語学一般においては、ある言語において述語に立つ品詞（典型的には動詞）に属する語の語形変化のこと。特に国語学においては、日本語の用言（動詞、形容詞、形容動詞）と助動詞がもつ語形変化の体系のこと。この「活用」という用語は江戸時代の国学で本居宣長が用いて以来のものである。活用する語を活用語といい、活用語が活用した語形の1つ1つをその語の活用形（conjugated form）という。.
振り子
振り子（ふりこ、pendulum）とは、空間固定点（支点）から吊るされ、重力の作用により、揺れを繰り返す物体である。支点での摩擦や空気抵抗の無い理想の環境では永久に揺れ続ける。時計や地震計などに用いられる。 振り子についての最初の研究記録はアリストテレス、ギリシャ人の哲学者による。さらに 17世紀、ガリレオにはじまる物理学者らよる観測の結果、等時性が発見され時計に使用されるようになった。 同じように等時性を示す装置として、ばね振り子やねじれ振り子などがある。.
文法
文法（ぶんぽう、grammar）とは、言語の体系、およびそのモデル、およびそれをもとにした、ある個別言語の話し手が従うべき規範である。この記事ではもっぱら自然言語の文法について扱う。形式言語の文法については形式文法の記事を参照のこと。なお、「文法論（grammar）」という語が指すものと「統語論（syntax、分野等によっては構文論とも）」という語が指すものが同一のものであるとして扱われている場合もあるが、ここでは別とする。.
日本の法令の基本形式
法令の基本形式（ほうれいのきほんけいしき）では、日本における法令の基本的な形式ないし構造について解説する。なお、この基本形式は法令に限らず、例えば公文書、民間の各種団体が定めた規則、規定（JRの旅客営業規則など）や契約書などにおいても一部同様の体裁が採られることがある。.
新しい！!: 例外と日本の法令の基本形式 · 続きを見る »
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
普通
普通（ふつう）とは、広く通用する状態のこと。普通の『普』は、「あまねく」「広く」を意味する字である。 対義語として、「特別」「特殊」「特異」「奇異」。類義語として、「一般」「通常」「平常」「平凡」「平庸」「凡庸」「平(ひら、なみ、つね)」「常(なみ、つね)」「庸(なみ、つね)」「並(なみ)」など。.
