可逆計算 - Wikipedia
可逆計算（かぎゃくけいさん、英: Reversible computing）とは、可逆な、すなわち計算過程において常に直前と直後の状態が一意に定まる計算。可逆計算は、計算過程において情報が消失しないため非破壊的計算（Non-destructive computing）としても知られている。 例[編集] 可逆ハードウェア 量子計算 可逆論理ゲート NOTゲート 制御NOT（CN）ゲート トフォリゲート（CCNゲート） フレドキンゲート ビリヤードボール・コンピュータ 可逆計算模型 遷移函数が一対一である決定的チューリングマシンは可逆的である（可逆チューリングマシン）。 可逆セル・オートマトン 可逆命令セットアーキテクチャ Pendulum[1] 可逆プログラミング言語 Janus Conservation[2] 可逆難解プログラミング言語 難解プログラミング言語には実行する計算そのものは単純
様相論理 - Wikipedia
様相論理（ようそうろんり、英: modal logic）は、いわゆる古典論理の対象でない、様相（modal）と呼ばれる「〜は必然的に真」や「〜は可能である」といった必然性や可能性などを扱う論理である（様相論理は、部分の真理値からは全体の真理値が決定されない内包論理の一種と見ることができる）。 その歴史は古くアリストテレスまで遡ることができる[1]:138が、形式的な扱いは数理論理学以降、非古典論理としてである。 様相論理では一般に、標準的な論理体系に「～は必然的である」ことを意味する必然性演算子と、「～は可能である」ことを意味する可能性演算子のふたつの演算子が追加される。 真理論的様相と認識論的様相[編集] 様相論理は真理論的（形而上学的、論理的）様相の文脈で語られることが最も多い。この様相においては「～は必然的である」、「～は可能である」といった言明が扱われるが、これは認識論的様相と混同
抜き打ちテストのパラドックス - Wikipedia
抜き打ちテストのパラドックス（ぬきうちテストのパラドックス）は「未来」が関わるパラドックスである。「未来の予測できない時に起こる」けども「いつまでに起きるかという期限は決まっている」という事象は、後者の制限の存在によって、そもそも「予測できない時に起こる事象」と言えなくなるのではないか、というものである。死刑囚のパラドックスあるいは予期しない絞首刑のパラドックスとも呼ばれる。 内容[編集] 次のような事例として紹介されることが多い。 ある教師が、学生たちの前で次のように予告した。 来週の月曜日から金曜日までのいずれかの日にテストを1回行う。 抜き打ちテストであり、テストが行われる日がいつかはわからない。 これを聞いたある学生は、以下の推論の結果｢抜き打ちテストは不可能である｣という結論に達した。 まず、金曜日に抜き打ちテストがあると仮定する。すると、月曜日から木曜日まで抜き打ちテストがない
投票の逆理 - Wikipedia
の場合を考える。まず多数決を取るとそれぞれの投票者がAとBとCに別々に投票するために答えが出ない。そこで別々の選択肢を個別に分析してみよう。 まず、AとCを比較する。CよりAを好む人は甲氏だけなのに対し、AよりCを好む人は乙氏、丙氏の二人いる。このため、AよりもCの方が投票者集団としては選好順序が高く、Aは選ばれない。次に、同じ事をCとBについても考えると、CはBより選好順序が低いことが分かる。同様にして、BはAより低いことも分かる。さらにAはCより低いので、結局堂々巡りの「AよりもCが良く、CよりもBが良く、BよりもAが良く、AよりもCが、CよりもBが、BよりもAが.....」になり答えを出せない。 この矛盾の「政治的」解決方法として、作為的に最初にAとBの選択投票を行いBを選択から破棄した後AとCを比較し最終的にCを選択するという手立てがある。つまり投票の手続きの決定権を握っている場合
深蒸し茶 - Wikipedia
深蒸し茶（ふかむしちゃ）は、茶の製造方法の一種で、生茶葉から煎茶を造る最初の工程である「蒸し」の時間を、1分から3分程度と長く取るものを深蒸し茶という[1]。 概要[編集] 蒸す工程がある煎茶、かぶせ茶、蒸し製玉緑茶などに用いられる。製法上は玉露でもできるが、蒸す工程のない釜炒り茶は深蒸し茶にできない。 特徴[編集] 深蒸し茶の茶葉 緑茶製造の第一工程として、茶葉を通常は30秒から40秒程度蒸して茶葉の細胞を破壊し酸化酵素の活性を失わせる。60秒から100秒程度蒸すと深蒸し茶と呼ばれ、180秒まで蒸すものは特蒸し茶と呼ばれる[2][3]。 静岡県の山間（やまあい）の本山茶や川根茶に比べ、お茶の里である牧之原を中心にした地域の茶葉は日照時間が長いため肉厚となり、従来の製茶方法では青臭さが残り旨みの抽出も少なくなることから深蒸し製法が採用された。蒸した後の処理によって粉茶状の茶葉が混ざるため、
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
