• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

ランダムネスを用いた確率概念の拡張

Research Project

Project/Area Number 23740072
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeMulti-year Fund
Research Field General mathematics (including Probability theory/Statistical mathematics)
Research InstitutionKyoto University

Principal Investigator

宮部 賢志  京都大学, 数理解析研究所, 研究員 (00583866)

Project Period (FY) 2011 – 2014
Project Status Discontinued (Fiscal Year 2011)
Budget Amount *help
¥4,290,000 (Direct Cost: ¥3,300,000、Indirect Cost: ¥990,000)
Fiscal Year 2014: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2013: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2012: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2011: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
Keywordsランダムネス / 確率論 / 計算可能性 / 計算可能解析 / 予測理論 / アルゴリズム的ランダムネス / アルゴリズム的確率 / 確率哲学
Research Abstract

本研究の目的はランダムと確率の概念の関係を計算可能性の観点から明らかにすることであった.現在広く使われているKolmogorovによる公理的確率論は,確率の意味を問わず,計算可能性との関係も明らかではない.「そもそも確率とは何か」という科学哲学的動機と共に,予測限界の理論的解明という実際的な意味を持つテーマである.このテーマはvon Mises, Solomonoff, 晩年のKolmogorovなどの研究の流れにあり,現在海外では注目を厚め始めているトピックである.
本研究では,具体的には,計算可能解析の理論を使って,ランダムネスの理論を拡張し,統計的予測理論における考え方とSolomonoffの予測との関係を明らかにすることを目標としている.これまでの研究により,計算可能距離空間上でのランダムネスの諸概念の取り扱い方や計算可能可測関数との関係などを明らかにすることができた.また測度論でよく知られた結果の計算可能性を考えると,Schnorrランダムネスが自然に現れることも明らかにした.さらに予測理論の関係も少しずつ明らかになりつつある.
現在は技術的な困難が1つ1つ解決されている段階であり,実際に応用されるようになるにはもう少し時間がかなりそうであるが,現在基礎論の研究者を中心に研究者が増え始めており,今後ますます研究が進むと予想される.特に計算量との関係の重要性が明らかになってきており,その分野の研究者との交流も進みつつある.

Report

(2 results)
  • 2012 Annual Research Report
  • 2011 Research-status Report
  • Research Products

    (32 results)

All 2013 2012 2011 Other

