「phi」を解説文に含む見出し語の検索結果(41~50/9958件中)
計算化学内において、スレイター–コンドン則(スレイター–コンドンそく、英: Slater–Condon rules)は、個別の軌道の観点から正規直交軌道のスレイター行列式として構築された波動関数全体に...
線形時相論理(せんけいじそうろんり、Linear Temporal Logic、LTL)とは、時間に関する様相を持つ様相時相論理である。LTLでは、ある条件が最終的に真となるとか、別の事実が真になるま...
線形時相論理(せんけいじそうろんり、Linear Temporal Logic、LTL)とは、時間に関する様相を持つ様相時相論理である。LTLでは、ある条件が最終的に真となるとか、別の事実が真になるま...
線形時相論理(せんけいじそうろんり、Linear Temporal Logic、LTL)とは、時間に関する様相を持つ様相時相論理である。LTLでは、ある条件が最終的に真となるとか、別の事実が真になるま...
線形時相論理(せんけいじそうろんり、Linear Temporal Logic、LTL)とは、時間に関する様相を持つ様相時相論理である。LTLでは、ある条件が最終的に真となるとか、別の事実が真になるま...
線形時相論理(せんけいじそうろんり、Linear Temporal Logic、LTL)とは、時間に関する様相を持つ様相時相論理である。LTLでは、ある条件が最終的に真となるとか、別の事実が真になるま...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/08/21 09:09 UTC 版)「セントラル・オクラホマ大学」の記事における「Greek life」の解説UCOは28の...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/04/13 06:51 UTC 版)「Xeon Phi」の記事における「Intel Xeon Phi Processor x...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/04/13 06:51 UTC 版)「Xeon Phi」の記事における「Xeon Phi 5110P」の解説2012年11月...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/05/05 02:06 UTC 版)「状態方程式 (宇宙論)」の記事における「スカラー・モデリング」の解説一種の完全流体の状...