nlp4j/wikipedia huggingface dataset:
統計力学

統計力学は、系の微視的な物理法則を基に、巨視的な性質を導き出すための学問である。統計物理学、統計熱力学) とも呼ぶ。歴史的には理想気体の温度や圧力などの熱力学的な性質を気体分子運動論の立場から演繹することを目的としてルートヴィッヒ・ボルツマン、ジェームズ・クラーク・マクスウェル、ウィラード・ギブズらによって始められた。理想気体だけでなく、実在気体や、液体、固体やそれらの状態間の相転移、磁性体、ゴム弾性などの巨視的対象が広く扱われる。

1. 概要
-----

統計力学では、膨大な数の粒子により構成される力学系を対象とする。この力学系の状態を指定するには、系を構成する粒子数に比例したオーダーの膨大な自由度を必要とする。 一方で、この系を熱力学的に取り扱う場合は、系の状態は巨視的な物理量である状態量によって指定される。熱力学的な状態は温度や圧力、エネルギーや物質量などの少ない自由度で指定されることが知られている。

すなわち、熱力学的に状態が指定されたとしても、力学的には状態が完全に指定されることはなく、膨大な状態を取り得る。統計力学の基本的な取り扱いは、熱力学的な条件の下で力学的な状態が確率的に出現するものとして考える。

系が取り得る全ての状態の集合を Ω}} とする。 系が状態 //ω// &in; //Ω//}} にあるときの物理量は確率変数 //O//}} として表される。 系が状態 ω}} にある確率が //p//}} で与えられているとき、熱力学的な物理量としての状態量 が期待値

として実現される。特に熱力学における基本的な関数であるエントロピーが

で与えられる。比例係数 k}} はボルツマン定数である。

2. 古典統計と量子統計
------------

統計力学で対象とする力学系が、古典力学に基づく場合は古典統計力学、量子力学に基づく場合は量子統計力学として大別される。

力学系の状態の集合である標本空間 Ω}} は、古典論では正準変数により張られる位相空間であり、量子論では状態ベクトルにより張られるヒルベルト空間である。 また、物理量 O}} は古典論では位相空間上の関数であり、量子論では状態ベクトルに作用するエルミート演算子である。

古典論においては位相空間の測度は、1対の正準変数 dp dq}} ごとにプランク定数 h}} で割る約束で、状態に対する和が

で置き換えられる。ここで f}} は力学的自由度であり、3次元空間の N}}-粒子系であれば、1=//f// = 3//N//}} である。

量子論においては、量子数の組 nsub の和

で置き換えられる。

3. 確率分布と統計集団
------------

力学系がある微視的な状態を取る確率は、系を熱力学的に特徴付ける条件によって決まる。巨視的な条件は統計集団と呼ばれ、代表的なものとして

孤立系に対応する小正準集団
等温閉鎖系に対応するする正準集団
等温等化学ポテンシャル開放系に対応する大正準集団が挙げられる。

4. 平衡系の統計力学
-----------

平衡状態の統計力学は、等重率の原理とボルツマンの原理から導かれる。

4.1. ボルツマンの原理
-------------

ボルツマンの原理により微視的な確率分布が熱力学的なエントロピーと関係付けられる。 また、確率の規格化定数として現れる分配関数は確率分布の情報をもっており、完全な熱力学関数と関連付けられる。

4.2. 孤立系
--------

孤立系の確率集団は //q////i//, //p////i//}} で指定される微視的状態が等しい確率をもつミクロカノニカル集団である。これを//等重率の原理//という。

孤立系のエントロピー //S//}} を系の微視的状態の数 //W//}} を用いて定義する。 これをボルツマンの公式という。//k//B}} はボルツマン定数と呼ばれる。W}} はエネルギーが [//E//, //E//+Δ//E//]}} の区間に含まれる微視的状態の数であり、Δ//E//}} は巨視的に識別不可能である微視的なエネルギー差である。つまり W}} は巨視的にエネルギー E}} を持つと見なせる状態の数である。それは等重率の原理により、 で与えられる。ここで、Ω}} はエネルギー E}} における状態密度と呼ばれる量である。このエントロピーを熱力学におけるエントロピーとオーダーで一致させるには、微視的状態を量子力学によって記述する必要がある。その場合の統計力学を量子統計力学といい、古典統計力学は量子統計力学の古典的極限として構築される。

エネルギー E}} の孤立系の物理量 A}} の集団平均 〈//A//〉//E//}} は で与えられる。

4.3. エルゴード理論
------------

充分多数の //N// ≫ 1}} 個の粒子から成る古典的な系での任意の物理量 A}} の時間平均値 Overbar は と与えられる。1=//q////i//}//i// = 1,..., 3//N//, //p////i//}//i// = 1,..., 3//N//}} は系の微視的状態を指定する正準変数である。系が熱力学的平衡状態に達するならばこの値は収束する。このとき長時間平均 Overbar は熱力学に現れる巨視的な物理量 A}} に一致しなければならない。系の微視的状態の分布 //ρ//}} はリウヴィルの定理により時間に関して不変である。 このことから、時間 t}} に依存しない平衡状態において、//q////i//}, //p////i//}} で指定される微視的状態がある確率 d//P//}} を持つ確率集団を考えると物理量 A}} の集団平均 〈//A//〉}} は で与えられる。この集団平均 〈//A//〉}}と時間平均 Overbar が等しいと仮定することを統計力学の原理とする仮説をエルゴード仮説と呼ぶ。ただし、エルゴード仮説は統計力学の基礎付けと無関係という主張も専門家によってなされている。

5. 非平衡系の統計力学
------------

非平衡系では、熱平衡からのずれを1次の微小量とみなしてよい線形非平衡系と、みなせない非線形非平衡系に分類できる．

6. 量子統計力学
---------

7. 場の量子論を用いた統計力学
----------------

7.1. 平衡系
--------

場の量子論を用いた統計力学は、松原武生による温度グリーン関数の導入により始まった。

7.2. 非平衡系
---------

8. 脚注
-----

8.1. 注釈
-------

8.2. 出典
-------

9. 関連書籍
-------

10. 関連項目
--------

熱力学
古典統計力学
量子統計力学
繰り込み群、ユニバーサリティークラス
密度行列
確率論、統計学
チョムスキー

チョムスキー

アヴィーヴァ・チョムスキー  - アメリカ合衆国の歴史学者。
ウィリアム・チョムスキー  - アメリカ合衆国のヘブライ語学者。ノーム・チョムスキーの父。
キャロル・チョムスキー  - アメリカ合衆国の言語学者・教育学者。ノーム・チョムスキーの妻。
ノーム・チョムスキー  - アメリカ合衆国の哲学者、言語学者、思想家。
マーヴィン・チョムスキー  - アメリカ合衆国のテレビドラマ監督。
ソシュール

ソシュール、ド・ソシュール  は16世紀のアントワーヌ・ド・ソシュール  に始まるスイスなどに見られる姓のひとつ。

1. 概要
-----

その祖先のソシュール  家は現在フランス、ナンシー近郊の小村ソシュール  に出自を持ちその地の領主であった。 アントワーヌは宗教改革派に与し弾圧に巻き込まれたことから1551年よりソシュール村を離れ数か所を転々とした後、1556年スイスのローザンヌへと移住し、名の綴りも de Saussure と簡素化した。 その後18世紀よりソシュール家は多くの著名な学者を輩出した。

2. 同姓の著名人物
----------

ニコラ・ド・ソシュール:  は、スイスの農学者。 オラス＝ベネディクトの父。オラス＝ベネディクト・ド・ソシュール:  は、スイスの地質学者・登山家。 モン･ブランを始めとするアルプス登山を広めるとともに、高山の地質や気象などの調査を初めて行った。アルベルティーヌ・ネッケル・ド・ソシュール:  は、スイスの教育者・作家。 いち早く女性に対する教育を推し進めた。 オラス＝ベネディクトの娘。ニコラ＝テオドール・ド・ソシュール:  は、スイスの有機化学者・植物生理学者。 植物が葉から二酸化炭素を取り入れること、光合成に二酸化炭素とともに水が必要なことを示した。 オラス＝ベネディクトは父、アルベルティーヌは姉。アンリ・ルイ・フレデリック・ド・ソシュール:  は、スイスの鉱物学者・昆虫学者。 オラス＝ベネディクトの孫でフェルディナン、レオポル、ルネの父。フェルディナン・ド・ソシュール:  は、スイスの言語学者。 比較言語学のような通時的観点に代えて共時的な観点に基づく言語論を示し、後の構造主義、記号論に大きな影響を与えた。 アンリの長男。 レオポルとルネは弟。レオポル・ド・ソシュール:  は、中国研究者・天文学者・フランス海軍の士官。 フェルディナンは兄、ルネは弟。ルネ・ド・ソシュール:  は、スイスのエスペランティスト・数学者。 フェルディナン、レオポルの弟。

3. 参考文献
-------
映画監督一覧

映画監督一覧は、著名な映画監督の一覧である。

日本の映画監督一覧__NOTOC__あ行 - か行 - さ行 - た行 - な行 - は行 - ま行 - や行 - ら行 - わ行 - 関連項目

1. あ行
-----

ジリアン・アームストロング - オーストラリア
ジェームズ・アイヴォリー - アメリカ合衆国
ビレ・アウグスト - デンマーク
オリヴィエ・アサヤス - フランス
ハル・アシュビー - アメリカ合衆国
イヴァン・アタル - フランス
リチャード・アッテンボロー - イギリス
ケン・アナキン - イギリス
ジャン＝ジャック・アノー - フランス
テンギズ・アブラゼ - グルジア
アレハンドロ・アメナーバル - スペイン
マイケル・アプテッド - イギリス
アーシア・アルジェント - イタリア
ダリオ・アルジェント - イタリア
ロバート・アルトマン - アメリカ合衆国
ロバート・アルドリッチ - アメリカ合衆国
ペドロ・アルモドバル - スペイン
ウディ・アレン - アメリカ合衆国
ダーレン・アロノフスキー - アメリカ合衆国
テオ・アンゲロプロス - ギリシア
ウェス・アンダーソン - アメリカ合衆国
リンゼイ・アンダーソン - イギリス
ポール・トーマス・アンダーソン - アメリカ合衆国
ミケランジェロ・アントニオーニ - イタリア
クリント・イーストウッド - アメリカ合衆国
ピーター・イェーツ - イギリス
アレックス・デ・ラ・イグレシア - スペイン
アレハンドロ・ゴンサレス・イニャリトゥ - メキシコ
アニエス・ヴァルダ - フランス
ジャン・ヴィゴ - フランス
ルキノ・ヴィスコンティ - イタリア
キング・ヴィダー - アメリカ合衆国
マイケル・ウィナー - アメリカ合衆国
マイケル・ウィンターボトム - イギリス
ジョン・ウー - 香港
イドリッサ・ウエドラオゴ - ブルキナファソ
オーソン・ウェルズ - アメリカ合衆国
ジガ・ヴェルトフ - ソ連
リナ・ウェルトミューラー - イタリア
アンリ・ヴェルヌイユ - フランス
ウィリアム・A・ウェルマン - アメリカ合衆国
ヴィム・ヴェンダース - ドイツ
ジョン・ウォーターズ - アメリカ合衆国
ウォシャウスキー兄弟 - アメリカ合衆国
ラオール・ウォルシュ - アメリカ合衆国
ゼキ・ウクテン - トルコ
エド・ウッド - アメリカ合衆国
サム・ウッド - アメリカ合衆国
セルゲイ・ミハイロヴィッチ・エイゼンシュテイン - ソ連
アトム・エゴヤン - カナダ
ブレイク・エドワーズ - アメリカ合衆国
ノーラ・エフロン - アメリカ合衆国
ローランド・エメリッヒ - ドイツ、アメリカ合衆国
ステファン・エリオット - オーストラリア
ビクトル・エリセ - スペイン
ジャン・エルマン - フランス
サディウス・オサリヴァン - アイルランド
フランク・オズ - アメリカ合衆国
フランソワ・オゾン - フランス
ダン・オバノン - アメリカ合衆国
マノエル・デ・オリヴェイラ - ポルトガル
エルマンノ・オルミ - イタリア
メド・オンド - モーリタニア

2. か行
-----

2.1. か
------

