密度汎関数理論はその概念の根源をトーマス–フェルミ模型に持つものの、DFTは2つのホーエンベルク–コーンの定理（H–K）によって強固な理論的基盤の上に置かれた。最初のH–K定理は、磁場がない場合の非縮退基底状態についてのみ成り立っていたが、以後これらを包含するために一般化されてきた。H–Kの第1定理は、多電子系の基底状態の性質が3つの空間座標だけに依存する電子密度によって一意に決定されることを論証する。これは、電子密度の汎関数に使用することによって、3つの空間座標について3N個の空間座標を持つN個の電子の多体問題を軽減するための土台を築く。この定理は、時間依存密度汎関数法（TDDFT）を開発するための時間依存定義域へ拡張することができる。TDDFTは励起状態を記述するために使うことができる。H–Kの第2定理は、系についてのエネルギー汎関数を定義し、正しい基底状態電子密度がこのエネルギー汎関数を最小化することを示す。コーン–シャムDFT（KS DFT）の枠組みの中では、静的外部ポテンシャル中で相互作用のある電子の扱いにくい多体問題が、有効ポテンシャル中を移動する相互作用のない電子の扱いやすい問題に軽減される。有効ポテンシャルは外部ポテンシャルと電子間のクーロン相互作用（例えば、交換相互作用や相関相互作用）の効果を含む。後者の2つの相互作用のモデル化がKS DFT内での難しさとなる。最も単純な近似は局所密度近似（LDA）であり、これは一様な電子ガスについての厳密な交換エネルギーに基づいている。このエネルギーはトーマス–フェルミ模型や、一様な電子ガスについての相関エネルギーへの当て嵌めから得ることができる。相互作用のない系は解くのが比較的簡単であり、波動関数はオービタルのスレイター行列式として表わすことができ。そのうえ、こういった系の運動エネルギー汎関数は厳密に分かる。全エネルギー汎関数の交換-相関部分は依然として不明であり、近似しなければならない。KS DFTよりも知られていないが、ほぼ間違いなく最初のH-K定理の精神により密接に関係している別の手法が、オービタルフリー密度汎関数理論（OFDFT）である。OFDFTでは、近似汎関数が相互作用のない系の運動エネルギーについても使われる。
米国全州道路交通運輸行政官協会（べいこくぜんしゅうどうろこうつううんゆぎょうせいかんきょうかい、AASHTO; American Association of State Highway and Transportation Officials）は、高速道路の規格に関する基準設定機関であり、アメリカ合衆国の高速道路はすべてこの協会が設定する規格に則って設計及び建設されている。さらにこの協会は、高速道路だけでなく、航空、鉄道、海上、その他あらゆる公共交通機関に関する規格の設定も行っている。この協会の構成員は、アメリカ合衆国の運輸省および各州の運輸局である。カナダの各州や近隣諸外国も、この協会に加盟している。
私立斗南高校に転入した高祐一郎は、転入初日にキロルという黒狐を連れた小鉄という少女に出会う。彼女は高に「シュマリ様」と呼びかけて立ち去っていった。そして、放課後小鉄と再び出会った高の体内にキロルが飛び込むと両者の体は一体化して、高は半狐の美女に変身してしまった。彼女は800年前に人間界に不幸をもたらす「厄災神」との戦いで「厄災神」を全て封印したものの、力を使い果たして従者の小鉄に自らの力を託して人間に転生した土地神である黒狐のシュマリであり、高はその転生体だったのである。小鉄は高に「厄災神」が復活したことを告げて、高にシュマリとして再度封印するように懇願するのだが……。
『以神伝心!?』（いしんでんしん）は、佐々木よしのによる学園コメディ漫画作品。『少年王』（光文社）にて1995年8月号より、1997年2月号まで連載された。単行本は全2巻。
松山商業高校ではエースピッチャーとして活躍。2年生の時、1952年夏の甲子園に出場。津久見高、鳴門高を降し準々決勝に進むが、八尾高の木村保と投げ合い完封負けを喫する。1年上のチームメートに三塁手の佐野洋右（大映スターズ）がいた。翌1953年の夏の甲子園にも連続出場。準決勝までの試合は全試合一人で投げ、すべて完封勝利で決勝進出。決勝は同じ四国の土佐高と対戦し、試合は9回を終わって2－2で延長戦となり、延長13回表に松山商業が1点を入れ、優勝を決めた。この試合もたった一人で13回を投げきっている。高校同期に二塁手の小川滋、中堅手の菅野寿彦、1年下には一塁手の千葉英二がおり、いずれも中日ドラゴンズに入団している。1954年に中日ドラゴンズへ入団。同年から先発陣に入り、杉下茂、石川克彦、徳永喜久夫らと共に中日初のリーグ優勝に貢献。西鉄ライオンズとの日本シリーズでも1試合に登板した。1959年には45試合に登板し、20勝11敗と素晴らしい記録を残している。その後は故障もあって不調が続き、1962年に近鉄バファローズに移籍、同年限りで引退した。本当の姓は児玉だが、松山商業に進学したかったため、空谷家に野球養子として入ったので姓が空谷になった。その後、1958年から姓を児玉に戻している。中日時代の1957年7月31日の対大洋ホエールズのダブルヘッダー（川崎球場）では第1試合に完投勝利を収め、球場内の風呂に入っていたところ、天知俊一監督が第2試合の先発投手の欄に別の投手の名前を書くつもりが、勘違いからメンバー表に児玉の名を書いて提出してしまった。場内放送でも案内されたために訂正がきかず、急遽風呂から出されてユニフォームに着替え、先頭打者を4球で打ち取ってようやくマウンドを降りることができた。また、中日時代の1958年10月9日の対広島カープ戦（中日球場）では9回を投げて無安打無得点試合であったが、味方の援護がなく試合が延長にもつれ込み、11回表二死まで無安打を続けたが、11回表二死から拝藤宣雄に初安打を許し、快記録を逃したということもあった。