アルゴリズム的ランダムネスへの解析学的アプローチ (証明論と複雑性)

スポンサーリンク

概要

• 論文の詳細を見る
• 2013-04-00

著者

• 宮部 賢志

  京都大学数理解析研究所

関連論文

• ランダムネスの一般化 (形式体系と計算理論)
• アルゴリズム的ランダムネスへの解析学的アプローチ (証明論と複雑性)
• ランダムの程度の助言付き計算 (理論計算機科学の新展開)

スポンサーリンク