Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
数学において、形式的冪級数(けいしきてきべききゅうすう、英: formal power series)とは、(形式的)多項式の一般化であり、多項式が有限個の項しか持たないのに対し、形式的冪級数は項が有限個でなくてもよい。例えば、(X を不定元として) ∑ n = 0 ∞ X n = 1 + X +
テイラー級数は滑らかな関数の、冪級数としての表現を与えている。 フーリエ級数は各項を三角関数とする級数による関数の表示を与えている。 調和級数はよく知られた収束しない級数の例である。調和級数が発散する現象はオイラーによる素数の無限性の証明にも利用されている。 ディリクレ級数は調和級数型の級数
"拖雷忌日在九月,玉華宮影堂有祭;唐妃忌日在正月,玉華宮影堂亦有祭。《元史·文宗紀三》載,至順元年(1330)十二月「乙丑(十九日),遣集賢侍讀學士珠遘詣真定,以明年正月二十日祀睿宗及后于玉華宮之神御殿」睿宗皇后忌日為正月二十日,這是又一旁證。同書〈文宗紀四〉載,至順二年十二月「庚申(十九日),遣集
娶る バルス・ブカ・キュレゲン(Bars buqa >بارس بوقا/bārs būqā)…トルイの娘のエルテムルを娶る ベクレミシュ・キュレゲン(Beklemiš >別吉里迷失/biéjílǐmíshī,بیكلمیش/bīklamīsh)…名称は不明だが、チンギス・カン家の女性を娶る シーラップ・キュレゲン(Širap
ウリャンカイなど)の首長がとった名称であり、「巫者的権能を持つ王者」の意味であるという。アベル・レミュザは「ビギ」(ベキ)は「伯爵」を意味する中国語「ペェ(伯)」より出たものであるという。しかし、レミュザの説は確実とは言えないとドーソンは言う。いずれにしてもこの時代の部族長は「○○・ベキ」という名称
完全な形式的検証は、システムにプログラミングの誤りがないことを保証する既知の唯一の方法である。 “ ” ACMシンポジウムで発表された論文の要約から 形式的検証の適用例としては、内部にメモリを持つ暗号回路、組み合わせ回路、デジタル回路などのシステム、ソースコードで表現されるソフトウェアがある。 これらのシステムの検証
代数式とは加減乗除冪根の6種類の符号によって連結されている数式をいい、それ以外の式を超越式という。代数式には有理式と無理式がある。 代数式 有理式 - 根号を含まない代数式 整式(有理整式) - 文字の分母を含まない式 単項式( − 3 x 3 y 2 {\displaystyle -3x^{3}y^{2}}
_{i}-\alpha _{j})^{2}} を α の判別式 (discriminant) という。代数的数の判別式は有理数であり、代数的整数の判別式は有理整数である。0 でない代数的数の判別式は 0 ではない。 代数的数 α の共役数を α 1 , α 2 , ⋯ , α n {\displaystyle \alpha