密度汎関数法の第五の階層、二重混成汎関数について解説する。Hartree-Fock交換とMP2摂動論による相関エネルギーを同時に取り込むこの手法は、計算コストの増大と引き換えに精度を高められることを期待している。2004年のTruhlarによる着想からGrimmeによるB2PLYPの実用化、そして最新のDSD（Double Spin-Dependent）や長距離補正型に至るまで、主要な汎関数の特徴と対応する原著論文を網羅的に示す。

2010年にStefan Grimme、Jens Antony、Stephan Ehrlich、Helge Kriegによって確立されたDFT-D3法を中心に、密度汎関数法（DFT）における分散力補正の決定版であるDFT-Dシリーズについて解説する。Kohn-Sham DFTが原理的に抱える長距離電子相関（ロンドン分散力）の欠落という課題に対し、Casimir-Polderの式に基づく第一原理的なC6係数の導出、配位数依存性による幾何学的環境の反映、そして減衰関数による短距離接合の数理的背景を詳細に紐解く。D1、D2からの歴史的進化と、原子番号94（Pu）までの全元素対応を実現したパラメータ化の戦略、および熱化学・超分子化学における実利的な成果を、原著論文に基づき学術的観点から深掘りする。

1997年にCarlo AdamoとVincenzo Baroneによって提案されたB1LYP汎関数について、その理論的背景と数理的構造を詳細に解説する。Beckeの3パラメータ混成汎関数（B3LYP）が経験的フィッティングに依存していたのに対し、B1LYPはいかにして摂動論的考察からHartree-Fock交換混合率（0.25）を導出したのか。その設計思想、B3LYPとの構造的差異、および化学的精度における成果を原著論文に基づき学術的に紐解く。

Axel D. Beckeが1996年に提案したB1B95汎関数について解説する。3パラメータ混成（B3LYP）の成功を経て、なぜBeckeは「1パラメータ」へと回帰したのか。運動エネルギー密度を用いたB95相関汎関数の数理的導出、自己相互作用フリーな相関の設計、そして静的相関と動的相関の分離という理論的野心を、原著論文に基づき詳細に紐解く。

B3LYPと共通点のあるBeckeの3パラメータ混成汎関数「B3P86」について解説する。Becke 88交換とPerdew 86相関を、断熱接続公式に基づく半経験的パラメータで結合したこの汎関数の数理的構造を、Perdewによる相関エネルギーの勾配展開近似（GGA）の導出過程を含めて詳細に紐解く。

現代量子化学においてデファクトスタンダードとして長年君臨してきたB3LYP汎関数。その設計思想である「断熱接続（Adiabatic Connection）」の概念、Beckeによる3パラメータ形式の導出、そしてStephensらによるLYP相関の導入という歴史的経緯を、原著論文に基づき数理的に紐解く。

1998年にケンブリッジ大学のNicholas C. Handyらのグループ（Hamprecht, Cohen, Tozer, Handy）によって提案されたB97-1汎関数について解説する。Axel Beckeが確立した「べき級数展開」による柔軟な汎関数形式（B97）を継承しつつ、パラメータ決定プロセスにおいて「自己無撞着な電子密度」を用いることで、より厳密な最適化を実現した経緯を詳述する。また、同論文で開発されたHCTH汎関数との関連や、G2データセットを用いた検証結果についても、原著論文に基づき学術的な視点から深掘りする。

2001年にPhilip J. Wilson, Thomas J. Bradley, David J. Tozerによって提案されたB97-2汎関数について解説する。B97およびB97-1汎関数が抱えていた「エネルギー精度とポテンシャル精度の乖離」という課題に対し、パラメータ決定プロセスに正確な交換相関ポテンシャルへの適合を組み込むことで解決を試みたB97-2の数理的アプローチ、最適化戦略、およびその実利的な成果について、原著論文に基づき学術的な視点から詳述する。

1998年にHartmut L. SchmiderとAxel D. Beckeによって提案されたB98汎関数について、その理論的背景とパラメータ最適化の経緯を詳細に解説する。BeckeのB97汎関数の柔軟なべき級数展開形式を継承しつつ、より大規模なG2拡張セットを用いて再パラメータ化されたB98が、どのような化学的精度を達成したのか。G2セットのバイアスや過剰適合のリスクに対する考察を含め、原著論文に基づき学術的に紐解く。

