ブラウザよりも高速アクセス！
5 関係: レニン・アンジオテンシン・アルドステロン系、特殊慰安施設協会、血液、背理法、Ruby。
レニン・アンジオテンシン・アルドステロン系
レニン-アンジオテンシン-アルドステロン系(Renin-Angiotensin-Aldosterone System, RAAS)とは、血圧や細胞外容量の調節に関わるホルモン系の総称。レニン-アンギオテンシン-アルドステロン系とも。 血圧低下や腎臓の循環血液量の低下に伴って、活性化される。.
新しい！!: RAAとレニン・アンジオテンシン・アルドステロン系 · 続きを見る »
特殊慰安施設協会
特殊慰安施設協会（とくしゅいあんしせつきょうかい）は、第二次世界大戦後、連合国軍占領下の日本政府によって作られた慰安所である。連合国軍兵士による強姦や性暴力を防ぐために設置された。日本政府は最大で5万5000人の売春婦を募集し、短期間の間設置した。 英語では と言い、RAA の頭字語で知られた。直訳は「余暇・娯楽協会」であり、日本語の名称との間で意味が大きく異なる。.
新しい！!: RAAと特殊慰安施設協会 · 続きを見る »
血液
血液 血液（けつえき、blood）は、動物の体内を巡る主要な体液で、全身の細胞に栄養分や酸素を運搬し、二酸化炭素や老廃物を運び出すための媒体である生化学辞典第2版、p.420 【血液】。.
背理法
背理法（はいりほう、proof by contradiction, reduction to the absurd, indirect proof, apagogical argument など、reductio ad absurdum）とは、ある命題 P を証明したいときに、P が偽であると仮定して、そこから矛盾を導くことにより、P が偽であるという仮定が誤り、つまり P は真であると結論付けることである。帰謬法（きびゅうほう）とも言う。 P を仮定すると、矛盾が導けることにより、P の否定 ¬P を結論付けることは否定の導入などと呼ばれる。これに対して ¬P を仮定すると矛盾が導けることにより P を結論付けることを狭義の背理法あるいは否定の除去ということがある。否定の導入と狭義の背理法をあわせて広義の背理法ということもある。 一般的には、背理法と言った場合広義の背理法を指す。否定の導入により、¬P から矛盾が導けた場合、¬¬P を結論できるが、いわゆる古典論理では推論規則として二重否定の除去が認められているため、結局 P が結論できることになる。排中律や二重否定の除去が成り立たない直観論理では、狭義の背理法による証明は成立しないが、否定の導入や、¬¬¬P から ¬P を結論することは、認められる。 背理法を使って証明される有名な定理には、\sqrt が無理数であること、素数が無限に存在すること、中間値の定理，ハイネ・カントールの定理などがあり、無限を相手にした証明には基本的に背理法のスタイルを取らざるを得ないものが多くある。 しかし例えば、\sqrt が無理数である（すなわち有理数でない）ことの証明は、狭義の背理法ではなく否定の導入によって証明することができる。 背理法の証明において仮定に矛盾する結論を導く場合は，容易に非背理法証明に直すことができる．たとえば，ハイネ・カントールの定理：「有界閉集合上の連続関数は一様連続である」は，有界閉集合上の連続関数 f は一様連続でないと仮定して議論を進め， f が連続でないことを導いて矛盾を出すが，これは連続性を仮定せず「有界閉集合上の関数 f が一様連続でない」と仮定し，連続でないことを示すことによって，対偶としてハイネ・カントールの定理が直接証明できる（((P かつ Q)⇒R) ⇔ ((P かつ ￢R)⇒￢Q) ということを用いる）．.
Ruby
Ruby（ルビー）は、まつもとゆきひろ（通称 Matz）により開発されたオブジェクト指向スクリプト言語であり、スクリプト言語が用いられてきた領域でのオブジェクト指向プログラミングを実現する。 また日本で開発されたプログラミング言語としては初めて国際電気標準会議で国際規格に認証された事例となった。.