王家衛 - 香港
リリアーナ・カヴァーニ - イタリア
ジョン・カーペンター - アメリカ合衆国
セドリック・カーン - フランス
チェン・カイコー - 中華人民共和国
霍建起(フォ・ジェンチィ）
経済学

経済学とは、経済についての学問、経済現象を対象とする社会科学の一領域である。

英語圏では従来political economyを達成するために用いられる物質的な必要条件に密接に関連する個人的および社会的行動の研究である。したがって、経済学とは一方で富の研究であり、他方で、より重要な面であるが、人間の研究の一部である
成田美名子

成田 美名子は、日本の漫画家。代表作は、『エイリアン通り』、『CIPHER』など。血液型はAB型。

青森県青森市出身、青森県立青森東高等学校卒業。1977年、『花とゆめ』掲載の『一星へどうぞ』でデビュー。

登場人物の前向きな姿の描写へのこだわりで知られる。マンガ評論家ヤマダトモコは、成田作品の個性を「明るさへの意思」だと評した。ジャズピアニストの成田教は実弟、作詞家の小笠原ちあきは従姉妹にあたる。

1. 作品リスト
--------

1.1. 漫画
-------

みき&ユーティ
ウェルカム
あいつ
エイリアン通り - 単行本全8巻。
CIPHER - 単行本全12巻。
ALEXANDRITE - 単行本全7巻。
NATURAL - 単行本全11巻。
花よりも花の如く - 単行本既刊21巻。
天の神話 地の神話

1.2. イラスト&エッセイ集
---------------

ナチュラル ローゼス

1.3. イラスト集
----------

成田美名子 キャラクターブック
成田美名子 エイリアン通り1
成田美名子 エイリアン通り2
成田美名子 みき&ユーティ 自選複製原画集
watermark 成田美名子画集
Cipher the collection 成田美名子CIPHER画集
成田美名子
成田美名子
成田美名子
成田美名子
サイファ・ザ・ビデオ・ブック

2. 脚注
-----
機械工学

機械工学とは、機械あるいは機械要素の設計、製作などから、機械の使用方法、運用などまでの全ての事項を対象とする工学の一分野である。

具体的には、熱力学、機械力学、流体力学、材料力学の四力学を基礎とした機械の設計や製作のための技術を学ぶほか、より広義には、機構学、制御工学、経営工学、材料工学、そして近年のコンピュータ化に対応したハードウェア及びソフトウェア技術全般を研究対象としている。

1. 研究対象と分野
----------

航空機--航空工学
自動車--自動車工学
船舶--船舶工学
メカトロニクス--ロボット--ロボット工学
ロケット、人工衛星--宇宙工学
鉄道
医療機器

2. 製造業における機械工学分野のリスト
--------------------

機構学
機械要素
機械材料
金属・合金：鉄合金や非鉄金属も含む
合成樹脂
その他の機械材料
材料力学
塑性力学
弾性力学
金属加工・機械加工
機械工作法
塑性加工
切削加工
加工に伴う処理
工作機械：CAMやNCプログラミングも扱う
設計工学
機械設計法
機械設計製図
機械系CAD
熱力学
熱機関
伝熱工学
冷凍工学
冷蔵機・冷凍機
空気調和工学
空気調和設備
流体力学、水力学
生産工学：工場の自動化、組立機械・実装機械などを扱う
機械力学：運動学や振動工学を含む
その他の工学分野

3. 脚注
-----

4. 参考文献
-------

機械工学便覧
機械工学年鑑

5. 外部リンク
--------

[1]
紫堂恭子

紫堂 恭子は、日本の漫画家。女性。漫画家の牛島慶子は実の妹。

1. 来歴・人物
--------

佐賀県出身。福岡市在住。長崎大学教育学部卒業後、小・中学校の非常勤教師となるが1年半で退職。23歳でまんが家になることを決意し、アルバイトをしながら投稿を続け、1988年、26歳のときに『辺境警備』でデビュー。

1989年からは『グラン・ローヴァ物語』の連載を開始。大学2年生のときに読んだトールキンの『指輪物語』に影響を受けたという、壮大なファンタジー作品として静かな人気を得て、1994年に星雲賞コミック部門賞を受賞。

1990年代後半は『月刊ASUKAファンタジーDX』で活動、2000年代に入ると『MiChao!』『ホラー&ファンタジー倶楽部』といったウェブコミックにも活動の場を広げた。

2. 作品リスト
--------

2.1. 漫画
-------

辺境警備 - 『プチフラワー』、『月刊ASUKAファンタジーDX』、全7巻
グラン・ローヴァ物語 - 『コミックトム』、全4巻
エンジェリック・ゲーム date=2023-03-06 - 『プチフラワー』、既刊3巻
ブルー・インフェリア - 『コミックトム』、単行本書き下ろし、全4巻
オリスルートの銀の小枝 - 『月刊ASUKAファンタジーDX』、全4巻
癒しの葉 - 『月刊ASUKAファンタジーDX』、全8巻
姫神町リンク date=2023-03-06 - 『少女帝国』、既刊2巻
東カール・シープホーン村 - 『コミックアイズ』、『Asuka増刊 紫堂恭子ファンタジーワールド』、上下巻
王国の鍵 - 『月刊Asuka』、全6巻
不死鳥のタマゴ - 『月刊Asuka』、全3巻
聖なる花嫁の反乱 - 『MiChao!』
力学

力学とは、物体や機械の運動、またそれらに働く力や相互作用を考察の対象とする学問分野の総称。

1. 領域
-----

1.1. 一般力学と固体力学
--------------

質点や剛体を対象とする力学を一般力学、連続体を対象とする力学を固体力学という。

1.2. 力学的性質による分類
---------------

力学は研究対象の力学的性質により、弾性学、塑性学、粘弾性学、クリープ力学などに分かれる。

2. 出典
-----

3. 関連項目
-------

古典力学
ニュートン力学
剛体の力学
解析力学: ハミルトン力学、ラグランジュ力学
電気力学
相対論的力学
修正ニュートン力学
連続体力学
弾性体理論
流体力学
熱力学 - 統計力学 - 分子動力学
量子力学/量子論
場の量子論: 量子電磁力学、量子色力学
基礎理論の応用・応用力学
天体力学、恒星系力学
機械力学
材料力学、構造力学、土質力学
水力学、空気力学、大気力学
レオロジー
弾道学
力学系

4. 外部リンク
--------
海外

海外とは、北極・南極・外国など「海洋の外にある場所」。国の外を総じて「国外」と言うが、日本・オーストラリアなど海に囲まれている国は「『国外』を『海外』」と言うのが一般的。

相当する英単語に[[:en:wikt:oversea|oversea}}]][[:en:wikt:overseas|}}]]がある。

「海内」は漢籍には有るが現代では遣われておらず対義語としては「国内」と言うのが一般的。

1. 語彙
-----

「海外」という語と概念は新しいものではない。

漢籍では、『詩経・商頌・長発』に用例「相土烈烈 海外有截」がある。これは中国の文献だが、すでに「外国」の意味で使われている。

日本の文献では、『続日本紀』の天平勝宝5年に用例がある。『続日本紀』は漢文だが、日本語の文献では『九冊本宝物集』 がある。

英語のoverseas}}は古英語にさかのぼる。

2. 近代
-----

現代では地球規模の地理が把握され、20世紀以降は飛行機による海外旅行が確立しているが、五大陸の把握も曖昧だった頃は外国へ渡る手段は陸路か海路しかなく、後者の場合は冒険や探検の意味合いが強かった。15世紀に始まった大航海時代を経て、帆船による航路が確立されると、大洋を隔てた海外への渡航は飛行船へと引き継がれた。上記の歴史的経緯から、ここで言う海とは多くの場合大洋を指し、海の外であっても歴史的観念上では近距離のものは含んでいなかったarticle=海外。

海外という概念は、未知の世界へ乗り出した帆船航路開拓時代までの名残りであり、海外への移動手段の主役が船舶から飛行機へ移った現代でも、多くの名残りがみられる。

3. 各国にとっての海外
------------

3.1. アメリカ合衆国
------------

アメリカ軍では、overseas}}を「Any area of the world other than the [[アメリカ合衆国本土 」と定義している。ここでの合衆国本土 }} とは、アラスカとハワイを除く48州1特別区である。つまり、グアムやプエルトリコなどの属領はもちろん、アラスカとハワイもoverseas}}である。ただし海外勤務章  に関しては、アラスカとハワイは別の規定によって特別扱いされ、アラスカやハワイでの勤務によりOSRが授与されることはない。

まれに、overseas}}をヨーロッパ・アジア・アフリカに限り、南北アメリカは含めないこともある。

3.2. イギリス
---------

単独島国ではないが、島国のイギリスでは、イギリスおよび、アイルランド＝イギリス国境を接するアイルランド以外の国々を指すdate=2023年9月。

3.3. オーストラリア
------------

単独島国のオーストラリアではオーストラリア国外のことを海外という。

3.4. 韓国
-------

本土がユーラシア大陸と陸続きの大韓民国では、ユーラシア大陸内にある他のアジア・ヨーロッパ諸国への訪問は本来であれば「海外」ではないが、北朝鮮との軍事境界線により事実上陸路で他国への移動ができず、他国を訪問する際には航空機や船舶を利用して海を超える必要があることからdate=2014年8月、「海外」という表現が広く使われている。

3.5. 中国大陸
---------

「国外」と同義に使われる。但し、香港・マカオ・台湾を含むかどうかは、場合によって異なる。

3.6. 日本
-------

「国外」と同義に使われる場合と、より狭く「欧米諸国」と同義に使われる場合とがある。

太平洋戦争戦前または戦中は、当時日本領だった朝鮮・台湾・南樺太は海外に含めなかったが、委任統治領にすぎなかった南洋諸島は海外だった。ただし、現代の文献で当時について言及する場合、それらはすべて海外とするのが普通である。

現代では使われないが、「畿内以外」という意味もある。また、『日葡辞書』 には「世界の果て」という説明もある。

4. 関連項目
-------

世界の地理

5. 出典
-----
電磁気学

電磁気学は、物理学の分野の1つであり、基本相互作用のひとつである電磁相互作用に関する現象を扱う学問である。工学分野では、電気磁気学と呼ばれることもある。電磁気学の基礎は、19世紀にスコットランドの科学者ジェームズ・クラーク・マクスウェルが導き出した、マクスウェルの方程式によって定式化された。マクスウェルの方程式は、「物理学における2番目の大きな統一」と呼ばれる。 本稿では学問としての電磁気学全般について述べるにとどめ、より詳細な理論については古典電磁気学、歴史については電磁気学の年表に譲る。

1. 電磁気学の概要
----------

電磁気学は、電磁的現象を考察の対象とする。電磁的現象としては、

磁石が鉄を引き寄せる事
摩擦した琥珀が軽い物体を引き寄せる事
雷や稲妻などが古来から知られている。現在では身の周りの殆ど全ての現象が電磁的現象として理解できる事が知られている。

電磁気学は、これらの電磁的現象を電荷と電磁場の相互作用として説明する理論体系である。 電荷は物質に固有の物理量であり、物質と電磁場との結び付きの強さを表す量である。また、電磁場は時空の各点が持っている物理量であり、物質間の電気的作用と磁気的作用を媒介する。

電磁場としては、スカラーポテンシャルとベクトルポテンシャルの組、もしくは電場と磁場の組を考える。特にこれらの組を区別したい場合には前者を電磁ポテンシャル、後者を電磁場と呼ぶことがある。また、電場・磁場は直接的観測が可能であるが電磁ポテンシャルは観測によって一意に定めることができない。しかし、電場・磁場では説明できないが電磁ポテンシャルでは記述できる現象が存在するので、電磁ポテンシャルの方が本質的な物理量であると考えられている。

電磁場は電荷を帯びた物体に力を及ぼす。この力をローレンツ力という。逆に、荷電粒子の存在は電磁場に影響を与える。電磁場の振る舞い、及び電荷・電流が電磁場に与える影響はマクスウェル方程式で記述される。このローレンツ力とマクスウェル方程式は、電磁気学における最も基礎的な法則である。

マクスウェル方程式の解の1つとして、電磁場の波である電磁波が得られる。電磁波は、波長や発生機構によって呼び名が変わる。電気通信などに用いられる波長の長い電磁波は電波、それより波長が短くなると光、更に波長が短い電磁波は、X線、ガンマ線などと呼ばれる。

2. 歴史
-----

3. 電磁気学関連のSI単位
--------------

4. 他の分野との関連
-----------

4.1. 電気工学
---------

ローレンツ力が作用する導体中の電子の運動をオームの法則で近似し、電場の時間変化による磁場の生成を無視すると、準定常電流の理論が得られる。この理論は、電気工学の基礎理論であり、現代のエレクトロニクスの基礎を成している。電場の強さの単位は[V/m]なので、アンテナの実効長[m]または実効高[m]を掛けると、アンテナの誘起電圧 [V]になる。

4.2. 電磁光学
---------

電磁光学は、光は電磁波であるという立場から光の性質を論ずる学問である。ここでも電磁気学におけるマクスウェル方程式が基礎となっている。

4.3. 量子力学
---------

19世紀末、多くの物理学者は「全ての物理現象はニュートン力学、ローレンツ力、マクスウェル方程式で原理的には説明できる」と考えていた。

しかしその後、ニュートン力学と電磁気学では説明できない現象が次々に発見された。光電効果、黒体放射のエネルギー密度、コンプトン効果は光を粒子であると考えると説明できるが、このことは電磁気学における「光は電磁波である」という描像に反する。また、電磁気学によればラザフォードの原子模型は安定に存在しえないことが結論づけられるが、実際の原子は安定である。