2004年にA. Daniel BoeseとJan M. L. Martinによって提案されたBMK（Boese-Martin for Kinetics）汎関数について解説する。密度汎関数法（DFT）における長年の課題であった「反応障壁（Kinetics）」と「原子化エネルギー（Thermodynamics）」の精度のトレードオフを、高いHartree-Fock交換混合率（42%）と運動エネルギー密度依存項の導入によっていかに克服したか。その数理的設計、パラメータ最適化の戦略、および遷移状態理論に基づく反応速度定数計算における実利的な成果を、原著論文に基づき学術的観点から詳述する。

密度汎関数法（DFT）を物理学の理論から化学の実用ツールへと変貌させた「混成汎関数（Hybrid Functional）」について解説する。Beckeによる断熱接続公式（ACM）に基づく理論的導出、B3LYPにおける3つのパラメータの物理的意味、そしてPBE0、M06、長距離補正（CAM/ω）、分散力補正（-D）へと続く発展の歴史を説明する。

2003年にJochen Heyd, Gustavo E. Scuseria, Matthias Ernzerhofによって提案され、2006年にAliaksandr V. Krukauらによって遮蔽パラメータが修正されたHSE06（Heyd-Scuseria-Ernzerhof）汎関数について詳細に解説する。従来の長距離補正（LC）とは対照的に、長距離Hartree-Fock交換をカットする「遮蔽交換（Screened Exchange）」スキームの数理的背景、PBE0からの導出過程、およびバンドギャップ予測における実利的な成果を、原著論文に基づき学術的観点から深掘りする。

2004年に柳井毅（Takeshi Yanai）、David P. Tew、Nicholas C. Handyによって提案されたCAM-B3LYP汎関数について詳細に解説する。従来のB3LYP汎関数が抱えていた長距離電荷移動（CT）励起エネルギーの過小評価という課題に対し、クーロン演算子を誤差関数を用いて分割する「クーロン減衰法（Coulomb-Attenuating Method）」を導入することでいかに解決したか。その導出過程、パラメータ決定の物理的背景、および熱化学的精度と励起状態計算における実利的な成果について、原著論文に基づき学術的な観点から深掘りする。

2006年にOleg A. VydrovとGustavo E. Scuseriaによって提案されたLC-wPBE（LC-ωPBE）汎関数について解説する。密度汎関数法（DFT）における「長距離補正（Long-Range Correction）」スキームの中で、特にPBE交換正孔（Exchange Hole）モデルを短距離領域で解析的に積分することで導出された短距離交換汎関数の数理的背景に焦点を当てる。従来の単純なスケーリングによるLC法との違い、自己相互作用誤差や漸近ポテンシャルの改善、そして電荷移動励起や物性予測における実利的な成果について、原著論文に基づき学術的観点から詳述する。

2008年にYan ZhaoとDonald G. Truhlarによって提案されたM08-HX汎関数について、その開発背景、数理的構造、および性能評価を解説する。先行するM06-2X汎関数で課題となっていた自己無撞着場（SCF）計算の収束性を改善するために施された相関汎関数の数理的変更点と、関数形の柔軟性拡張について詳述する。また、M06シリーズとの比較を通じ、主族元素化学におけるグローバルハイブリッド形式の到達点としてのM08-HXの特性を、原著論文に基づき学術的観点から記述する。

2006年から2008年にかけてYan ZhaoとDonald G. Truhlarによって開発されたM06汎関数スイート（M06-L, M06, M06-2X, M06-HF）について解説する。先行するM05シリーズの課題であった分散力の記述や遷移金属化学における精度向上を目指し、運動エネルギー密度を用いたMeta-GGA形式の拡張と、用途別に異なるHartree-Fock交換混合率を採用する設計戦略がとられた。各汎関数の数理的構造、パラメータ決定プロセスにおけるデータベースの役割、およびM05シリーズとの比較検証結果について、原著論文に基づき学術的観点から詳述する。