All Journal Article (5 results) (of which Peer Reviewed: 4 results) Presentation (26 results) (of which Invited: 2 results) Remarks (1 results)

  • [Journal Article] Characterization of Kurtz randomness by a differentiation theorem2013

    • Author(s)
      K. Miyabe
    • Journal Title

      Theory of Computing Systems

      Volume: 52(1) Issue: 1 Pages: 113-132

    • DOI

      10.1007/s00224-012-9422-3

    • NAID

      120005147549

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] The diifference between optimality and universality2012

    • Author(s)
      K. Miyabe
    • Journal Title

      Logic Journal of the IGPL

      Volume: 20(1) Issue: 1 Pages: 222-234

    • DOI

      10.1093/jigpal/jzr032

    • Related Report
      2012 Annual Research Report 2011 Research-status Report
    • Peer Reviewed
  • [Journal Article] Convergence of random series and the rate of convergence of the strong law of large numbers in game-theoretic probability2012

    • Author(s)
      Miyabe, K. and Takemura, A.
    • Journal Title

      Stochastic Processes and their Applications

      Volume: VOL.122 Issue: 1 Pages: 1-30

    • DOI

      10.1016/j.spa.2011.10.011

    • Related Report
      2012 Annual Research Report 2011 Research-status Report
    • Peer Reviewed
  • [Journal Article] Truth-table Schnorr randomness and truth-table reducibly randomness2011

    • Author(s)
      Kenshi Miyabe
    • Journal Title

      Mathematical Logic Quarterly

      Volume: 57 Issue: 3 Pages: 323-338

    • DOI

      10.1002/malq.200910128

    • Related Report
      2011 Research-status Report
    • Peer Reviewed
  • [Journal Article] ランダムネスの一般化2011

    • Author(s)
      宮部賢志
    • Journal Title

      数理解析研究所講究録

      Volume: 1729 Pages: 84-94

    • Related Report
      2011 Research-status Report
  • [Presentation] 一様Kurtzランダムネスに対する独立性定理2013

    • Author(s)
      宮部賢志
    • Organizer
      日本数学会
    • Place of Presentation
      京都大学
    • Related Report
      2012 Annual Research Report
  • [Presentation] もう一つの確率論の流れ2013

    • Author(s)
      宮部賢志
    • Organizer
      日本数学会
    • Place of Presentation
      京都大学
    • Related Report
      2012 Annual Research Report
  • [Presentation] Merkleの基準のSchnorrおよびKurtzランダムネス版2013

    • Author(s)
      宮部賢志
    • Organizer
      computation研究会
    • Place of Presentation
      岐阜大学
    • Related Report
      2012 Annual Research Report
  • [Presentation] Things to do in and with algorithmic randomness2013

    • Author(s)
      K. Miyabe
    • Organizer
      Sendai Logic School 2013
    • Place of Presentation
      仙台国際センター
    • Related Report
      2012 Annual Research Report
    • Invited
  • [Presentation] Computably measurable sets and computably measurable functions in terms of algorithmic randomness2013

    • Author(s)
      K. Miyabe
    • Organizer
      Computability theory and foundation of mathematics
    • Place of Presentation
      東京工業大学
    • Related Report
      2012 Annual Research Report
  • [Presentation] 条件付き確率の計算可能性2013

    • Author(s)
      宮部賢志
    • Organizer
      冬のLA
    • Place of Presentation
      京都大学
    • Related Report
      2012 Annual Research Report
  • [Presentation] 独立性定理とRadon-Nikodym微分2012

    • Author(s)
      宮部賢志
    • Organizer
      数学基礎論若手の会
    • Place of Presentation
      奈良県青少年会館
    • Related Report
      2012 Annual Research Report
  • [Presentation] An introduction to algorithmic randomness2012

    • Author(s)
      K. Miyabe
    • Organizer
      Fourth Workshop on Game-Theoretic Probability and Related Topics
    • Place of Presentation
      東京大学
    • Related Report
      2012 Annual Research Report
  • [Presentation] The law of the iterated logarithm in game-theoretic probability2012

    • Author(s)
      K. Miyabe
    • Organizer
      Fourth Workshop on Game-Theoretic Probability and Related Topics
    • Place of Presentation
      東京大学
    • Related Report
      2012 Annual Research Report
  • [Presentation] ランダムの概念が持つべき自然な性質2012

    • Author(s)
      宮部賢志
    • Organizer
      日本数学会
    • Place of Presentation
      九州大学
    • Related Report
      2012 Annual Research Report
    • Invited
  • [Presentation] ゲーム論的確率論入門2012

    • Author(s)
      宮部賢志
    • Organizer
      記号論理と情報科学研究集会
    • Place of Presentation
      京都産業大学
    • Related Report
      2012 Annual Research Report
  • [Presentation] Schnorr triviality and being a basis for tt-Schnorr randomness2012

    • Author(s)
      宮部賢志
    • Organizer
      証明論と複雑性
    • Place of Presentation
      京都大学
    • Related Report
      2012 Annual Research Report
  • [Presentation] Lusinの定理の実効化について2012

    • Author(s)
      宮部賢志
    • Organizer
      夏のLA
    • Place of Presentation
      天橋立宮津ロイヤルホテル
    • Related Report
      2012 Annual Research Report
  • [Presentation] Schnorr triviality is equivalent to being a basis for tt-Schnorr randomness2012

    • Author(s)
      K. Miyabe
    • Organizer
      Computability, Complexity and Randomness 2012
    • Place of Presentation
      Isaac Newton Institute(イギリス)
    • Related Report
      2012 Annual Research Report
  • [Presentation] Weak L1-computability and limit L1-computability2012

    • Author(s)
      K. Miyabe
    • Organizer
      Computability, Complexity and Analysis 2012
    • Place of Presentation
      University of Cambridge(イギリス)
    • Related Report
      2012 Annual Research Report
  • [Presentation] An integral test for Schnorr randomness and its applications2012

    • Author(s)
      K. Miyabe
    • Organizer
      Computability in Europte 2012
    • Place of Presentation
      University of Cambridge(イギリス)
    • Related Report
      2012 Annual Research Report
  • [Presentation] Schnorr layerwise computability2012

    • Author(s)
      Kenshi Miyabe
    • Organizer
      Workshop on Proof Theory and Computability Theory
    • Place of Presentation
      晴海グランドホテル,東京
    • Related Report
      2011 Research-status Report
  • [Presentation] L^1-computability and weak L^1-computability2012

    • Author(s)
      Kenshi Miyabe
    • Organizer
      京都計算可能解析学シンポジウム2012
    • Place of Presentation
      京都産業大学,京都
    • Related Report
      2011 Research-status Report
  • [Presentation] 微分可能な点はどこにあるか2012

    • Author(s)
      宮部賢志
    • Organizer
      日本数学会2012年度年会
    • Place of Presentation
      東京理科大学,東京
    • Related Report
      2011 Research-status Report
  • [Presentation] 独立同分布でない場合の大数の法則の収束速度2012

    • Author(s)
      宮部賢志
    • Organizer
      日本数学会2012年度年会
    • Place of Presentation
      東京理科大学,東京
    • Related Report
      2011 Research-status Report
  • [Presentation] Characterizing randomness by integral tests2011

    • Author(s)
      Kenshi Miyabe
    • Organizer
      Computability in Europe
    • Place of Presentation
      Sofia University, Sofia (Bulgaria)
    • Related Report
      2011 Research-status Report
  • [Presentation] An optimal semimeasure and its convergence2011

    • Author(s)
      Kenshi Miyabe
    • Organizer
      代数, 論理, 幾何と情報科学研究集会
    • Place of Presentation
      東京大学,柏
    • Related Report
      2011 Research-status Report
  • [Presentation] Randomness and differentiability2011

    • Author(s)
      宮部賢志
    • Organizer
      証明論と計算論研究集会
    • Place of Presentation
      首都大学東京,八王子
    • Related Report
      2011 Research-status Report
  • [Presentation] An optimal superfarthingale and its convergence over a computable topological space2011

    • Author(s)
      Kenshi Miyabe
    • Organizer
      Solomonoff 85th Memorial Conference
    • Place of Presentation
      Monash University, Melbourne (Australia)
    • Related Report
      2011 Research-status Report
  • [Presentation] Randomness and separation axioms2011

    • Author(s)
      Kenshi Miyabe
    • Organizer
      Analysis and Randomness in Auckland(招待講演)
    • Place of Presentation
      Auckland University, Auckland (New Zealand)
    • Related Report
      2011 Research-status Report
  • [Presentation] Characterization of Kurtz randomness by a differentiation theorem2011

    • Author(s)
      Kenshi Miyabe
    • Organizer
      Twelfth Asian Logic Conference(招待講演)
    • Place of Presentation
      Victoria University of Wellington, Wellington (New Zealand)
    • Related Report
      2011 Research-status Report
  • [Remarks]

    • URL

      http://kenshi.miyabe.name/wordpress/

    • Related Report
      2011 Research-status Report

URL: 

Published: 2011-08-05   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi