Logo
首頁
課程
筆記本
字典
JLPT 測驗
影片
升級
意見回饋
Logo
首頁
課程
筆記本
字典
JLPT 測驗
影片
升級
意見回饋
Todaii Japanese
Switch language – current: zh-tw
Logo Japanese
[email protected]
(+84) 865 924 966
315 Truong Chinh, Ha Noi
www.todaiinews.com
DMCA.com Protection Status

關於 Todaii Japanese

品牌故事常見問題使用指南條款與政策退款資訊

社群網路

Logo facebookLogo instagram

應用程式版本

AppstoreGoogle play

其他應用

Todaii German
Todaii English
Todaii Chinese
Todaii Korean
DMCA.com Protection Status

版權屬於 eUp Technology JSC

Copyright@2026

字典

單字詳情

計算可能関数

手続きは値を返す場合には有限の空間（領域）を使って計算するが、使用する空間の量に制限はない。手続きが必要とするだけの空間（記憶領域）が与えられるものとされる。 計算複雑性理論では、計算に必要な時間や空間に何らかの前提を設けて関数を研究する。 自然数の集合 A が計算可能（帰納的、決定可能）であるとは、数

相關單字

計算可能数

これらの例は実際のところ、定義可能かつ計算不能な数の無限集合を定義し、各万能チューリングマシンごとに一つずつ与える。 実数が計算可能であるとき、かつその時に限り、自然数の集合を特性関数として見なしたとき計算可能である。 計算可能実数全体は (およびそのうち可算な稠密順序で端点の無い部分集合は)

可逆計算

ビリヤードボール・コンピュータ 可逆計算模型 遷移函数が一対一である決定的チューリングマシンは可逆的である（可逆チューリングマシン）。 可逆セル・オートマトン 可逆命令セットアーキテクチャ Pendulum 可逆プログラミング言語 Janus Conservation 可逆難解プログラミング言語

計算可能性理論

計算可能性理論（けいさんかのうせいりろん、英: computability theory）とは、チューリングマシンなどの計算模型でいかなる計算問題が解けるか、またより抽象的に、計算可能な問題のクラスがいかなる構造をもっているかを調べる、計算理論や数学の一分野である。 理論計算

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

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

微分可能関数

において存在しなければならず、そのような場合、線型写像 J はヤコビ行列となる。高階導函数に関する同様の定式化は、一変数微分積分学でいうところの有限増分の補題（英語版）によって与えられる。 ここで、偏導関数の存在は（あるいは、すべての方向微分の存在でさえも）、ある点における関数の微分可能性を保証する

計算知能

Intelligence, CI)は人工知能研究の一分野であり、数理論理学に基づく従来的な人工知能とは一線を画すものである。計算知能の研究は、ファジィシステムやニューラルネットワークや進化的計算といったヒューリスティック的アルゴリズムを中心とする。その他にも、群知能、フラクタル、カオス理論、人工免疫系、ウェーブレットといった技法も利用する。

計算数論

number-theory/algorithmic-number-theory-lattices-number-fields-curves-and-cryptography?format=HB&isbn=9780521808545  Henri Cohen (1993). A Course In

可測関数

数学の、特に測度論の分野における可測関数（かそくかんすう、英: measurable function）とは、（積分論を展開する文脈として自然なものである）可測空間の間の、構造を保つ写像である。具体的に言えば、可測空間の間の関数が可測であるとは、各可測集合に対するその原像が可測

高性能計算

高性能計算、ハイ・パフォーマンス・コンピューティング（high-performance computing、HPC）は、計算科学のために必要な数理からコンピュータシステム技術までに及ぶ総合的な学問分野である。 1980年代以前はベクトル計算機が主流であったが、1990年代以降ではスカラー計算

素数計数関数

18世紀末には、π(x) が x ln ⁡ x {\displaystyle {\frac {x}{\operatorname {ln} x}}} に漸近近似できること、即ち lim x → ∞ π ( x ) x / ln ⁡ x = 1 {\displaystyle \lim _{x\to \infty

汎函数計算

数学における汎函数計算（はんかんすうけいさん、英: functional calculus）は、作用素に函数を適用する（函数の引数に作用素をとる）方法を与える理論である。現在のところ、函数解析学（あるいはその周辺の）の分野での理論と見做されており、スペクトル論との関連が深い。 f

計算

(1)数量を数えること。 (2)結果や展開を予測すること。 また， その予測のもとに計画を立てること。 「雨の降ることまでは～してなかった」「相手の反対を～に入れる」 (3)〔数〕 数や式を演算の法則に従って， 結果を出したり式の変形を実行すること。

可能

(1)することができること。 ありうること。 また， そのさま。 ⇔ 不可能 「～な限り」「実行～な計画」 (2)文法で， そうすることができるという意を表す言い方。 口語では助動詞「れる」「られる」， 文語では「る」「らる」（古くは「ゆ」「らゆ」）を付けて言い表す。

算数

2+3=□」というタイプの、答えが基本的には一つしかないような課題が主として出されるのに対し、ヨーロッパなどでは初期の段階から「□+□=5」といったような課題を頻繁に提示し、答えが一つではなく複数あり、様々な数学的な発想・探求へといざなうような教育がされることが多い。

NAG数値計算ライブラリ

Group（NAG社）により販売されている。線型方程式、固有値問題、補間、微積分、非線型方程式、微分方程式などの数学関数のほかに、相関係数、共分散、多変量解析、乱数発生などの統計計算や金融工学に必要な関数を多く取り揃えている。Windows、Linux、Solaris、HP-UX、IBM AIX、SGI IRIX

無視可能函数

数学における無視可能函数（むしかのうかんすう、英: negligible function）は、極限においていかなる多項式よりも非常に緩やかな増加をするような函数である。 実数列 μ: N → R は、任意の正整数 c に対して適当な整数 Nc を選べば、x > Nc なる全ての x について | μ

定義可能実数

の唯一の正の解として定義でき、コンパスと定規で作図可能でもある。 形式言語やその解釈の選び方の違いによって定義可能性の概念は異なる。 定義可能な数の概念は幾何学における作図可能数、代数的数、計算可能実数などを含む。 形式言語は可算個の式しか持たないので、どの形式言語で定義可能性を考えたとしても定義可能実数は可算個しかない。

計数

(1)数をかぞえること， また数えて得た数値。 (2)経理・経済などに関すること。 「～に明るい人」 (3)〔数〕「濃度{(2)}」に同じ。

計算モデル

計算モデル（けいさんモデル、（英: model of computation）は、計算・推論・証明といった行為を理論的・抽象的に考察するための数理モデルである。計算模型ともいう。これに含まれるうちで、チューリングマシンなどのような、現実の機械に似せた架空のものを抽象機械といい、そうでないものとしては