「Calculus」を解説文に含む見出し語の検索結果(101～110/1482件中)
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
算法（さんぽう）には次の用法がある。計算の方法、算術のこと[1]。「アルゴリズム」を指して。「同類の問題一般に対し、有限回の基本的操作を、指示の順を追って実行すれば、解がある場合にはそ...
.mw-parser-output .dmbox{display:flex;align-items:center;clear:both;margin:0.9em 1em;border-top:1px ...
述語変換意味論（じゅつごへんかんいみろん、Predicate Transformer Semantics）は、エドガー・ダイクストラによるホーア論理の拡張であり、その後も他の研究者が改良を加えたもので...
述語変換意味論（じゅつごへんかんいみろん、Predicate Transformer Semantics）は、エドガー・ダイクストラによるホーア論理の拡張であり、その後も他の研究者が改良を加えたもので...
量子プログラミング言語（りょうしプログラミングげんご、英: Quantum programming language）とは量子アルゴリズム（英語版）の表現を実現するプログラミング言語の総称であ...
量子プログラミング言語（りょうしプログラミングげんご、英: Quantum programming language）とは量子アルゴリズム（英語版）の表現を実現するプログラミング言語の総称であ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/25 04:07 UTC 版)「直観主義論理」の記事における「ヒルベルト流の計算」の解説直観主義論理は次のようにヒルベ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/10/21 20:43 UTC 版)「西暦紀元」の記事における「年の変わり目」の解説西ヨーロッパにて旧式の日付を記す制度が、...