クラシックバレエを4歳から始め、星美学園中学校・高等学校在学中の1964年、スカウトされ15歳で芸能界入り。松竹映画のニューフェースとしてデビュー。1971年、テレビドラマ『美しきチャレンジャー』の主演で人気を得る。1980年代には日活ロマンポルノ作品にも出演。元夫は俳優の長谷川明男（1974年に結婚、1978年離婚）。1990年に6歳年下のマネージャーと再婚した。2008年からは那須塩原市に移り住み、2009年からは黒磯駅そばでパブ「ベガ」を経営。芸能活動も舞台を中心に続けている。
南口から単式ホーム1面1線、島式ホーム1面2線とあわせて2面3線をもつ地上駅である。勝沼ぶどう郷駅側に夜間留置用の側線がある。また、東山梨駅側に保守車両用の乗越側線がある。
最初、デービス・パトナムのアルゴリズムはエルブランの定理を用いて一階述語論理式の定理を証明するための方法の一部として用いられた。エルブランの定理での証明をそのまま計算機上で実現したギルモアのアルゴリズムよりは効率的で、ギルモアのアルゴリズムがIBM 704上で21分かかっても結果が出なかった問題を容易に手計算で求めることができた。だが、基礎例を機械的に作り出しその充足不能性を調べるやり方は、多数の無駄な論理式が生成されるため効率が非常に悪く、ギルモアのアルゴリズムと同様、一階述語論理での複雑な論理式の証明はできなかった。その後、プラウィツ（Dag Prawitz）は、論理式を生成してからチェックするのではなく、論理式への適当な代入（単一化）によって充足不能性を調べる方法を提案し、デービス・パトナムの枠組みにプラウィツのアイデアを組み合わせたロビンソンの導出原理の提案へのとつながっていく。デービス・パトナムのアルゴリズム自体もより効率のよいDPLLアルゴリズム（Davis-Putnam-Logemann-Loveland algorithm）に発展し、命題論理式の充足可能性問題を解くためのアルゴリズムとして多くの定理証明システムで使用されている。
デービス・パトナムのアルゴリズムは、初期の一階述語論理の定理自動証明システムで必要だった命題論理式の充足可能/不能のチェックを効率的に行うために考案されたもので、導出規則を含むいくつかの規則を用いることで充足可能であることが分かっている論理式を効率的に削除し、無駄な判定を省くことができる。一般に、一階述語論理式 P の証明可能性（恒真性）は ¬P が充足不能（恒偽）かどうかと同値であり、エルブランの定理より ¬P が充足不能ならば、エルブラン領域の要素を述語論理式に代入した基礎例（エルブラン基底）の命題論理レベルの充足不能チェックにより、有限ステップで証明可能であることが分かっている。しかしこの方法を定理自動証明に使おうとすると、多量の命題論理式の充足不能性をチェックする必要がある。デービス・パトナムのアルゴリズムはこのような処理を高速に行うことができる。
デービス・パトナムのアルゴリズム（英: Davis–Putnam algorithm）は、与えられた論理式の充足可能性を調べるアルゴリズムで、連言標準形で表現された命題論理式を対象とする。アメリカ国家安全保障局の支援を受け、一階述語論理での定理自動証明のための方法としてマーチン・デービス（Martin Davis）とヒラリー・パトナム（Hilary Putnam）により1958年に考案され、一般には1960年に発表された。その後の改良版であるDPLLアルゴリズム（Davis-Putnam-Logemann-Loveland algorithm）のベースとなるアルゴリズムである。なお、古い文献ではDPLLアルゴリズムのことをデービス・パトナムのアルゴリズムと呼ぶことがある。それぞれは異なった規則を使用し、正確には異なる。1960年に提案されたデービス・パトナムのアルゴリズムが導出を使用するのに対し、1962年に提案されたDPLLアルゴリズムはバックトラックを使用する。
メリッサ・キング（Melissa King）はサンフランシスコで活動するシェフ。2013年にミス・デラウェア・ティーンUSAに出場した人物とは別人。ロサンゼルスで中国から移民した両親の間に生まれる。幼少時は母から中華料理を習い、テレビも幼児番組ではなく料理番組を見ていた。カリフォルニア大学アーバイン校で心理学を学んだ後、ニューヨーク州にあるCIA（カリナリー・インスティトゥート・オブ・アメリカ）というアメリカ随一の料理大学を主席で卒業。ロン・シーゲル、ドミニク・クレーンといった著名なシェフのもとで経験を積み、2014年に全米で最も有名な料理番組「トップ・シェフ」に出演しファイナリストとなる。プライベートシェフとしても活躍しており、プライベートシェフ派遣サイトであるKitchitに登録していた。2016年にはスーパーマーケットチェーン「ホールフーズ・マーケット」の企画で同社向けに新しいレシピを考案した。‘サスティナブル’をライフテーマとし、料理を通じて女性の社会進出や環境維持のサポートも行うなど精力的に活動中。2016年6月 ハースト婦人画報社が開催する女性の社会進出をサポートするイベント「ELLE Woman in Society 2016」にゲストとして登場。さらに2016年8月 ELLE cafe青山店のエグゼクティブゲストシェフとして日本初登場。
一連のシリーズの歴史は、1977年にどっきりシールが発売されたことに始まる(シールのサイズは48mm四方)。これは写真のようなイラストが書かれていて、見た人にそれを現物と間違えさせて驚かせることを目的としたシールである。2代目「ウッシッシール」もまた、このような「貼って驚かせる」いたずらの要素が強かったが、リアルイラストではなく漫画系のイラストとなった。この時点で同じロッテより発売されていた既存の「はりはり仮面」シリーズとコンセプトは似たようなものになり、差異はシールの大きさと形といった程度になった。3代目「まんギャシール」ではギャグをこめた漫画イラストとしての性質が強くなり、4代目「ジョーダンシール」では後のシリーズにまで引き継がれる駄洒落要素がこめられ、7代目「まじゃりんこシール」ではいくつもの名称を融合させ、それにちなんで複数の要素を合体させて一つのキャラを作るというビックリマン固有のキャラの構成法が確立するに至った。なお初代「どっきりシール」は、2003年に新シリーズ（復活！どっきりシール）が登場している。往年の絵柄をそのままに再現した復刻版だけではなく、携帯電話のボタンや付け爪など、時代の変化を感じさせる新規絵柄も追加された。