検索結果

厳密
ウィキペディアには「厳密」という見出しの百科事典記事はありません（タイトルに「厳密」を含むページの一覧/「厳密」で始まるページの一覧）。代わりにウィクショナリーのページ「厳密」が役に立つかもしれません。wikt:Special:Search/厳密…

2キロバイト (0 語) - 2023年4月23日 (日) 14:27
厳密非回文数
厳密非回文数（げんみつひかいぶんすう、strictly non-palindromic number）とは、2 ≦ b ≦ n − 2 である全ての b 進法における位取り記数法で表記した n が回文数にならないような整数 n のことである。例えば、10進法の6(10)は、2進法では"110(2)"…

3キロバイト (478 語) - 2020年9月1日 (火) 12:02
不可分操作 (厳密な一貫性からのリダイレクト)
不可分操作（ふかぶんそうさ）あるいはアトミック操作 (英: atomic operation) とは、情報工学においていくつかの操作を組み合わせたもので、システムの他の部分から見てそれらがひとつの操作に見えるものをいう。不可分操作は、以下の2つの条件を満たさなければならない。全操作が完了するまで…

5キロバイト (831 語) - 2023年12月18日 (月) 23:40
厳密含意
論理学において厳密含意（げんみつがんい、記号：◻または⥽）は、様相論理上の論理演算によって定義される命題上の論理的関係である。これは、様相論理の必然演算子が適用された古典論理の実質含意に論理的に等価である。任意の2つの命題 p {\displaystyle p} と q {\displaystyle…

987バイト (147 語) - 2024年6月6日 (木) 00:01

ウィクショナリーより
厳密
結合推量・意志厳密だろう未然形 + う過去・完了厳密だった連用形 + た否定形厳密でない連用形 + ない自動詞化厳密になる連用形 + なる言い切り厳密だ終止形のみ名詞化厳密なこと連体形 + こと仮定条件厳密ならば仮定形 + ば様態厳密そうだ語幹 + そうだ
すべての結果を見る