ニュートン力学・電磁気学で記述できないようなこれらの現象を記述しようと努力した結果が、量子力学という全く新しい物理学の誕生である。

1940年代には、電磁気学の量子論である量子電磁力学が完成した。量子電磁力学では、電磁場と荷電粒子の場の両方が量子化され、荷電粒子間の相互作用は電磁場の量子である光子の交換として理解される。

4.4. 特殊相対性理論
------------

マクスウェル方程式によると、真空中の電磁波の速度は慣性系の選び方によらない基本的な物理定数だけで定まる。実際、真空中の光速は慣性系によらず一定であることは実験的に立証されている。特殊相対性理論は、この光速度不変の原理と特殊相対性原理を指導原理として、アインシュタインが構築した理論である。

5. 脚注
-----

5.1. 出典
-------

6. 参考文献
-------

J. D. Jackson "Classical Electrodynamics" 3rd edition Wiley
砂川重信　「理論電磁気学」　紀伊國屋書店
後藤憲一、山崎修一郎　「詳解電磁気学演習」　 共立出版

7. 関連項目
-------

マクスウェルの方程式
電磁場
電磁波
電気工学
静電気学
量子電磁力学

8. 外部リンク
--------
マウンテンバイクレース

マウンテンバイクを使用し、山間部の未舗装路などでおこなわれるのがマウンテンバイクレースである。1990年にクロスカントリーの世界選手権が初開催され、1992年にダウンヒルが加えられた。1996年のアトランタオリンピックからクロスカントリーが公式種目となっている。 レースの種類として代表的なものは以下のようなものである。

1. クロスカントリー
---------------

1.1. クロスカントリー・オリンピック
-------------------------

周回コースを一定距離走り、ゴール順を競う競技。1996年アトランタオリンピックから正式競技となった。オリンピック用に定められた競技形態で、現在のクロスカントリーの公式競技はこれに準拠して開催されている。1周4〜6kmの周回路を使い、エリートカテゴリで1時間30分から1時間45分の競技時間と定められている。 コースには2箇所以上のフィード／テクニカルアシスタンス・ゾーンが設けられる。

1.2. クロスカントリー・マラソン
-----------------------

マラソンクロス、クロスマウンテンとも。 60km～120kmの非常に長いオフロードコースを走破する競技。日本ではセルフディスカバリーアドベンチャー・王滝村が有名。

1.3. クロスカントリー・エリミネーター
--------------------------

下りコースで構成されるデュアルスラローム/デュアル/4Xに対して、登りを含めたコースで競われるのがクロスカントリー・エリミネーターである。4名または6名が横並びで出走し、上位2名または3名が次戦に進むトーナメント形態で行われる。競技距離は500mから1kmで、シングルトラック部分がないこと、180度を超えるコーナーはないこと、スタートとゴールは離されること、などが定められている。自然、もしくは人工の障害物をコース上に設置可能なことが特徴で、コース上に階段や人工的なドロップなどを設けることが出来る。

1.4. クロスカントリー・ショートトラック
---------------------------

2km以内の周回コースで20-60分で競われる競技。2019年からMTBワールドカップでXCOのスタート順を決める予選として採用されている。設定当初はクロスカントリーショートサーキットと呼ばれていた。

2. ダウンヒル
------------

主にスキー場に作られた下り主体のコースを1人ずつ走行し、タイムを競う競技。詳しくはダウンヒルを参照。

3. デュアルスラローム/デュアル/4X
--------------------

かつては平行した2本のコースを用いたレースが行われていたが、観戦の面白さを出すためコース分けを無くした2人で行うデュアルに移行し、更に2002年の世界選手権で4人でいっせいにスタートする4Xが開催されるに至った。デュアルは勝者、4Xは上位二名が次戦に進むトーナメント形式で行われる。なお、コースはジャンプやバンクがいたるところに設置された100～200mほどの下り斜面である。 同じく下り斜面で高度なテクニックが要求されるダウンヒルと共通し、BMXをバックグラウンドとした選手が多い。代表的なライダーとしてはブライアン・ロープス、エリック・カーター、セドリック・グラシアなどが挙げられる。

4. エンデュランス
----------

周回コースを一定時間で何周走行できるかを競う競技。数名からなるチームで交代しながら走行するものも多い。2014年までは日本国内で一般にエンデューロと呼ばれていたが、別にエンデューロという競技が発生したため、耐久を意味するエンデュランスに変更されている。

5. エンデューロ
---------

いくつかの繋ぎ区間とタイム計測区間を走り、タイム計測区間の合計タイムを競う競技。計測区間は基本的に下り基調だが上りを含んでも良いとされる。その為、コース設定により得意とするマウンテンバイクの種類やタイヤなどのパーツが変わるなど、趣味性の高い競技として人気がある。

6. マウンテンバイクオリエンテーリング
--------------------

オリエンテーリング競技の１つとして数えられることが多い。MTB-Oなどと略される。地図をもとに指定された場所を通過するオリエンテーリング競技をマウンテンバイクに乗りながら行うもので、ルートチョイスやナヴィゲーションの能力などが同時に問われる。

7. 脚注
-----

8. 関連項目
-------

全日本マウンテンバイク選手権大会
JCF MTB ジャパンシリーズ
クップ ドュ ジャポンMTB
UCIマウンテンバイクワールドカップ
世界自転車選手権マウンテンバイク
ロードバイクレース
サイクロクロス
トラックレース
シド

シド とは、英語圏の男性名。シドニーの愛称とされている。

1. 英語の人名
--------

シド・ヴィシャス - イギリスのパンクロッカー。
シド・バレット - イギリスのミュージシャン。
シド・ミード - アメリカの工業デザイナー。
シド・マイヤー - アメリカのゲームデザイナー。
シド・ワトキンス - イギリスの医師。
シド  - アメリカの歌手、ジ・インターネットのヴォーカル。

2. 架空の人名
--------

シド- 特撮テレビドラマ『仮面ライダー鎧武』の登場人物。
シド  - コンピュータRPG『ファイナルファンタジーシリーズ』の登場人物。
シド・デイビス - コンピュータRPG『真・女神転生デビルサマナー』の登場人物。
シド・バミック - 特撮テレビドラマ『海賊戦隊ゴーカイジャー』の登場人物。
シド・フィリップス - 映画『トイ・ストーリー』の登場人物。
シド・マイティ・ゼン - 冒険小説『怪盗クイーン』の登場人物。
シド・ミューラァ - テレビアニメ『銀河漂流バイファム』の登場キャラクター。ククト軍少佐。
シド・ムンザ - テレビアニメ『∀ガンダム』の登場人物。∀ガンダムの登場人物#シド・ムンザを参照。
ゼータ星ミザールのシド - テレビアニメ『聖闘士星矢 アスガルド編』の登場人物。神闘士#ゼータ星ミザールのシドを参照。
テレビ番組『セサミストリート』に登場するクッキーモンスターの本名。

3. 架空の名称
--------

S.I.D - 特撮テレビドラマ『謎の円盤UFO』に登場するコンピュータ衛星。
シド - テレビアニメ『機動戦士ガンダムAGE』及び漫画『機動戦士ガンダムAGE 〜追憶のシド〜』に登場する巨大無人モビルスーツ。機動戦士ガンダムAGEの登場兵器#シドを参照。
シド - ゲームボーイアドバンス用ソフト『ボンバーマンストーリー』に登場するキャラボン合成マシーン。ゲーム中に登場する「キャラボン」を合成させ、新たなキャラボンを生み出すことができる。

4. その他の名称
---------

Unix系オペレーティングシステムのDebianにおける、開発中の最新バージョンのコードネーム  。上記のシド・フィリップスにちなむ。
シド - セルビア、ヴォイヴォディナの地名。
シド  - 日本のヴィジュアル系ロックバンド。

5. 関連項目
-------

SYD 
SID 
CID
バンド理論

固体物理学における固体のバンド理論または帯理論とは、結晶などの固体物質中に分布する電子の量子力学的なエネルギーレベルに関する理論を言う。1920年代後半にフェリックス・ブロッホ、ルドルフ・パイエルス、レオン・ブリルアンらによって確立された。なお、価電子帯の最高部と伝導帯の最低部とのエネルギー差をバンドギャップといい、価電子帯での電子が占める最高エネルギー準位をフェルミ準位という

1. 概要
-----

量子力学によると、束縛状態の電子が取りうるエネルギー準位は、特定の準位のみに限定され飛び飛びになる。しかし、固体中の外殻電子は、隣接する原子の電子との相互作用によって、電子の取りうるエネルギー準位の幅が広がって連続的になる。

一方で、電子が取りえないエネルギー準位も依然として存在し、バンドとバンドの間の空隙となる。これをエネルギーバンドギャップという。

ブロッホの定理によると、結晶中の電子の波動関数は、波数と呼ばれる量子数によって指定される。このことが、エネルギーと波数の関係式が原理的に書き下せることを保障している。

エネルギーバンドの特徴は、絶縁体と金属の違いを説明することができる。絶縁体や半導体では、フェルミ準位は価電子帯と伝導帯の間のギャップの中に存在するため、自由電子が存在しない。一方、金属はエネルギーバンドの中にフェルミ準位が存在するため、バンドギャップを超えることなく電子がエネルギーを得ることができる、すなわち、わずかなエネルギーで電子を動かすことができる。このような絶縁体、金属の分類の描像は20世紀の半ばには確立されていた。しかし単純なバンド理論では説明できない絶縁状態も存在し、強相関電子系と呼ばれる分野で研究されている。

2. 方法
-----

ほとんど自由な電子
自由電子
擬ポテンシャル
直交化された平面波
強結合近似
マフィンティンポテンシャル
密度汎関数理論
グリーン関数法
グリーン-久保公式
モット絶縁体
クローニッヒ・ペニーのモデル
ハバードモデル

3. 脚注
-----

4. 参考文献
-------

5. 関連項目
-------

第一原理バンド計算
擬ポテンシャル
LMTO法
NMTO法
APW法
LAPW法
KKR法
PAW法
コヒーレントポテンシャル近似
カー・パリネロ法
第一原理経路積分分子動力学法
実空間法
DFPT法

ko:띠 이론
計算物理学

計算物理学は、解析的に解けない物理現象の基礎方程式を計算機を用いて数値的に解くことを目的とする物理学の一分野である。

1. 概要
-----

計算物理学では、ナヴィエ・ストークス方程式やマクスウェル方程式のような物理学での基礎方程式を計算機を用いてひたすら数値的に解く、という手法が用いられる。

流体力学でのナヴィエ・ストークス方程式やプラズマ物理学での磁気流体方程式のような微分方程式では、解析解が得られることはきわめてまれであり、理論物理学では多くの場合断熱過程や線形性など近似を用いて物理現象を説明する。

ここ100年ほどの計算機とアルゴリズムの発達によって、大胆な近似を導入しなくても、「数値的に解く」ことで物理量のおおよその振る舞いを調べることが可能となった。この計算機で得た数値的な解から新たな物理現象を発見することがこの分野の目的である。この数値的に解くことは一般には「シミュレーション」などと呼ばれる。

この分野は一般には、理論物理学に属すると考えることができるが、一方で、このような数値的な解析を「計算機実験」と称することもあるように、実験的な側面も存在する。このため、物理学における理論、実験以外の第三の分野として、この「計算物理学」を捉える考え方も存在する。たとえば、さまざまな条件下で基礎方程式を解くことで、新たな現象、効果の存在が示唆されることもあり、理論物理学者はそこから理論モデルを構築する。一方で大規模な実験の前にはほとんど必ずシミュレーションが行われており、実験を行う根拠として数値解析の結果が使われる。

2. 脚注
-----

3. 参考文献
-------

夏目雄平、小川建吾、鈴木敏彦、計算物理 、朝倉書店。
Thijssen, Jos . Computational Physics. :en:Cambridge University Press. 978-0521833462}}.
Landau, Rubin H.; Páez, Manuel J.; Bordeianu, Cristian C. . Computational Physics: Problem Solving with Python. John Wiley & Sons.
Landau, Rubin H.; Paez, Jose; Bordeianu, Cristian C. . A survey of computational physics: introductory computational science. :en:Princeton University Press.
Steven E. Koonin, Computational Physics, :en:Addison-Wesley 
T. Pang, An Introduction to Computational Physics, :en:Cambridge University Press 
B. Stickler, E. Schachinger, Basic concepts in computational physics, :en:Springer Verlag . 9783319024349}}.
[1]

4. 関連記事
-------

電磁界解析
物理学
モンテカルロ法
分子動力学法
第一原理計算
数理物理学
MCMC
高性能計算
R言語
GNU Octave
ML (プログラミング言語)

MLは、関数型言語のひとつである。現代風の関数型言語としては歴史が古いほうで、型推論機能などを持つが、デフォルトの評価戦略は遅延評価ではなく先行評価で、書き換えが可能なレコード型を持つなど、いわゆる「純粋関数型」でない特徴や機能を持つ。

