検索結果
ナビゲーションに移動
検索に移動
- '''トフォリゲート''' ({{lang-en-short|Toffoli gate}}) は、[[トマソ・トフォリ]]の提案した[[可逆計算|可逆]]論理ゲートである。トフォリゲートはfunctional complete（[[:en:Functional completeness]]）であ * [[可逆計算]] …11キロバイト (602 語) - 2024年9月7日 (土) 10:31
- | paradigm = [[命令型プログラミング|命令型]] ([[手続き型プログラミング|手続き型]]), [[可逆計算|可逆]] '''Janus'''は[[カリフォルニア工科大学]]において1982年に学生のプロジェクトで設計及び実装がされた[[可逆計算|可逆]]プログラミング言語である<ref>{{Cite web | author=Christopher Lutz | title=Janus: a …13キロバイト (686 語) - 2024年9月7日 (土) 10:23
- * [[可逆計算]] …5キロバイト (185 語) - 2021年10月17日 (日) 02:51
- XNORの通常の出力の他、入力のうちのどちらか片方をそのまま（またはその反転を）出力する2入力2出力の演算は、制御NOT（CN）と呼ばれる[[可逆計算]]になる。 …7キロバイト (275 語) - 2024年10月4日 (金) 20:52
- XORの通常の出力の他、入力のうちのどちらか片方をそのまま（またはその反転を）出力する2入力2出力の演算は、制御NOT（CN）と呼ばれる[[可逆計算]]になる。 …8キロバイト (326 語) - 2024年9月4日 (水) 07:51
- …1 |pages=87–115 |doi=10.1016/j.tcs.2015.07.046|doi-access=free}}</ref> は、[[可逆計算]]の分野における重要な概念である。この定理は、可逆プログラムによって達成可能な計算は、シーケンス、選択、反復といった制御フロー構造の組み合わせのみを用 …31キロバイト (1,509 語) - 2024年7月8日 (月) 02:41
- 一般に、[[NOTゲート]]以外の古典的コンピュータの基本[[論理回路|論理ゲート]]は[[可逆計算|不可逆]]演算であり、入力から出力にかけて情報が失われる。たとえば2入力[[ANDゲート]]において出力ビットが0であったという結果のみから、それが0 …19キロバイト (909 語) - 2024年5月29日 (水) 08:27
- …、情報が破壊されているが、NOTゲートでは単に反転させるだけで情報が破壊されていないため）。こういった理論は[[量子コンピュータ]]とも関連する（[[可逆計算]]）。 …38キロバイト (764 語) - 2024年10月22日 (火) 18:55
- …は下限があることが知られている（[[ランダウアーの原理]]。ただし現実の一般的なコンピュータの発熱とは比べるべくもない規模である）。また理論的には[[可逆計算]]はいくらでも少ない消費エネルギーで行うことができる。 …50キロバイト (2,363 語) - 2025年2月19日 (水) 14:24
- 現在状態から1つ前の状態（プレイメージ）が一意に求められるセル・オートマトンを「[[可逆計算|可逆的]]」(reversible) であるという<ref name=kari-379>{{Harvnb|Kari, Jarrko|1991|p=37 …64キロバイト (3,107 語) - 2024年11月28日 (木) 17:50
- …対応する演算を行う機能は量子ゲートと呼ばれ、[[ユニタリー行列]]で記述できる。任意の1量子ビットに対するユニタリー行列は以下の形式で表現される。[[可逆計算]]であることも特徴である。この式を見ると分かる通り、量子ゲートは本質的にアナログ信号処理であり、アナログ処理に伴う誤差が問題となる点が論理演算とは異な …85キロバイト (4,569 語) - 2025年2月27日 (木) 20:23