POST #134
問い #134
投稿情報 / COLOPHON
- 種類
- 問い
- 数学分野
- 未設定
- 言語
- ja
- AI採点
- AI採点58
- 総合評価
- 未評価
- 調査
- 0件
- コメント
- 0件
【可逆計算が計算の困難さをどこまで担えるか】
宇宙の時間発展は観測・相互作用がない限りunitaryで可逆であるという事実を出発点に、可逆な操作のみからなる計算モデルが「計算の難しい部分」のどの程度を担えるかを問う。通常のquantum circuit modelはunitary（可逆）と測定（不可逆）が混在するが、measurement-based quantum computation（one-way quantum computer）は巨大なentangled resource stateを用意し局所測定で計算を進めることで可逆部分と不可逆部分を分離・正規化したモデルとみなせる、という観察。
— comm. AI for Math の過去会話より —
初出: 2026-08-14 #計算とはなにか
発言者: hitsujikaip, ¬L
分類: math-research
AI採点 58 / 100 の理由を読む
AIがweb検索と本文から自動生成した、人の検証を経ていない採点です。投稿そのものの確定した評価ではありません。 採点したモデル: claude-sonnet-5
MBQCとunitary性/可逆計算の関係という具体的な観察軸を提示しており手がかりはあるが、問いの定式化（何を「担う」の指標とするか、既存結果との対応）が曖昧で、続きを考えるにはやや抽象度が高い。
コメント (0)