1. 概要
-----

自動定理証明系において、証明の道筋を関数として記述するためのメタ言語として生まれたという経緯を持ち、名前はそのことに由来する。構文はISWIMの影響を受けている。

MLによってプログラマに知られるようになった機能に、型推論がある。これは、明示的に型の宣言を行わなくても、データの利用のされ方から、引数や関数の返す型を自動的に推論してくれる機能である。これにより、プログラマの負担が著しく軽減される。

標準としてStandard ML  があり、その実装には、Standard ML of New Jersey  や、東北大学電気通信研究所大堀研究室が開発を進めているSML#などがある。標準以外の仕様の実装としてはOCamlなどがある。詳細仕様は実装ごとに異なっており、各実装での仕様をそれぞれのMLの方言と捉える場合もある。

SMLの詳細とその実装の一覧はStandard MLを参照のこと。

2. 言語仕様
-------

以降の記法や名前はSMLのものである。OCamlなどその他の実装については、SMLと差異があるため各実装の記事を参照のこと。

2.1. 演算子
--------

MLの基本的な演算子は以下の通り

+ 加算, - 減算, * 乗算
/ 実数での除算, div 整数での除算, mod 剰余
:: リストに要素を追加, @ リストの結合
^ 文字列の連結, if～then～else if文

2.2. 関数の定義
----------

MLの関数の定義は fun  = ; と書く。Haskellと同様なパターンマッチングがある。複数のパターンはガード記法 | をセパレータとする。

例として階乗を求めるプログラムを以下に示す。 fun factorial = 1 | factorial = n * factorial; MLでの関数の評価は関数が定義されたときに行われる。このためMLでは関数定義の順序が無視できない。例として fun a = b + x;

fun b = x * x; のような関数がある場合は必ず b の方が先に定義されていないといけない。しかしこの場合はお互いを呼ぶような再帰呼び出しの実装が不可能である。そこでMLではそのような関数のために二つの関数を and でつなぐことによってこれを実装することができる。 例を挙げると fun take = nil | take = x::skip and skip = nil | skip = take; これは take が与えられたリストの奇数番目の要素を返し、skip が偶数番目の要素を返す関数である。

3. 歴史
-----

デイナ・スコットの提案したPPLAMBDAという論理体系を利用し、ロビン・ミルナーはLogic for Computable Functions  という証明のチェックや定理の自動証明をするシステムを実装した。1973年に発足したEdinburgh LCFのプロジェクトにおいて、証明の道筋を関数として記述するためのメタ言語として開発されたのが、MLの最初であり、強い型付きの言語として設計された。

Edinburgh LCFとMLは、1975～76年にエディンバラ大学で実装された。特に1980年代以降、汎用プログラミング言語として多数の機能やライブラリが追加されている。

4. 脚注
-----

4.1. 注釈
-------

4.2. 出典
-------

5. 参考文献
-------

6. 外部リンク
--------

[1]
[2]
[3]
PostScript

PostScriptは、アドビが開発している、1984年に発表したページ記述言語。

スタック指向型のプログラミング言語で、様々な計算・処理と共に描画命令を実行することができる。事前にデータをスタックに格納し、後の命令がデータを処理するというモデルで実行される。そのために記述法が逆ポーランド記法で一貫しており、名前は「追伸」の英語「post script」に後置記法といった意味を掛けている。

1. バージョン
--------

1985年 - PostScript Level 1。初期バージョン。
1990年 - PostScript Level 2。日本語やカラー化対応。
1996年 - PostScript 3。PDF形式への対応。

2. 概要
-----

PostScriptは1985年にApple Computerのレーザープリンター、LaserWriterに採用された。モトローラ68000プロセッサと1.5メガバイトのRAMを搭載したこのプリンターは、プリンターでありながら当時のパーソナルコンピュータと同等の計算能力を持ち、それ自身が PostScript インタプリタを実行してページを生成した。同じ年、ライノタイプによりPostScriptを採用したイメージセッタが発表された。

当時はコンピュータとプリンター間の通信速度の遅さが、印刷物の品質向上のネックになっていた。しかし、プリンター自身に高い計算能力を持たせて、プログラミング言語を実行するという大胆な発想により、一気に問題は解決された。PostScript以前は、伝統的な手法より品質が劣るとされてきた電子印刷が、一気に商業印刷のレベルでも使われるようになり、今日では当たり前になっているDTPが普及するきっかけとなった。

後に印刷以外の用途でも使われ、ワークステーションである「NeXT」は、描画エンジンとしてDisplay PostScriptを採用していた。

今日では、パーソナルコンピュータの性能が上がると同時に、コンピュータ・プリンター間の接続速度が向上したため、個人レベルでパーソナルコンピュータにPostScriptインタプリタを搭載し、生成されたイメージをプリンターに送るということも行われる。

3. 実装
-----

ほとんどは、レーザープリンターに実装されている。「PSプリンター」と呼ばれ、PDFベースとなったMac OS Xより前のMacintoshの標準的プリンターであり、Windowsでも利用されることがあるが、アドビへのライセンス料が高額なためか、価格が数十万 - 百万円以上と一般のレーザープリンターに比べ高価で、専らDTP用途に限られている。

ソフトウェアによる実装では、アドビからライセンスを受けたラスターイメージプロセッサ  がエプソンなどいくつかのメーカーから自社製プリンターのために販売されていたが、PSプリンターの価格低下もあり、あまり普及していない。なお互換フリーソフトウェアとしてGhostscriptがある。

4. サンプルプログラム
------------

以下の内容をPostScriptプリンターに送信すると、文字列「Hello World!」が印刷される。 /font /Courier findfont 24 scalefont def font setfont 100 100 moveto  show showpage

以下の内容をPostScriptプリンターに送信すると、長方形と文字列が印刷される。また、テキストファイルとして保存し、Adobe Illustratorなどで開くこともできる。 %! % macro  ; usage: left top width height RRECT /RRECT { newpath 4 copy pop pop moveto dup 0 exch rlineto exch 0 rlineto neg 0 exch rlineto closepath pop pop } def

100 100 100 150 RRECT .5 setgray fill

100 300 moveto /Helvetica findfont 12 scalefont setfont .5 0 .5 0 setcmykcolor  show

showpage<WtXmlEndTag />

5. 脚注
-----

6. 参考文献
-------

7. 関連項目
-------

Encapsulated PostScript 
Forth
Portable Document Format 
ラスターイメージプロセッサ
NeWS
PostScriptフォント
追伸 - 名称の語源
ページ記述言語
Scalable Vector Graphics  - 他のベクタ形式の画像フォーマット
Windows Metafile  - 他のベクタ形式の画像フォーマット

8. 外部リンク
--------

[1]
[2]
[3]date=2019年10月}}
Mind (プログラミング言語)

Mindは、Forthの影響を受けた、日本語っぽい自然な見掛けが特徴であるプログラミング言語で、いわゆる日本語プログラミング言語のひとつである。しかしあくまで「プログラミング言語としては日本語っぽい」ということであり、自然言語プログラミング言語ではない。

Forthのワードに相当する「単語」の他、全ての識別子に、日本語の文字が使える。Forthと同様に逆ポーランド記法ベースであるが、逆ポーランド記法と日本語の語順の類似性を活用している。

設計者は現在スクリプツ・ラボの片桐明で、MS-DOS時代には同社の前身のリギーコーポレーションからの販売であった。MS-DOS版は今はフリーウェア扱いになっている。2013年現在、Windows版とUNIX版があり、スクリプツ・ラボが販売・提供している。他に、第三者によりUNIX版をB-right/Vで動くようにしたものがある。

また、2012年4月から、2013年現在、Android版の実験が進められている。

1. プログラムの例
----------

外部リンク1のページより、プログラム例を引用する。

このように、基本はForthである。数値以外のほぼ全てに日本語の文字や日本語の記法を使う。たとえば、Forthでは ; である定義の終了が「。」である。以下、Forthと異なる特徴の主なものを挙げる。まず、文字種の違いをトークンの認識に積極的に使う。「12より」を数値の 12 であると認識する。「時刻を得て」のうち識別子として有効なのは「時刻得」であり、平仮名を基本的に無視することで自然な表現を助けている。なお一方、単語の定義の「〜とは」のように、平仮名がキーワード的に重要な意味を持つ場合もある。

Forthと同様に、単語を定義し、それを以降の単語の定義で使用するといったスタイルをとる。すなわち、Mindのプログラムは、Forthと同様に単語の定義の集まりである。また、引数が表面に表れない。他言語のプログラマが最も驚くのはこの点かもしれない。最初は違和感があるが、慣れるとForthと同様に非常に簡潔にプログラムを書くことができる。

インデントなどのレイアウトには見やすさのため以上の意味はない。 同じ外部リンク1のページのある他プログラム例のメイン部分を引用する。

このように、プログラムがそのまま、動作記述のドキュメントとして読めると主張される。

2. 解説
-----

Mindは、従来「日本語プログラミング言語」と主張されたような、既存のプログラミング言語の予約語などを日本語化し、識別子に日本語の文字を使えるようにして、トランスレータを通すようなものとは、日本語プログラミング言語として言語仕様が設計されているという点で、一線を画している。

一見すると、自然言語によるプログラミングと誤解されることがあるが、自然言語処理はおこなっていない。たとえば基本的にわかち書きが必須であり、Mindのルールに従った分割が必要であることが挙げられよう。自然言語でプログラミングするのではなく、基本的には普通のプログラミングと同じようにコーディングする、手続き型プログラミング言語で、ただしForthのようにスタック指向である。

識別子には日本語の文字が使えるが、活用語尾のように見えるひらがなの部分を基本的には無視するという仕様である。これは単純に機械的にやっている。このため、識別子は漢字もしくはカタカナの部分で、識別できるようにしなければならない。ひらがなは無視されるばかりではなく、逆に、単語の定義の「〜とは」のように日本語の助詞に「標識」のような意味を持たせている場合もあり、「3から 2を 引く」と「2を 3から 引く」はどちらも日本語としての直感通り 1 になる。

Mindに限らずForth系一般の特徴であるが、プログラミング中はスタックの使用状況を強く意識する必要がある。特に単語の呼び出し前後のスタックの変化をつかんでいないと、たちまちスタックの状態を混乱させてしまう。また、プログラムを書く時ではなく読む段においては、表面上一見すっきりと見えるのとは裏腹に、その裏側でスタックの状態がどうなっているのかを把握しなければ、デバッグなどができない。Forthでよくおこなわれている、単語の定義にスタックの状態変化を説明するコメントなどは是非付けたいところだろう。

低水準の操作のための単語もありシステム周りの記述も行なえる。クラシックなForthではあまり一般的でないものを、言語仕様に取り入れている点もあり、局所変数や、四則演算が中置記法で書ける数式表現などがある。

Mindが発表される前に、Fifth86という製品があった。Version5までのMindはFifth86で書かれていた。Forthにはたまに見られるが、Fifthはインラインアセンブラの機能を持っていた。Fifthという名称はForthの次、といったようなものである。

MS-DOS時代のVersion5まではインタプリタ的な対話環境と、コマンドライン版と言語中からも使えるコンパイラがあり、この時代のコンパイラは機械語コードを生成していた。1989年からOS/2への移植に備え、この時に「Mコード」と呼んでいる中間表現方式を採用した。UNIXに移植したコードネームS6では、コア部分の実装をアセンブリ言語からC言語に変更し、同時にコンパイラの出力を機械語出力から環境非依存な中間表現のバイナリコードの出力に変更した。これらは評価版リリースであった。UNIX版のVersion7がプロダクトとしてリリースされ、ソースの多くを共通にしたWindows版も同じバージョン番号系列でリリースした。現在は中間表現を実行するコア部分と、Mindで実装されたコンパイラ、さらにWindows版ではGUI版ランタイムと、それらのフロントエンドのGUI環境を提供している。

3. アプリケーション例
------------

ぐるなびの全文検索に2004年5月から使われているスクリプツ・ラボのMindSearchIIはMindで開発をしている。

マイクロソフトウェアアソシエイツから発売されていたMS-DOS向け日本語ワードプロセッサ「キムラ太郎」はMindで実装されていた。

富士通から発売されていた「FM秘書」のソースコードはMindで記述されていた。また、日本語ワードプロセッサ専用機の『OASYS-30シリーズ』のMS-DOS起動システムには、プログラミング言語としてMindが添付されていた。

4. 注釈
-----

5. 外部リンク
--------

name=日本語プログラミング言語 Mind}} 公式ウェブサイト
OS

1. OS
-----

オペレーティングシステム  の略
オープンソース  の頭文字
オプティカル・スタビライザーの略。写真レンズなどに搭載される手ブレ補正機構の一種で、光学的なエレメントの移動により像のブレをキャンセルするタイプを指す。
医療用語で、全生存期間 
サッカーやラグビーフットボールの競技上の概念オフサイド  の略
バレーボールのポジションとして、オポジットスパイカー  の略
Officemen & Students Carの略で「OSカー」。長野電鉄の通勤形電車である0系・10系電車の愛称
オーストリア航空のIATA航空会社コード
自動車のナンバープレートで、国際ナンバーにつけられる地名のひとつ。日本の地名の「大」にあたる
漁船の登録番号において大阪府を表す識別標
ストリップ劇場。「大阪ストリップ」の略とされる。九条OS・新宿OSなど固有名詞として、

オーエス株式会社。阪急東宝グループの映画事業等の企業
[1] - 日本の映像機器メーカー
小川精機株式会社が販売している模型用エンジンのブランド「O.S.」
[2] - 自動車のチューニングパーツを製造・販売するメーカーまた創作物に登場するものとして、

ウィリアム・ギブスン作の「ニューロマンサー」等の小説中にたびたび登場する架空のコンピュータ企業「オノ・センダイ」の、作中での略称
漫画「シャーマンキング」に登場する霊的能力の一種、「オーバーソウル」の作中での略称
オーガノイドシステム。タカラトミーから販売されている玩具シリーズの架空の生物ゾイドに関し、その心臓・脳のような器官を強化するというシステム

2. Os
-----

オスミウムの元素記号 

3. os
-----

オセト語のISO 639-1言語コード

4. オーエス
-------

綱引きの掛け声。フランス語における同様の掛け声「オー・イッス  」に由来するという説も見られる。
オーエス株式会社
オーエス オーエス - 1984年発売の矢野顕子のアルバム。
Clean

lang = 関数型言語enは、プログラミング言語の一つで、純粋関数型言語である。en とよく似ている。

一意型により、参照透過性を保ちつつ、ファイルの破壊的な更新などができる。これは、参照透過性を保つためには値を複製した上で結果として返す必要があるが、その後複製元を二度と使用しないことが保証できるのであれば、わざわざ複製せずとも直接破壊的に値を更新しても構わない、という考え方に基づく。例えば、変数aに1を加算するには のようにして、以降a2を使用する。もし今後もa = 1という前提で使用するならばこの方法しかないが、そうでなければaは無駄になる。しかし、プログラマはa = 1を二度と使用しないとわかっていても処理系にはわからない。それを処理系に知らせる手段が一意型である。処理系がa = 1という定義を二度と使用しないとわかりさえすればa2は不要となり、aを破壊的に更新していけばよい。無論a = 1であることを期待してaを使用すると期待通りに動かなくなるが、それは最初に処理系と交わした約束を破ったということにほかならず、コンパイラの型推論システムはaを一意型に型付けしない。つまり、aの管理はコンパイラの型推論システムが責任を持って行うことになる。

1. 外部リンク
--------

name=Clean}} 公式ウェブサイト
[1]
コンシューマーゲーム

コンシューマーゲームとは、市販されている家庭用ゲーム機でのプレイを前提として作られるコンピュータゲームを指す用語。「家庭用ゲーム」とも呼ばれる。

1. 名称
-----

コンシューマーゲーム、およびコンシューマーゲーム機とは、消費者である個人や一般家庭が直接購入するという意味で名付けられた和製英語で、英語ではそれぞれ「コンソールゲーム」「ゲームコンソール」と呼ばれる。据え置き型のテレビ接続型ゲーム専用機だけを指す言葉として用いられる場合もあるが、携帯型ゲームも含む場合も多い。企業が購入し運営する形態のアーケードゲームは含まれない。

日本では家庭用ゲーム機市場がパソコンゲーム市場を大きく上回り、アーケードメインの企業からみてコンシューマーからパソコン市場が外れ、1988年設立のコンシューマ・ソフト・グループが業界と消費者向けの新作ゲームのプロモーション展示会を開催したことで若い一般プレイヤーにも存在が知られ、団体名のコンシューマソフトが家庭用ゲーム機向けソフトの意味で広まった。

携帯型ゲーム機のゲームボーイが登場すると「家庭用」という言葉がいまひとつ当てはまらず、電子ゲームというとゲーム&ウオッチとの性能差が大きくいためこれも合わず、同じく携帯型のゲームギアは家庭用に該当し得るため細分化した結果、ゲーム機が携帯型と据置型とで区別されるようになったが、据置型は後から命名されたレトロニムと感じられたとみられ、プレイヤーの多くは家庭用を据置型の意味で使った。そして1990年代から携帯型と据置型、個人と家庭向けをまとめて表す「コンシューマー」が使われるようになった。英語のコンソールゲームと同じ意味で単にコンソールの言葉が広まったのは1990年代後半以降にインターネットが普及し始めてからで、オンラインゲームの人気やXboxなど新しい据置型ゲーム機が登場したことで日本国外のゲーム情報も広まるようになったからであったとみられている。2006年に任天堂が過去のハードで発売されたゲームを配信するバーチャルコンソールが登場したことでマニア以外にも個人、家庭用向けゲーム機をコンソールと呼ぶことが広まった。

以上の挙げた言葉はいずれも何かしら難点があり何でも使えるとはいえず、家庭用ゲーム機は携帯型も含むかどうかで注釈が必要で混同すると考えられ、コンシューマーは単にConsumerと訳すと意味が通じず、Consumer Gameでも別の意味にとれる、コンソールはゲームや英語もよく知らない人には意味が分かり難いのである。

2. 分類
-----

テレビゲーム 狭義における典型的な「家庭用」ゲーム機であり、1台で複数人が遊ぶ、1人で遊ぶゲームであっても家族で別々にセーブできる、バラエティーやパーティグッズとしてのゲームで使える、携帯型より大型にできるために比較的高性能にできる、などが挙げられる。バーチャルリアリティ が楽しめる機種や、Nintendo Switchのように携帯型ゲーム機として持ち出せるハイブリッド型もある。 携帯型ゲーム 元来ゲームを「携帯する」という意図の元に市場を開拓していったが、通信機能など個人ごとに所有するゲーム機という方向で市場が広がった。

3. 略歴
-----

1972年のマグナボックスによる「オデッセイ」が、世界初の「コンシューマーゲーム機」スタイルの市販製品とされている。この当時はゲームソフトをハードウェアに内蔵した機種しかなく、1つのゲーム機では内蔵されたゲームしかプレイできなかった。しかし、アタリの「Atari 2600」に代表されるゲーム機とゲームソフトを物理的に分離し、ゲームソフトをロムカセットで供給することが可能になると、1つの機種でもロムカセットを交換すれば別のゲームをプレイできるゲーム機が登場した。これが大ヒットしたことによりゲームソフトの販売市場が形成され、ゲーム機は爆発的に普及することとなった。

日本では1983年の任天堂による「ファミリーコンピュータ」の影響が大きく、その後も「ゲームボーイ」「スーパーファミコン」と海外でも大成功を収めた。また、コンソールゲームのビジネスモデルも変化し、マルチプラットフォーム化やプラットフォームの枠を越えたクロスプレイも増えた。

ドリームキャストのインターネットやPlayStation 2のDVD-Video再生機能が付いていたことをはじめ、デジタルカメラの画像表示などのAV機能を搭載するようになった。ハードディスク搭載DVDレコーダーとしての機能を持つPSXのように、家電製品の色彩を帯びた製品も珍しくなくなった。また、家庭用ゲームはゲーム専用機と呼ばれることもあるが「優れたUIを持つ多機能な総合的なエンタテインメント機器」としても提唱された。欧米ではHuluやNetflixなどセットトップボックスやスマートテレビとして利用された。

4. ソフトの供給媒体
-----------

主な日本国内で見るゲームソフトの供給媒体と対応ゲーム機としては、以下の通りである。

ロムカセット
カード
光ディスク
CD-ROM
LD-ROM
DVD-ROM
GD-ROM
BD-ROM
UMD
独自規格インターネットインフラの発達に伴い、ダウンロードコンテンツやダウンロード販売、クラウドゲーミングで提供されるストリーミングもある。

5. 電化製品として
----------

広義においては、家電製品でもある。ゲームを含む家電製品のカテゴリーとして、娯楽家電という分野がある。電気を消費して娯楽を提供する装置であり、家庭内にあるために電気保安上の制約として電気用品安全法の適用対象となっているが、2006年4月からはPSEマークのないものを発売できないという規制が、段階を追って発効されている。

6. 脚注
-----

6.1. 出典
-------
弐瓶勉

弐瓶 勉は日本の漫画家。男性。福島県郡山市出身。

代表作は『BLAME!』、『シドニアの騎士』。

1. 概要
-----

福島県立郡山北工業高等学校を卒業後、上京し現場監督の見習いや施工図の製図など建築関係の仕事に就くが、組織の一員として働くことに向かないと感じ退職。単身渡米し絵の勉強をしながら1年ほど日本の出版社へ漫画を投稿するもデビュー出来ないまま帰国したが、1995年にアフタヌーン四季賞夏のコンテストで短編作品の『BLAME』が審査員特別賞を受賞。その後、髙橋ツトムの専属アシスタントを5ヶ月ほど経験し、1997年より『月刊アフタヌーン』で長編作品『BLAME!』の連載を開始。

2009年から連載を開始した『シドニアの騎士』では、雑誌連載第2話より用語の説明やあらすじを書いたページが用意された。複数の作品において、「東亜重工」という企業や「奇居子」と称される存在をスターシステムなガジェットとして使用している。「東亜重工」は、自身がデザインしたグッズのロゴや、スタンド花の贈り主名、他作家とのコラボレーション企画、自身が関わった有限責任事業組合の名称などに利用している。

海外での評価が高くエンキ・ビラルなどから賞賛を受けている。村上隆によるアート展『「SUPER FLAT」at 渋谷パルコギャラリー』にもイラストを出品した。また、単行本『シドニアの騎士』第2巻では椎名誠が帯文を寄せた。

原稿にはコピックマルチライナーと筆ペンを使用。カラー原稿は初期にはアクリルを使っていたが、『BLAME!』中期よりデジタル環境に移行した模様。また『BIOMEGA』や『シドニアの騎士』では、作画時の参考資料として登場メカの立体模型を自作している。背景にまで個性を出せるとしてアシスタントは使っていない。

『シドニアの騎士』以降、Twitterのアイコンや自画像にクワガタを使用している。

『シドニアの騎士』第11巻からは赤松健が提唱している同人マークを赤松以外の著作物では初めて付けるなど、常識範囲内の二次創作についても寛容な姿勢を見せている。

『シドニアの騎士』で2015年に第39回講談社漫画賞・一般部門を、2016年に第47回星雲賞コミック部門を受賞。

2. 影響
-----

影響を受けた作品として、『AKIRA』、『風の谷のナウシカ』、『攻殻機動隊』、『遊星からの物体X』などをあげている。

3. 作品リスト
--------

3.1. 連載作品
---------



3.2. 短編作品
---------



3.3. 短編集
--------

ブラム学園! アンドソーオン 弐瓶勉作品集 
新装版 ブラム学園! 弐瓶勉フルカラー作品集 

3.4. 画集
-------

BLAME! and so on 弐瓶勉画集

3.5. その他
--------

Halo Graphic Novel - マイクロソフトのPCゲーム『HALO』の世界観を題材とした、さまざまな作家によるグラフィックノベルのオムニバス作品集。メビウスやサイモン・ビズレーなどが参加しており、弐瓶は唯一の日本人作家として参加した。
BUCK-TICKの新レーベル「Lingua Sounda」のロゴデザインを担当。
大雪海のカイナ - アニメーション作品。原作・キャラクター原案。

4. 書誌情報
-------

弐瓶勉『ブラム学園! アンドソーオン 弐瓶勉作品集』〈アフタヌーンKC〉講談社
2008年9月22日発売
弐瓶勉『BLAME! and so on 弐瓶勉画集』講談社
2003年10月23日発売
共著『Halo Graphic Novel』Marvel Comics
2006年8月9日発売

5. メディア出演
---------

5.1. インタビュー掲載
-------------

電撃ホビーマガジン2013年9月号 弐瓶勉氏が語る『シドニアの騎士』
BookLive!インタビュー『わが生涯に一片のコマあり！』　第三回；弐瓶勉先生

5.2. ラジオ
--------

WEBラジオ シドニアの騎士〜綾と綾音の秘密の光合成〜

5.3. アニメ
--------

シドニアの騎士 第九惑星戦役

6. 脚注
-----

7. 外部リンク
--------

[1]
Mach

Machとは、カーネギーメロン大学のリチャード・ラシッド教授らのMachプロジェクトにより開発されたマイクロカーネルタイプのオペレーティングシステム  を言う。名前は「複数非同期通信ホスト」を意味する英語「en」に由来している。

1. 開発の経緯
--------

1980年代中頃、アメリカ国防総省高等研究計画局によって開発されていた実験用マルチプロセッサコンピュータ用のOSをアメリカ国防総省に提案、採用されたことにより 1985年からMachの開発は始まった。当初はスーパーコンピュータ・ワークベンチ・プロジェクトと呼ばれていた。

