语言
没有数据
通知
无通知
ラムダ計算の表示的意味論について研究するためであった。 ラムダ計算においては、この言語が定めている記法で記される「関数」について考察する。 このラムダ計算では純粋に文法的に、単なる関数から入力引数として別の関数をとるような関数を作ることが可能である。 このラムダ計算には、不動点コンビネータ（英:
(1)ある者が領有し， また勢力下に置く区域。
(1)管理・支配すること。 治め取り締まること。 また， その人。 総轄。 かんれい。
(1)「かんりょう（管領）{(1)}」に同じ。
(1)管轄・運営し， また処理や保守をすること。 取り仕切ったり， よい状態を維持したりすること。
ヒープ領域（英: heap area, heap memory）はコンピュータープログラミングにおいて、動的に確保可能なメモリの領域。ヒープ (heap) とは、『山積み』という言葉の中の『山』をさす英単語である。 データ構造のヒープと直接的な関係があるかどうかは、ヒープ領域
HI領域のイオン化度は非常に低く、10-4程度である。HI領域の温度は約100Kで、拡大するHII領域の付近を除いて等温であると考えられている。HII領域の付近ではHI領域の密度が濃く、HI領域のその他の部分とは衝撃波面で、HII領域とはイオン化面で分離される。 電波望遠鏡によるHI
HII領域（えいちつーりょういき、HII region）とは、電離された水素が光を放っている天体である。直径数百光年に達する大きさを持ち、内部で星形成が行われている。このガス雲の中で生まれた若い高温の青い星が多量の紫外線を放出し、星の周囲にある星雲を電離することで光っている。 HII領域
搜索 
