「形式的表現」を解説文に含む見出し語の検索結果(11~20/68件中)
EBNF(Extended Backus–Naur Form)とは、文脈自由文法を表現するメタ文法記法であり、コンピュータのプログラミング言語や形式言語の形式的表現として使われる。バッカス・ナウア記法...
ファインマン–カッツの公式(ファインマン–カッツのこうしき、Feynman–Kac formula)とは、放物型偏微分方程式のコーシー問題の解 u ( x , t ) {\displaystyle \...
ファインマン–カッツの公式(ファインマン–カッツのこうしき、Feynman–Kac formula)とは、放物型偏微分方程式のコーシー問題の解 u ( x , t ) {\displaystyle \...
ファインマン–カッツの公式(ファインマン–カッツのこうしき、Feynman–Kac formula)とは、放物型偏微分方程式のコーシー問題の解 u ( x , t ) {\displaystyle \...
ヤングの定理(ヤングのていり、英: Young's theorem[1])は、ある条件の下で多変数関数に対する偏微分の順序を交換できることを述べる定理である(下記参照)。ヤング...
ヤングの定理(ヤングのていり、英: Young's theorem[1])は、ある条件の下で多変数関数に対する偏微分の順序を交換できることを述べる定理である(下記参照)。ヤング...
ヤングの定理(ヤングのていり、英: Young's theorem[1])は、ある条件の下で多変数関数に対する偏微分の順序を交換できることを述べる定理である(下記参照)。ヤング...
ヤングの定理(ヤングのていり、英: Young's theorem[1])は、ある条件の下で多変数関数に対する偏微分の順序を交換できることを述べる定理である(下記参照)。ヤング...
ヤングの定理(ヤングのていり、英: Young's theorem[1])は、ある条件の下で多変数関数に対する偏微分の順序を交換できることを述べる定理である(下記参照)。ヤング...
ヤングの定理(ヤングのていり、英: Young's theorem[1])は、ある条件の下で多変数関数に対する偏微分の順序を交換できることを述べる定理である(下記参照)。ヤング...