当時、米国の研究機関で主に用いられていた 4.2BSD UNIXの設計は、古く効率の悪い仮想記憶機構、マルチプロセッサマシンに対して非効率な構造、移植性の悪い冗長なコードなど、当初のUNIXでは想定していない様々な機能をカーネルに追加したため、非常に見通しの悪い構造となっていた。これを解決することがMachの目的であった。

マルチプロセッサ対応
高価で少ない実メモリを想定するのではなく、巨大なメモリ空間と十分な実メモリを有効利用する
分散システムをサポートし、高速でネットワーク透過なプロセス間通信  をサポート
移植性の高い構造
4.3BSDと完全な互換性これらを実現することを目標に開発が行われた。

2. 歴史
-----

当初から4.3BSD UNIXと互換であることが決定されていたこともあり、4.3BSDのカーネルソースコードを元に修正を加えることで実装を行った。実際には3.0からがマイクロカーネルであり、Mach 2.5まではマイクロカーネルではない。

Mach 1.01986年リリース。研究開発の進捗報告として発表された。新しい仮想記憶とIPCは実装されていたが、タスクとスレッドはまだ実装されていなかった。Mach 2.01988年リリース。タスクとスレッドの実装、いくつかの改善。初期のNeXTSTEPのカーネルとして利用された。Mach 2.5NFS の実装、enのOSF/1のカーネルとして利用された。Mach 3.01989年リリース。マイクロカーネル化。MkLinuxのカーネルとしても使われた。Mach 3.0は、macOSのカーネル//XNU//にも用いられているが、実装はマイクロカーネルではない。リチャード・ラシッド教授が1991年にマイクロソフトへ移籍した後も1994年までカーネギーメロン大学でMachプロジェクトは続いた。以後、Machの開発はユタ大学のMach 4プロジェクト、enのHurdプロジェクト、カーネギーメロン大学の ARTプロジェクトなどに引き継がれていった。ユタ大学で Mach 4として分散環境を考慮したスレッドおよびメッセージの改良、Linuxデバイスドライバインターフェースの実装を行った。GNUプロジェクトではこのMach 4をベースに改良を加え、GNU Machとして公開している。ARTプロジェクトでは分散リアルタイムOS実現のため、実時間駆動型スケジューラなどがMach に組み込まれ、enとして公開された。これらの研究開発はMachのみならずBSDにもフィードバックされ、仮想記憶システムを含むいくつかの機能は4.4BSD Liteにも利用されている。

3. Mach の基本概念
-------------

タスクUNIXのプロセスは計算処理とそれに必要なリソースを一体化しているのに対し、Machは計算処理とそのリソースを分離するとともに、独立に制御できるようにした。タスクはCPU実行時間やメモリオブジェクト、アドレス空間、ポート等のリソースの集合体である。スレッドUNIXのプロセスから、CPU実行時間をリソースとして分離、抽象化したもの。スレッドはCPUの処理単位であり、並列に動作することができる。スレッドは必ず一つのタスクに属し、そのタスクの全てのリソースにアクセスできる。タスクは複数のスレッドを持つこともできる。リソースの保護はタスクを単位として行われるため、UNIXプロセスと異なりメモリ空間などのリソースと直接関連しない。結果としてスレッドの生成や切り換えは高速に行われるとともに、マルチプロセッサにも最適化される。ポート初期のUNIXではパイプ機能が主なIPCの手法であったが、ファイルを抽象化したパイプ機能では、様々な形態のデータの受け渡しを十分に抽象化できなくなっていた。UNIXでは様々なデータの受け渡しを実現するため、様々な方法で拡張を行ったが、Machではそれらを統合して新たにポートという概念を実装した。ポートはデータ受け渡しのために使われる通信チャネルである。構造化されたメッセージを受け渡す枠組みを実現し、ネットワーク越しの通信も含めて抽象化するとともに、高速、効率的なメッセージの送受信が可能となった。メッセージカーネルが管理するIPCのデータオブジェクト。メッセージは複数の型づけされたデータの集まりである。メッセージはカーネルによって管理され、ポートを通じてプロセス間の通信に用いられる。メモリオブジェクトMachはUNIXと異なり、仮想記憶を管理する機能をカーネル内部に実装しているだけではなく、ユーザーレベルにも開放している。ページャが操作するメモリの基本的な抽象概念をメモリオブジェクトと呼ぶ。4.3BSDでは実現できなかったcopy-on-writeやmap-on-referenceといった遅延評価のメカニズムが実装され、効率よくメモリ資源を利用できるようになった。これらのMach生まれの基本概念は、その後のUNIXのみならず、数多くのOSに多大な影響を及ぼした。

4. 読み方
------

この新しいOSの名前をどうするのかという雑談の中で出た MUCK  というアイディアを、リチャード・ラシッド教授の同僚のイタリア人 Darlo Giuse がMachと聞き間違えたことに由来する。最終的にはコインの裏表で決定した。従って原則英語読みの「マーク」という発音が正しい。

5. Machを採用したOS
--------------

OSF/1
NEXTSTEP - Mach用OPENSTEP
GNU Hurd 
MkLinux
macOS , iOS, iPadOS, tvOS, watchOS

6. 関連項目
-------

分散オペレーティングシステム
マイクロカーネル
Berkeley Software Distribution 

7. 脚注
-----

8. 参考文献
-------
DOS

DOS

コンピュータ用のディスク・オペレーティングシステム。
メインフレーム用 - DOS/360、DOS/VSE、z/VSEなど
パーソナルコンピュータ用 - PC DOS、MS-DOS、DR-DOSなど
DoS攻撃 - Denial of Service の略。
dos - 小室哲哉プロデュースの音楽ユニット。「dance of sound」の略。
DOS - オランダのサッカークラブ、FCユトレヒトの前身となったクラブの1つ。
DOS - マテルのカードゲーム。『UNO_』の兄弟作。
Density of statesの略。
『ファイナルファンタジーI・II アドバンス』の北米版のタイトル「Dawn of Souls from Final Fantasy」の略。
真鍋昌平

真鍋 昌平は、日本の漫画家。神奈川県茅ヶ崎市出身。代表作に『闇金ウシジマくん』がある。

1. 来歴
-----

小学校のころに『ドラえもん』を読んで感動し、漫画家を目指す。1993年に渋谷パルコのフリーペーパー『GOMES』主催のGOMES漫画グランプリで『ハトくん』が、しりあがり寿賞を受賞しデビュー。その後、グラフィックデザインのアルバイトを経て、1998年に『憂鬱滑り台』がアフタヌーン四季賞夏のコンテストの四季大賞を受賞し再デビュー。2000年より『月刊アフタヌーン』に『スマグラー』『THE END』を連載する。

2004年から2019年までビッグコミックスピリッツで『闇金ウシジマくん』を連載。同作品は社会の底辺にいる人々の生活や心理を克明に描き注目を集め、第56回小学館漫画賞一般向け部門、第23回文化庁メディア芸術祭マンガ部門ソーシャル・インパクト賞を受賞した。

デビュー以来、八方塞がりの人間を主眼に置いた作品を描き続けている。過剰な暴力表現と、繊細な心理描写とが同居する特異な作風である。絵柄では吹き出しの中に入れた独特の擬音により、人物の動作音と周囲の喧噪感を醸し出すことが多い。これに対比させるように陰影を際立たせた静寂な一枚絵によって、人物の絶望感を出す手法を用いている。

ウシジマくんの中後期まではコメディテイストがあり、どこか笑える債務者などの一人語りや珍妙な振る舞いが作品の魅力でもあった。 ウシジマくん最終章や九条の大罪においてはコメディテイストはなくなり、ハードボイルド一色になっている。

ストーリーに合わせてキャラクターの設定変更を行うことは躊躇なく行っており、こちらはデビュー以来一貫している。

2021年7月に発売された『AV女優ちゃん』第2巻では作者の峰なゆかと対談し、クズな人間に惹かれる理由やモラルについて語っている。

2. 人物
-----

インタビューなどメディアで自分の姿が出る時は、ファッショナブルなサングラスをかけたり、カメラの角度で、素顔を出さないようにしている。ただし初期の頃は、普通に顔出ししている。
Twitterなどでは、激辛カレーが好物と発言している。
生年月日は2016年9月14日放送の『せいこうユースケトーク!』番組内にて45歳と明言。雑誌インタビューや2021年2月26日公開の『朝日新聞デジタル』のインタビューにて1971年生まれと公表されている。2019年には69歳として誤った報道がされた。

3. 作品リスト
--------

3.1. 漫画作品
---------

憂鬱滑り台「四季賞クロニクル」収録
スマグラー
片隅ノ外 - 全6話、単行本未収録
遠くの世界
THE END
暴力ポコペン - 全3話、短編集『青空のはてのはて』に収録
闇金ウシジマくん
アガペー - ヤングマガジン35周年記念企画『BULLET』の読み切り掲載
ピックアップ
九条の大罪

3.2. イラスト
---------

姫君 - 表紙イラスト
遭難フリーター - 表紙イラスト
「その族の名は『家族』」〜「て」改題〜 - イラスト
空気階段第5回単独公演「fart」 - グッズイラスト描きおろし

4. 出典
-----

5. 外部リンク
--------
小池田マヤ

小池田 マヤは、日本の漫画家。山口県光市虹ヶ丘生まれ、大阪府出身。京都市立芸術大学版画科卒業。女性。

本名「山田佳子」。逆に読むと「こいけだまや」となる。

専門学校での非常勤講師経験あり。

1. 作風・特徴など
----------

1991年、大学在学中に芳文社『まんがホーム』8月号「女流新人4コマまんが展」に「愛ラブうずらチャン」で入選。翌月9月号より「すいーとキッチン」の連載が開始された。その後芳文社の各誌に連載を持ち、「僕のかわいい上司さま」などで再録4コマ誌『まんがタイムコレクション』が数回発売されるなど同社の主力作家の1人として活躍した。後に芳文社から全作品の出版契約を引き上げ、現在は非4コマ誌や青年誌など各社の漫画雑誌に活動の場を拡げている。
4コマ漫画に連続性を持たせながら第1話から最終回に至る大きな話を描く、「ストーリー4コマ」の手法を得意とする。「僕のかわいい上司さま」「すーぱータムタム」「バーバーハーバー」などの著作では、連続する複数の4コマを1つのストーリーとして関連づけるのみならず、コマ枠外部への書き込み、1つのエピソードを異なる視点から2本の4コマ漫画に仕立てる、4コマの後に見開きを配置するなど多様な表現法が使われている。

2. 主な作品リスト
----------

2.1. 単行本化作品リスト
--------------

