2009年11月25日、ディメンション・フィルムズが『悪魔の棲む家』の再リメイクを計画していることが明らかになった。また後日、MGMが「The Amityville Tapes」と題された作品を企画していることを明らかにした。
2005年4月15日に北米3,323館で封切られ、初週末3日間で23,507,007ドルを稼いで初登場1位となった。Rotten Tomatoesでの評論家のレビューは否定的なものが目立ち、支持率は24%（155人中37人）にとどまった。
普通、源泉から湧出した温泉水は、パイプや誘導溝を経由して湯船などの入浴施設に導かれる（引湯）。しかし一部の自然湧出型の源泉では、源泉の場所に入浴施設が設置されている場合がある（足元湧出）。これが可能なのは湧出温度がほぼ適温である場合に限られる。ほぼ全国的に存在するが温度範囲が狭い為その数はそれほど多くない。以下には主なものを例示する。
温泉における源泉は、地中から温泉が湧き出てくる場所である。源泉の湧出形態は大きく分けて3つ存在する。岩盤の割れ目などから地表に温泉が湧出してくる「自然湧出」、ボーリングにより地中に管を埋めその管を通って水圧により温泉が湧出してくる「掘削自噴」、地中に管を埋めた後ポンプを取り付け大深度の地下からでもその力で温泉を汲み上げる「掘削動力揚湯」である。自然湧出型の源泉は地震、噴火などの自然現象に伴って発生する場合がある。掘削型はボーリングなどにより人為的に開発が行われる。新規に温泉地を開く上で、掘削による源泉開発は欠かせないものとなっている。大分県別府市では、1879年（明治12年）頃に上総掘りという技術が導入されて温泉掘削が盛んとなり、温泉旅館の内湯用から、地域の共同温泉用、個人宅の自家源泉まで多くの源泉が開発され、別府温泉は温泉都市へと発展した。
九産大九産高校から日本体育大学に進み、卒業後の2013年、リンク栃木ブレックスに入団。2017年には栃木がBリーグ初代チャンピオンとなり、熊谷もまた優勝メンバーの一人となるが、6月28日に栃木と契約満了となり、大阪エヴェッサへ移籍した。
18世紀のヨーロッパにて学者や音楽家として活動していたと伝えられるも謎が多く、タイムトラベラーともいわれるサン・ジェルマン伯爵をメインキャラクターに据えた近未来紹介バラエティー番組。3Dキャラクター“サン・ジェルマン伯爵”には古坂大魔王が声を当て、バラエティ番組MC初担当となる女優・映画監督の小川紗良が進行を担当。テレビ朝日・池谷麻依アナウンサーがアシスタントを務める。テレ朝動画やauビデオパスのコンテンツ紹介も「未来」になぞらえて行う。「フィロのス亭」との隔週放送である。2019年10月改編で隔週金曜未明2:21 - 2:51に放送時間を変更する。
被転写体が広い面積の場合、ホットスタンプ機では加圧力に限界があるため、ローラー式熱転写機が用いられる。耐熱性のあるシリコンゴムラバーを媒体として、被転写体を下面の移動式台の上にセットし、上部ローラーと被転写体の間にセットされたホットスタンプ箔に加熱、加圧を行い、これが被転写体に転移される。これにより、広い面積のシート成型や押出成形されたプラスチックや建材用木質材料、繊維製品などへの連続式の転写も可能となる。このローラー式熱転写機は、被転写体が化粧品の容器のような円筒形状でも応用出来る。転写機械上で被転写体を回転させる機構を設けることで可能となる。
ホットスタンプする平面に対して垂直に加圧、加熱する機構と、その間にホットスタンプ箔（ロール状）でセットされた機構を有する。加圧にはエアーシリンダー式、油圧シリンダー式、モーター駆動式がある。
(1) A は整列集合であるから順序 "≤" について最小元を持つ。これを、a₀ とする。定理の条件において a = a₀ と置けば、x < a を満たす A の元は存在しないので、「x < a を満たす A の全ての元 x について P(x) が真」という命題は無条件に真であり、従って、定理の条件を満たすためにはP(a₀) は真でなければならない。(2) つぎに超限帰納法の言明が偽と仮定する。これはある整列集合Aおよび、その上で定義された命題関数 P の組が存在して、定理の条件を満たしても P(x) が偽となる A の元 x が存在することを意味する。Pが偽となる A の元全ての集合を Af とする。A は整列集合であるからその部分集合である Af も最小元を持つ。これを a とする。当然 P(a) は偽である。(3) (1)で証明したように、定理の条件を満たしている限り A の最小元a₀ についてP(a₀) は真であるから a はa₀ ではあり得ない。従って、Aₐ = {x | x ∈ A ∧ x < a} と置けば、Aₐ は空ではない (少なくとも a₀ を含む)。(4) a は P が偽となる A の最小元であるから、x ∈ Aₐ であれば、P(x) は真である。従って、定理の条件により P(a) は真とならねばならないが、これは前言と矛盾する。(5) 以上から、定理の条件を満たしても P(x) が偽となる x ∈ A が存在するような整列集合 A と、その上で定義される命題関数 P の組は存在し得ないことになる。従って超限帰納法の言明は真である。