書式付き処理可能形式とは?

Mazii

Trải nghiệm ứng dụng Mazii

Tra cứu

Từ vựng Hán tự Mẫu câu Ngữ pháp

Nhật - Nhật

Các từ liên quan tới 書式付き処理可能形式

書式

しょしき

証書・届け書・願書など各種の文書の，決まった書き方。

計算可能ドキュメント形式

書式付きテキスト、表、画像、サウンド、アニメーションが使用できる。CDFはMathematicaのタイプセット式と技術的表記をサポートしている。ページ番号付きレイアウト、構造化されたドリルダウンレイアウト、スライドショーモードもサポートされている。書式スタイルはCSSを使って設定できる。

形式

けいしき

(1)事物が存在しているときの，外に現れているかたち。

数式処理システム

数式中の変数への代入、数式中の指定したパターンに対する置き換え、数式の指定した部分あるいは指定したパターンに合致する部分の抽出単変数あるいは多変数の多項式のGCD（最大公約数）の計算単変数あるいは多変数の多項式の因数分解記号積分（不定積分、定積分、多重積分）（注：必ずしも閉じた数式

形式論理学

形式論理（けいしきろんり）とは、近代（哲学からの影響の薄れた）以降における論理学である数理論理学における論理のように、形式体系として整っている論理のこと。 (独)Formale Logik: ドイツ観念論哲学の祖と言われるイマヌエル・カントがアリストテレス流の論理学に与えた名称。自己の唱えた Transzendentale

Axiom (数式処理システム)

を取り、その引数の分数からなる体を返す。また、有理数からなる大きさ 4 × 4 の行列のなす環は SquareMatrix(4, Fraction Integer) によって生成できる。その環での演算を行う場合、1 は単位行列、A^-1 は A の逆行列 (存在する場合) であると解釈される。

SINGULAR (数式処理システム)

の開発は、Gert-Martin Greuel、Gerhard Pfister、Hans Schönemann の3人により1984年に始まった。ポータル FLOSS 数式処理システムの一覧カイザースラウテルン SINGULAR website PLURAL website Interface from GAP to Singular