僕のかわいい上司さま、完結編、双葉社より文庫版が上下巻で発行。まんがタイムオリジナル平成8年5月号、まんがタイムスペシャル平成9年2月号でそれぞれ連載開始。
ときめき まっくん!、双葉社より文庫版として全1巻が発行。まんがタイム平成7年5月号で連載開始。
ISBN 9784832260832
ISBN 9784832261198
ISBN 9784832261631
文庫版 ISBN 978-4-575-72693-0
すーぱータムタム、完結編、双葉社より文庫版が上下巻で発行。まんがタイムラブリー平成7年1月号で連載開始。
ISBN 9784832260948
ISBN 9784832260986
ISBN 9784832261242
完結編 ISBN 9784063374711
文庫版 上 ISBN 9784575727340
文庫版 下 ISBN 9784575727357
うららかな日々ISBN 9784832261037、わんにゃんCLUB平成6年7月号 - 平成8年7月号で連載。
おかえり まーさん。まんがホーム平成3年9月号、まんがタイムオリジナル平成4年4月号、まんがタイムジャンボ平成4年11月号、まんがタイム平成5年9月号で連載開始。
零子が行く!まんがタイムスペシャル平成6年4月号 - 平成8年3月号で連載。
ISBN 9784832261327
ISBN 9784832261372
聖★高校生全11巻
…すぎなレボリューション
マイペース! ゆず★らん
ISBN 978-4-575-93638-4
ISBN 978-4-575-93695-7
ISBN 978-4-575-93753-4
ISBN 978-4-575-93820-3
ISBN 978-4-575-93915-6
文庫版 上 ISBN 9784575727104
文庫版 下 ISBN 9784575727111
バツイチ30ans、祥伝社より新装版で全1巻発行。
ISBN 9784812453209
ISBN 9784812454459
新装版 ISBN 9784396763695
バーバーハーバー
バーバーハーバーNG
いちごオフィス、芳文社『まんがホーム』平成6年4月号で連載開始。
ISBN 9784886534545
ISBN 9784886534552
ISBN 9784886534569
ISBN 9784886534576
Cactus,Go to Heaven
ISBN 9784396763619
ISBN 9784396763787
ISBN 9784396764050
ISBN 9784396764326
ISBN 9784396764470
ひのたまLOVE ISBN 9784575940824『まんがタイムスペシャル』平成8年4月号 - 平成9年1月号連載の「葵さまが好き♥」同時収録
うめぼし
不思議くんJAM
ISBN 9784575941555
ISBN 9784575942507
ISBN 9784575943252
家政婦さんシリーズ2021年8月現在、既刊7巻
放浪の家政婦さん ISBN 9784396764630
ピリ辛の家政婦さん ISBN 9784396765118
誰そ彼の家政婦さん ISBN 9784396765644 
颯爽な家政婦さん ISBN 9784575336092
波飛沫せし家政婦さん ISBN 9784575336634 
令和の家政婦さん1
令和の家政婦さん2
やさぐれ人魚伝説 マーメイドブルース ISBN 9784812471913
私立男装学園
ISBN 9784063758368
ISBN 9784063758825
女と猫シリーズ
老いた鷲でも若い鳥より優れている ISBN 9784575335514
鳴く蝉よりも鳴かぬ蛍が身を焦がす ISBN 9784575335514
カラスと書き物机はなぜ似てる?
仕事は狼ではなく森へは逃げない 上
仕事は狼ではなく森へは逃げない 下
あさひごはん
ISBN 9784845841837
いもうとは秋田犬 
いもうとは秋田犬
いもうとは秋田犬〜悩めるビギナー編〜
いもうとは秋田犬〜にぎやかイベント編〜
釣りとごはんと、恋は凪
978-4-8211-3607-0}} (2018年4月1日）
物性物理学

物性物理学は、物質のさまざまな巨視的性質を微視的な観点から研究する物理学の分野。量子力学や統計力学を理論的基盤とし、その理論部門を物性論と呼ぶことも多い。これらは日本の物理学界独特の名称であるが、しばしば凝縮系物理学に比定される。狭義には固体物理学を指し、広義には固体物理学およびソフトマター物理学・表面物理学・物理化学、プラズマ・流体力学などの周辺分野を含む。

1. 歴史
-----

18世紀以前において、物理学は物体の運動や天体の運行など解析学や幾何学によって説明できる分野を中心としていた。これに対して化学は物質の性質をあるがままに、すなわち博物学的に記述することが一般的であった。

18世紀に発展した熱力学は、物質としての気体の性質を巨視的な観点から現象論的に体系づけたものであり、これが物性物理学の基礎となった。19世紀後半になると物質の熱力学特性を、より微視的な立場から体系的に記述する統計力学の考え方が本格的に導入され、現象論に過ぎなかった熱力学に基礎付けがなされた。さらに20世紀前半には量子力学が確立し、固体の結晶構造や化学反応を記述できるようになった。

また最近では高分子や液晶、コロイド等を対象とするソフトマター物理学も物性物理学の一つの分野となっている。ただし、日本において物性論あるいは物性物理学という言葉が使われるようになったのは1940年代以降である。

2. 理論
-----

物性理論は、理論モデルを用いた物質状態の性質の理解と関連する分野である。これには、固体の電子状態モデルの研究、例えば、ドルーデモデル・バンド構造・密度汎関数理論といったものが含まれる。また、相転移の物理の理論モデルの研究や、量子場の理論や繰り込み群に使われる数学的手法を応用するといった分野も発展している。現代的な理論研究は、電子状態の数値計算や、高温超伝導・トポロジカル秩序・ゲージ対称性等の現象理解のための数学の利用とも関係している。

3. 実験
-----

物性実験は、実験装置を用いて物質の新しい性質を発見することに関連する分野である。例えば、電磁場を作用させて周波数特性や熱伝導特性、温度を測定したりする。よく用いられる実験手法には、X線や赤外線、非弾性中性子散乱を利用した分光法や、熱的応答の研究、つまり比熱や伝導による輸送熱の測定といったものがある。

4. 関連分野
-------

物理化学：気体、液体の性質を記述する。
固体物理学：固体の性質を記述する。
表面物理学：表面・界面の性質を記述する。
ソフトマター物理学：ソフトマターの性質を記述する。

5. 応用
-----

物性物理学の研究は、様々なデバイスへの応用を生み出した。例えば、トランジスタ、レーザー技術、ナノテクノロジー111ff}}で研究される様々な現象が挙げられる。走査型トンネル顕微鏡の技法はナノスケールでの制御過程に応用され、ナノリソグラフィという研究分野を生んだ。量子コンピュータの分野では、情報は量子ビットで表される。量子ビットは、計算が終わるより前に素早く量子デコヒーレンスを起こしてしまうかもしれない。この重大な問題は量子コンピュータが実用化される前に解決されなければならない。ジョセフソン接合による量子ビット、磁性体のスピン配向を用いたスピントロニカル量子ビット、分数量子ホール効果状態から得られるトポロジカル非アーベルエニオン等、問題解決のためのいくつかの有望なアプローチが物性物理学の分野から提案されている。

物性物理学は生物物理学の分野にも重要な応用がある。例えば、核磁気共鳴画像法は医療診断の現場で広く使用されている。

6. 物性論を扱う高等教育機関
---------------

日本の大学では、物性物理学は理学部の物理学科の一講座として研究がなされることが多い。国立大学では京都大学理学部の物理学第一教室と東京工業大学の理学部物理学科・大学院物性物理学専攻、公立大学では大阪市立大学理学部の物理学教室、私立大学では京都産業大学理学部物理科学科などがカバーしている。
また、工学部の物理工学科、材料工学科、電気電子工学科など、理学部以外で物性物理学を扱っている所も多い。
かつては、物理第二学科、物性学科として、独立の学科組織を持ったところもあった。
1963年に創設された広島大学の物性学科は、物性物理学以外に、生物物理学といった化学との境界領域の研究、教育が行われたが、物理系講座の増加で独立学科としての存在意義を失って学科募集を停止し、講座は物理科学科と化学科に吸収された。
東京大学では理学部・工学部・教養学部の他、大学院新領域創成科学研究科、物性研究所でも物性物理学の研究が行われている。この中で物性研究所は、文部省と科学技術庁が日本学術会議の勧告を元に共同で設立した物性物理学分野の全国共同利用研究所であり、理論・実験の両分野にわたって幅広く教育研究が行われている。この他の全国共同利用研究所では、東北大学金属材料研究所、京都大学基礎物理学研究所に物性物理学関連の研究室がある。

7. 脚注
-----

7.1. 注釈
-------

7.2. 出典
-------

8. 参考文献
-------

『電気学会大学講座　物性論』　 電気学会 　1983年。

9. 関連項目
-------

誘電体
磁性体
プラズマ
強相関電子系

10. 外部リンク
---------

[1]
[2]
磁性体

磁性体とは、一般には磁性を帯びることが可能な物質であり、専門的には反磁性体・常磁性体・強磁性体の3つに分けられる。このため、すべての物質が磁性体であるといえるが、通常は強磁性体のみを磁性体と呼ぶ。比較的簡単に磁極が消えたり反転してしまう磁性体は軟質磁性体と呼ばれ、そうでない磁性体は硬質磁性体と呼ばれる。

代表的な磁性体に酸化鉄・酸化クロム・コバルト・フェライト・非酸化金属磁性体などがある。

固体状態のものは磁石として、電動機の界磁として使用される。 硬質材料の円盤上に磁性粉を塗布あるいは蒸着したものがハードディスクドライブに用いられる。柔軟な合成ゴムにまぜて板状にするとマグネットシートになり、液体にコロイド分散させると磁性流体となる。医療分野では強力な磁力を使ったMRIやごく微弱な磁力を利用するSQUIDの形で実用化されている。新しい情報記憶素子のMRAMなどを含むスピントロニクスと呼ばれる科学研究分野が注目されている。

1. 磁性体材料の評価
-----------

磁性材料の評価は、磁場を正負の磁場に掃引させることに得られるヒステリシスカーブによる解析が主だが、測定結果は、測定対象物の磁気モーメントの平均値となるので、対象物中の磁気相互作用や保磁力の分布に対する情報は得ることができない。近年では、ナノスケールの磁性材料やナノコンポジット磁石などの研究も盛んになっており、磁気特性を評価するためには、平均化された特性だけでなく、材料中の構成物質間の相互作用などについての評価も重要になってきている。

1.1. 保磁力
--------

磁化された磁性体を磁化されていない状態に戻すために必要な反対向きの外部磁場の強度。

1.2. 飽和磁化
---------

飽和磁化は材料固有の磁気物性値で強磁性物質を磁界中に置いて磁界を増加させていくとある磁界以上で磁化が一定となる。この磁化を飽和磁化という。温度の上昇とともに、飽和磁化は減少する。

1.3. 最大エネルギー積
-------------

磁石が持つエネルギーの大きさは、B-H減磁曲線上の磁束密度Bと磁場Hの積に比例する。このBxHの最大値を最大エネルギー積maxと呼び、kJ/m3で表す。

1.4. パーミアンス係数
-------------

あらゆる形の磁石には磁化と磁化の大きさに比例する反対方向の磁場Hdが必ず発生する。 この反磁場Hdは下記のように表される。

Hd = -NJ

このときＮは反磁場係数と呼ばれ、磁石の形状によって決まる数値で、反磁場係数Nの代わりに、次式で定義されるパーミアンス係数Pcを使って磁場解析をすることが多い。

Pc = -Bd/Hd

一般的には磁化方向と垂直な断面積が大きいほど、また磁化方向の厚みが薄いほど反磁場Nは大きくなり、逆にパーミアンス係数Pcは小さくなる。

パーミアンス係数Pcと反磁場係数Nの間には、次のような関係が成立つ 。

Pc = /N

1.5. 結晶磁気異方性定数
--------------

結晶磁気異方性定数は材料固有の磁気物性値で、磁石特性のひとつである保磁力と関連しており、この定数が大きければ大きいほど保磁力を大きくすることが可能で磁化しやすい結晶軸方向に磁化させるエネルギーと磁化しにくい結晶軸方向に磁化させるエネルギーの差を表す。

1.6. 熱減磁、低温減磁
-------------

着磁済みの磁石は周囲の温度が変化すると、熱エネルギーの関係で磁気特性が変化する。

元の温度に戻ると磁気特性も同じ値に戻る可逆温度変化と温度が戻っても磁気特性が戻らない不可逆温度変化がある。

温度が起因する着磁後の減磁は一般的には不可逆温度変化によるもので、これには初期減磁に起因するものと経時変化に起因するものがある。

可逆温度変化、不可逆温度変化については、特にHcjの温度係数に注意する必要があり、磁石形状によるパーミアンス係数も重要な要素になる。

2. 電気機器用磁性材料
------------

圧粉心
純鉄・パーマロイ・センダスト合金などの磁性材料を粉砕した後、圧縮形成したもので、粉体間の電気抵抗が大きく、うず電流損が小さい。
アモルファス合金
変圧器の鉄心圧延したものである。
大型回転機に使用される。
小型電動機用磁性鋼帯
鉄損が大きい。
小型回転機に使用される。
磁極用鋼帯
機械的強度が大きい。
回転機の回転子に使用される。
磁気記録用磁性材料
酸化鉄
クロム酸化鉄
コバルト酸化鉄
メタル磁性体
バリウムフェライト磁性体

3. 出典
-----

4. 関連項目
-------

常磁性
強磁性
反強磁性
フェリ磁性
スピングラス

ko:자성체
誘電体

誘電体とは、導電性よりも誘電性が優位な物質である。広いバンドギャップを有し､直流電圧に対しては電気を通さない絶縁体としてふるまう。身近に見られる誘電体の例として、多くのプラスチック、セラミックス、雲母、油などがある。

誘電体は電子機器の絶縁材料､コンデンサの電極間挿入材料､半導体素子のゲート絶縁膜などに用いられている。また、高い誘電率を有することは光学材料として極めて重要であり、光ファイバー、レンズの光学コーティング､非線形光学素子などに用いられている。

1. 誘電分極
-------

誘電分極 を参照

2. 誘電分散
-------

誘電率は電界の周波数に依存する。これを誘電分散と呼ぶ。 空間電荷分極と配向分極は緩和型、イオン分極と電子分極は共鳴型の誘電分散を示す。

3. 誘電緩和
-------

誘電緩和とは、物質の誘電率の瞬間的な遅れのこと。 通常これは誘電媒質の変動電場による分子分極の遅れによって起こる。 変動電場による誘電緩和は、変動磁場によるヒステリシスと同様に考えることができる。 一般的に緩和は線形応答の遅れであるため、誘電緩和は期待された線形定常状態誘電率について測定される。

物理学における誘電緩和は、誘電媒質の外部からの振動電場への緩和応答を意味する。 この緩和は誘電率の周波数依存性で記述され、理想系ではデバイ式で表される。 一方で、イオン分極や電子分極についての歪みは共鳴型または振動子型のふるまいを示す。 歪み過程の特性は、試料の構造・組成・環境に依存する。

3.1. デバイ緩和
----------

