DomainTools.com |
 |
||
|
|
||
Japense Wikipedia references for Chalmers.se 1-11 of 11
| Language: | ||||||||||||
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
|
| Articles: | 254 |
24 |
24 |
15 |
17 |
11 |
7 |
16 |
4 |
10 |
212 |
13 |
| Haskell Haskell（ハスケル）は非正格な動作を持つ純粋関数型プログラミング言語である。名称は論理学者であるハスケル・カリー(Haskell B. Curry)に由来する。 Haskell | |
| 連結リスト 連結リスト（れんけつリスト、英:Linked list）は、最も基本的なデータ構造の一つであり、他のデータ構造の実装に使われる。リンクリスト、リンクトリストとも表記される。一連のノードが、任意のデータフィールド群を持ち、1つか2つの参照（リンク）により次（および前）のノードを指している。連結リストの主な利点は、リスト上のノードを様々な順番で検索可能な点である。連結リストは自己参照型のデータ型であり、同じデータ型の別のノードへのリンク（またはポインタ）を含んでいる。連結リストは場所が分かっていれば、ノードの挿入や削除を定数時間で行うことができる（場所を探すのにかかる時間はリスト上の順番の条件などにも依存するし、後述する片方向リストなのか双方向リストなのかにも依存する）。連結リストにはいくつかの種類があり、片方向リスト、双方向リスト、線形リスト、循環リストなどがある。 連結リスト | |
| ジャバウォックの詩 ジャバウォックの詩』（ジャバウォックのし、Jabberwocky ）は、ルイス・キャロルの児童文学『鏡の国のアリス』で記述されたナンセンス詩である。『ジャバウォックの詩』は、英語で書かれた最も秀逸なナンセンス詩であると考えられている。この詩では、ジャバウォックと呼ばれる正体不明の怪物が名前のない主人公によって打ち倒されるという出来事が、叙事詩のパロディによる形式で描写される。文中に出てくる単語の多くは、キャロルによって創作されたかばん語である。 ジャバウォックの詩 | |
| ペール・マルティン＝レーフ ペール・マルティン＝レーフ (Per Martin-L, 1942年 - ) はスウェーデンの論理学者、哲学者、数学者。直観主義型理論の創案者として知られ、現在はストックホルム大学数学部および哲学部の教授を務めている。1964年から1965年にかけてモスクワのアンドレイ・コルモゴロフのもとで学び、ランダム系列に関する研究を行う。1968年から1969年にかけてはシカゴ大学助教授を務め、ここでウィリアム・ハワードとカリー＝ハワード対応に関して議論している。1971年には型理論に関する最初の草稿を書き上げているが、この最初の非可述体系はジャン＝イヴ・ジラールによって矛盾していることが示された（ジラールのパラドックス）。これをきっかけに型理論の概念的基礎の探求へと導かれていったマルティン＝レーフは、1984年の著作で提示した可述型理論を正当化するための証明論的意味論を展開し、またこれに関連していくつかの哲学的著作も発表している。 ペール・マルティン＝レーフ | |
| ヴェストラ・イェータランド県 ヴェストラ・イェータランド県（Västra Götalands län）とは、スウェーデンの県の一つで略号はO。スウェーデン西部に位置し、北西県境はノルウェーとの国境。北東部でスウェーデン最大の湖ヴェーネルン湖の南半分を抱え込み、東部ではスウェーデン第二の湖ヴェッテルン湖、西部ではカテガット海峡(Kattegatt)に面している。カテガット海峡の対岸はデンマークのユトランド半島の北端である。県庁所在地はスウェーデン第二の都市ヨーテボリ(Göteborg)を擁するヨーテボリ市。面積は2万3956平方キロメートルで、2005年現在の人口は152万1895人。人口は首都ストックホルムのあるストックホルム県に次いで、二番目に多い。ヴェストラ・イェータランド県は1998年1月1日にヨーテボリ・ブーヒュース県(Göteborgs och Bohus län)、 エルヴスボリ県(Älvsborgs län)、スカラボリ県 (Skaraborgs län)の3県が合併して誕生した、比較的新しい自治体である。県下の市の数(49市)はスウェーデン国内最多である。 ヴェストラ・イェータランド県 | |
| 星間分子の一覧 このリストは、天体望遠鏡を用いて行なわれた分子雲、原始惑星系円盤等からの電磁波観測により発見され、同定された星間分子の一覧（せいかんぶんしのいちらん）である。リストは構成原子毎に挙げた。イオンが検出されている分子についてはそれも示した。 星間分子の一覧 | |
| 宣言型プログラミング 宣言型プログラミング（）は、プログラミングパラダイムの名称だが、2種類の意味がある。第一の意味は、処理方法ではなく対象の性質などを宣言することでプログラミングするパラダイムを意味する。第2の意味は、純粋関数型プログラミング、論理プログラミング、制約プログラミングの総称である。 宣言型プログラミング | |
| ボフォース 37mm対戦車砲 ボフォース_37mm対戦車砲 | |
| 進化ロボット工学 進化ロボット工学（英:Evolutionary robotics、ER）とは、自律型ロボットのコントローラに進化的計算を使うロボット工学の一分野である。 進化ロボット工学 | |
| 三十二進法 三十二進法（さんじゅうにしんほう）とは、32 を底（てい）とし、底およびその冪を基準にして数を表す方法である。 三十二進法 | |
| オープンソースのメディアプレーヤー一覧 オープンソースで利用可能なメディアプレーヤーを掲載している。無料で利用できてもソースコードが付属していないフリーウェアは対象外とする。なお、この記事での「オーディオプレーヤー」は、デフォルトでビデオの再生ができないメディアプレーヤーを指す。 オープンソースのメディアプレーヤー一覧 |
