| プログラミング言語 プログラミング言語(プログラミングげんご)はコンピュータに対する一連の動作の指示を記述するための人工言語の総称である。この一連の指示をプログラムと呼び、それを記述することをプログラミングと呼ぶ。自然言語と同様、統語論(構文)規則と意味論規則で定義される。通常、それらを示した文書で仕様が示されるが、公式の実装だけで定義される言語もある。プログラミング言語は、情報を組織し処理するタスクについての理解を容易にし、アルゴリズムを正確に表現する。場合によっては、あらゆるアルゴリズムを記述できる言語だけを「プログラミング言語」と定義することもある。そこまでの機能のない人工言語を「コンピュータ言語」と呼ぶこともある。また、プログラミングへの応用も想定して設計されたロジバンのように、人間言語とコンピュータ言語の中間に位置するものがある。 プログラミング言語
|
| 人工知能 right 人工知能(じんこうちのう,英:Artificial Intelligence, AI)とは、コンピュータに人間と同様の知能を実現させようという試み、あるいはそのための一連の基礎技術をさす。 人工知能
|
| 関数型言語 関数型言語(かんすうがたげんご)は、純粋関数型言語と非純粋関数型言語の総称。 ラムダ計算の概念をプログラミング言語として体現したものである。すべての計算は関数の評価によって行われる。 関数型言語
|
| Java Java(ジャバ)は、狭義ではオブジェクト指向プログラミング言語Javaであり、広義ではプログラミング言語Javaのプログラムの実行環境および開発環境をいう。このJavaプログラムの実行環境と開発環境(広義のJava)は、Javaプラットフォームとも呼ばれる。 Java
|
| ISO 9660 ISO 9660 1988年に ISO で標準化された CD-ROM のファイルシステム。ハイシエラフォーマット (High Sierra Format, HSF) が元になっている。Ecma International の ECMA-119 に対応する。JIS では JIS X 0606 に対応する。ISO 9660 に準拠することで、様々なオペレーティングシステムで同じ CD-ROM を読み込むことができる。ファイル名に制限が多かったため、後に様々な拡張フォーマットが登場した。もともとは CD-ROM 用であるが、DVD の仮想ディスクイメージ用途にも用いられる。 ISO_9660
|
| Sather Sather
|
| 記憶装置 thumbPCのマザーボードに装着された 1GiB SDRAM。一次記憶装置の例 thumbGB ハードディスクドライブ(HDD)。コンピュータに接続すると二次記憶装置として機能する thumbSDLT テープカートリッジ。オフライン・ストレージの例。自動テープライブラリで使う場合は、三次記憶装置に分類される 記憶装置(きおくそうち)とは、コンピュータが処理すべきデジタルデータをある期間だけ保持するのに使う、部品、装置、電子媒体の総称。メモリ(英:ストレージ(英情報の記憶」を行う。現代のコンピュータには必ず何らかの記憶装置があり、CPUと共に1940年代から使われ続けている基本的コンピュータモデルを実装している。一般に、メモリは Random Access Memory (RAM) などの半導体記憶装置を指し、高速だが一時的な記憶に利用する。ストレージは、光ディスク、ハードディスクなどの磁気記憶装置といった、メモリよりも低速だがより恒久的な性質を持った記憶装置を指す。メモリは「一次記憶装置(主記憶装置)」、ストレージは「二次記憶装置(補助記憶装置)」にほぼ対応する。 記憶装置
|
| 連続体力学 連続体力学 (れんぞくたいりきがく、continuum mechanics)とは固体と流体の運動及び力学的挙動を解析する力学の一分野である。連続体力学では対象を巨視的に捉え、空間的に微分可能な連続体に理想化し、物体内部の各点における力学的な関係式を元に、変形・流動、波動の伝播、エネルギーの変換等を論じる。 連続体力学
|
| 人工言語 人工言語(じんこうげんご)とは語彙や文法が人工的に作られた言語の総称である。自然言語のように、文化的背景を持って自然に発展してきた言語に対してこう呼ばれる。日本語での人工言語ということばは、 人と人とのコミュニケーションを取る為に作られた言語 - 国際補助語、架空言語など コンピュータで用いるコンピュータ言語 の両方を指す。この分け方は広辞苑第五版の人工言語の定義1、2に対応している。ただし広辞苑の1の定義では国際補助語以外の人工言語については特に挙げられていない。一方英語では、Artificial LanguageまたはModel LanguageあるいはConstructed LanguageからConlangと言い、主に1. 人工言語
|
| GIMP GIMP(GNU Image Manipulation Program)は、GNU GPLの下で配布されているビットマップグラフィック編集・加工ソフトウェアである。日本語では、「ぎんぷ」が一般的だが「じんぷ」と発音されることもある。1995年にSpencer KimballとPeter Mattisが開発を始めた。マスコットは「ウィルバー(Wilber)」。GIMPをベースにしてAdobe Photoshopとメニューの並び順を同じにしたGIMPshopなど、いくつかの派生バージョンやカスタマイズパッケージが存在する。 GIMP
|
| Solaris Solaris(ソラリス)はサン・マイクロシステムズによって開発され、UNIXとして認証を受けたオペレーティングシステムである。プロプライエタリ・ソフトウェアであるが、コア部分はOpenSolarisとしてオープンソース化されている。 Solaris
|
| 叙事詩環 叙事詩環(じょじしかん、叙事詩の環、叙事詩圏、ギリシャ語:'英語:'古代ギリシアで作られた、トロイア戦争に関する叙事詩サイクル(一群)のことである。。叙事詩環に含まれる叙事詩を並べると、トロイア戦争についての記述が完結する。ホメーロスの叙事詩(厳密にはホメーロス作と言われる叙事詩)『イーリアス』と『オデュッセイア』も入れる研究家もあるが、ホメーロス以外の詩に対して用いられる場合がより多い。いずれにしても、『オデュッセイア』と『イーリアス』を除く叙事詩は断片の中にしか残っていない。断片では、プロクロス(哲学者のプロクロスとは別人)が書いた詳細なあらすじが最も貴重なものである(後述)。叙事詩はダクテュロス・ヘクサメトロス(長短短六歩格)で書かれている。 叙事詩環
|
| 最適化問題 ノート:最適化問題
|
| パワードスーツ パワードスーツとは、人体に装着される電動アクチュエーターや人工筋肉などの動力を用いた、外骨格型または鎧型、あるいは衣服型の装置である。日本語では直訳で強化服、半分だけ訳して強化スーツとも呼ばれているほか、ロボットスーツと呼ばれる物も存在する。医療・介護分野で使われているものは、パワーアシストスーツと呼称されることもある。また近年はマッスルスーツという呼称も普及してきている。SF作品などに登場する架空のものでは、登場作品によって色々な名称や作動方式・機能の付加が見られる。パワードスーツの登場するサイエンス・フィクション一覧を参照。 パワードスーツ
|
| ビッグバン ビッグバン (Big Bang) とは、宇宙の成立に関する仮説(理論)のひとつである「ビッグバン理論」(ビッグバン仮説)において想定されている、宇宙の最初期の状態、とてつもなく高い密度と温度の状態のこと。あるいはその状態からの膨張(一種の爆発)のこと。ビッグバンは約137億年前にあったとされている。 ビッグバン
|
| ジャン・コクトー ジャン・コクトー(Jean Cocteau、1889年7月5日 - 1963年10月11日)は、フランスの前衛芸術家(作家、詩人、劇作家として著名であるだけでなく、画家や脚本家、映画監督としての活動も行った)。自身は中でも「詩人」と呼ばれることを望んだという。ダダやシュルレアリスムと相互影響はあったと考えられるが、自身は直接は運動に参加せず、むしろ対立も多かった。 ジャン・コクトー
|
| エダフォサウルス エダフォサウルス(Edaphosaurus)は、約3億2,300万- 約2億5,600万年前(古生代石炭紀後期- ペルム紀前期)のユーラメリカ大陸に生息していた単弓類。 エダフォサウルス
|
| エマ・ゴールドマン thumb エマ・ゴールドマン(Emma Goldman, 1869年6月27日 - 1940年5月14日)は、リトアニア生まれのアナキスト、フェミニスト。そのラディカルな解放思想やフェミニズムの著作、スピーチで知られる。15歳で姉とともにアメリカに渡り、のちになって、ロシア革命での見聞を語ることになる。またイギリス滞在も長く、後年、イギリスで自伝を執筆している。日本のフェミニスト、とりわけ伊藤野枝に大きな影響を与えた。 エマ・ゴールドマン
|
| ウィラード・ギブズ ジョシュア・ウィラード・ギブズ(Josiah Willard Gibbs, 1839年2月11日 - 1903年4月28日)はアメリカコネチカット州ニューヘイブン出身の数学者・物理学者・物理化学者で、エール大学(イェール大学)教授。熱力学で相律を発見するなど、大きな功績を残した。他にもギブズ自由エネルギーやギブズ-ヘルムホルツの式等にその名を残した。ベクトル解析の創始者の一人として数学にも寄与している。ギブズの科学者としての経歴は、4つの時期に分けられる。1879年迄、ギブズは、熱力学理論を研究した。1880年から1884年迄は、ベクトル解析分野の研究を行った。1882年から1889年迄は、光学と光理論の研究をした。1889年以降は、統計力学の教科書作成に関わった。なお、彼の功績を称えて、小惑星(2937)ギブズが彼の名を取り命名されている。 ウィラード・ギブズ
|
| 地球外知的生命体探査 地球外知的生命体探査(ちきゅうがいちてきせいめいたいたんさ、Search for Extra-Terrestrial Intelligence)とは、地球外知的生命体による宇宙文明の存在を検知しようというプロジェクトの総称。 SETI(セティ / セチ)と略称される。世界では多くのSETIプロジェクトが進行している。 地球外知的生命体探査
|