デバイ緩和とは、外部電場が与えられたときの理想的な相互作用のない双極子集団の誘電緩和応答である。 場の周波数//ω//を変数とした複素誘電率//ε//で表される。

ここで//ε∞//高周波上限での誘電率、Δ//ε// =}} //εs// − //ε∞//}}、//εs//は静的な低周波誘電率、//τ//は媒質の緩和時間である。

この緩和モデルは物理学者ピーター・デバイによって1913年に導出された。

3.2. デバイ式の他の表式
--------------

コール・コール式誘電ロスピークが対称的であるときに用いられる。
コール・ダビッドソン式誘電ロスピークが非対称的であるときに用いられる。
Havriliak–Negamiの関係対称的であるときも非対称であるときも考慮されている。
Kohlrausch–Williams–Watts関数

4. 誘電体の分類
---------

thumb|200px|誘電体の分類とその関係誘電体には最も基本的な常誘電体および圧電体・焦電体・強誘電体の全4種類に分類され、以下のような性質を示す。なお、強誘電体はこれら全ての特徴を兼ね備え、焦電体は圧電体・常誘電体の性質も示すなど、右の図のような関係にある。

4.1. 常誘電体
---------

強誘電体以外の誘電体のことをいう。

4.2. 圧電体
--------

応力を加えることにより分極が生じる誘電体を圧電体と呼ぶ。 また、逆に電圧を印加することで応力および変形が生じる。これらの性質は圧電性と呼ばれ、ソナーなどに利用されている。

4.3. 焦電体
--------

圧電体のうち、外から電界を与えなくても自発的な分極を有しているものを特に焦電体と呼ぶ。微小な温度変化に応じて誘電分極が生じる性質が名称の由来である。この性質は赤外線センサなどに応用されている。

4.4. 強誘電体
---------

焦電体のうち、これを外部からの電界によって方向を反転させることのできるものを特に強誘電体と呼ぶ。 強誘電体の特徴として、分極が外部電場に対するヒステリシス特性を有することが挙げられる。この特性は不揮発性メモリの1種であるFeRAMに応用されている。

5. 高誘電率材料と低誘電率材料
----------------

半導体素子の微細化、低消費電力化のために、トランジスタのゲート絶縁膜を薄膜化し、静電容量を大きくすることで高性能化を計ってきたが、量子力学的なトンネル効果等によるリーク電流の増大を招き、デバイスの信頼性を著しく低下させている。薄膜化に代わる静電容量を増大させる方法として、ゲート絶縁膜を従来の誘電率が低いSiO2系材料から高誘電率絶縁膜にする必要性が高まってきている。有望な高誘電率絶縁膜としてHfO2系材料などが挙げられる。

同時に半導体素子の微細化は、多層配線間でコンデンサ容量を形成してしまい、これによる配線遅延が問題になってきている。寄生容量を低減させるために層間絶縁膜を低誘電率絶縁膜にする必要性が高まってきている。有望な低誘電率絶縁膜としてSiOF、SiOC、有機ポリマー系の材料などがある。

6. 脚注
-----
プロセス間通信

プロセス間通信はコンピュータの動作において、複数プロセス間でデータをやりとりする仕組み。通信プロセスは、同一コンピュータ内で帰結するローカル、ネットワーク接続された別のコンピュータと相互にリモート、などのほかに多様な観点で分類され、スレッド間の通信帯域幅とレイテンシや扱うデータの種類も多種多様である。メッセージパッシング、同期、共有メモリ、RPCなどのメカニズムやプリミティブがある。

プロセス間通信の目的と理由は

情報の共有
計算の高速化
モジュール性の向上
利便性
であり、「スレッド間通信」や「アプリケーション間通信」と呼ぶこともある。

IPCとアドレス空間のコンセプトの組合せは、アドレス空間分離の基盤である。

1. 主なIPC技法
----------



2. 実装例
------

IPCとして使われているAPIはいくつかある。プラットフォームに依存しない主なAPIの例を挙げる。

無名パイプと名前付きパイプ
Common Object Request Broker Architecture 
Freedesktop.orgのD-Bus
Distributed Computing Environment 
メッセージバス  - 3259}} にて規定
MCAPI 
[1] 
ONC RPC
UNIXドメインソケット
XML: XML-RPC や SOAP
JSON: JSON-RPC
Thrift
TIPC
ZeroCの Internet Communications Engine 以下は、プラットフォーム固有またはプログラミング言語固有のAPIの例である。

Appleの Apple event
Eneaの LINX - Linux向けと Enea OSE で動作するバージョンがある。
CMUによるIPC実装
Javaの Remote Method Invocation 
KDEの Desktop Communications Protocol 
Libt2n - Linux上のC++でのみ動作。複雑なオブジェクトや例外を扱える。
Machカーネルの Mach ポート
マイクロソフトの ActiveX、Component Object Model 、Microsoft Transaction Server 、Distributed Component Object Model 、動的データ交換 、Object Linking and Embedding 、匿名パイプ、名前付きパイプ、Local Procedure Call、MailSlot、メッセージループ 、Microsoft RPC、.NET Remoting、Windows Communication Foundation 
ノベルの SPX
PHPのセッション
POSIX: mmap、メッセージキュー、セマフォ、共有メモリ
RISC OSのメッセージ
Solaris Doors
System V: メッセージキュー、セマフォ、共有メモリ
Distributed Ruby
DIPC  - Linux上で System V 系IPCをネットワークにまで拡張する仕組み
OpenBinder - BeOSが起源で、最近ではAndroidで使われている。
Solace Systems の IPC Shared Memory Messaging
QNXのPPS  サービス
SIMPL  - QNX風IPCをLinuxに実装するプロジェクト

3. 脚注
-----

4. 参考文献
-------

Stevens, Richard. //UNIX Network Programming, Volume 2, Second Edition: Interprocess Communications.// Prentice Hall, 1999. ISBN 0-13-081081-9
U. Ramachandran, M. Solomon, M. Vernon //[2]// Proceedings of the 14th annual international symposium on Computer architecture. Pittsburgh, Pennsylvania, United States. Pages: 178 - 188. Year of Publication: 1987 ISBN 0-8186-0776-9
Crovella, M. Bianchini, R. LeBlanc, T. Markatos, E. Wisniewski, R. //[3]// 1–4 December 1992. pp.   238–245 ISBN 0-8186-3200-3

5. 関連項目
-------

Communicating Sequential Processes 
Data Distribution Service 
マイクロカーネル

6. 外部リンク
--------

[4] - System V IPC の解説
[5]
[6]
[7] by W. Richard Stevens
モノリシックカーネル

モノリシックカーネルとは、オペレーティングシステムにおけるカーネルの構造、および設計思想を指す。「入出力機能やネットワーク機能、デバイスのサポートなどOSの一般的な機能」をカーネルと同一のメモリ空間に実装・実行する手法を言う。代表的なモノリシックカーネルOSとしては、古典的なUNIXとその派生OSがあげられる。

モノリスとは「一枚岩」の意であり、モノリシックとは「一枚板の」という形容詞である。「モノシリックカーネル」は誤り。

1. モノリシックカーネルとマイクロカーネル
----------------------

OSの構成要素を単一のメモリ空間で実行するモノリシックカーネルに対し、OSを構成する幾つかの要素・機能をカーネル空間から切り離し、外部モジュール化するなどで実装する手法をマイクロカーネルと呼ぶ。

モノリシックカーネルの設計思想および概念それ自体は旧来より存在するが、モノリシックカーネルというタームの成立は、このマイクロカーネルという概念・実装の登場による。

2. カーネル実装方式とその議論
----------------

モノリシックカーネル方式は、より近代的な設計手法とされるマイクロカーネル方式のOSに比べ、OSの機能のほとんどすべてが単一のメモリ空間で行なわれるゆえ、同一の処理を行う際に費やされるコンテキストスイッチやプロセス間通信などによるオーバーヘッドは相対的に少ないものとなり、実効パフォーマンスにおいて有利であるといった見解がある。実際にプロセッサの動作クロックが数MHz - 数十MHz程度に留まっていた時代には、乱発されるコンテキストスイッチなどの実行コストの問題は深刻なものであった。1980年代にデビューした商用UNIXは、そのほとんどがモノリシックカーネル方式を採用している。

しかし、プロセッサの処理速度は20世紀末から21世紀初頭にかけて長足の進歩を遂げた。また、マイクロカーネル側の実装における高速化技法の進展、必要に応じて一部パフォーマンスを要求されるサブシステムのみカーネル空間に取り込む実装も登場し、モノリシックカーネルのパフォーマンスにおける原理上の優位性は小さくなった。

date = 2015年1月。しかし、同等の機能を実装した場合にその原理上実行時のOSカーネルのフットプリントを比較的小さなものに留めておきやすいこと、ノンプリエンプティブ  制約を付加すれば、サービス実装を行う時に考慮するべきことが減り、開発が楽になることなどが利点として挙げられる。

一方、モノリシックなカーネルにさまざまな機能を取り込むことで巨大化することによる欠点・弊害としては、OSの機能を動的に切り替えたり更新したりすることが困難なものになりやすいことなどが挙げられる。

研究開発の世界では、カーネルの機能を最小限にとどめるマイクロカーネルが主流になった1990年代当初、モノリシックカーネルは時代遅れとされてきた。しかし、実装レベルでの差が動作上の致命的な設計問題であるはずもなく、現在では必要な機能を必要な性能レベルで提供できれば問題ないという形での議論終結が図られている。

Solaris / HP-UX / AIXや日本の国産UNIXの系統も全てモノリシックカーネルを基礎とするカーネルを使用している。また、x86系PCでのUNIX互換機能提供を目指して作られたLinuxでは基本的にモノリシックカーネルを採用しているが、実行時に読み込むカーネルモジュールを設けるなど、実行時の柔軟性を高めている。

Windows NTは、当初よりマイクロカーネル方式での実装を模索していたが、オーバーヘッドを削減するためにNT 4.0でWindowsサブシステムとグラフィクスデバイスドライバがカーネル空間から直接見える様に修正された。さらにWindows 2000以降では、ハードウェア管理機能の一部をマイクロカーネル直轄のモジュールとしての外部モジュールからカーネル制御部本体による制御方式に切り替えており、純粋なマイクロカーネルから外れた実装になっている。NT4.0では800キロバイト弱だったNTOSKRNLのフットプリントは、Windows XPでは2メガバイト強にまで肥大している。 マイクロカーネルとしての構造は依然残されているため、マイクロカーネルとモノリシックカーネルの折衷をとったハイブリッドカーネルとでも呼ぶべき実装になっている。

またMachから派生したmacOSも、BSDサブシステムやファイルシステム、ネットワークなどをカーネル空間に統合しており、純粋なマイクロカーネルから離れた実装になっている。Windowsと同様、マイクロカーネルとモノリシックカーネル両方の利点を活かした設計である。

3. 有名な論争
--------

モノリシックカーネルとマイクロカーネルについては、Linuxの作者リーナス・トーバルズとMINIXの作者アンドリュー・タネンバウムの1992年の論争が有名である。

4. モノリシックカーネルの採用例
-----------------

Linuxカーネル
Classic Mac OS
MS-DOS
OpenVMS
UNIXカーネル
Windows 9x系 
IBM i

5. 脚注
-----

6. 外部リンク
--------

[1] - リーナス・トーバルズとアンドリュー・タネンバウムの論争
[2]
バンド計算

バンド計算とは、系の電子状態を求める計算及びその手法のこと。

電子状態とは、具体的にはバンド構造、電荷密度、状態密度などのことを指す。手法には経験的なものから非経験的なものまで多数存在する。バンド計算が扱う系は、主に結晶のような固体が対象であることが多いが、表面系や、液体などが計算対象となることもある。

代表的な手法としては、擬ポテンシャル+平面波基底によるもの、APW法、KKR法のような全電子手法、第一原理分子動力学法、タイトバインディング法などがある。第一原理分子動力学手法では、電子状態と共に対象となる系の構造最適化、つまり安定構造を求めることができる。

バンド計算は、元々は結晶のような周期的境界条件のある系が計算対象であったが、その後、表面系や不規則二元合金などのような非周期系に対しても計算がなされるようになっていった。表面系に関してはスラブ近似を用いて計算するのが最も標準的である。不規則二元合金のようなポテンシャルがランダムな系には、コヒーレントポテンシャル近似が用いられることが多い。また実空間法のような、境界条件に縛られない計算手法も出現している。

1. 関連項目
-------

第一原理
第一原理バンド計算
第一原理計算
計算物理

2. 関連図書
-------

和光信也：「コンピュータで見る固体の中の電子ーバンド計算の基礎と応用」講談社
和光システム研究所：「『WIEN2k 入門』追加版 改訂 固体の中の電子ーバンド計算の基礎と応用」和光システム研究所

3. 外部リンク
--------

url=http://www.geocities.co.jp/Technopolis/4765/INTRO/intro0.html - 物質・材料研究機構の小林一昭が作成
和光システム研究所[1][2]

ko:띠계산