Davis-Putnam-Logemann-Lovelandアルゴリズム（DPLLアルゴリズム、英: Davis-Putnam-Logemann-Loveland algorithm）とは、数理論理学および計算機科学において、論理式の充足可能性を調べるアルゴリズムである。連言標準形で表現された命題論理式を対象とし、論理式を真（True）にできるかどうかを判定する。この判定問題はCNF-SATと呼ばれる。このアルゴリズムは、1960年に発表されたデービス・パトナムのアルゴリズム（英: Davis–Putnam algorithm）の改良版として、1962年にマーチン・デービス（英語: Martin Davis）、ジョージ・ロゲマン（英語: George Logemann）、ドナルド・ラブランド（英語: Donald W. Loveland）が発表した。なお、文献によってはDPLLアルゴリズムのことをデービス・パトナムのアルゴリズムと呼ぶことがある。それぞれは異なった規則を使用し、正確には異なる。
6歳のときから日本舞踊を続け、短大では絵を学んだ。当初は自分の声に劣等感を持つほどで、声優志望ではなかった。短大卒業後、地元の山口県で会社勤めをする。しかしやりがいを感じなかったため、半年後に兄を頼って上京する。アルバイト情報誌で見かけたイベント司会の仕事が高額の報酬だったことに惹かれて応募、1年ほどイベント司会のアルバイトを行なう。これがきっかけとなり、専門的に喋りを学ぼうと東京アナウンスアカデミーへ入学する。自分の独特な声を長所にして活かそうと、声優コースに入り、卒業直後の1984年、テレビアニメ『チックンタックン』でデビューした。1989年には声優仲間の伊倉一恵、坂本千夏とコーラスグループの「GALLOP」を結成。2008年12月、声優仲間とジャズライブを開催する。翌年2月、ブログ：神代知衣の『笑う門には福来たる!!』を開設する。2009年4月、声優仲間とジャズライブ第2弾を開催、2011年4月に「GALLOP」の20年ぶりとなる復活ライブを開催した。
当駅は1863年1月10日、メトロポリタン鉄道パディントン・ファリンドン間の開通に伴って開業した駅であり、世界で初めて開業した地下鉄の一部でもある。2005年7月7日、当駅を含む3ヶ所の駅とバス3台が爆破されたロンドン同時爆破事件が起きた。容疑者の一人であるモハメド・サディク・カーンが午前8時50分頃、当駅を発車したサークル線西行き方面の列車内で爆弾を爆発させた。このテロによって6人の乗客が当駅で死亡した。2011年に放映されたNew Tricksシーズン8のEnd of the Lineで当駅が使用された。
5月27日付のオリコンデイリーランキングでは5位にランクイン。翌日の5月28日付では3位にランクインした。6月9日付のオリコン週間ランキングでは初動4.1万枚を売り上げ、週間3位にランクインした。また、ビルボードのHot Animationにおいても2作ぶりの1位を獲得した。
テレビアニメ『ラブライブ！』の第2期挿入歌第1弾。表題曲「ユメノトビラ」は第2期第3話の挿入歌として使用された。本編中では第2話で作成された曲という設定になっており、歌詞の一部が映るシーンが存在している。テレビアニメ『ラブライブ!サンシャイン!!』では、高海千歌がこの曲を聴いてスクールアイドルを始め、μ'sのようになりたいと本気で思った曲として登場。また、桜内梨子がピアノによる弾き語りでカバーしている。初回生産分には「μ'sのあなたと行きたい縁日カード」が1枚（全9種）ランダムで付属する。ジャケットは2014年4月27日に公開された。キャッチコピーは「一緒に…つかみたい!最高のステージへ。」。
側面図によれば砲口から装填機までの全長は9,130mm、全高3,165mm（右上写真のFlaK 40/1牽引型、据砲、水平時）である。FlaK 40/1が用いる、砲撃の反動を受け止める台座（射撃プラットホーム）は全長5,140mmで重量が約26tある。固定陣地に据砲した際の重量は約13tだった。砲は砲架前部のギアボックスからの動力によって旋回俯仰する。また人力旋回ハンドルがついており人力作動も可能である。砲手は37式伝達装置により、中央管制装置から射撃諸元を得て操砲した。このため本砲に直接照準装置は装備されていない。砲は61口径、砲身長7,490mm（薬室除く）、半自動水平鎖栓式で、砲身上部に復座機と砲身下部の揺架に駐退器を備え、砲身を挟んで2筒の油圧式平衡機を備える。さらに砲後方の左側に、自動装填装置および信管調整装置を備える。自動装填装置は後世の90式戦車のような、弾庫から砲弾を選択し自動的に薬室へ装填するというものではなく、これは単にトレーから薬室へ砲弾を装填し、砲手の作業を補助するものである。信管調整装置は、榴弾の信管延期秒時を自動的に調節するものである。またこの信管調節装置の側面に装填、信管調整、撃発の操作ボタンがまとめて配置されていた。砲は13名で操作する。砲長、砲右側前部に旋回担当砲手、砲右側後部に俯仰担当砲手、砲左側に信管調整手、砲左側後部に装填手と装填助手、ほか7名が弾薬運搬手である。牽引は一応可能であった。車重4.57tの220型特殊トレーラーに搭載できる牽引タイプには、FlaK 40/1という呼称がつけられた。これは4輪のトレーラーを砲の台座（射撃プラットホーム）の前後に1輌ずつ取り付けたものである。全長は15mにもなった。陣地固定式の砲を輸送するにはまず砲身と砲架に分解し、砲身を40型砲身車、砲架を203型特殊トレーラーで輸送した。この牽引タイプには、FlaK 40/2という呼称がつけられた。