hotchpotch/miracl-hf-unified huggingface dataset:
よしづきくみち
よしづき くみち（1974年1月26日 - ）は、日本の男性漫画家、イラストレーター。東京都出身、埼玉県在住。血液型はO型。左利き。
2002年1月に『月刊コミックドラゴン』（富士見書房）掲載の『Living Quarter』でデビュー。同年5月、同誌にて連載開始した『魔法遣いに大切なこと - Someday's dreamers』（原作：山田典枝）で連載デビューし、代表作となった。2019年より『月刊アフタヌーン』（講談社）誌上において『ああっ女神さまっ』のスピンオフ『ああっ就活の女神さまっ』（原作：青木U平）を連載中。
姓名の区切りを「よしづ / きくみち」と誤解されることがあるが、「よしづき / くみち」と区切るのが正しい。なお、漢字表記は「吉附久道」である。
1974年に東京都で生まれる。小学生のころに姉の影響で漫画を読み始め、漫画の絵を真似して描くうちに漫然と漫画家を志すようになった。中学校時代はイラスト部に所属し、作品展に出品したイラストを褒められた経験から改めて「絵の仕事で食べていこう」と考えたという。
高校卒業後、専門学校へ進むも「自分で勉強して投稿した方が早いな」と考えて中退。『週刊ビッグコミックスピリッツ』（小学館）に2回投稿したが実らず、当時好きでよく読んでいた『月刊アフタヌーン』（講談社）に投稿し、1993年にアフタヌーン四季賞佳作を受賞した。デビューに向けて短編のネームを担当編集者に見せる日々を送っていたところ、漫画家・藤島康介にアシスタントを依頼され、『ああっ女神さまっ』の作画アシスタントとなった。
アシスタントを始めてしばらくしたころ、藤島の職場にパソコンとペンタブレットが導入され、初めて使ったペイントソフトに「これ使えばもう描けない絵なんてないじゃん」と思うほどの強い衝撃を受ける。やがて自分でも購入し、2000年に自身のホームページ「つちのこ準星群」を開設。翌2001年、ホームページで公開していたイラストが富士見書房の編集者の目に留まり、「原作つきの作品をやってみないか」と誘いを受けた。その誘いを一旦保留とさせてもらった上で、同社刊行の『月刊コミックドラゴン』2002年2月号にて『Living Quarter』を発表。新人賞受賞から約8年越しのデビューを果たした。
『Living Quarter』を描く中で「話の構成がいちばんむずかしい」と力不足を感じ、「原作つきで修行させてもらえるのはやっぱりありがたいな」と考えて当初の誘いを引き受ける。こうして2002年5月、藤島のアシスタントを辞めて同誌にて『魔法遣いに大切なこと - Someday's dreamers』（原作：山田典枝）の連載を開始し、連載デビューした。同作はアニメ化や小説化もされるヒット作となってシリーズ化。翌2003年に連載開始したシリーズ第2作『魔法遣いに大切なこと 太陽と風の坂道』（同原作）でもよしづきが作画を担当した。
2006年の『太陽と風の坂道』連載終了後、2008年のシリーズ第3作『魔法遣いに大切なこと〜夏のソラ〜』（同原案）ではストーリーからよしづきが担当。また同年には『夏のソラ』の連載と並行し、同名実写映画を原作とした『フレフレ少女』（原作：橋本裕志・渡辺謙作）も『スーパージャンプ』（集英社）にて連載した。
2009年、『オースーパージャンプ』（集英社）に不定期連載として発表していた『君と僕のアシアト〜タイムトラベル春日研究所〜』が毎号連載化し、初のオリジナル連載作品となる。2度の連載誌移籍を経て2012年に連載終了した後は、集英社の青年誌と講談社の少年誌を行き来しながら作品を発表。2017年から2018年にかけては『8畳カーニバル』を『週刊少年マガジン』（講談社）にて連載し、オリジナル作品では初の週刊連載作品となった。
その後、『8畳カーニバル』を読んだ講談社の編集者に声をかけられ、2019年に『月刊アフタヌーン』（講談社）にてスピンオフ作品『ああっ就活の女神さまっ』を連載開始。四季賞佳作を受賞して以来初めて『月刊アフタヌーン』（講談社）での連載を果たすとともに、かつて作画アシスタントを務めた『ああっ女神さまっ』に再び携わることとなった。出版社による宣伝文句などに用いられることのある「抒情派絵師」との形容は、よしづきの作風を漫画家・イラストレーターという両側面について端的に表している。特に透明感溢れる作画には定評があり、デジタル作画ながらアナログらしさを意識した絵作りが特徴。
『月刊ニュータイプ』2003年3月号では、「藤島康介先生のアシスタントがいちばん勉強になりました」「カメラから学んだことってものすごくいっぱいある」といった本人の談を紹介し、「アシスタント経験プラス趣味の幅広さが現在の作風に大きく影響したようだ」と分析している。
よしづきのイラストは、「柔らかいディテールで描かれる女の子」と「緻密な背景の描写」という2つの要素から特徴づけられる。
よしづきの描く少女は、「息吹を感じさせるやわらかな少女イラスト」（『パレッタ』2002年秋号）、「キャラクターのやわらかな表情」（『ニュータイプ』2003年3月号）など、「やわらかな」という形容詞を伴って称賛されることが多い。また、『マギの贈り物』巻末解説を著した脚本家・漫画原作者の横幕智裕は、「よしづき先生の描く女の子は、明るい表情、切ない表情、泣き顔、さまざまな表情が実に魅力的」と評している。
一方で背景の描写も評価が高く、光と大気を意識した奥行きのある風景描写を『コミックス・ドロウイング』4号では「淡い世界に広がる空気感」と表現している。なお、背景の多くは資料を多用せず、自身で撮った写真や覚えているイメージを中心に描き下ろすという。
趣味はバイク、写真、天体、キャンプなど広範囲に渡るほか、交友のあるCLAMP・猫井椿から「猫ばか」と呼ばれたことがあるほどの愛猫家でもある。
特にバイクは趣味として最初に挙げられることが多い。愛機の車種はCBR600RR。16歳の時にNSR250Rを購入して以来、バイクを所有していなかった時期はないといい、「アクセルを開けばすぐにあのころの青春モードに心を乗せることができる」と語っている。
また、写真はアシスタント時代に先輩の勧めでカメラを始めて以来の趣味であり、その体験は自身の描くイラストにも活かされているという。「カメラを知って以降は、光や陰影の捉え方についてが大きく変わりました」と語り、レンズを意識した構図や光彩の表現など多くのことを学んだと述べている。
主要参考文献のみを記載。この他の参考文献については脚注方式で#出典に記載している。
記号学
記号学（きごうがく、英: semiology）あるいは 記号論（きごうろん、英: semiotics）は、言語を始めとして、何らかの事象を別の事象で代替して表現する手段について研究する学問である。記号学でいう「記号」は "semiosis"（）で、専門用語などで「記号」と訳されることが多いいわゆるシンボルなどより広い。
ソシュールは記号学（"semiology"）と呼び、パースは記号論（"semiotics"）と呼んだ。それぞれの流れにあるものを区別したい場合など、使い分ける場合も多いが、総論的な文脈では（たとえば、この記事において記事名を「記号学」としているように）どちらかに片寄せする場合も多い。なお、ソシュールが言語学者でもあったため、言語学とのつながりが強調されている場合が多く見受けられるが、現在の言語学はチョムスキー以降のいわゆる現代的な言語学に依る所が大きく、記号学ないし記号論の議論には違和感がある場合も多い。
記号学や記号論が記号に関する学問というのは間違いではないが、特にソシュールの記号学においては記号とその記号の体系、そしてその解釈、生成を行う主体に関する学問であり、その解釈におけるイデオロギーやシステムを問題にする批評理論とも結びつきが強い。
それに対してパースのほうは、記号は物理的指示作用と図像的表示能力をもつとし、さらにこの二つの作用の総合として象徴作用という第三の意味作用が生じると考える。パースは記号のこのような三つの意味の差異を＜インデックス＞＜アイコン＞＜シンボル＞と呼び分ける。記号とは常に低次の意味作用から高次のものへと発展する、記号は時間の中にある、と考える。
現代の記号論学者としてウンベルト・エーコなどが挙げられる。
統計力学
統計力学（とうけいりきがく、）は、系の微視的な物理法則を基に、巨視的な性質を導き出すための学問である。統計物理学 (statistical physics)、統計熱力学 (statistical thermodynamics) とも呼ぶ。歴史的には系の熱力学的な性質を気体分子運動論の立場から演繹することを目的としてルートヴィッヒ・ボルツマン、ジェームズ・クラーク・マクスウェル、ウィラード・ギブズらによって始められた。理想気体の温度と気圧ばかりでなく、実在気体についても扱う。
平衡状態の統計力学は、等重率の原理とボルツマンの原理から導かれる。
ある巨視的(マクロ)な状態について考えたとき、それに対応する微視的(ミクロ)な状態は数多く存在すると考えられ、それらを全て集めたものを統計集団(アンサンブル)と呼ぶ。対応する全ての微視的状態を１つ１つ考えることは不可能であるため、実際の計算ではそれぞれの微視的状態は確率的に出現するものと考える。このように確率モデルで考えれば、系がある微視的状態をとるときの微視的な物理量は確率変数として与えられ、対応する熱力学的な状態量はその期待値(平均値)として再現されるものと考える。
系が微視的状態をとる確率分布は等重率の原理に基づいて決められるが、系を熱力学的に特徴付けるパラメータ（系のエネルギーや温度、化学ポテンシャルなどの状態変数）によって幾つかのアンサンブルがある。
アンサンブルは、系に応じて
などがある。
ボルツマンの原理により微視的な確率分布が熱力学的なエントロピーと関係付けられる。
また、確率の規格化定数として現れる分配関数は確率分布の情報をもっており、完全な熱力学関数と関連付けられる。
孤立系の確率集団は で指定される微視的状態が等しい確率をもつミクロカノニカル集団である。これを"等重率の原理"という。
孤立系（エネルギー 、体積 、粒子数 ）のエントロピー を系の微視的状態の数 を用いて定義する。
これをボルツマンの公式という。 はボルツマン定数と呼ばれる。 はエネルギーが の区間に含まれる微視的状態の数であり、 は巨視的に識別不可能である微視的なエネルギー差である。つまり は巨視的にエネルギー を持つと見なせる状態の数である。それは等重率の原理により、
で与えられる。ここで、 はエネルギー における状態密度と呼ばれる量である。このエントロピーを熱力学におけるエントロピーとオーダーで一致させるには、微視的状態を量子力学によって記述する必要がある。その場合の統計力学を量子統計力学といい、古典統計力学は量子統計力学の古典的極限として構築される。
エネルギー の孤立系の物理量 の集団平均 は
で与えられる。
充分多数の 個の粒子から成る古典的な系での任意の物理量 の時間平均値 は
と与えられる。 は系の微視的状態を指定する正準変数である。系が熱力学的平衡状態に達するならばこの値は収束する。このとき長時間平均 は熱力学に現れる巨視的な物理量 に一致しなければならない。系の微視的状態の（任意の）分布 はリウヴィルの定理により時間に関して不変である。
このことから、時間 に依存しない平衡状態において、 で指定される微視的状態がある確率 を持つ確率集団（アンサンブル）を考えると物理量 の集団平均 は
で与えられる。この集団平均 と時間平均 が等しいと仮定することを統計力学の原理とする仮説をエルゴード仮説と呼ぶ。ただし、エルゴード仮説は統計力学の基礎付けと無関係という主張も専門家によってなされている。
非平衡系では、熱平衡からのずれを1次の微小量(摂動)とみなしてよい線形非平衡系と、みなせない非線形非平衡系に分類できる．
場の量子論を用いた統計力学は、松原武生による温度グリーン関数の導入により始まった。
チョムスキー
チョムスキー（Chomsky）
ソシュール
ソシュール、ド・ソシュール () は16世紀のアントワーヌ・ド・ソシュール (, 1514–1569) に始まるスイスなどに見られる姓のひとつ。
その祖先のソシュール () 家は現在フランス、ロレーヌ地方ヴォージュ県に属す小村ソシュール () に出自を持ちその地の領主であった。 アントワーヌは宗教改革派に与し弾圧に巻き込まれたことから1551年よりソシュール村を離れ数か所を転々とした後、1556年スイスのローザンヌへと移住し、名の綴りも de Saussure と簡素化した。 その後18世紀よりソシュール家は多くの著名な学者を輩出した。
消滅した政権一覧
消滅した政権一覧では、人類の歴史上、かつて存在した国家もしくは政権を一覧する。現存する国家は、国の一覧を参照。#チベット、#モンゴル高原、#東トルキスタンはそれぞれ東アジア内の項を参照。この間はイラン・シリア・アナトリア等隣接地域を参照。
架空の惑星一覧
架空の惑星一覧（かくうのわくせいいちらん）では、フィクション作品に登場する架空の惑星を列挙する。学問上の仮説として存在すると考えられたことがある天体については、「仮説上の天体」を参照のこと。
以下の作品には多数の架空天体が存在するため、詳細は各一覧を参照。
本記事においては、実在する惑星の特殊な呼称についても記述する。
SF作品でよく使われる名称。本来は地球（アース）の意味であるが、太陽系外惑星や反地球・異次元の地球などの名称としても使われることが多い。
その他特定の作品で使われる名称は下記の通り。現在のところ太陽系には8つの惑星と多数の小天体が発見されているが、フィクションにはそれ以外の天体が登場することもある。この種の架空の天体は、かつて提唱された学問的な仮説をモデルとしている場合が多い。仮説についての詳細は「仮説上の天体」を参照のこと。
かつて水星軌道の近日点移動を説明するために、水星の内側に惑星が存在するという仮説が立てられたことがあった。この仮説上の惑星はバルカンと呼ばれたため、のちに多くのフィクションにバルカンという名前の水星の内側を公転する惑星が登場する。
太陽を挟んで地球から180度離れた場所に存在し、地球から観測できないとされる天体を「反地球」という。その発想は古く、古代ギリシャのピタゴラス学派によって提唱された。現在ではその存在は否定されているが、架空の天体のモチーフとしてはポピュラーなものの一つである。
火星と木星の間には小惑星帯が存在している。小惑星帯の起原を説明する仮説のひとつとして、かつて火星と木星の間を回っていた惑星が破壊された残骸が小惑星帯になったというものがある。フィクションにおいても、この説を元にした惑星がしばしば登場する。大半は、過去に存在し、ある時点で破壊された惑星として描かれる。なお、現在では小惑星全てを集めても惑星クラスの質量にならないことが判明している。ここでは、海王星の外側の惑星を挙げる。
現在では冥王星より大きいエリスをはじめ、クワオアー、イクシオン、ヴァルナ、セドナなどといった従来の小惑星よりはるかに大きな太陽系外縁天体（おもにエッジワース・カイパーベルト天体）が次々と発見されており、地球程度の大きさを持つ天体が存在する可能性はあると考えられている。
なお、従来第9番惑星とされていた冥王星は2006年の国際天文学連合 (IAU) 総会でケレス・エリスとともに新たに定義された「dwarf planet」（準惑星）のカテゴリに分類され、太陽系の惑星の数は8個とすることになった（惑星を参照）。
ここで挙げる第10番惑星以降の惑星 (Tenth planet) の多くは、冥王星が除外される以前に考案・提示されたものなので、冥王星を惑星に含めた形で番号が振られている。第10番惑星以降が海王星の外側に発見されるとは限らないが、その場合の第10番惑星以降についてはそれぞれの節を参照。
なお、『トップをねらえ!』に登場する架空惑星の詳細は、「トップをねらえ!#トップ世界の太陽系」も参照のこと。アルフレート・ヴィッテ（Alfred Witte, 1878年 - 1941年）らの「ハンブルク・スクール」の人々は、20世紀初頭に、当時知られていた最遠の惑星である海王星 (Neptune) より遠くにもいくつかの惑星があると主張し、占星術的なホロスコープの分析からその位置を予想し、4個の天体を導入した。これらは「海王星以遠惑星 (TNP: Trans Neptune Planets)」あるいはウラニアン (Uranian) と呼ばれる。ウラニアンは後に8個に拡大された（TNPは21世紀初頭ではTNO（太陽系外縁天体）として、エッジワース・カイパーベルト天体の意味で使用されることが多いので、こちらはウラニアンと呼ばれることが多い）。
これらは一部に「ファン」が残ってはいるものの、あまりにも「怪しすぎる」天体であるため、多くの占星術家は冷淡である。また公表されている「天体位置」から逆算される天体の軌道要素も固定的で太陽以外の重力（摂動）を受けていないようで、はなはだおかしい。少なくとも実在の天体ではない、という見方が支配的であり、「これらは仮想の天体である」と言い切る人も多い。
極端な楕円軌道をもち、地球の近くと太陽系の果てとを往復しているとされる惑星。
現実では太陽系外惑星によく見られるエキセントリック・プラネットと呼ばれるタイプ。太陽の周りを別の暗い赤色矮星（あるいは褐色矮星）が回っているのではないかという仮説がある。この説はリチャード・ミューラーによってネメシス仮説という名前で提案された。地球にこそ接近しないが、重力の影響で太陽へ向かって落下する彗星を増加させ、周期的な大量絶滅の原因となっているとしている。フィクションでもこれにならってネメシスという名前の太陽の伴星が登場することがある。「ウルトラシリーズ」に登場。登場する異星人の母星については、も参照。
「塊魂シリーズ」に登場。
『ケロケロキング』に登場。
『ケロロ軍曹』に登場。
「スターフォックスシリーズ」に登場。「スターフォックスシリーズの登場天体・宙域一覧」も参照。
「スーパー戦隊シリーズ」に登場。
『ドクター・フー』に登場。なお、シーズン表記は旧シリーズ、シリーズ表記は新シリーズを指す。
『ドラえもん』に登場。
トランスフォーマーシリーズに登場。
『21エモン』に登場。
「半熟英雄シリーズ」に登場。
「ファンタシースターシリーズ」に登場。
「星のカービィシリーズ」に登場。同シリーズに地球が存在しているかどうかも明かされていないため、登場する天体はどれも、どの銀河に属するかなどは不明となっている。
ゲーム『メテオス』に登場。
「ラチェット&クランクシリーズ」に登場。
成田美名子
成田 美名子（なりた みなこ、1960年3月5日 - ）は、日本の漫画家。代表作は、『エイリアン通り（ストリート）』、『CIPHER（サイファ）』など。血液型はAB型。
青森県青森市出身。青森県立青森東高等学校出身。1977年、『花とゆめ』（白泉社）掲載の『一星（いっせい）へどうぞ』でデビュー。
登場人物の前向きな姿の描写へのこだわりで知られる。マンガ評論家ヤマダトモコは、成田作品の個性を「明るさへの意思」だと評した。
ウルトラマンのデザイナーである彫刻家の成田亨は従伯父（従叔父？）、ジャズピアニストの成田教は実弟、作詞家の小笠原ちあきは従姉妹にあたる。
機械工学
機械工学（きかいこうがく、）とは、機械あるいは機械要素の設計、製作などから、機械の使用方法、運用などまでの全ての事項を対象とする工学の一分野である。
具体的には、熱力学、機械力学、流体力学、材料力学の四力学を基礎とした機械の設計、製作のための技術を学ぶ他、より広義には、機構学、制御工学、経営工学、材料工学(金属学)、そして近年のコンピュータ化に対応したハードウェア及びソフトウェア技術全般を研究対象としている。
紫堂恭子
紫堂 恭子（しとう きょうこ、1961年6月9日 - ）は日本の漫画家。女性。本名は牛島喜代子。
佐賀県佐賀市出身。長崎大学教育学部卒業。
卒業後、福岡県で教師（学校名や学校の分類は不明）になるが、まもなく退職。
1988年1月、「辺境警備」（『プチフラワー』1月号）でデビュー。その後、小学館や潮出版社、角川書店などの漫画雑誌で活動。
トールキンに影響されていると自ら語り、著書の殆どがファンタジー作品。1994年には『グラン・ローヴァ物語』で第25回星雲賞コミック部門を受賞。
漫画家の牛島慶子は実の妹。
建築学
建築学（けんちくがく）とは、建築物の設計や歴史などについて研究する学問である。構造や材料などの工学的な側面と、デザインや建築史について研究する芸術的・文化的な側面を持つ。
かつての建築家があらゆる課題を各自解決する必要があったように、建築学は総合的学問であったが、建築と一口に言ってもその応用範囲は、広大かつ多岐にわたる。構造的側面、芸術的側面はもとより、都市計画などにおいては、人間社会におけるライフスタイル、ひいては、精神的分野にまで踏み込んだ形で計画され実施される。すなわち、構造分野においては、数理的解釈を必要とする理科学的知識を必要とし、芸術分野においては、精神論的解釈が求められる。またその両者を高い次元において両立させるための総合力が不可欠である。
そのためいわゆる建築学といわれる分野の知識以外にも、機械工学、電子工学、土木工学、精神論、社会学、法学、経済学、語学、環境学、エコロジー分野など、多岐にわたる知識を広く浅く知る必要がある、特殊な学問である。その学問的性質上、現代では完全な分業化が進んでおり、それぞれの分野に特化している。
他の国では建築学科は工学部に属さないことが大半なので、工学部系の建築関連学部学科で取り扱うことがほとんどであるが、日本の大学では工学部に属する建築学科で学習、研究がなされている。
おもに、鉄筋コンクリート構造や鉄骨構造、木構造などの構造、および構造力学や建築物の物理的な地震災害などについてを研究する。
倒壊、消耗、破損などを防ぐべく、建築に用いられる材質について研究する。また、日本では古来より、木造建築物による火災被害が深刻視され木造建築物が密集した地域が数多く存在していた事により、火災が一度発生すると被害が拡大し、経済的に多大な損失を与えていた為、戦後は主に不燃性、難燃性素材開発を目的とした研究が重要視されてきた。
近年に至り、不燃性、難燃性素材の開発がほぼ完成形を見せる一方、現在では主に地震に対する耐震、免震素材への興味が高まりつつある。
建築計画学は、
ジャンルごとの建築に求められる機能を探求し、必要な設備、合理的な配置、動線、規模、構造工法の選択、室内最小寸法、備品の数などについて研究する。（平面計画）
建築設備学という学問領域はなく、建築衛生や建築環境工学、建築音響工学の実学的側面を指す俗称あるいは大学でのカリキュラムのジャンルを示すに過ぎない。建築物に用いる設備、すなわち機械設備と電気設備を研究すると狭義に解釈されているが、本来建築環境学として、建築に関わる採光、換気、排煙、暖房と冷房、空気調和工学のほか建物の断熱性能、音響性能などさまざまな事象を数理的に探究する領域である。
デザインについて研究する造形論をはじめ、建築のあり方や理想像を考究する建築論（建築哲学）、建築家研究を行う作家論、設計手法の理論的研究を行う設計論、図法や図面の描き方を研究する図学などの専門領域に分かれる。なお、広義では、実践的技術としての建築設計を含む。
まちづくり、グランドデザイン、都市建築法規、動線計画、交通工学、衛生工学などを総合的に取りまとめる分野。建築設備学同様、都市計画学という学問領域はなく、やはり都市計画の実学的側面を指す俗称あるいは大学でのカリキュラムのジャンルを示すに過ぎないが、他分野にまたがって都市計画学者が存在する。日本では都市計画学者が集い日本都市計画学会が組織されている。
古代以来の各時代や社会と建築の関係、工法の発達などを研究する。造形も学ぶため建築意匠とも関連する分野となる。
建築教育研究、建築経済学、建築生産学、住宅、文化財修復などの分野や、防災（耐震補強・気象予測・震災火災等予防・避難経路の選定、研究）、海洋学、農村計画分野、近年では環境工学（計画原論）や情報システム工学の面からも研究が行われている。
"Architecture"の訳語としての「建築」という言葉は明治維新に近い幕末の1862（文久2）年に蕃書調書の堀達之助が編纂した「英和対訳袖珍辞書」の中で"Architect"に「建築術ノ斈者」、"Architecture"を「建築斈」に当てられた。札幌の開拓使は“建築”を採用している。一方、明治時代の当初、工部省などで"Architecture"は「造家」としていた。これは上記辞書を刊行した2年後の1864（元治元）年に村上英俊が編纂した「儒語明要」で"Architecture"は「造家」と訳していた。ほぼ同時期にArchitectureを意味する2つの造語が誕生していた。
伊東忠太は、造家学では工学的意味合いが強いため、建築と改めることを提唱する。造家学会、造家学科は建築学会、建築学科などと改められたが、佐野利器らの出現によってまた関東大震災などの影響下で工学的傾向自体は変わらなかった。
考古学
考古学（こうこがく、英語：archaeology）は、人類が残した物質文化の痕跡（例えば、遺跡から出土した遺物、遺構などの考古資料）の研究を通し、人類の活動とその変化を研究する学問である。
文字による記録以前（有史以前）の人類についての研究が注目されるが、文字による記録のある時期（有史以後）についても文献史学を補完するものとして、またはモノを通して過去の人々の生活の営み、文化、価値観、さらには歴史的事実を解明するために文献以外の手段として非常に重要であり、中世（城館跡、廃寺など）・近世（武家屋敷跡、市場跡など）の遺跡も考古学の研究分野である。近代においても廃絶した建物（汐留遺跡;旧新橋停車場跡など）や、戦時中の防空壕が発掘調査されることがある。
考古学は、遺物の型式学的変化と、遺構の切り合い関係や土層（遺物包含層）の上下関係といった層位学的な分析を通じて、出土遺物の通時的変化を組み立てる「編年」作業を縦軸とし、横軸に同時代と推察される遺物の特徴（例えば土器の施文技法や製作技法、表面調整技法など）の比較を通して構築される編年論を基盤として、遺物や遺構から明らかにできるひとつの社会像、文化像の提示を目指している。
アメリカでは考古学は人類学の一部であるという見解が主流であるが、日本では従前より歴史学の一分野とみなされる傾向にあり、記録文書にもとづく文献学的方法を補うかたちで発掘資料をもとに歴史研究をおこなう学問ととらえられてきた。ヨーロッパでは伝統的に先史時代を考古学的に研究する「先史学」という学問領域があり、歴史学や人類学とは関連をもちながらも統合された学問分野として独立してとらえられる傾向が強い。
考古学という名称は、古典ギリシャ語の （ [古い] ＋ [言葉、学問]、arkhaiologia アルカイオロギアー）から生まれ、英語でアーケオロジー(archaeology)といい、それを訳して「考古学」とした。
日本では、考古学という言葉自体は明治初期に古き物を好むという意味で好古と記されていたが、古きを考察する学問だという考えからフィリップ・フランツ・フォン・シーボルトの次男ハインリヒ・フォン・シーボルトが1879年、日本の学会に贈った著書『考古説略』に、緒言を記した吉田正春が「考古学は欧州学課の一部にして、云々」とのべており、考古学という名前が使われた最初とされている。
佐原真によると「考古学の内容を正しく明確にしたのがシーボルトの『考古説略』であることは間違いない」が、「考古学」という名がはじめて現れたのは、1877年(明治10)、大森貝塚の遺物が天皇の御覧に供されることに決まった時の文部大輔田中不二麿か文部少輔神田孝平かの上申書のなかであるという説もある。
考古学は比較的新しい学問であり、18世紀末から19世紀にかけて地質学者のオーガスタス・ピット・リバーズやウイリアム・フリンダース・ペトリらによって組織的な研究が始められた。特筆すべき業績が重ねられてゆき、20世紀にはモーティマー・ウィーラーらに引き継がれた。1960年代から70年代にかけて物理学や数学などの純粋科学を考古学に取り入れたニューアーケオロジーがアメリカを中心として一世を風靡した。
日本ではじめて先史時代遺物を石器時代・青銅器時代・鉄器時代の三時代区分法を適用したのがフィリップ・フランツ・フォン・シーボルトである。
日本では、動物学者であったエドワード・モースが1877年（明治10年）大森貝塚の調査を行ったのが、日本近代考古学のあけぼのとされる。しかしモースの教え子が本来の専攻である動物学に進んだため、モースが科学として開いた近代考古学は順調に進まなかった。むしろ、モースより先であったという説もある。同時期に大森貝塚を発掘調査したハインリヒ・フォン・シーボルト（シーボルトの次男で外交官）の方が専門知識が豊富であり、モースの学説は度々ハインリヒの研究により論破されている。なお、日本においての考古学の最初の定義もこのハインリヒの出版した「考古説略」によってなされた。
考古学は皇国史観歴史や日本歴史とはまったく別個の存在であったために、考古学は「研究の自由」を保証され得たし、抑圧の中に「自由」を享受した。
それに対して、アジア各地へ出て行く日本人学者の考古学研究はどうであったか。そこには、興亜院・外務省・朝鮮総督府・当時の満州国・満鉄・関東軍の援助があった。これらの調査研究も、また、皇国史観に抵触しない限り「自由」が保証された。中国学者と一部との合作を企画して結成された東亜考古学会も、学者のあるべき姿として評価された。考古学者自身も、純粋な研究のため、いろいろな制限からの解放を願い、進んで大陸に出かけていった。
宮崎県の西都原古墳群の発掘が県知事の発案で1912年（大正元年）から東京帝国大学（黒板勝美）と京都帝国大学（喜田貞吉・浜田耕作）の合同発掘が行われた。1917年（大正6年）京都大学に考古学講座がおかれた。浜田耕作を中心に基礎的な古墳研究が始まった。考古学における大正時代は、古墳研究の基礎資料の集積時代であった。
20世紀の間に、都市考古学や考古科学、のちには「救出考古学」（レスキュー・アーケオロジー、日本でいう工事に伴う緊急発掘調査を指す）の発展が重要となった。
2000年に、日本考古学界最大のスキャンダルと言われた旧石器捏造事件が発覚し、学者らの分析技術の未熟さ、論争のなさ、学界の閉鎖性などが露呈した。また、捏造工作をした発掘担当者のみに責を負わせ、約25年に渡って捏造を見逃した学識者の責任は不問となったことから、学界の無責任・隠蔽体質も指摘された。
現代考古学の特徴としては、
があげられる。
収集するデータは、人類の過去の活動や行為を示す物的証拠を収集すること。具体的には、①人類がある目的を持って製作・加工したもの、②人類によって利用された自然界の物質、③人類の活動や行為によって自然界に生じた変化を示す物的証拠があげられる。
力学
力学（りきがく、英語：mechanics）とは、物体や機械（machine）の運動、またそれらに働く力や相互作用を考察の対象とする学問分野の総称である。物理学で単に「力学」と言えば、古典力学またはニュートン力学のことを指すことがある。
自然科学・工学・技術の分野で用いられることがある言葉であるが、社会集団や個人の間の力関係のことを比喩的に「力学」と言う場合もある。
海外
海外（かいがい）とは北極・南極・外国など「海洋の外にある場所」。国の外を総じて「国外」（こくがい）と言うが、日本・オーストラリアなど海に囲まれている国は「『国外』を『海外』」と言うのが一般的。
相当する英単語にがある（形容詞にも名詞にも使われるが、名詞は原則複数形）。
「海内」は漢籍には有るが現代では遣われておらず対義語としては「国内」と言うのが一般的。
「海外」という語と概念は新しいものではない。
漢籍では、『詩経・』に用例「相土烈烈 海外有截」がある。これは中国の文献だが、すでに「外国」の意味で使われている。
日本の文献では、『続日本紀』の天平勝宝5年（753年）に用例がある。『続日本紀』は漢文だが、日本語の文献では『九冊本宝物集』(ca.1179) がある。
英語のは古英語（5世紀〜12世紀）にさかのぼる。
現代では地球規模の地理が把握され、20世紀以降は飛行機（空路）による海外旅行が確立しているが、五大陸の把握も曖昧だった頃は外国へ渡る手段は陸路か海路しかなく、後者の場合は冒険や探検の意味合いが強かった。15世紀に始まった大航海時代を経て、帆船による航路が確立されると、大洋を隔てた海外への渡航は飛行船へと引き継がれた。上記の歴史的経緯から、ここで言う海とは多くの場合大洋を指し、海の外であっても歴史的観念上では近距離のものは含んでいなかった。
海外という概念は、未知の世界へ乗り出した帆船航路開拓時代までの名残りであり、海外への移動手段の主役が船舶から飛行機へ移った現代でも、多くの名残りがみられる。
「国外」と同義に使われる。
戦前戦中は、当時日本領だった朝鮮・台湾・南樺太は海外に含めなかったが、委任統治領にすぎなかった南洋諸島は海外だった。ただし、現代の文献で当時について言及する場合、それらはすべて海外とするのが普通である（この場合「国外」や「外国」に置き換えるのは難しい）。
現代では使われないが、「畿内以外」という意味もある。また、『日葡辞書』(1603・04) には「世界の果て」という説明もある。
アメリカ軍では、を「 （合衆国本土以外の全世界）」と定義している。ここでの合衆国本土 ( とは、アラスカとハワイを除く48州1特別区である。つまり、グアムやプエルトリコなどの属領はもちろん、アラスカとハワイもである。ただし海外勤務章 () に関しては、アラスカとハワイは別の（とは無関係な）規定によって特別扱いされ、アラスカやハワイでの勤務によりOSRが授与されることはない。
まれに、をヨーロッパ・アジア・アフリカに限り、南北アメリカは含めないこともある。
単独島（大陸）国のオーストラリアでは、はオーストラリア国外のことである。
単独島国ではないが、島国のイギリスでは、イギリスおよび、を接するアイルランド以外の国々を指す。
本土がユーラシア大陸と陸続きの大韓民国では、ユーラシア大陸内にある他のアジア・ヨーロッパ諸国への訪問は本来であれば「海外」ではないが、北朝鮮との軍事境界線により事実上陸路で他国への移動ができず、他国を訪問する際には航空機や船舶を利用して海を超える必要があることから、「海外」（ヘウェ、）という表現が広く使われている。
「国外」と同義に使われる。但し、香港・マカオ・台湾を含むかどうかは、場合によって異なる。
電磁気学
電磁気学（でんじきがく、）は、物理学の分野の1つであり、電気と磁気に関する現象を扱う学問である。工学分野では、電気磁気学と呼ばれることもある。
電磁気学は、電磁的現象を考察の対象とする。電磁的現象としては、
などが古来から知られている。現在では身の周りの殆ど全ての現象が電磁的現象として理解できる事が知られている。
電磁気学は、これらの電磁的現象を電荷と電磁場の相互作用として説明する理論体系である。
電荷は物質に固有の物理量であり、物質と電磁場との結び付きの強さを表す量である。また、電磁場は時空の各点が持っている物理量であり、物質間の電気的作用と磁気的作用を媒介する。
電磁場としては、スカラーポテンシャルとベクトルポテンシャルの組、もしくは電場と磁場の組を考える。特にこれらの組を区別したい場合には前者を電磁ポテンシャル、後者を電磁場と呼ぶことがある。また、電場・磁場は直接的観測が可能であるが電磁ポテンシャルは観測によって一意に定めることができない。しかし、電場・磁場では説明できないが電磁ポテンシャルでは記述できる現象が存在する（アハラノフ＝ボーム効果など）ので、電磁ポテンシャルの方が本質的な物理量であると考えられている。
電磁場は電荷と電流（電荷の流れ）に力を及ぼす。この力をローレンツ力という。逆に、電荷・電流の存在は電磁場に影響を与える。電磁場の振る舞い、及び電荷・電流が電磁場に与える影響はマクスウェル方程式で記述される。このローレンツ力とマクスウェル方程式は電磁気学における最も基礎的な法則である。
マクスウェル方程式の解の1つとして、電磁場の周期的振動である電磁波が得られる。日常的に「光」と言われている物も、実は電磁波の一種である。電磁波は波長や発生機構によって呼び名が変わる。
ローレンツ力が作用する導体中の電子の運動をオームの法則（電流は電場に比例する、という法則）で近似し、電場の時間変化による磁場の生成（マクスウェル方程式の一部）を無視すると、準定常電流の理論が得られる。この理論は、電気工学の基礎理論であり、現代のエレクトロニクスの基礎を成している。電場の強さ（電界強度）の単位は[V/m]なので、アンテナの実効長[m]または実効高[m]を掛けると、アンテナの誘起電圧 [V]になる。
電磁光学は、光は電磁波であるという立場から光の性質を論ずる学問である。ここでも電磁気学におけるマクスウェル方程式が基礎となっている。
19世紀末、多くの物理学者は「全ての物理現象はニュートン力学、ローレンツ力、マクスウェル方程式で原理的には説明できる」と考えていた。
しかしその後、ニュートン力学と電磁気学では説明できない現象が次々に発見された。光電効果、黒体放射のエネルギー密度、コンプトン効果は光を粒子であると考えると説明できるが、このことは電磁気学における「光は電磁波である」という描像に反する。また、電磁気学によればラザフォードの原子模型は安定に存在しえないことが結論づけられるが、実際の原子は安定である。
ニュートン力学・電磁気学で記述できないようなこれらの現象を記述しようと努力した結果が、量子力学という全く新しい物理学の誕生である。
1940年代には、電磁気学の量子論である量子電磁力学（QED）が完成した。量子電磁力学では、電磁場と荷電粒子の場の両方が量子化され、荷電粒子間の相互作用は電磁場の量子である光子の交換として理解される。
マクスウェル方程式によると、真空中の電磁波の速度は慣性系の選び方によらない基本的な物理定数（真空の誘電率と透磁率）だけで定まる。実際、真空中の光速は慣性系によらず一定であること（光速度不変の原理）は実験的に立証されている。特殊相対性理論は、この光速度不変の原理と特殊相対性原理を指導原理として、アインシュタインが構築した理論である。
マウンテンバイクレース
マウンテンバイクを使用し、山間部の未舗装路などでおこなわれるのがマウンテンバイクレースである。1990年にクロスカントリーの世界選手権が初開催され、1992年にダウンヒルが加えられた。1996年のアトランタオリンピックからクロスカントリーが公式種目となっている。
レースの種類として代表的なものは以下のようなものである。
周回コースを一定距離走り、ゴール順を競う競技。1996年のアトランタオリンピックから正式競技となった。オリンピック用に定められた競技形態で、現在のクロスカントリーの公式競技はこれに準拠して開催されている。1周4〜6kmの周回路を使い、エリートカテゴリで1時間30分から1時間45分の競技時間と定められている。
コースには2箇所以上のフィード／テクニカルアシスタンス・ゾーン（飲料、食糧、機材補給所）が設けられる。
マラソンクロス、クロスマウンテンとも。 60km～120kmの非常に長いオフロードコースを走破する競技。日本ではセルフディスカバリーアドベンチャー・王滝村が有名。
クロスカントリー・エリミネーター (cross-country eliminator)。
下りコースで構成されるデュアルスラローム/デュアル/4Xに対して、登りを含めたコースで競われるのがクロスカントリー・エリミネーターである。4名または6名が横並びで出走し、上位2名または3名が次戦に進むトーナメント形態で行われる。競技距離は500mから1kmで、シングルトラック部分がないこと、180度を超えるコーナーはないこと、スタートとゴールは離されること、などが定められている。自然、もしくは人工の障害物をコース上に設置可能なことが特徴で、コース上に階段(上り下り)や人工的なドロップなどを設けることが出来る。
主にスキー場に作られた下り主体のコースを1人ずつ走行し、タイムを競う競技。詳しくはダウンヒルを参照。
かつては平行した2本のコースを用いたレース（デュアルスラローム）が行われていたが、観戦の面白さを出すためコース分けを無くした2人で行うデュアルに移行し、更に2002年の世界選手権で4人でいっせいにスタートする4X（フォークロス）が開催されるに至った。デュアルは勝者、4Xは上位二名が次戦に進むトーナメント形式で行われる。なお、コースはジャンプやバンクがいたるところに設置された100～200mほどの下り斜面である。
同じく下り斜面で高度なテクニックが要求されるダウンヒルと共通し、BMX（バイシクルモトクロス）をバックグラウンドとした選手が多い。代表的なライダーとしてはブライアン・ロープス（USA）、エリック・カーター（USA）、セドリック・グラシア（FRA）などが挙げられる。
周回コースを一定時間（2時間/4時間/6時間等）で何周走行できるかを競う競技。数名からなるチームで交代しながら走行するものも多い。2014年までは日本国内で一般にエンデューロと呼ばれていたが、別にエンデューロという競技が発生したため、耐久を意味するエンデュランスに変更されている。
いくつかの繋ぎ区間とタイム計測区間を走り、タイム計測区間の合計タイムを競う競技。計測区間は基本的に下り基調だが上りを含んでも良いとされる。その為、コース設定により得意とするマウンテンバイクの種類やタイヤなどのパーツが変わるなど、趣味性の高い競技として人気がある。
オリエンテーリング競技の１つとして数えられることが多い。MTB-Oなどと略される。地図をもとに指定された場所を通過するオリエンテーリング競技をマウンテンバイクに乗りながら行うもので、ルートチョイスやナヴィゲーションの能力などが同時に問われる。
超伝導
超伝導（ちょうでんどう、）とは、特定の金属や化合物などの物質を非常に低い温度へ冷却したときに、電気抵抗が急激にゼロになる現象。「超電導」と表記されることもある。なお、「超電導」の表記については、『理化学研究所彙報』（理化学研究所発行）の誤植がもとになっている可能性が指摘されている。1911年、オランダの物理学者ヘイケ・カメルリング・オンネスにより発見された。この現象と同時に、マイスナー効果により外部からの磁力線が遮断されることから、電気抵抗の測定によらなくとも、超伝導状態が判別できる。この現象が現れるときの温度は超伝導転移温度と呼ばれ、この温度を室温程度に上昇させること（室温超伝導）は、現代物理学の重要な研究目標の一つ。
金属は温度が下がると電気伝導性が上がり、逆に温度が上がると伝導性は減少する。これは温度の上昇に伴って伝導電子がより散乱されるためである。この性質から、絶対零度に向けて金属の電気抵抗はゼロになることが昔から予想されていた。このことを検証する過程で、超伝導は1911年にヘイケ・カメルリング・オネスによって発見された。超伝導となる温度（臨界温度、Tc）は金属によって異なり、例えばニオブは9.22 K、アルミニウムは1.20 Kとなる。
特定の物質が超低温に冷やされた時に起こる現象は「超伝導現象」(superconductivity phenomenon)、超伝導現象が生じる物質のことは「超伝導物質」(superconductor)、超伝導物質が超伝導状態にある場合「超伝導体」と呼ばれる。
液体窒素の沸点である−196℃ (77 K) 以上で超伝導現象を起こすものは特に高温超伝導物質 (cuprate superconductor) と呼ばれる。
物質が超伝導状態になるということは「水が氷になるように、まったく新しい相へ移行すること（相転移）」を意味し、超伝導相に移り変わる温度を、（超伝導）転移温度という。超伝導に転移する前の相は常伝導という。
超伝導体には電気抵抗がゼロになる他にも、物質内部から磁力線が排除されるマイスナー効果によって「磁気浮上」現象を起こす。この時、磁力線の強度への応答の違いから第一種超伝導体 (type-I superconductor) と第二種超伝導体 (type-II superconductor) とに分類される。第二種超伝導体では磁力線の内部侵入を部分的に許すことで高強度の磁力に対してマイスナー効果が発生する。第二種超伝導体では、ピン止め効果によりゼロ抵抗を維持している。
これらの現象はいずれも、量子力学的効果によって起きていると考えられており、基本的なしくみはなるだけBCS理論によって説明される。なお、高温超伝導体はBCS理論では説明がつかず物理学の未解決問題の一つである。詳細は高温超電導の記事を参照。
日常では扱わない低温でしか発生しない現象で、その冷却には高価な液体ヘリウムが必要な事から、社会での利用は特殊な用途に限られていた。20世紀末にようやく上限温度（転移温度）が比較的高く安価な液体窒素で冷却できる高温超伝導体が相次いで発見されてから一般への認知も大きく進んだ。今後はさらに一般的な低温環境や室温で機能する実用的な超伝導体の発見が期待されている。
1911年、オランダのヘイケ・カメルリング・オンネスによって「純度の高い金属が容易に得られる水銀を液体ヘリウムで冷却していったとき、温度4.20 Kで突然電気抵抗が下がり4.19 Kではほぼゼロの10万分の1Ω以下になる現象」が報告された。ヘリウムの液化と超伝導の発見によって1913年にノーベル物理学賞が授与された。
1933年にドイツのヴァルター・マイスナーによって超伝導体が外部磁場を退けるマイスナー効果が発見された。これにより、超伝導体は完全導体と違うことが決定付けられた。1935年にロンドン兄弟（フリッツ・ロンドン、ハインツ・ロンドン）が発表したロンドン方程式により、マイスナー効果は理論的に説明された。
1950年ヴィタリー・ギンツブルグとレフ・ランダウが、上記ロンドン理論より一歩進んだ現象論であるギンツブルグ-ランダウ理論を発表した。この理論には、超伝導の程度を表すオーダーパラメータが使われた。
1953年に最高転移温度17 Kを示すニオブスズ (NbSn) が発見された。これは結晶構造からA15型超伝導体とよばれた。
1957年に発表されたジョン・バーディーン、レオン・クーパー、ジョン・ロバート・シュリーファーらのBCS理論により、超伝導現象の基本的なメカニズムが解明された。
1980年代に発見された銅酸化物高温超伝導体や、21世紀になって見つかった二ホウ化マグネシウム (MgB) を実用化する試みが続いている（高温超伝導を参照）。より高い温度で超伝導を起こす物質を探すなど、最初の発見から100年近く経った2009年現在でも超伝導についての研究が盛んに行なわれている。
超伝導現象の発見以降、多くの超伝導を示す元素や化合物が発見されている。アルカリ金属、金、銀、銅などの電気伝導性の高い金属は超伝導にならない。単体の元素で最も超伝導転移温度が高いものは、ニオブの9.2 K（常圧下）である。常圧下において超伝導を示す金属は多いが、そうでない金属、あるいは非金属元素でも高圧下で金属化と同時に超伝導を示すものがある。また、重い電子系における超伝導や、高温超伝導、強磁性と超伝導が共存する物質など従来の超伝導物質と性格の異なるものも発見されている（高温超伝導を参照）。
一部の有機化合物には超伝導を示す。それらは有機超伝導体として分類される。
超伝導現象は、超高感度の磁気測定装置 (SQUID) や医療用核磁気共鳴画像撮影 (MRI) 装置など、測定用に超伝導電磁石を使用する用途においては既に広く実用されている。しかし、これらの応用例でも冷却に高価な液体ヘリウムが用いられており、普及の大きな障害となっている。産業用途では実用化の技術開発が進んでいる超伝導モーターが最も期待されている。電力貯蔵の用途では瞬間停電を補償するために高い出力、短い応答速度が着目され、実用化されるに至っているが、現状では大電力を貯蔵するには至らずバッテリーなどよりコンデンサーに近い。また送電線については、生み出された電力のうちの数%は電気抵抗による送電ロスによるものとされており、室温超伝導が実現されれば、このロスを減らす事のできる画期的なテクノロジーとして期待されている。
以下に利用例を示す。
Scheme
Scheme（スキーム）はコンピュータ・プログラミング言語 Lispの方言のひとつで、静的スコープなどが特徴である。仕様（2017年現在、改7版まで存在する）を指すこともあれば、実装を指すこともある。Schemeにより、Lisp方言に静的スコープが広められた。
Schemeは、MIT AIラボにて、ジェラルド・ジェイ・サスマンとガイ・スティール・ジュニアによって1975年頃に基本的な設計がなされた。動機は、カール・ヒューイットの提案によるエレガントな並行計算モデル「アクター」と、同じくその言語のPLASMA（Planner-73）を理解するためであった。
静的スコープ（ALGOL由来とされる）は、状態を持つデータであるアクタ（クロージャ）の実現以外にも、codice_1 構文を用いたλ計算や末尾再帰の最適化に不可欠な機構であった。
また、プログラムの制御理論から当時出てきた継続及びアクタ理論におけるアクタへのメッセージ渡しの概念から触発された継続渡し形式と呼ばれるプログラミング手法は以後の継続の研究に大きな影響を与えた。
MIT人工知能研究所においては以下のとおりLISPに始まるいくつかの言語が作られた。
この中でカール・ヒューイットが設計した規則ベースの言語 はあまりに複雑な機構を持っていたため当初設計された全機能の実装は困難であり、サスマン等はそれをサブセット言語の として実現し、さらには、 Planner の流れを汲んだ独自言語として を作成した。
同じくカール・ヒューイットが設計したアクタ言語 (-73) も複雑な機構を持っていたため、 による実装が存在したものの、その動作の仕組みを理解するのは困難であった。サスマン及びガイ・スティール・ジュニアは を理解するために、不要な機能を省いた 構文を持つ小さな を設計した。
上記の からその小さな の設計に至る過程は から 及び へ至る過程を彷彿とさせるものであったため、その言語は （計画する者）及び （策略を巡らす者）の次という意味で当初 （陰謀を企てる者）と名付けられた。しかし、当時のオペレーティングシステムのファイルシステムの制限からファイル名が6文字に切られたことから という名前が使われるようになった。
マッカーシーが後に回顧で、初期のLisp（LISP 1 および LISP 1.5）に関して「In modern terminology, lexical scoping was wanted, and dynamic scoping was obtained.」と書いているように、計算理論的にも静的スコープが本来は「正当」であり、動的スコープは、言ってしまえばある種の安易なインタプリタの実装手法が招く「バグ」である（有用なことも多いが）。
ガイ・スティールは、LISP 1.5 からの変更点として最初に静的スコープの採用と実装を挙げており、サスマンがAlgolに関して持っていた興味からによるもので、Algolの直接の影響だと述べている。
「FUNARG問題」（）としてLISPの初期から既に認識され議論されていたことでもあり、必ずしもSchemeから始まったとは言えないが、Scheme以後のLisp方言に静的スコープが広まったのはSchemeからの影響と言ってよく、殊にCommon Lispは特筆される。
はcodice_3（略称：codice_4）と呼ばれるピーター・ランディンやジョン・レイノルズに始まる脱出オペレータの命令を提供する。
の言語仕様はIEEEによって公式に定められ、その仕様は「」と呼ばれている。2016年現在広く実装されているものは改訂第五版に当たるR5RS（1998年）である。
なお、2007年9月に「」が成立した。4部構成となり、R5RSに比べおよそ3倍の文章量となった。R5RSまでは小さな言語仕様に対してのこだわりが見られたが、 サポート等の実用的な言語として必要な要素が盛り込まれている点が特徴的である。しかし、多くの機能が盛り込まれたにもかかわらず細部の練りこみが不十分であるといった批判もあり、非公式にR5RSを拡張する形でERR5RS () という規格を検討する党派も現れている。
2009年8月、 言語運営委員会は、 を大規模バージョンと、大規模バージョンのサブセットとなる小さな言語仕様のふたつの言語に分割することを推奨する意向を発表した。
2013年7月、「」 () が成立した。
の仕様書はR5RSだと50ページにも満たないため、かなりの数の実装が存在する。 は言語機能を必要十分の最低限まで単純化することを目指した言語である。そのため仕様書が簡素な反面、実用に際して各種のライブラリが乱立し、移植性が問題になっていた。そこで実装間の統一をとるため、コミュニティ内の議論を集約しているのが「」である。 ではライブラリ仕様、言語拡張仕様などがインデックス化されており、 準拠の実装系は「◯◯に準拠」といった形で利用者の便宜を図ることができる。
なお、 では言語機能とライブラリ機能は分けて考えられているため、 と 言語仕様のコミュニティは原則分離している。
はしばしば他のアプリケーションの拡張用言語として使われる。代表的なアプリケーションには以下のようなものがある。
より専門的な応用としては、映画ファイナルファンタジーのために3Dレンダリングエンジンに インタプリタを組み込んだ例や、リトルウイングのピンボールコンストラクションシステムの記述に を使った例がある。
が発表された一連の論文は、ラムダ論文と呼ばれている。
シド
シド (syd, sid, Šid, cid)
バンド理論
固体物理学における固体のバンド理論（バンドりろん、）または帯理論とは、結晶などの固体物質中に分布する電子の量子力学的なエネルギーレベルに関する理論を言う。1920年代後半にフェリックス・ブロッホ、ルドルフ・パイエルス、レオン・ブリルアンらによって確立された。
バンド理論においては、『エネルギーと波数の関係formula_1
（分散関係）』を、エネルギーバンド（バンド構造）と呼ぶ。
ブロッホの定理によると、結晶中の電子の波動関数(結晶中の電子の電子状態)は、波数と呼ばれる量子数によって指定される。このことが、エネルギーと波数の関係式が原理的に書き下せることを保障している。
また、結晶構造に応じた並進対称性の影響から、エネルギーバンドの間にギャップ（バンドギャップ）が生じることがある。
絶縁体と半導体ではエネルギーバンドは価電子帯と伝導帯に分かれ、フェルミ準位はそれらの間のギャップの中に存在するが、金属では少なくとも一つのエネルギーバンドの中にフェルミ準位が存在する。逆に、このエネルギーバンドの特徴によって、物質を金属と絶縁体に分類することができる。
このような金属、絶縁体の分類の描像は20世紀の半ばには確立されていた。しかし単純なバンド理論では説明できない絶縁状態（モット絶縁体）も存在し、強相関電子系と呼ばれる分野で研究されている。
スラッシュ (記号)
スラッシュ (slash)、スラント (slant)、ソリドゥス (solidus)、あるいは斜線（しゃせん）は、約物の一つで、「/」と書き表される。
ただし、斜線と言う場合はいわゆるバックスラッシュ()や、約物以外のさまざまな斜めの線が含まれるので、一般にはスラッシュと呼ばれることが多い。
日付で、算用数字で表した月日または年月日を分ける。ただし、順序は国によって異なる。
たとえば、2004年1月31日は次のとおり、（）内は1月31日。ISO 8601では、期間を表す。例えば、「2004-01-31/2005-01-30」は「2004年1月31日から2005年1月30日」。
ヨーロッパ諸国では、ユリウス暦からグレゴリオ暦への移行時期に、混乱を防ぐため、ユリウス暦とグレゴリオ暦の日付をスラッシュをはさんで併記した。
現代のコンピュータキーボードには標準的に装備されている。
地衣類
地衣類（ちいるい）は、菌類（主に子嚢菌類）のうちで、藻類（シアノバクテリアあるいは緑藻）を共生させることで自活できるようになったものである。一見ではコケ類などにも似て見えるが、形態的にも異なり、構造は全く違うものである。
地衣類というのは、陸上性で、肉眼的ではあるがごく背の低い光合成生物である。その点でコケ植物に共通点があり、生育環境も共通している。それゆえ多くの言語において同一視され、実際に地衣類の和名の多くに「○○ゴケ」といったものある。しかし地衣類の場合、その構造を作っているのは菌類である。大部分は子嚢菌に属するものであるが、それ以外の場合もある。菌類は光合成できないので、独り立ちできないのだが、地衣類の場合、菌糸で作られた構造の内部に藻類が共生しており、藻類の光合成産物によって菌類が生活するものである。藻類と菌類は融合しているわけではなく、それぞれ独立に培養することも不可能ではない。したがって、2種の生物が一緒にいるだけと見ることもできる。ただし、菌類単独では形成しない特殊な構造や菌・藻類単独では合成しない地衣成分がみられるなど共生が高度化している。
このようなことから、地衣類を単独の生物のように見ることも出来る。かつては独立した分類群として扱うこともあり、地衣植物門を認めたこともある。しかし、地衣の形態はあくまでも菌類のものであり、例えば重要な分類的特徴である子実体の構造は完全に菌類のものである。また同一の地衣類であっても藻類は別種である例もあり、地衣類は菌類に組み込まれる扱いがされるようになった。現在の判断では『特殊な栄養獲得形式を確立した菌類』である。国際植物命名規約では、地衣類に与えられた学名はそれを構成する菌類に与えられたものとみなすと定められている。
菌類が藻類を確保することを地衣化という。地衣を構成する菌類は子嚢菌類のいくつかの分類群にまたがっており、さらに担子菌類にも存在する。したがって独立して何度かの地衣類化が起こったのだと考えられている。また、子嚢胞子など有性胞子の形成が見られないものもあり、そのようなものは不完全地衣と呼ばれる。
繁殖は有性生殖と無性生殖がある。
有性生殖は菌の所属する群に特有の胞子による。多くは子嚢菌なのでこれについて説明する。
子のう胞子は小さなキノコ状の子実体を作り、そこに形成される。子実体の形は、大きくは3通りあり、皿状の裸子器（らしき）、壺状の被子器（ひしき）、溝状に細長いリレラである。胞子はその内部の子嚢の中に減数分裂によって形成され、上に放出される。胞子が好適な場で発芽すると、藻類を取り込んで成長する。従って地衣体を構成する菌糸は単相である。
また、無性生殖のための器官として、地衣体の一部を粒状や粉状の構造として、これを分離して散布するものがある。これを芽子という。このようなものは内部に藻類を持って分散するので、すぐに成長を始めることが出来る。
地衣類はその形態から、葉状地衣類、痂状地衣類、樹状地衣類に大別される。この分け方は必ずしも分類体系を反映するものではないが、同定する上では参考になる。見かけがコケと同じようなものであるのと同様、生育環境もコケと共通するものが多い。背の高いものが少ない点も共通である。
地表、岩の上、樹皮上などに着生するものが多い。霧のかかるような所では種類が多いことも同様である。日本の温帯林では、サルオガセが樹上から垂れ下がるのが、よく目立つ森林がある。都会でもコンクリートの表面に出るものがある。
ただし、他の植物が生育できないような厳しい環境に進出できるのも地衣類である。極地など寒冷な地域や、火山周辺など有毒ガスの出る地域にも特殊なものが生育する。この点、地衣類は菌類と藻類の共生体だが、そのどちらよりも厳しい環境に耐えることができる。
他方、大気汚染に弱いことも指摘されている。樹皮上に着生するウメノキゴケなどの地衣類は、自動車の排気ガスに弱く、樹木に着生する地衣類は大気汚染の良い指標となることが知られている。たとえば公園の樹木を見ても、大通り側の樹木には地衣類が着生していない、といった現象がたやすく観察される。そういった意味では指標生物としても利用される。
地衣類は成長が遅く、寿命が長い。個々の部分は特定の季節に急に出てきたりすることはなく、だいたいどの季節も同じような姿をしている。従って、観察はどの時期にでも出来る。
地衣類は基本的には菌類ではあるがそのような感覚では培養が難しく、また成長が非常に遅いため、そういった方法では扱い難い。大きさはコケ並みであるから野外での観察採集が可能であるから、実際には野外で探しながら採集するのが普通の収集方法である。しかし、コケと異なり、その構造が菌糸であり、一回り細かい。たとえば痂状地衣は基質に完全に密着している。樹皮につくものなら樹皮ごと削り取れば採集できるが、岩に張り付いているものはかち割らねば取れない。さらにその構造はコケより単純であり、肉眼でも虫眼鏡でも届かないレベルである。その一部は化学物質でしか区別するのは困難である。
実用的価値のあるものは少ない。
サルオガセ("Usnea")属のナガサルオガセ("Usnea longissima")やヨコワサルオガセ("Usnea diffracta" Vain.)は、マツ類によく着生することから、松蘿(しょうら)ともいい、中国や韓国では、乾燥したものを、漢方薬として用いている。利尿作用や強壮作用があるという。
酸性アルカリ性の判定に使うリトマス紙は地衣類であるリトマスゴケから得られるものである。
また、ヨーロッパにおいては古くから多くの地衣類が染色用として用いられてきた。
さらにロウソクゴケはあざやかな黄色を蝋燭の染色に用いたためこの名がある。
イワタケ、バンダイキノリは食用にされる。
中国ではムシゴケ(Thamnolia vermicularis)を乾燥させたものが茶として利用されている。この「雪茶」を大量に摂取したためと疑われる肝機能障害が報告されている。
極地ではハナゴケ類などがトナカイなど家畜の餌に利用されることもある。また、ハナゴケの仲間はそのままの形で緑に染めて、鉄道模型やジオラマの樹木として用いられることもある。
よくしばしば外見が似るコケ植物（蘚苔類）と混同されるが、コケ植物ではない。地衣類は菌類と藻類の共生生物である。
たいていの場合、見分けるのはさほど困難ではない。以下のような点が見分けポイントになるであろう。
計算物理学
計算物理学（けいさんぶつりがく、）は、解析的に解けない物理現象の基礎方程式を計算機（コンピュータ）を用いて数値的に解くことを目的とする物理学の一分野である。
計算物理学では、ナヴィエ・ストークス方程式やマクスウェル方程式のような物理学での基礎方程式を計算機を用いてひたすら数値的に解く、という手法が用いられる。
流体力学でのナヴィエ・ストークス方程式やプラズマ物理学での磁気流体方程式のような微分方程式では、解析解が得られることはきわめてまれであり、理論物理学では多くの場合断熱過程や線形性など近似を用いて物理現象を説明する。
ここ100年ほどの計算機とアルゴリズムの発達によって、大胆な近似を導入しなくても、「数値的に解く」ことで物理量のおおよその振る舞いを調べることが可能となった。この計算機で得た数値的な解から新たな物理現象を発見することがこの分野の目的である。この数値的に解くことは一般には「シミュレーション」などと呼ばれる。
この分野は一般には、理論物理学に属すると考えることができるが、一方で、このような数値的な解析を「計算機実験」と称することもあるように、実験的な側面も存在する。このため、物理学における理論、実験以外の第三の分野として、この「計算物理学」を捉える考え方も存在する。たとえば、さまざまな条件下で基礎方程式を解くことで、新たな現象、効果の存在が示唆されることもあり、理論物理学者はそこから理論モデルを構築する。一方で大規模な実験の前にはほとんど必ずシミュレーションが行われており、実験を行う根拠として数値解析の結果が使われる。
ML (プログラミング言語)
ML（えむえる、Meta-Language）は、関数型言語のひとつである。現代風の関数型言語としては歴史が古いほうで、型推論機能などを持つが、デフォルトの評価戦略は遅延評価ではなく先行評価で、書き換えが可能なレコード型を持つなど、いわゆる「純粋関数型」でない特徴や機能を持つ。
自動定理証明系において、証明の道筋を関数として記述するためのメタ言語として生まれたという経緯を持ち（#歴史の節を参照）、名前はそのことに由来する。構文はISWIMの影響を受けている。
MLによってプログラマに知られるようになった機能に、型推論がある。これは、明示的に型の宣言を行わなくても、データの利用のされ方から、引数や関数の返す型を自動的に推論してくれる機能である。これにより、プログラマの負担が著しく軽減される。
標準（ないし一方言）としてStandard ML (SML) があり、その実装には、 (SML/NJ) や、東北大学電気通信研究所大堀研究室が開発を進めているSML#などがある。標準以外の仕様の実装としてはOCamlなどがある。詳細仕様は実装ごとに異なっており、各実装での仕様をそれぞれのMLの方言と捉える場合もある。
SMLの詳細とその実装の一覧はStandard MLを参照のこと。
以降の記法や名前はSMLのものである。OCamlなどその他の実装については、SMLと差異があるため各実装の記事を参照のこと。
MLの基本的な演算子は以下の通り
MLの関数の定義は
と書く。Haskellと同様なパターンマッチングがある。複数のパターンはガード記法 | をセパレータとする。
例として階乗を求めるプログラムを以下に示す。
MLでの関数の評価は関数が定義されたときに行われる。このためMLでは関数定義の順序が無視できない。例として
のような関数がある場合は必ず b の方が先に定義されていないといけない。しかしこの場合はお互いを呼ぶような再帰呼び出しの実装が不可能である。そこでMLではそのような関数のために二つの関数を and でつなぐことによってこれを実装することができる。
例を挙げると
これは take が与えられたリストの奇数番目の要素を返し、skip が偶数番目の要素を返す関数である。
デイナ・スコットの提案したPPLAMBDAという論理体系を利用し、ロビン・ミルナーは (LCF) という証明のチェックや定理の自動証明をするシステムを実装した。1973年に発足したEdinburgh LCFのプロジェクトにおいて、証明の道筋を関数として記述するためのメタ言語として開発されたのが、MLの最初であり、強い型付きの言語として設計された。
Edinburgh LCFとMLは、1975～76年にエディンバラ大学で実装された。特に1980年代以降、汎用プログラミング言語として多数の機能やライブラリが追加されている。
（この節 参考文献『新しいプログラミング・パラダイム』(ISBN 4-320-02493-1) pp. 120-121）
ガベージコレクション
ガベージコレクション（; GC）とは、プログラムが動的に確保したメモリ領域のうち、不要になった領域を自動的に解放する機能である。「ガベージコレクション」を直訳すれば「ゴミ集め」「ごみ拾い」となる。1959年ごろ、LISPにおける問題を解決するためジョン・マッカーシーによって発明された。
メモリの断片化を解消する機能はコンパクションと呼ばれ、実現方法によってはガベージコレクションと共にコンパクションも行う仕組みになっている。そのためコンパクションを含めてガベージコレクションと呼ぶ場合もあるが、厳密には区別される。
また、ガベージコレクションを行う主体はガベージコレクタと呼ばれる。ガベージコレクタはタスクやスレッドとして実装される場合が多い。
参照カウント方式のガベージコレクションは通常煩雑なコーディングを必要とするが、それを必要なく実装したライブラリとしがある。
従来のメモリ管理では、プログラマがプログラムの実行中においてメモリが必要となる期間を考え、必要となった時点でメモリを確保するコードを記述し、不要となった時点で解放するコードを記述していた。
ガベージコレクションを使用すると、メモリを確保するコードは明示的に記述するが、メモリの解放については明示的に記述する必要がなく、ガベージコレクタが不要と判断した時に、自動的にメモリを解放する。確保したメモリが不要かどうかは、プログラムが今後そのメモリにアクセスするかどうかで決まり、スタックや変数テーブルなどから参照をたどってメモリに到達可能かどうかによって判断される。
ガベージコレクションの機能は、初めから言語処理系に組み込まれている場合や、後付けのライブラリなどによって提供される。
ガベージコレクションはプログラム作成者が明示的にメモリの確保・解放を行う必要が無いため、以下に示すメモリ管理に関連する陥りやすいバグを回避することができる。ただしガベージコレクションにおいても、今後使用することのないオブジェクトへのポインタをいつまでも保持しているようなコードでは、いつまでもオブジェクトが解放されず、メモリ不足を起こしてしまう。これは論理的な設計の問題であり、ガベージコレクションを持つ処理系においてもこの種のメモリリークは発生する。
メモリ管理に関するバグを回避する以外に、プログラミングスタイルの選択肢を広げる効果も持つ。型変換などのために一時的なオブジェクトを生成する、マルチスレッドを利用したプログラムでスレッド間でオブジェクトを共有して使用する、といった処理はメモリ確保・解放の処理の記述が煩雑となることが多い。しかし、ガベージコレクションを持つ言語処理系においては煩雑な記述を省略することができ、これらの処理をより自然に記述することができる。
多くの実装では、入れ違いにより誤って到達可能なメモリが不可能と判断されないように、ガベージコレクトが開始されると他の処理を止め、本処理が中断される（Stop-the-world ガベージコレクタ）。CPUを長時間（数百ミリ秒から数十秒）占有することもある。ガベージコレクションの動作タイミングの予測やCPUの占有時間の事前予測などが困難なことから、デッドラインが決められているリアルタイムシステムに使用することは難しい。リアルタイム性を改善したGCとして、インクリメンタルGCやコンカレントGCがある。
ガベージコレクションは、Javaのように言語処理系に組み込まれたものと、C言語のように言語処理系には存在しないがライブラリを使用することで実現できるものがある。
ガベージコレクションは、プログラム本来の動作とは別に時間のかかる処理である。そこで、ガベージコレクションには本来のプログラムの動作に対して影響が少ないことが求められる。
一般に、デスクトップアプリケーションでは、応答時間を短くするため、ガベージコレクションによるプログラムの停止時間を最小にすることが要求される。また、サーバアプリケーションでは、応答時間よりもスループットを求められることが多く、ガベージコレクションにもスループット性能が高いものが求められる。さらに、機器組み込みアプリケーションでは、機器に搭載されるCPUの能力の低さやメモリ容量の小ささから、リソース消費が小さいものが求められる。また、リアルタイムシステムでは、プログラム動作時間のばらつきを最小にしたいという要求もある。
これらの要求をすべて満たすようなアルゴリズムは存在しないため、さまざまな手法が提案されている。代表的なガベージコレクションアルゴリズムには、以下のものがある。これらのアルゴリズムは複合して使用することもあり、世代別ガベージコレクションではコピーGCとマーク・アンド・スイープの両方のアルゴリズムを使用している。
また、アプリケーション動作への影響の観点から、アプリケーション動作をすべて止めるStop the world方式と、アプリケーション動作と並行して動作するコンカレント方式に分類することができる。
一般論として、高レベルな言語ほどガベージコレクションを言語の標準機能として備えていることが多い。言語に組み込まれていない場合でも、C++のBoehm GCのように、ライブラリとして実装されていることも多い。このアプローチは、オブジェクトの生成と破棄のメカニズムを変更する必要があるなど、欠点がないわけではない。
MLやHaskell、APLなどの関数型言語の多くはガベージコレクションが組み込まれている。特に、関数型言語の先駆けとなったLISPは最初にガベージコレクションを取り入れた言語でもある。
Rubyなどといった動的言語も、ガベージコレクションを備えていることが多い（ただしPerl 5やPHP 5.2以前には参照カウント方式のものしかない）。Smalltalk、Java、ECMAScriptのようなオブジェクト指向言語には、たいていガベージコレクションが組み込まれている。特筆すべき例外はC++とDelphiで、それらはデストラクタがその代わりとなっている。Objective-Cには元々ガベージコレクションはなかったが、アップルがmacOS向けに実装したObjC 2.0では、自社開発したランタイムコレクタを使用している。一方で、GNUstepはBoehm GCを使用している。分散コンピューティング環境では、あるホスト内のオブジェクトだけではなく、リモートホスト上に存在するオブジェクトとメッセージのやり取りが行われることがある。このような環境においてローカルなガベージコレクションと同様、不要なオブジェクトを破棄する手法が分散ガベージコレクションである。リモートホストからの参照状態の検出、通信が切れた場合の処理などローカルホストのガベージコレクションとは異なる課題を解決する必要がある。
従来のGCは、対象となるメモリ領域がいっぱいになった時に一気にGCを行なうものであり、この方法では、メモリ領域のサイズが大きくなるに従い、GC時間が長くなっていく欠点がある。この問題に対処するために世代別ガベージコレクションが考案された。
世代別GCでは新領域と古い領域にメモリ領域が分けられ、新規に作成されたオブジェクトは、新領域に配置され、新領域がいっぱいになった時点で、新領域内部だけのGCが走る。このGCはメモリ全体に対するGCに比べると当然のことながら低負荷・高速になる。新領域に対するGCを一定回数生き残ったオブジェクトは、古領域に移動し、古領域がいっぱいになった時に、初めて全てのメモリ領域を対象とするFULL GCが行われる。
PostScript
PostScript（ポストスクリプト）は、アドビシステムズが開発している、1984年に発表したページ記述言語。
スタック指向型のプログラミング言語で、様々な計算・処理と共に描画命令を実行することができる。事前にデータをスタックに格納し、後の命令がデータを処理するというモデルで実行される。そのために記述法が逆ポーランド記法で一貫しており、名前は「追伸」の英語「post script」に後置記法といった意味を掛けている。PostScriptは1985年にアップルコンピュータのレーザープリンター、LaserWriterに採用された。モトローラ68000プロセッサと1.5メガバイトのRAMを搭載したこのプリンターは、プリンターでありながら当時のパーソナルコンピュータと同等の計算能力を持ち、それ自身が PostScript インタプリタを実行してページを生成した。同じ年、ライノタイプによりPostScriptを採用したイメージセッタが発表された。
当時はコンピュータとプリンター間の通信速度の遅さが、印刷物の品質向上のネックになっていた。しかし、プリンター自身に高い計算能力を持たせて、プログラミング言語を実行するという大胆な発想により、一気に問題は解決された。PostScript以前は、伝統的な手法より品質が劣るとされてきた電子印刷が、一気に商業印刷のレベルでも使われるようになり、今日では当たり前になっているDTPが普及するきっかけとなった。
後に印刷以外の用途でも使われ、ワークステーションである「NeXT」は、描画エンジンとしてDisplay PostScriptを採用していた。
今日では、パーソナルコンピュータの性能が上がると同時に、コンピュータ・プリンター間の接続速度が向上したため、個人レベルでパーソナルコンピュータにPostScriptインタプリタを搭載し、生成されたイメージをプリンターに送るということも行われる。
ほとんどは、レーザープリンターに実装されている。「PSプリンター」と呼ばれ、Macintoshの標準プリンターであり、Windowsでも利用されることがあるが、アドビシステムズへのライセンス料が高額なためか、価格が数十万 - 百万円以上と一般のレーザープリンターに比べ高価で、専らDTP用途に限られている。
ソフトウェアによる実装では、アドビシステムズからライセンスを受けたラスターイメージプロセッサ (RIP) がエプソンなどいくつかのメーカーから自社製プリンターのために販売されていたが、PSプリンターの価格低下もあり、あまり普及していない。なお互換フリーソフトウェアとしてGhostscriptがある。
以下の内容をPostScriptプリンターに送信すると、文字列「Hello World!」が印刷される。
以下の内容をPostScriptプリンターに送信すると、長方形と文字列が印刷される。また、テキストファイルとして保存し、Adobe Illustratorなどで開くこともできる。
逆ポーランド記法
逆ポーランド記法（ぎゃくポーランドきほう、）は、数式やプログラムの記法の一種。演算子を被演算子の後にすることから、後置記法 (Postfix Notation) とも言う。
その他の記法として、演算子を被演算子の中間に記述する中置記法、前に記述する前置記法（ポーランド記法）がある。
逆ポーランド記法でも、演算子早出し逆ポーランド記法 ERP(early-operator reverse Polish notation)と、演算子遅出し(late-operator)逆ポーランド記法 LRP の分類があり、特に演算子早出し逆ポーランド記法は「その記号の配列順を些かも崩さずに和文に移せる」という特徴がある。
名称の由来は、演算子と被演算子の順序がポーランド記法の逆になっていることによる（「ポーランド記法」自体の由来についてはポーランド記法の記事を参照のこと）。
例えば、「3 と 4 を加算する」という演算を、一般的に数式の表記に用いられる中置記法で記述すると、以下のようになる。
一方、逆ポーランド記法では、加算を表す演算子 + を、被演算子である 3 と 4 の後（右）に置いて、以下のよう記述する。
逆ポーランド記法による表現は日本語などSOV型の言語の語順とよく似ており、上式であれば「3 と 4 を加算する」とそのままの順序で読み下せる。逆ポーランド記法を使うForthの影響を受けているプログラミング言語Mindでは、上式を「codice_1」と記述する。（しかし、「1を 2から 引く」と「1から 2を 引く」で破綻する。以上のような類似は「たまたま一致する場合もある」だけに過ぎず、深入りするならきちんと言語学と日本語学や言語類型論を基礎から押さえる必要がある）
もう少し複雑な例として、中置記法による以下の式は、
逆ポーランド記法で記述すると以下の通りとなる。
つまり、逆ポーランド記法では後で使われる演算子ほど、右に位置することになる（ポーランド記法では逆になり、左に位置する演算子ほど後で使われる）。ちなみに上式を日本語で読み下すと「3 と 4 を足したものに 1 から 2 を引いたものをかけ合わせる」となる。
その他、逆ポーランド記法の特徴として括弧の使用法や区切り文字の必要性などがあるが、これらについてはポーランド記法と同様のため、そちらの項を参照のこと。
元々、逆ポーランド記法はポーランド記法をコンピュータでの利用に適した形に改変したものである。
逆ポーランド記法を使えば、式の計算をする（評価）には、先頭からひとつずつ順番に記号を読み込み、その記号が演算子以外であればスタックに値を積み、演算子であればスタックから値を取り出して演算し結果をスタックに積む、という簡単な操作の繰り返しだけでよい。そのため、プログラミング初心者の練習課題として、逆ポーランド記法の電卓を作ることがよく行われる。
前述の手順であれば、スタックに積むのは値（たとえば後述する例では整数値）だけである（例を見て確認されたい）。もしこれが他の順序だったとしたら、演算子に相当するものを記憶するか、順番に読むだけでは済まず行きつ戻りつするか、などしなければならない。
プログラミング言語にForthやPostScriptなどのこの記法を採用したものがある。
ヒューレット・パッカード社の電卓（HP-35など）が有名で、他いくつかの電卓（特に関数電卓に採用がある）にもあるが、逆ポーランド記法順による入力方法を採用している電卓がある（近年の関数電卓のような数式入力ではなく、計算機械としてスタックモデルであり、それを直接操作しているという形なので、厳密なことを言うと逆ポーランド記法「順」ということになる）。
（このような動作をベースとしている計算モデルやコンピュータを、スタックマシンと言う）
例題として以下の式を考える。スタックの他に1個のアキュムレータを持つ計算機だとする。
[]はスタックの内容。左から右に積む。最初は空である。このように
だけで計算動作が可能である。
スタックトップの直接演算が可能な構造ならば、例えば最初の部分は
と簡略化される。
OS
固有名詞として、
また創作物に登場するものとして、
Clean
（クリーン）は、プログラミング言語の一つで、純粋関数型言語である。 とよく似ている。
により、参照透過性を保ちつつ、ファイルの破壊的な更新などができる。これは、参照透過性を保つためには値を複製した上で結果として返す必要があるが、その後複製元を二度と使用しない（参照しない）ことが保証できるのであれば、わざわざ複製せずとも直接破壊的に値を更新しても構わない、という考え方に基づく。例えば、変数aに1を加算するには
のようにして、以降a2を使用する。もし今後もa = 1という前提で使用するならばこの方法しかないが、そうでなければaは無駄になる。しかし、プログラマはa = 1を二度と使用しないとわかっていても処理系にはわからない。それを処理系に知らせる手段が一意型（一意性型属性）である。処理系がa = 1という定義を二度と使用しないとわかりさえすればa2は不要となり、aを破壊的に更新していけばよい。無論a = 1であることを期待してaを使用すると期待通りに動かなくなるが、それは最初に処理系と交わした約束を破ったということにほかならない。つまり、aの管理はプログラマが責任を持って行うことになる。
コンシューマーゲーム
コンシューマーゲーム（英:console game）とは、市販されている家庭用ゲーム機でのプレイを前提として作られるコンピュータゲームを指す用語。「家庭用ゲーム」とも呼ばれる。
コンシューマーゲーム、およびコンシューマーゲーム機とは、消費者（コンシューマー）である個人や一般家庭が直接購入（BtoC）するという意味で名付けられた和製英語で、英語ではそれぞれ「コンソールゲーム（）」「ゲームコンソール（）」と呼ばれる。
据え置き型のテレビ接続型ゲーム専用機（テレビゲーム）だけを指す言葉として用いられる場合もあるが、携帯型ゲームも含む場合も多い。企業が購入し運営する形態（BtoB）のアーケードゲーム（業務用向けゲーム）は含まれない。かつてはパソコン等、汎用のコンピュータ用のゲームソフトは含めないのが普通であったが、1990年代から2000年代にかけてのパソコンの一般家庭への最終的な普及（いわゆる「ラガード」層までへの普及）や、近年のスマートフォンの発展などもあり、ゲームアプリ（モバイルゲーム）やパソコンゲームなども含める者も居るようである。1972年のマグナボックスによる「オデッセイ」が、世界初の「コンシューマーゲーム機」スタイルの市販製品とされている。この当時はゲームソフトをハードウェアに内蔵した機種しかなく、1つのゲーム機では内蔵されたゲームしかプレイできなかった。しかし、アタリの「Atari 2600」に代表されるゲーム機とゲームソフトを物理的に分離し、ゲームソフトをロムカセットで供給することが可能になると、1つの機種でもロムカセットを交換すれば別のゲームをプレイできるゲーム機が登場した。これが大ヒットしたことによりゲームソフトの販売市場が形成され、ゲーム機は爆発的に普及することとなった。日本では1983年の任天堂による「ファミリーコンピュータ」の影響が大きく、その後も「ゲームボーイ」「スーパーファミコン」と海外でも大成功を収めた。また、クローズドだったビジネスモデルも変化し、マルチプラットフォーム化やプラットフォームの枠を越えたクロスプレイも増えた。
主な日本国内で見るゲームソフトの供給媒体と対応ゲーム機としては、以下の通りである。インターネットインフラの発達に伴い、追加コンテンツとして利用されるダウンロードコンテンツやデジタル配信（ダウンロード販売）、クラウドゲーミングで提供されるストリーミングもある。
ドリームキャストのインターネット（ウェブブラウザ）やPlayStation 2のDVD-Video再生機能が付いていたことをはじめ、デジタルカメラの画像表示やビデオ・オン・デマンドなどのAV機能を搭載するようになった。ハードディスク搭載DVDレコーダーとしての機能を持つPSXのように、家電製品の色彩を帯びた製品も珍しくなくなった。また、家庭用ゲームはゲーム専用機と呼ばれることもあるが「優れたUIを持つ多機能な総合的なエンタテインメント機器」としても提唱された。欧米ではHuluやNetflixなどセットトップボックスやスマートテレビとして利用された。
広義においては、家電製品でもある。ゲームを含む家電製品のカテゴリーとして、娯楽家電（情報娯楽家電ないしデジタル家庭電化製品とも）という分野がある。電気（→電力）を消費して娯楽を提供する装置であり、家庭内にあるために電気保安上の制約として電気用品安全法の適用対象となっているが、2006年4月からはPSEマークの無いものを発売できないという規制が、段階を追って発効されている。
弐瓶勉
弐瓶 勉（にへい つとむ、1971年2月26日）は日本の漫画家。男性。福島県郡山市出身。
代表作は『BLAME!』、『シドニアの騎士』。
福島県立郡山北工業高等学校を卒業後、上京し現場監督の見習いや施工図の作成など建築関係の仕事に就くが、組織の一員として働くことに向かないと感じ退職。単身渡米し絵の勉強をしながら1年ほど日本の出版社へ漫画を投稿するもデビュー出来ないまま帰国。1995年にアフタヌーン四季賞夏のコンテストで短編作品の『BLAME』が審査員（谷口ジロー）特別賞を受賞。その後、髙橋ツトムの専属アシスタントを5ヶ月ほど経験し、1997年より『月刊アフタヌーン』で長編作品『BLAME!』の連載を開始。
2009年から連載を開始した『シドニアの騎士』では、雑誌連載第2話より用語の説明やあらすじを書いたページが用意された。複数の作品において、「東亜重工」という企業や「奇居子（がうな）」と称される存在をスターシステムなガジェットとして使用している。「東亜重工」は、自身がデザインしたグッズのロゴや、スタンド花の贈り主名、他作家とのコラボレーション企画、自身が関わった有限責任事業組合の名称などに利用している。
海外での評価が高くエンキ・ビラルなどから賞賛を受けている。村上隆によるアート展『「SUPER FLAT」at 渋谷パルコギャラリー』（2000年）にもイラストを出品した。また、単行本『シドニアの騎士』第2巻では椎名誠が帯文を寄せた。
原稿にはコピックマルチライナーと筆ペンを使用（単行本『ABARA』発売時点）。カラー原稿は初期にはアクリルを使っていたが、『BLAME!』中期よりデジタル環境（フォトショップ）に移行した模様。また『BIOMEGA』や『シドニアの騎士』では、作画時の参考資料として登場メカの立体模型を自作している。背景にまで個性を出せるとしてアシスタントは使っていない。
『シドニアの騎士』以降、Twitterのアイコンや自画像にクワガタを使用している。
『シドニアの騎士』第11巻からは赤松健が提唱している同人マークを赤松以外の著作物では初めて付けるなど、常識範囲内の二次創作についても寛容な姿勢を見せている。
『シドニアの騎士』で2015年に第39回講談社漫画賞・一般部門を、2016年に第47回星雲賞コミック部門を受賞。
影響を受けた作品として、『AKIRA』、『風の谷のナウシカ』、『遊星からの物体X』などをあげている。
Mach
Mach（マーク）は、カーネギーメロン大学のリチャード・ラシッド教授（実際の実装はアビー・テバニアンが中心）らの Mach プロジェクトにより開発されたマイクロカーネルタイプのオペレーティングシステム (OS)。名前は「複数非同期通信ホスト」を意味する英語「」に由来している。
1980年代中頃、アメリカ国防総省高等研究計画局によって開発されていた実験用マルチプロセッサコンピューター用のOSをアメリカ国防総省に提案、採用されたことにより 1985年から Mach の開発は始まった。当初はスーパーコンピューター・ワークベンチ・プロジェクト（）と呼ばれていた。
当時、米国の研究機関で主に用いられていた 4.2BSD UNIX の設計は、古く効率の悪い仮想記憶機構、マルチプロセッサマシンに対して非効率な構造、移植性の悪い冗長なコードなど、当初の UNIX では想定していない様々な機能をカーネルに追加したため、非常に見通しの悪い構造となっていた。これを解決することがMachの目的であった。これらを実現することを目標に開発が行われた。
当初から 4.3BSD UNIX と互換であることが決定されていたこともあり、4.3BSD のカーネルソースコードを元に修正を加えることで実装を行った。実際には3.0からがマイクロカーネルであり、Mach 2.5まではマイクロカーネルではない。リチャード・ラシッド教授が1991年にマイクロソフトへ移籍した後も1994年までカーネギーメロン大学でMachプロジェクトは続いた。以後、Machの開発はユタ大学のMach 4 プロジェクト、 の Hurd プロジェクト、カーネギーメロン大学の ARTプロジェクトなどに引き継がれていった。ユタ大学で Mach 4として分散環境を考慮したスレッドおよびメッセージの改良、Linux デバイスドライバインターフェースの実装を行った。FSF ではこの Mach 4をベースに改良を加え、GNU Mach として公開している。ARTプロジェクトでは分散リアルタイムOS実現のため、実時間駆動型スケジューラなどが Mach に組み込まれ、 として公開された。これらの研究開発は Mach のみならず BSD にもフィードバックされ、仮想記憶システムを含むいくつかの機能は 4.4BSD Lite にも利用されている。これらの Mach 生まれの基本概念は、その後の UNIX のみならず、数多くの OS に多大な影響を及ぼした。
この新しい OS の名前をどうするのかという雑談の中で出た MUCK () というアイディアを、リチャード・ラシッド教授の同僚のイタリア人 Darlo Giuse が Mach と聞き間違えたことに由来する。最終的にはコインの裏表で決定した。従って原則英語読みの「マーク」という発音が正しい。
GNU Hurd
GNU Hurd（グヌー ハード）は、GNU Mach上で動作し、オペレーティングシステム (OS) の機能を提供するサーバ群。GNUプロジェクトによって開発されている。
Hurdはカーネルと説明されることが多いが、厳密にはマイクロカーネルであるMachと、その上で動くサーバ群であるHurdの組合せによって、一般的なカーネルのサービスを提供する。
Hurdは、「Hird of Unix Replacing Daemons.」の頭文字であり、さらにHirdは、「Hurd of Interfaces Representing Depth.」の頭文字である。また、「herd of gnus」（ヌーの群れ）とも掛けている。
リチャード・ストールマンが提唱し、1990年から開発が始まった。UNIX代替品の開発を目標とするGNUプロジェクトにとって、カーネルに相当するHurd（及びMach）の開発は最重要課題とも言えるが、その開発スピードは遅く、2011年現在でも正式版のリリースには至っていない。また、Hurdを採用したディストリビューションとして、Debianによる開発版が存在するが、これについても公式版のリリース時期は未定である。
開発の遅れにより、UNIX互換のフリーなカーネルとしては、GNUプロジェクトによるものではないLinuxがデファクトスタンダードとなっている。Linuxとの開発スピードの違いについて、エリック・レイモンドは『伽藍とバザール』で、カテドラル方式（伽藍方式）とバザール方式の違いによると主張している。一方、ストールマンは、開発の遅れはマイクロカーネルのデバッグが予想以上に難しかったためであり、LinuxがHurdに比べ早く開発できたのは、Linuxがモノリシックカーネルであることによるとし、自分の戦略的なミスであったと述べている。
特に断らない限りGNUプロジェクト自身によるドキュメントを出典とする。
1986年2月、リチャード・ストールマンがGNUの公式カーネルとしてマサチューセッツ工科大学で開発されたを使用すると表明し、同年12月までにフリーソフトウェア財団（以下FSF）はTRIXの改良を開始した。
1987年〜1988年ごろ、FSFは自分でTRIXを改良するよりも、別の人の手によるカーネルを使いたいと考え始める。当時の候補としてはTRIXを改良し続けることの他にカリフォルニア大学バークレー校で開発されたspriteを使うこと、そしてカーネギーメロン大学で開発され後に公式カーネルとなるMachを使うことがあった。
1990年、Machが4.3BSDに関する部分をカーネルからユーザランドへ除出することでGNUの再配布ライセンスに適合するようになると、FSFはMachの上で動くHurdの開発を開始した。ここにMachがGNUの公式カーネルとなった。
1994年4月にブートができ、ファイルシステム、認証サーバ、initなどを動かすことに成功する。同年7月にはemacsを、11月にはgccを動かすことにも成功した。
1996年4月に、バージョン0.0（テスト版）のソースコード及びi386アーキテクチャ上で動くバイナリが公開される。
1997年6月、他のGNUソフトウェアと組み合わせて完全なOSとして利用できるバージョン0.2がリリースされた。またDebianプロジェクトによるコンパイル済みバイナリDebian GNU/Hurdも配布されている。しかし、製品レベルのシステムと比べて期待されるようなパフォーマンスや安定性を達成できていない状態であり、現在も開発中で正規版をリリースするには至っていない。
真鍋昌平
真鍋 昌平（まなべ しょうへい）は、日本の漫画家。神奈川県茅ヶ崎市出身。
小学校の頃に「ドラえもん」を読んで感動し、漫画家を目指す。1993年に渋谷パルコのフリーペーパー『GOMES』主催のGOMES漫画グランプリで「ハトくん」がしりあがり寿賞を受賞しデビュー。その後、グラフィックデザインのアルバイトを経て、1998年に「憂鬱滑り台」がアフタヌーン四季賞夏のコンテストの四季大賞を受賞し再デビュー。2000年より『月刊アフタヌーン』に「スマグラー」「THE END」を連載する。
2004年より『ビッグコミックスピリッツ』で「闇金ウシジマくん」を連載中。同作品は社会の底辺にいる人々の生活や心理を克明に描き注目を集め、第56回（平成22年度）小学館漫画賞一般向け部門を受賞。
デビュー以来、八方塞がりの人間を主眼に置いた作品を描き続けている。過剰な暴力表現と繊細な心理描写とが同居する特異な作風である。絵柄では吹き出しの中に入れた独特の擬音（「ニギ･･･ニギ･･･」など）により、人物の動作音と周囲の喧噪感を醸し出すことが多い。これに対比させるように陰影を際立たせた静寂な一枚絵によって、人物の絶望感を出す手法を用いている。
ユーザインタフェース
ユーザインタフェース（, UI）または使用者インタフェースは、機械、特にコンピュータとその機械の利用者（通常は人間）の間での情報をやりとりするためのインタフェースである。ユーザインターフェース/ユーザインタ(ー)フェイス/ユーザーインターフェ(イ/ー)スなどの表記ゆれが見られるが、本記事では「ユーザインタフェース」で統一する。ユーザインタフェースは以下の手段を提供する。
システムを使う場合、ユーザーはそのシステムを制御でき、システムの状態を知ることができる必要がある。例えば、自動車を運転する際、運転手はハンドルを操作して進行方向を制御し、アクセルとブレーキとシフトレバーで速度を制御する。運転手は窓を通して外界を見ることで自動車の位置を把握し、速度計で正確な速度を知ることができる。自動車のユーザインタフェースは以上のような機器群で構成されており、全体として自動車の運転に必要なものを全て提供している。
ユーザインタフェースという語は、機械類等とそれの利用者、という関係を前提としている所がある。利用者という立場よりもより一般的に人間をとらえ、またそれと対峙するのが機械であることを意識・強調した語としてはヒューマンマシンインタフェース（HMI）がある。
ユーザーの種類によって異なるユーザインタフェースが用意されることも多い。例えば、図書館のシステムは、一般利用者向けの「とっつきやすさ」を重視したユーザインタフェースと、館員のための熟練を前提としたユーザインタフェースを持っているであろう。
場合によっては、コンピューターはユーザの振る舞いを観察し、特定のコマンドを入力しなくても何らかの反応を返すことがある。肉体の各部分の動きを追う手段が必要とされ、頭部の位置を把握するセンサーや視線の方向を把握するセンサーが実験的に使われている。これらは没入型インタフェースと呼ばれるものと深く関係している。
ユーザインタフェースのデザインは、ユーザーの入力に要する労力の量や出力を解釈するのに要する労力の量、さらには使い方の学習にかかる労力に深く関わっている。ユーザビリティ (usability)とは、特定のユーザインタフェース設計でユーザーの心理学的側面や生理学的側面をどの程度考慮しているかを測り、またそれによってそのシステムを利用する際の効率/効果/満足度を測る尺度である。
ユーザビリティは主にユーザインタフェースの特性だが、製品の機能そのものとも関係している。それは、ある製品が意図された目的に対して対象ユーザーによってどの程度効率よく、効果的かつ満足して使われるかを示すと同時に、利用時の状況から生じる要求を考慮しているかどうかにも関係する。これらの機能や特徴は常にユーザインタフェースの一部とは限らないが、製品のユーザビリティの重要な要素である。
UIデザインのための原則の中でも、や、ヤコブ・ニールセンによるものは最も著名である。国家試験である情報処理技術者試験でも、2010年に「ヤコブニールセンのユーザーインターフェースに関する10か条のヒューリスティックス」として出題されている。シュナイダーマン、ニールセン共にその原則に「一貫性の保持」や「エラーの防止」が含まれ、同じでなくとも類似したものも含まれている。
コンピュータプログラムのユーザインタフェースとは、プログラムがユーザーに提示するグラフィカルな情報、テキストによる情報、音声による情報と、ユーザーがプログラムを制御するときに使う制御シーケンス（キーボードによるキー押下、マウスの動き、タッチパネルにおける選択など）を指す。以下ではプログラム（ソフトウェア）についての他、デバイス（ハードウェア）等についても触れる。
2008年現在、ユーザインタフェースには主に以下のような種類がある。その他のユーザインタフェースの種類として、以下のものがある。
ユーザインタフェースの歴史は、支配的なユーザインタフェースの種類によって以下のように分けることができる。
1990年代以降に勃興したユーザインタフェースとして、以下のものがある。
ユーザインタフェースにおけるモダリティとは、入出力に使用されるコミュニケーションの経路である。例えば、
ユーザインタフェースは複数の冗長なモダリティを備えることがあり、ユーザーがいずれかを選択して使うことができるようになっている。
一方、モードはこれとは異なる概念で、プログラムの状態が異なると同じ入力を与えても異なる結果を生じることを意味する。モードを多用するとユーザーは常に現在の状態を覚えておく必要があるため、ユーザビリティの低下を招く。
小池田マヤ
小池田 マヤ（こいけだ まや、1969年5月4日 - ）は、日本の漫画家。山口県光市虹ヶ丘生まれ、大阪府出身。京都市立芸術大学版画科卒業。女性。
本名「山田佳子」（やまだけいこ）。逆に読むと「こいけだまや」となる。
専門学校での非常勤講師経験あり。
物性物理学
物性物理学（ぶっせいぶつりがく）は、物質のさまざまな巨視的性質を微視的な観点から研究する物理学の分野。量子力学や統計力学を理論的基盤とし、その理論部門を物性論（ぶっせいろん）と呼ぶことも多い。これらは日本の物理学界独特の名称であるが、しばしば凝縮系物理学に比定される。狭義には固体物理学を指し、広義には固体物理学（結晶・アモルファス・合金）およびソフトマター物理学・表面物理学・物理化学、プラズマ・流体力学などの周辺分野を含む。
18世紀以前において、物理学は物体の運動や天体の運行など解析学や幾何学によって説明できる分野を中心としていた。これに対して化学は物質の性質をあるがままに、すなわち博物学的に記述することが一般的であった。
18世紀に発展した熱力学は、物質としての気体の性質を巨視的な観点から現象論的に体系づけたものであり、これが物性物理学の基礎となった。19世紀後半になると物質の熱力学特性を、より微視的な立場から体系的に記述する統計力学の考え方が本格的に導入され、現象論に過ぎなかった熱力学に基礎付けがなされた。さらに20世紀前半には量子力学が確立し、固体の結晶構造や化学反応を記述できるようになった。
また最近では高分子や液晶、コロイド等を対象とするソフトマター物理学も物性物理学の一つの分野となっている。ただし、日本において物性論あるいは物性物理学という言葉が使われるようになったのは1940年代以降である。
物性理論は、理論モデルを用いた物質状態の性質の理解と関連する分野である。これには、固体の電子状態モデルの研究、例えば、ドルーデモデル・バンド構造・密度汎関数理論といったものが含まれる。また、相転移の物理の理論モデルの研究（例えば臨界指数の理論やギンツブルグ-ランダウ理論など）や、量子場の理論や繰り込み群に使われる数学的手法を応用するといった分野も発展している。現代的な理論研究は、電子状態の数値計算や、高温超伝導・・ゲージ対称性等の現象理解のための数学の利用とも関係している。
物性実験は、実験装置を用いて物質の新しい性質を発見することに関連する分野である。例えば、電磁場を作用させて周波数特性や熱伝導特性、温度を測定したりする。よく用いられる実験手法には、X線や赤外線、非弾性中性子散乱を利用した（広義の）分光法や、熱的応答の研究、つまり比熱や伝導による輸送熱の測定といったものがある。物性物理学の研究は、様々なデバイスへの応用を生み出した。例えば、トランジスタ、レーザー技術、ナノテクノロジーで研究される様々な現象が挙げられる。走査型トンネル顕微鏡の技法はナノスケールでの制御過程に応用され、ナノリソグラフィという研究分野を生んだ。
量子コンピュータの分野では、情報は量子ビット（またはキュービット）で表される。量子ビットは、計算が終わるより前に素早く量子デコヒーレンスを起こしてしまうかもしれない。この重大な問題は量子コンピュータが実用化される前に解決されなければならない。ジョセフソン接合による量子ビット、磁性体のスピン配向を用いたスピントロニカル量子ビット、状態から得られるトポロジカル非アーベルエニオン等、問題解決のためのいくつかの有望なアプローチが物性物理学の分野から提案されている。
物性物理学は生物物理学の分野にも重要な応用がある。例えば、核磁気共鳴画像法は医療診断の現場で広く使用されている。
磁性体
磁性体（じせいたい）とは、平易には磁性を帯びる事が可能な物質であり、専門的には反磁性体・常磁性体・強磁性体の3つに分けられる。このため、すべての物質が磁性体であるといえるが、普通は強磁性体のみを磁性体と呼ぶ。比較的簡単に磁極が消えたり反転してしまう磁性体は軟質磁性体と呼ばれ、そうでない磁性体は硬質磁性体と呼ばれる。
代表的な磁性体に酸化鉄・酸化クロム・コバルト・フェライト・非酸化金属磁性体（オキサイド）などがある。
固体状態のものは磁石として、電動機の界磁として使用される。
硬質材料の円盤上に磁性粉を塗布あるいは蒸着したものがハードディスクドライブ（のプラッタ）に用いられる。柔軟な合成ゴムにまぜて板状にするとマグネットシートになり、液体にコロイド分散させると磁性流体となる。医療分野では強力な磁力を使ったMRIやごく微弱な磁力を利用するSQUIDの形で実用化されている。新しい情報記憶素子のMRAMなどを含むスピントロニクスと呼ばれる科学研究分野が注目されている。
磁性材料の評価は、磁場を正負の磁場に掃引させることに得られるヒステリシスカーブによる解析が主だが、測定結果は、測定対象物の磁気モーメントの平均値となるので、対象物中の磁気相互作用や保磁力の分布に対する情報は得ることができない。近年では、ナノスケールの磁性材料やナノコンポジット磁石などの研究も盛んになっており、磁気特性を評価するためには、平均化された特性だけでなく、材料中の構成物質間の相互作用などについての評価も重要になってきている。
磁化された磁性体を磁化されていない状態に戻すために必要な反対向きの外部磁場の強度。
飽和磁化は材料固有の磁気物性値で強磁性物質を磁界中に置いて磁界を増加させていくとある磁界以上で磁化が一定となる。この磁化を飽和磁化という。温度の上昇とともに、飽和磁化は減少する。
磁石が持つエネルギーの大きさは、B-H減磁曲線上の磁束密度Bと磁場Hの積に比例する。このBxHの最大値を最大エネルギー積(BH)maxと呼び、kJ/m3(MGOe)で表す。
あらゆる形の磁石には磁化と磁化の大きさに比例する反対方向の磁場（反磁場）Hdが必ず発生する。
この反磁場Hdは下記のように表される。
Hd = -NJ （N ： 反磁場係数）
このときＮは反磁場係数と呼ばれ、磁石（磁性体）の形状によって決まる数値で、反磁場係数Nの代わりに、次式で定義されるパーミアンス係数Pcを使って磁場解析をすることが多い。
Pc = -Bd/Hd
一般的には磁化方向と垂直な断面積が大きいほど、また磁化方向の厚みが薄いほど反磁場Nは大きくなり、逆にパーミアンス係数Pcは小さくなる。
パーミアンス係数Pcと反磁場係数Nの間には、次のような関係が成立つ
Pc = （1-N）/N
結晶磁気異方性定数は材料固有の磁気物性値で、磁石特性のひとつである保磁力と関連しており、この定数が大きければ大きいほど保磁力を大きくすることが可能で磁化しやすい結晶軸方向に磁化させるエネルギーと磁化しにくい結晶軸方向に磁化させるエネルギーの差を表す。
着磁済みの磁石は周囲の温度が変化すると、熱エネルギーの関係で磁気特性が変化する。
元の温度に戻ると磁気特性も同じ値に戻る可逆温度変化と温度が戻っても磁気特性が戻らない不可逆温度変化がある。
温度が起因する着磁後の減磁は一般的には不可逆温度変化によるもので、これには初期減磁に起因するものと経時変化に起因するものがある。
可逆温度変化（可逆減磁）、不可逆温度変化（不可逆減磁）については、特にHcjの温度係数に注意する必要があり、磁石形状によるパーミアンス係数も重要な要素になる。
誘電体
誘電体（ゆうでんたい、）とは、導電性よりも誘電性が優位な物質である。広いバンドギャップを有し､直流電圧に対しては電気を通さない絶縁体としてふるまう。身近に見られる誘電体の例として、多くのプラスティック、セラミックス、雲母（マイカ）、油などがある。
誘電体は電子機器の絶縁材料､コンデンサの電極間挿入材料､半導体素子のゲート絶縁膜などに用いられている。また、高い誘電率を有することは光学材料として極めて重要であり、光ファイバー、レンズの光学コーティング､非線形光学素子などに用いられている。
誘電分極 を参照
誘電率は電界の周波数に依存する。これを誘電分散と呼ぶ。
空間電荷分極と配向分極は緩和型、イオン分極と電子分極は共鳴型の誘電分散を示す。
誘電緩和とは、物質の誘電率の瞬間的な遅れのこと。
通常これは誘電媒質（コンデンサ内部や２つの大きな導体表面間など）の変動電場による分子分極の遅れによって起こる。
変動電場による誘電緩和は、（インダクタや変圧器における）変動磁場によるヒステリシスと同様に考えることができる。
一般的に緩和は線形応答の遅れであるため、誘電緩和は期待された線形定常状態（平衡）誘電率について測定される。
物理学における誘電緩和は、誘電媒質の外部からの振動電場への緩和応答を意味する。
この緩和は誘電率の周波数依存性で記述され、理想系ではデバイ式で表される。
一方で、イオン分極や電子分極についての歪みは共鳴型または振動子型のふるまいを示す。
歪み過程の特性は、試料の構造・組成・環境に依存する。
デバイ緩和とは、外部電場が与えられたときの理想的な相互作用のない双極子集団の誘電緩和応答である。
場の周波数"ω"を変数とした複素誘電率"ε"で表される。
ここで"ε"高周波上限での誘電率、、"ε"は静的な低周波誘電率、"τ"は媒質の緩和時間である。
この緩和モデルは物理学者ピーター・デバイによって1913年に導出された。
誘電ロスピークが対称的であるときに用いられる。
誘電ロスピークが非対称的であるときに用いられる。
対称的であるときも非対称であるときも考慮されている。
誘電体には最も基本的な常誘電体および圧電体・焦電体・強誘電体の全4種類に分類され、以下のような性質を示す。なお、強誘電体はこれら全ての特徴を兼ね備え、焦電体は圧電体・常誘電体の性質も示すなど、右の図のような関係にある。
強誘電体以外の誘電体のことをいう。
応力を加えることにより分極（および電圧）が生じる誘電体を圧電体と呼ぶ。
また、逆に電圧を印加することで応力および変形が生じる。これらの性質は圧電性と呼ばれ、ソナーなどに利用されている。
圧電体のうち、外から電界を与えなくても自発的な分極を有しているものを特に焦電体と呼ぶ。微小な温度変化に応じて誘電分極（およびそれによる起電力）が生じる性質が名称の由来である。この性質は赤外線センサなどに応用されている。
焦電体のうち、これを外部からの電界によって方向を反転させることのできるものを特に強誘電体と呼ぶ。
強誘電体の特徴として、分極が外部電場に対するヒステリシス特性を有することが挙げられる。この特性は不揮発性メモリの1種であるFeRAMに応用されている。
半導体素子の微細化、低消費電力化のために、トランジスタのゲート絶縁膜を薄膜化し、静電容量を大きくすることで高性能化を計ってきたが、量子力学的なトンネル効果等によるリーク電流の増大を招き、デバイスの信頼性を著しく低下させている。薄膜化に代わる静電容量を増大させる方法として、ゲート絶縁膜を従来の誘電率が低いSiO系材料から高誘電率絶縁膜（-κ絶縁膜）にする必要性が高まってきている。有望な高誘電率絶縁膜としてHfO系材料などが挙げられる。
同時に半導体素子の微細化は、多層配線間でコンデンサ容量（寄生容量）を形成してしまい、これによる配線遅延が問題になってきている。寄生容量を低減させるために層間絶縁膜を低誘電率絶縁膜（-κ絶縁膜）にする必要性が高まってきている。有望な低誘電率絶縁膜としてSiOF（酸化シリコンにフッ素を添加したもの）、SiOC（酸化シリコンに炭素を添加したもの）、有機ポリマー系の材料などがある。
プロセス間通信
プロセス間通信（IPC、）はコンピュータの動作において、複数プロセス（の複数スレッド）間でデータをやりとりする仕組み。通信プロセスは、同一コンピュータ内で帰結するローカル、ネットワーク接続された別のコンピュータと相互にリモート、などのほかに多様な観点で分類され、スレッド間の通信帯域幅とレイテンシや扱うデータの種類も多種多様である。メッセージパッシング、同期、共有メモリ、RPCなどのメカニズムやプリミティブがある。
プロセス間通信の目的と理由は
であり、「スレッド間通信」や「アプリケーション間通信」と呼ぶこともある。
IPCとアドレス空間のコンセプトの組合せは、アドレス空間分離の基盤である。
IPCとして使われているAPIはいくつかある。プラットフォームに依存しない主なAPIの例を挙げる。
以下は、プラットフォーム固有またはプログラミング言語固有のAPIの例である。