茅薙 隆裕（かやなぎ たかひろ）は、北海道北見市出身の漫画家。代表作に『メイドさんと僕』などがある。かつて「うらかすみ」名義、近年は「かやなぎたかひろ」名義も使用。アマチュアの頃から、自ら主催するハーベストホームをはじめとする各同人誌に積極的に作品を発表し、商業誌デビュー後はメイドを取り扱った作品など、さまざまな作品を発表する。エロを題材とするものも多いが、それにとどまらない情緒的な作風が特徴である。
ジーニー（Genie、1957年4月18日 - ）は、13歳まで部屋に監禁されて育ったアメリカの少女。カスパー・ハウザーのように、人間社会の中にありながら人間関係の中から全く隔離されて育った孤立児である。また広い意味での野生児（人間社会から隔離された環境で育った子ども）に相当する。なお、ジーニーはプライバシー保護のための仮名である。ジーニ、ジェニーと表記されることもある。
回路や半導体部品などの品質チェックの他、適切な前処理を踏むことで生体試料の観察も可能である。細胞のような導電性の低いものを高真空二次電子法で高加速電圧をかける場合、試料はあらかじめ導電性の物質（白金パラジウム、金、炭素など）でコートしておく必要がある。これは二次電子を効率良く放出させるため、試料帯電（チャージアップ）による露出オーバーと像の歪みを防ぐために電子線の余剰エネルギーを逃がし、試料表面の破損を最小限度に留めるためである。低真空反射電子法（N-SEM/WET-SEMなど）では絶縁体の観察においてもコートは必要ない。特性X線を利用した元素分析など、分析用途で用いるSEM（EPMA）でも表面コートの必要のない低真空反射電子法は好まれる。表面の構造というのは、実のところ光学顕微鏡の苦手とするところである。普通は双眼実体顕微鏡が使われるが、倍率をあまり上げられず、解像度も低い。細かい部分は普通の光学顕微鏡で、ピントをずらしながら観察するほかなく、もし試料が不透明であれば打つ手なしである。たとえばアリの体表の毛などは、なかなか調べることが難しかった部分である。走査型電子顕微鏡を使えば、このような部分の観察が簡単であり、分野によっては分類研究等には欠かせないとまで言われるようになった。
SEMは光学顕微鏡と比較して焦点深度が2桁以上深く、広範囲に焦点の合った立体的な像を得ることができる。観察物の外形を把握しやすい一方、対象の内部に関する情報はほとんど得られないので、これはTEMなど他の手段に頼ることになる。ただし、観察物をフリーズフラクチャ（凍結破断）法などで処理すれば、ある程度の内部観察も可能である。
電子線が試料に当たると、二次電子の放出など様々な現象が起こる。試料から発せられるこれらの信号は検出器で検出され、光電子増倍管による増幅や経てCRTに送られる。CRTでは信号量の違いによりその輝度を変調する。TEMの場合は電子線を蛍光板に当てて蛍光を直接観察するが、SEMでは輝度変調信号の処理結果が像としてディスプレイに表示され、これを観察することになる。SEMの像表示は内部処理を経ているぶんだけ時間差があり、観察点の移動や倍率変更がタイムラグを伴うという欠点がある。逆に信号処理を調節することで、加速電圧などの観察条件を変更せずに観察像の輝度やコントラストを変えられるというメリットがある。二次電子は等方的に発するので電界をかけて収集し、電荷量を輝度とする。画像の見え方は、入射ビームに対して垂直な面ほど輝度が低くなり、また、とがった部分ほど輝度が高くなる（エッジ効果）。
加速された電子線（0.1-30kV）は、集束レンズ（コンデンサレンズ）及び対物レンズで絞られる（レンズといっても光線が可視光ではないのでガラスレンズは用いられず、電子線に干渉できる電場や磁場を利用した電子レンズが使用される）。電子線束を制御するためのレンズには磁界型と電界型があるが、結像制御には磁界型レンズ（電磁レンズ）が用いられる。一方、収差の大きい電界型レンズ（静電レンズ）は電子線の加減速に利用される。レンズで絞られた電子線は走査コイルによって制御され、試料表面を走査していく。
1970年代初めに生まれた論理プログラミングの考え方は、その宣言的な性格を活かしつつより表現力を大きくするため、一般的な制約を扱うように拡張され、Prolog Ⅱ(1980)やProlog Ⅲ(1987)、IBMのJafferやLassezらが1987年に発表した制約論理プログラミングスキーマCLP(X)に基づいた各種言語などに発展していった。それと並行して、論理プログラミングでの導出時のゴールをプロセス、ゴール間で共有する論理変数を通信チャネルと見なす、van Emdenとde Luceanaらの論理プログラミングのプロセス的解釈（1979） から、ガード付きコマンドの考えに基づいたガード付きホーン節でプロセスの生成や通信を表現する並行論理プログラミングの考え方が生まれた。ShapiroのConcurrent Prolog（1983） や上田によるGHC (1985) やKL1などの様々なプログラミング言語や各種のプログラミングテクニックが開発され、また第五世代コンピュータプロジェクトで並列マシンのオペレーティングシステムや言語処理系、さまざまな応用プログラムの作成に利用された。1987年にMichael Maherはより抽象化された並行論理プログラミングの論理的解釈を与え、並行論理プログラミングでの通信と同期とを制約ストア（変数値に関する部分情報の格納場所）と受信したい情報との含意（implication）の関係として定式化した 。Vijay Saraswatらはこれらの解釈を特定のデータ領域に限定しない制約全般に広げ、より一般化された並行制約プログラミングの計算理論が整備された。並行制約プログラミングはその後さらに拡張され、離散変化を扱う時間並行制約プログラミング（Timed Concurrent Constraint Programming）や、離散・連続の両変化を扱うハイブリッド並行制約プログラミング（Hybrid Concurrent Constraint Programming）などが生まれた。