河島 あみる（かわしま あみる、1977年12月2日-）は、日本のタレント・インテリアコーディネーター。所属芸能事務所はクレッセント。大阪府出身。シンガーソングライターやタレントとして知られた河島英五の長女（いわゆる、あねいとさん）。実妹はアナム&マキのメンバーの1人で同じくシンガーソングライターの河島アナム、実弟はシンガーソングライターの河島翔馬。
制御構造の議論はプログラミング言語としての数理論理学の使用の可能性に関して議論を呼んだ。手続き的アプローチは、数理論理学とは異なる数学的意味論（表示的意味論参照）を持つ。数理論理学だけでは、非決定性を持つ並列システムや分散システムを記述できない。
ヒューイットは次のように述べている。「…"Hairy control structure"（例えば CONNIVER のような可能性リスト、ローカルでない goto、他のプロシージャの内部変数への値の代入など）を使わない手法を発見した…通常のメッセージパッシングが問題解決モジュール間の協調動作に関して、より構造化され直観的な通信システムを構築する基礎となる。」すなわち、アクターモデルが人工知能の制御構造問題を解決する基礎となるとした。アクターモデルのためのプログラム方法論を開発するにはかなりの時間を要した。しかし、Scientific Community Metaphorの実装には洗練されたメッセージパッシングを必要とし、今も研究課題のひとつとなっている。
ヒューイット[2006]によれば、Peter Landin は J (Jump) 演算子を使って非常に強力な制御構造を導入した。これはプロシージャ呼び出しの途中に飛び込むことが可能なローカルでない goto である。実際、J 演算子は既にリターン済みのプロシージャ呼び出しの途中に分岐して戻ることができる。Drew McDermott と Gerald Sussman は、Landin のコンセプトを 「Hairy Control Structure; 複雑な制御構造（Hairy はハッカー用語。本来の意味は"毛深い"）」と呼び、Conniver 言語に実装した。Scott Fahlman はこれをロボット開発に活用した。このコンセプトは現在再呼び出し可能な継続と呼ばれているものと関連している。
ヒューイットは Mike Paterson と共に、再帰呼び出し(recursion)が繰り返し(iteration)よりも強力であること、並列処理が逐次的再帰よりも強力であることを証明した。ヒューイットは同時にコルーチンが再帰よりも強力であると推測したが、最近の強力な形式手法を使うまでそれを証明できなかった。
Planner（"PLANNER"とも表記される）は、1969年にMITのカール・ヒューイットが設計したプログラミング言語。当初、サブセットの Micro-Planner や Pico-Planner が実装され、後に完全実装として Popler が登場。その後、派生言語として QA-4、Conniver、QLISP、Ether などが実装され、1970年代の人工知能研究の道具として重要な役割を果たし、商用の KEE や ART の開発にも影響を与えた。当時マービン・ミンスキー、シーモア・パパート、Mike Peterson の学生だったヒューイットは、「知識の手続き的埋め込み」論者であり、高レベルの手続き的計画によるアプローチを信奉していた。当時、ジョン・マッカーシーらは人工知能(AI)のための知識表現として数理論理学を用いた宣言的かつ論理的アプローチを信奉しており、両者は対立関係にあった。このことは次のような基本的な疑問を生み出した。「手続き的アプローチと論理的アプローチの違いは何か?」である。これに答えが出せるようになるまで数年を要した。
1844年4月28日、ブラジル皇帝ペドロ1世の娘ジャヌアリア・マリアと結婚した。2年前の1842年にルイジのすぐ上の姉テレーザ・クリスティーナが、ジャヌアリアの弟のブラジル皇帝ペドロ2世と結婚していた。アクイラ伯爵夫妻は4人の子女をもうけた。
距離空間を一般化した空間である一様空間上でもコーシー列に対応するものを以下のように定義できる。一様空間  上のフィルター  がコーシーフィルターであるとは、任意の近縁  に対し ある  の元  が存在して  となることをいう。一様空間  上の有向点列（ネット）  がコーシーネットであるとは、任意の近縁  に対し ある  の元  が存在して、任意の  に対し  となることをいう。コーシーフィルターとコーシーネットは本質的に同じ概念である
『M-1グランプリ』（朝日放送テレビ・テレビ朝日共同制作、テレビ朝日系列）や『R-1ぐらんぷり』（関西テレビ制作、フジテレビ系列）、『キングオブコント』（TBSテレビ制作）及び過去にコンテストとして実施された『THE MANZAI』（フジテレビ制作）に次ぐ吉本興業主催のお笑い王座決定戦で、史上初の女性芸人日本一を決めるお笑いコンテストである。出場資格は女性のみでプロアマ、芸歴、芸風、人数を問わず上記の大会は出場条件は大会にそった形式（例：M-1は漫才、R-1はピン芸など）があるがTHE Wは参加条件が女性だけでネタの条件は特に無い。日本テレビ制作のお笑いコンテストは2010年に『S-1バトル』、2013年に『ワラチャン!』が開催されるもいずれも1回で終了したため、常設のお笑いコンテストをテレビ東京と共に持っていなかったが、同局制作の『世界の果てまでイッテQ!』での森三中やイモトアヤコなど女芸人の活躍を受けこの大会が新設された。なお、女性芸人が他局のコンテストで優勝した事例は2002年の第1回『R-1ぐらんぷり』のだいたひかるが唯一となっており、「1番面白い女性芸人を決める大会」をという女性芸人からの要望を受けて本大会が誕生したとされている。2018年には第2回大会が開催され、日本テレビ制作で複数開催されたお笑いコンテストもこれが初めてである。本大会のメインロゴは、大岩Larry正志が手掛けている。