Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
ラムダ計算の表示的意味論について研究するためであった。 ラムダ計算においては、この言語が定めている記法で記される「関数」について考察する。 このラムダ計算では純粋に文法的に、単なる関数から入力引数として別の関数をとるような関数を作ることが可能である。 このラムダ計算には、不動点コンビネータ(英:
(1)ある者が領有し, また勢力下に置く区域。
シンポジウムが開催された。その時期までに誤謬となる条件を定義したり、健全ではないが成功した議論のような形式論理学では扱えない議論の定式化が主な研究課題であったが、その後は誤謬についての研究は衰え、「批判的思考」(クリティカル・シンキング)が重視された。
ヒープ領域(英: heap area, heap memory)はコンピュータープログラミングにおいて、動的に確保可能なメモリの領域。ヒープ (heap) とは、『山積み』という言葉の中の『山』をさす英単語である。 データ構造のヒープと直接的な関係があるかどうかは、ヒープ領域
HI領域のイオン化度は非常に低く、10-4程度である。HI領域の温度は約100Kで、拡大するHII領域の付近を除いて等温であると考えられている。HII領域の付近ではHI領域の密度が濃く、HI領域のその他の部分とは衝撃波面で、HII領域とはイオン化面で分離される。 電波望遠鏡によるHI
HII領域(えいちつーりょういき、HII region)とは、電離された水素が光を放っている天体である。直径数百光年に達する大きさを持ち、内部で星形成が行われている。このガス雲の中で生まれた若い高温の青い星が多量の紫外線を放出し、星の周囲にある星雲を電離することで光っている。 HII領域
システムグローバル領域 (英: System Global Area, SGA) とは、データベースであるOracle Databaseに割り当てられる専用のメモリ領域である。その他に、プログラムグローバル領域 (英: Program Global Area, PGA) についても説明する。
この記事の項目名には以下のような表記揺れがあります。 メソスコピック領域 メゾスコピック領域(メゾスコピックりょういき)とは中間を意味する用語であり、物質科学では「バルク」と「ミクロ」の中間領域である 5–100 nm を指す。より一般的には、メゾスコピック (mesoscopic) な領域は、巨視的/マクロ