We discuss the intimate connection between these games and the structure of proofs, and prove a full completeness theorem.
我々はこれらのゲームと解の構造との間の密接な関係について議論し, 完全性定理を証明する. - コンピューター用語辞典
The ionization potential is a value obtained according to the Koopmans' theorem from the highest occupied molecular orbital (HOMO) energy of a structure having the lowest energy (the most stable structure) among structures obtained by structural optimization using the density functional theory and a basis function. イオン化ポテンシャルは、密度汎関数法及び基底関数を用いて構造最適化を行うことによって得られた構造のうち、最低エネルギーを有する構造(最安定構造)の最高被占分子軌道(HOMO)エネルギーからクープマンの定理により求めた値を示す。 - 特許庁