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

TADAKI Kohtaro  只木 孝太郎

ORCIDConnect your ORCID iD *help
Researcher Number 70407881
Affiliation (Current) 2025: 中部大学, 工学部, 教授
2025: 中央大学, 公私立大学の部局等, 専任研究員
Affiliation (based on the past Project Information) *help 2015 – 2023: 中部大学, 工学部, 教授
2008 – 2014: Chuo University, 研究開発機構, 機構准教授
Review Section/Research Field
Principal Investigator
Basic Section 12030:Basic mathematics-related / General mathematics (including Probability theory/Statistical mathematics) / Foundations of mathematics/Applied mathematics
Except Principal Investigator
Fundamental theory of informatics / General mathematics (including Probability theory/Statistical mathematics)
Keywords
Principal Investigator
アルゴリズム的ランダムネス / アルゴリズム的情報理論 / 多世界解釈 / 確率解釈 / 典型性原理 / Martin-Loefランダム性 / 量子力学 / 統計力学 / ランダムネス / ChaitinのΩ … More / 量子力学の観測問題 / 確率概念 / ボルン則 / ウィグナーの友人 / 観測問題 / ベルの不等式 / 量子情報理論 / 確率概念の操作的特徴付け / 不動点 / 相転移 / partial randomness / 不動点定理 / 量子論基礎 / 不完全性定理 / 情報理論 … More
Except Principal Investigator
数学基礎論 / 量子コンピュータ / 情報基礎 / 量子計算論 / ランダム性 / 超準モデル / 計算可能性理論 Less
  • Research Projects

    (7 results)
  • Research Products

    (183 results)
  • Co-Researchers

    (5 People)
  •  A refinement of the principle of typicality based on the analysis of Wigner's friend in quantum mechanicsPrincipal Investigator

    • Principal Investigator
      只木 孝太郎
    • Project Period (FY)
      2022 – 2025
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 12030:Basic mathematics-related
    • Research Institution
      Chubu University
  •  A refinement of quantum information theory by algorithmic randomnessPrincipal Investigator

    • Principal Investigator
      Tadaki Kohtaro
    • Project Period (FY)
      2018 – 2023
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 12030:Basic mathematics-related
    • Research Institution
      Chubu University
  •  A refinement of quantum mechanics by algorithmic randomnessPrincipal Investigator

    • Principal Investigator
      TADAKI Kohtaro
    • Project Period (FY)
      2015 – 2018
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Foundations of mathematics/Applied mathematics
    • Research Institution
      Chubu University
  •  Statistical mechanical interpretation of algorithmic information theoryPrincipal Investigator

    • Principal Investigator
      TADAKI Kohtaro
    • Project Period (FY)
      2012 – 2014
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Chuo University
  •  Computational Aspects of Randomness and Their Structural Analysis via Nonstandard Methods

    • Principal Investigator
      TANAKA Kazuyuki
    • Project Period (FY)
      2011 – 2014
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Tohoku University
  •  Towards construction of a new computation model based on quantum mechanics

    • Principal Investigator
      TANAKA Kazuyuki
    • Project Period (FY)
      2011 – 2012
    • Research Category
      Grant-in-Aid for Challenging Exploratory Research
    • Research Field
      Fundamental theory of informatics
    • Research Institution
      Tohoku University
  •  Research on Godel's incompleteness theorems for quantum measurements based on a generalization of Chaitin's halting probability ΩPrincipal Investigator

    • Principal Investigator
      TADAKI Kohtaro
    • Project Period (FY)
      2008 – 2010
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Chuo University

All 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 Other

All Journal Article Presentation

  • [Journal Article] A refinement of the argument of local realism versus quantum mechanics by algorithmic randomness2023

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      arXiv

      Volume: arXiv:2312.13246 [quant-ph]

    • Open Access
    • Data Source
      KAKENHI-PROJECT-18K03405
  • [Journal Article] An effectivization of the law of large numbers for algorithmically random sequences and its absolute speed limit of convergence2022

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      arXiv

      Volume: arXiv:2212.13562 [math.PR]

    • Open Access
    • Data Source
      KAKENHI-PROJECT-22K03409
  • [Journal Article] A refinement of the argument of Bell's inequality versus quantum mechanics by algorithmic randomness2020

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      京都大学数理解析研究所講究録

      Volume: 2154 Pages: 27-53

    • NAID

      120006888441

    • Open Access
    • Data Source
      KAKENHI-PROJECT-18K03405
  • [Journal Article] An operational characterization of the notion of probability by algorithmic randomness II: Discrete probability spaces2019

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      arXiv

      Volume: arXiv:1909.02854 [math.PR]

    • Open Access
    • Data Source
      KAKENHI-PROJECT-18K03405
  • [Journal Article] A refinement of quantum mechanics by algorithmic randomness2018

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      arXiv.org

      Volume: arXiv:1804.10174 [quant-ph]

    • Open Access
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Journal Article] An operational characterization of the notion of probability by algorithmic randomness and its applications2016

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      arXiv.org

      Volume: arXiv:1611.06201

    • Acknowledgement Compliant / Open Access
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Journal Article] A refinement of quantum mechanics by algorithmic randomness: extended abstract2015

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      確率論シンポジウム RIMS研究集会報告集, 京都大学数理解析研究所講究録

      Volume: 1952 Pages: 112-116

    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Journal Article] アルゴリズム的情報理論とその統計力学的解釈2015

    • Author(s)
      只木孝太郎
    • Journal Title

      雑誌 '数学'

      Volume: 67 Pages: 1-25

    • NAID

      130005733094

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24540142
  • [Journal Article] An operational characterization of the notion of probability by algorithmic randomness and its applications2015

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      証明論・計算論とその周辺 RIMS研究集会報告集, 京都大学数理解析研究所講究録

      Volume: 1950 Pages: 52-72

    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Journal Article] Phase Transition and Strong Predictability2014

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 8553 Pages: 340-352

    • DOI

      10.1007/978-3-319-08123-6_28

    • ISBN
      9783319081229, 9783319081236
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-24540142
  • [Journal Article] Phase transition and strong predictability2014

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      Lecture Notes in Computer Science, Springer-Verlag

      Volume: 印刷中

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24540142
  • [Journal Article] Spectral representation of some computably enumerable sets with an application to quantum provability2013

    • Author(s)
      C. S. Calude and K. Tadaki
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 7956 Pages: 43-54

    • DOI

      10.1007/978-3-642-39074-6_6

    • ISBN
      9783642390739, 9783642390746
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23340020, KAKENHI-PROJECT-23650001
  • [Journal Article] A Chaitin Ω number based on compressible strings2012

    • Author(s)
      K. Tadaki
    • Journal Title

      Natural Computing

      Volume: 11 Issue: 1 Pages: 117-128

    • DOI

      10.1007/s11047-011-9272-y

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23340020
  • [Journal Article] Phase transition between unidirectionality and bidirectionality2012

    • Author(s)
      K. Tadaki
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 7060 Pages: 203-223

    • DOI

      10.1007/978-3-642-27654-5_16

    • ISBN
      9783642276538, 9783642276545
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23340020, KAKENHI-PROJECT-23650001
  • [Journal Article] 情報理論における情報源符号化の統計力学的解釈2012

    • Author(s)
      只木孝太郎
    • Journal Title

      素粒子論研究・電子版

      Volume: 13

    • Data Source
      KAKENHI-PROJECT-24540142
  • [Journal Article] A statistical mechanical interpretation of algorithmic information theory III: Composite systems and fixed points2012

    • Author(s)
      K. Tadaki
    • Journal Title

      Mathematical Structures in Computer Science

      Volume: 22 Issue: 5 Pages: 752-770

    • DOI

      10.1017/s096012951100051x

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23340020, KAKENHI-PROJECT-24540142
  • [Journal Article] Fixed point theorems on partial randomness2012

    • Author(s)
      K. Tadaki
    • Journal Title

      Annals of Pure and Applied Logic

      Volume: 163 Issue: 7 Pages: 763-774

    • DOI

      10.1016/j.apal.2011.09.018

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23340020, KAKENHI-PROJECT-23650001
  • [Journal Article] A Chaitin O number based on compressible strings2011

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      Abstract Booklet of the International Conferences on Computability & Complexity in Analysis (CCA 2011) and Computability, Complexity & Randomness (CCR 2011)

      Pages: 24-25

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] Properties of fibers of optimal prefix-free machines, Abstract Booklet of the International Conferences on Computability & Complexity in Analysis (CCA 2011) and Computability2011

    • Author(s)
      只木孝太郎
    • Journal Title

      Complexity & Randomness (CCR 2011)

      Pages: 25-25

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] アルゴリズム的情報理論の統計力学的解釈2011

    • Author(s)
      只木孝太郎
    • Journal Title

      数学セミナー 2011年2月号(通巻593号)

      Pages: 7-33

    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] アルゴリズム的情報理論の統計力学的解釈2011

    • Author(s)
      只木孝太郎
    • Journal Title

      数学セミナー

      Volume: 2011年2月号(通巻593号) Pages: 27-33

    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] A Chaitin Ω number based on compressible strings, Abstract Booklet of the International Conferences on Computability & Complexity in Analysis (CCA 2011) and Computability2011

    • Author(s)
      只木孝太郎
    • Journal Title

      Complexity & Randomness (CCR 2011)

      Pages: 24-25

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] Properties of fibers of optimal prefix-free machines2011

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      Abstract Booklet of the International Conferences on Computability & Complexity in Analysis (CCA 2011) and Computability, Complexity & Randomness (CCR 2011)

      Pages: 25-25

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] The Hausdorff dimension of the halting self-similar sets of T-universal prefix-free machines2010

    • Author(s)
      只木孝太郎
    • Journal Title

      Proceedings of the 2010 IEEE International Symposium on Information Theory (ISIT 2010)

      Pages: 1287-1291

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] Properties of optimal prefix-free machines as instantaneous codes2010

    • Author(s)
      只木孝太郎
    • Journal Title

      Proceedings of the 2010 IEEE Information Theory Workshop (ITW 2010 Dublin)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] A statistical mechanical interpretation of algorithmic information theory : Total statistical mechanical interpretation based on physical argument2010

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      Proceedings of Kyoto RIMS workshop : "Mathematical Aspects of Generalized Entropies and their Applications," Journal of Physics : Conference Series(JPCS), Vol.201(2010), 012006(10pp) 201

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] The Hausdorff dimension of the halting self-similar sets of T-universal prefix-free machines2010

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      2010 IEEE International Symposium on Information Theory (ISIT 2010)

      Pages: 1287-1291

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] Chaitin O and halting problems II2010

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      京都大学数理解析研究所講究録

      Volume: 1691 Pages: 120-126

    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] A new representation of Chaitin O number based on compressible strings2010

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      9th International Conference on Unconventional Computation (UC 2010), Lecture Notes in Computer Science, Springer-Verlag

      Volume: 6079 Pages: 127-139

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] A statistical mechanical interpretation of algorithmic information theory : Total statistical mechanical interpretation based on physical argument2010

    • Author(s)
      只木孝太郎
    • Journal Title

      Proceedings of Kyoto RIMS workshop : "Mathematical Aspects of Generalized Entropies and their Applications," Journal of Physics : Conference Series (JPCS) 201

    • URL

      http://iopscience.iop.org/1742-6596/201/1/012006/

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] Phase transition between one-wayness and two-wayness2010

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      The 33rd Symposium on Information Theory and its Applications (SITA2010)

      Pages: 236-241

    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] Properties of optimal prefix-free machines as instantaneous codes2010

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      2010 IEEE Information Theory Workshop (ITW 2010 Dublin)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] A new representation of Chaitin O number based on compressible strings2010

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      The 33rd Symposium on Information Theory and its Applications (SITA2010)

      Pages: 144-149

    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] Robustness of statistical mechanical interpretation of algorithmic information theory2010

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      The 33rd Symposium on Information Theory and its Applications (SITA2010)

      Pages: 242-247

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] A new representation of Chaitin Ω number based on compressible strings2010

    • Author(s)
      只木孝太郎
    • Journal Title

      Proceedings of the 9th International Conference on Unconventional Computation (UC 2010), Lecture Notes in Computer Science, Springer-Verlag 6079

      Pages: 127-139

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] Properties of optimal prefix-free machines as instantaneous codes2010

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      The 33rd Symposium on Information Theory and its Applications (SITA2010)

      Pages: 339-344

    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] Theory of one-tape linear-time Turing machines2010

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      Theoretical Computer Science 411

      Pages: 22-43

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] A new representation of Chaitin O number based on compressible strings2010

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      9th International Conference on Unconventional Computation(UC 2010), Lecture Notes in Computer Science, Springer-Verlag (掲載決定(印刷中))

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] Fixed points on partial randomness2009

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      6th Workshop on Fixed Points in Computer Science(FICS 2009)

      Pages: 100-107

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] A statistical mechanical interpretation of algorithmic information theory2009

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      Conference Booklet of the 4^<th> Conference on Logic, Computability and Randomness

      Pages: 16-21

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] Fixed points on partial randomness2009

    • Author(s)
      只木孝太郎
    • Journal Title

      Proceedings of the 6th Workshop on Fixed Points in Computer Science (FICS 2009)

      Pages: 100-107

    • URL

      http://cs.ioc.ee/fics09/fics09proc.pdf

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] Chaitin O numbers and halting problems2009

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      Computability in Europe 2009(CiE 2009), Lecture Notes in Computer Science, Springer-Verlag 5635

      Pages: 447-456

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] Chaitin's halting probability O and halting problems2009

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      京都大学数理解析研究所講究録 1649

      Pages: 113-120

    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] Fixed point theorems on partial randomness2009

    • Author(s)
      只木孝太郎
    • Journal Title

      Proceedings of the Symposium on Logical Foundations of Computer Science 2009 (LFCS'09), Lecture Notes in Computer Science, Springer-Verlag 5407

      Pages: 422-440

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] Fixed points on partial randomness and composition of systems2009

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      The Eleventh Asian Logic Conference(ALC2009)

      Pages: 29-29

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] The Hausdorff dimension of the halting self-similar sets of T-universal prefix-free machines2009

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      The 32nd Symposium on Information Theory and its Applications(SITA2009)

      Pages: 223-228

    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] Chaitin Ω numbers and halting problems2009

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      The 32nd Symposium on Information Theory and its Applications(SITA2009)

      Pages: 211-216

    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] A statistical mechanical interpretation of algorithmic information theory III : Composite systems and fixed points2009

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      The 32nd Symposium on Information Theory and its Applications(SITA2009)

      Pages: 217-222

    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] A statistical mechanical interpretation of algorithmic information theory2009

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      The conference booklet of the 4^<th> Conference on Logic, Computability and Randomness (印刷中)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] Chaitin's halting probability O and halting problems2009

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      京都大学数理解析研究所講究録 (印刷中)

    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] Chaitin O numbers and halting problems2009

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      Computability in Europe 2009 (CiE 2009), Lecture Notes in Computer Science, Springer-Verlag (印刷中)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] Equivalent characterizations of partial randomness for a recursively enumerable real2009

    • Author(s)
      只木孝太郎
    • Journal Title

      京都大学数理解析研究所講究録 1635

      Pages: 103-120

    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] A statistical mechanical interpretation of algorithmic information theory III : Composite systems and fixed points2009

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      2009 IEEE Information Theory Workshop(ITW 2009)

      Pages: 354-358

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] Partial randomness and dimension of recursively enumerable reals2009

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      34th International Symposium on Mathematical Foundations of Computer Science(MFCS 2009), Lecture Notes in Computer Science, Springer-Verlag 5734

      Pages: 687-699

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] Fixed point theorems on partial randomness2009

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      Symposium on Logical Foundations of Computer Science 2009 (LFCS'O9), Lecture Notes in Computer Science, Springer-Verlag 5407

      Pages: 422-440

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] Chaitin Ω numbers and halting problems, Proceedings of the Computability in Europe 2009 (CiE 2009)2009

    • Author(s)
      只木孝太郎
    • Journal Title

      Lecture Notes in Computer Science, Springer-Verlag 5635

      Pages: 447-456

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] Equivalent characterizations of partial randomness for a recursively enumerable real2009

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      京都大学数理解析研究所講究録 1635

      Pages: 103-120

    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] Partial randomness and dimension of recursively enumerable reals2009

    • Author(s)
      只木孝太郎
    • Journal Title

      Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science (MFCS 2009), Lecture Notes in Computer Science, Springer-Verlag 5734

      Pages: 687-699

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] A statistical mechanical interpretation of algorithmic information theory II : Fixed point theorems on partial randomness2008

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      The 31st Symposium on Information Theory and its Applications (SITA2008)

      Pages: 578-583

    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] Equivalent characterizations of partial randomness for a recursively enumerable real2008

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      The 31st Symposium on Information Theory and its Applications (SITA2008)

      Pages: 572-577

    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] A statistical mechanical interpretation of algorithmic information theory2008

    • Author(s)
      只木孝太郎
    • Journal Title

      Local Proceedings of the Computability in Europe 2008 (CiE 2008)

      Pages: 425-434

    • URL

      http://www.cs.swan.ac.uk/cie08/cie2008-local.pdf

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] The Tsallis entropy and the Shannon entropy of a universal probability2008

    • Author(s)
      只木孝太郎
    • Journal Title

      Proceedings of the 2008 IEEE International Symposium on Information Theory (ISIT 2008)

      Pages: 2111-2115

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] Fixed point theorems on partial randomness2008

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      The 10^<th> Asian Logic Conference (ALC 10)

      Pages: 33-34

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] Fixed point theorem on partial randomness2008

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      京都大学数理解析研究所講究録 1599

      Pages: 79-85

    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] The Tsallis entropy and the Shannon entropy of a universal probability2008

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      2008 IEEE International Symposium on Information Theory (ISIT 2008)

      Pages: 2111-2115

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] A statistical mechanical interpretation of algorithmic information theory2008

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      Local Proceedings of the Computability in Europe 2008 (CiE 2008)

      Pages: 425-434

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] A statistical mechanical interpretation of algorithmic information theory III : Composite systems and fixed points

    • Author(s)
      Kohtaro Tadaki
    • Journal Title

      Mathematical Structures in Computer Science

      Volume: (掲載決定(印刷中))

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] Phase transition between one-wayness and two-wayness

    • Author(s)
      只木孝太郎
    • Journal Title

      Proceedings of the 33rd Symposium on Information Theory and its Applications (SITA2010)

      Pages: 236-241

    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] Robustness of statistical mechanical interpretation of algorithmic information theory

    • Author(s)
      只木孝太郎
    • Journal Title

      Proceedings of the 33rd Symposium on Information Theory and its Applications (SITA2010)

      Pages: 242-247

    • Data Source
      KAKENHI-PROJECT-20540134
  • [Journal Article] A statistical mechanical interpretation of algorithmic information theory III : Composite systems and fixed points

    • Author(s)
      只木孝太郎
    • Journal Title

      Mathematical Structures in Computer Science (掲載決定(印刷中))

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Presentation] アルゴリズム的ランダムネスによる量子情報理論の精密化VIII2024

    • Author(s)
      只木孝太郎
    • Organizer
      日本数学会 2024年度年会
    • Data Source
      KAKENHI-PROJECT-18K03405
  • [Presentation] A refinement of the argument of local realism versus quantum mechanics by algorithmic randomness2024

    • Author(s)
      Kohtaro Tadaki
    • Organizer
      Seventeenth International Conference on Computability, Complexity and Randomness (CCR 2024)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K03405
  • [Presentation] アルゴリズム的ランダム列が満たす実効的大数の法則とその収束速度限界2023

    • Author(s)
      只木孝太郎
    • Organizer
      日本数学会 2023年度年会
    • Data Source
      KAKENHI-PROJECT-22K03409
  • [Presentation] アルゴリズム的ランダムネスによる量子情報理論の精密化VII2023

    • Author(s)
      只木孝太郎
    • Organizer
      日本数学会 2023年度秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-18K03405
  • [Presentation] A refinement of quantum mechanics by algorithmic randomness2023

    • Author(s)
      只木孝太郎
    • Organizer
      第1回中部量子若手ワークショップ
    • Data Source
      KAKENHI-PROJECT-18K03405
  • [Presentation] A derivation of the von Neumann measurement scheme without referring to the notion of probability2023

    • Author(s)
      只木孝太郎
    • Organizer
      第40回 記号論理と情報科学 研究集会(SLACS 2023)
    • Data Source
      KAKENHI-PROJECT-22K03409
  • [Presentation] A refinement of the theory of quantum information over noisy quantum channels by algorithmic randomness2023

    • Author(s)
      只木孝太郎
    • Organizer
      RIMS共同研究(公開型)「証明論と計算論の最前線」
    • Data Source
      KAKENHI-PROJECT-18K03405
  • [Presentation] An effectivization of the law of large numbers for an arbitrary Schnorr random sequence and its absolute speed limit of convergence2022

    • Author(s)
      只木孝太郎
    • Organizer
      第39回 記号論理と情報科学研究集会 (SLACS2022)
    • Data Source
      KAKENHI-PROJECT-22K03409
  • [Presentation] アルゴリズム的ランダムネスによる量子情報理論の精密化VI2022

    • Author(s)
      只木孝太郎
    • Organizer
      日本数学会 2022年度秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-18K03405
  • [Presentation] アルゴリズム的ランダムネスによる量子情報理論の精密化VI2022

    • Author(s)
      只木孝太郎
    • Organizer
      日本数学会 2022年度年会
    • Data Source
      KAKENHI-PROJECT-18K03405
  • [Presentation] An effectivization of the law of large numbers for algorithmically random sequences and its absolute speed limit of convergence2022

    • Author(s)
      只木孝太郎
    • Organizer
      証明論シンポジウム2022
    • Data Source
      KAKENHI-PROJECT-22K03409
  • [Presentation] アルゴリズム的ランダムネスによる量子情報理論の精密化IV2021

    • Author(s)
      只木孝太郎
    • Organizer
      日本数学会 2021年度年会
    • Data Source
      KAKENHI-PROJECT-18K03405
  • [Presentation] アルゴリズム的ランダムネスによる量子情報理論の精密化V2021

    • Author(s)
      只木孝太郎
    • Organizer
      日本数学会 2021年度秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-18K03405
  • [Presentation] A refinement of the quantum noiseless channel coding theorem by algorithmic randomness2021

    • Author(s)
      只木孝太郎
    • Organizer
      第38回 記号論理と情報科学 研究集会 (SLACS2021)
    • Data Source
      KAKENHI-PROJECT-18K03405
  • [Presentation] An operational refinement of Shannon's noisy-channel coding theorem by algorithmic randomness2021

    • Author(s)
      只木孝太郎
    • Organizer
      RIMS共同研究(公開型)「証明と計算の理論と応用」
    • Data Source
      KAKENHI-PROJECT-18K03405
  • [Presentation] A refinement of Bell's inequality vs. quantum mechanics argument by algorithmic randomness2020

    • Author(s)
      只木孝太郎
    • Organizer
      2019年度 冬のLAシンポジウム
    • Data Source
      KAKENHI-PROJECT-18K03405
  • [Presentation] A refinement of the theory of Calderbank-Shor-Steane codes by algorithmic randomness2020

    • Author(s)
      只木孝太郎
    • Organizer
      証明論研究集会2020
    • Data Source
      KAKENHI-PROJECT-18K03405
  • [Presentation] A refinement of Bell's inequality versus quantum mechanics argument by algorithmic randomness2020

    • Author(s)
      只木孝太郎
    • Organizer
      研究会「量子論の諸問題と今後の発展(QMKEK7)」<ポスター発表>
    • Data Source
      KAKENHI-PROJECT-18K03405
  • [Presentation] A refinement of the theory of quantum error-correction by algorithmic randomness2020

    • Author(s)
      只木孝太郎
    • Organizer
      第37回 記号論理と情報科学 研究集会 (SLACS2020)
    • Data Source
      KAKENHI-PROJECT-18K03405
  • [Presentation] アルゴリズム的ランダムネスによる量子情報理論の精密化III2020

    • Author(s)
      只木孝太郎
    • Organizer
      日本数学会 2020年度秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-18K03405
  • [Presentation] アルゴリズム的ランダムネスによる量子情報理論の精密化I2019

    • Author(s)
      只木孝太郎
    • Organizer
      日本数学会 2019年度年会
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Presentation] A refinement of quantum teleportation and superdense coding by algorithmic randomness2019

    • Author(s)
      只木孝太郎
    • Organizer
      第36回記号論理と情報科学研究集会(SLACS 2019)
    • Data Source
      KAKENHI-PROJECT-18K03405
  • [Presentation] アルゴリズム的ランダムネスによるベルの不等式対量子力学論争の精密化2019

    • Author(s)
      只木孝太郎
    • Organizer
      基研研究会 「熱場の量子論とその応用」<ポスター発表>
    • Data Source
      KAKENHI-PROJECT-18K03405
  • [Presentation] アルゴリズム的ランダムネスによる量子情報理論の精密化I2019

    • Author(s)
      只木孝太郎
    • Organizer
      日本数学会 2019年度年会
    • Data Source
      KAKENHI-PROJECT-18K03405
  • [Presentation] A refinement of Bell's inequality versus quantum mechanics argument by algorithmic randomness2019

    • Author(s)
      只木孝太郎
    • Organizer
      新潟確率論ワークショップ
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Presentation] A refinement of Bell's inequality versus quantum mechanics argument by algorithmic randomness2019

    • Author(s)
      只木孝太郎
    • Organizer
      新潟確率論ワークショップ
    • Data Source
      KAKENHI-PROJECT-18K03405
  • [Presentation] アルゴリズム的ランダムネスによる量子情報理論の精密化II2019

    • Author(s)
      只木孝太郎
    • Organizer
      日本数学会 2019年度秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-18K03405
  • [Presentation] A refinement of Bell's inequality vs. quantum mechanics argument by algorithmic randomness II: Refined analysis of the GHZ experiment2019

    • Author(s)
      只木孝太郎
    • Organizer
      RIMS共同研究(公開型)「証明論とその周辺」
    • Data Source
      KAKENHI-PROJECT-18K03405
  • [Presentation] A refinement of quantum mechanics by algorithmic randomness and its application to the BB84 QKD protocol2018

    • Author(s)
      只木孝太郎
    • Organizer
      KEK研究会『弱値・弱測定、エンタングルメント、量子コヒーレンスの新地平』<ポスター発表>
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Presentation] An operational characterization of the notion of probability and its consequences2018

    • Author(s)
      只木孝太郎
    • Organizer
      新潟確率論ワークショップ
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Presentation] A refinement of the argument of Bell's inequality versus quantum mechanics by algorithmic randomness2018

    • Author(s)
      只木孝太郎
    • Organizer
      証明論研究集会2018
    • Data Source
      KAKENHI-PROJECT-18K03405
  • [Presentation] アルゴリズム的ランダムネスによる量子力学の再構成III: その物理的帰結2018

    • Author(s)
      只木孝太郎
    • Organizer
      日本数学会 2018年度秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Presentation] A refinement of the argument of Bell's inequality versus quantum mechanics by algorithmic randomness2018

    • Author(s)
      只木孝太郎
    • Organizer
      証明論研究集会2018
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Presentation] 量子力学では確率1の事象は必ず起こる2018

    • Author(s)
      只木孝太郎
    • Organizer
      日本数学会 2018年度年会
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Presentation] アルゴリズム的ランダムネスによる確率概念の操作的特徴付け II: 離散確率空間2017

    • Author(s)
      只木孝太郎
    • Organizer
      第15回情報学ワークショップ(WiNF 2017)
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Presentation] A physical and mathematical refinement of the postulates of quantum mechanics about mixed states by algorithmic randomness2017

    • Author(s)
      只木孝太郎
    • Organizer
      RIMS共同研究(公開型)「証明論と証明活動」(証明論研究会2017)
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Presentation] An operational characterization of the notion of probability by algorithmic randomness and its applications2017

    • Author(s)
      只木孝太郎
    • Organizer
      科研費シンポジウム「統計的モデリングと計算アルゴリズムの数理と展開」
    • Place of Presentation
      名古屋大学 情報科学研究科棟(愛知県・名古屋市)
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Presentation] A refinement of quantum mechanics by algorithmic randomness2017

    • Author(s)
      Kohtaro Tadaki
    • Organizer
      Workshop: Quantum Contextuality in Quantum Mechanics and Beyond (QCQMB)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Presentation] アルゴリズム的ランダムネスによる量子力学の再構成II: 離散スペクトル2017

    • Author(s)
      只木孝太郎
    • Organizer
      日本数学会 2017年度年会
    • Place of Presentation
      首都大学東京 南大沢キャンパス(東京都・八王子市)
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Presentation] An operational characterization of the notion of probability by algorithmic randomness II: Discrete probability spaces2017

    • Author(s)
      Kohtaro Tadaki
    • Organizer
      The 15th Asian Logic Conference (ALC2017)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Presentation] An operational characterization of the notion of probability by algorithmic randomness and its applications2017

    • Author(s)
      只木孝太郎
    • Organizer
      津田一郎教授退職記念研究集会 -複雑系数理の新展開-
    • Place of Presentation
      北海道大学大学院 理学研究院数学部門(北海道・札幌市)
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Presentation] A refinement of quantum mechanics by algorithmic randomness2017

    • Author(s)
      只木孝太郎
    • Organizer
      2016年度冬のLAシンポジウム
    • Place of Presentation
      京都大学 数理解析研究所(京都府・京都市)
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Presentation] アルゴリズム的ランダムネスによるBB84量子鍵共有プロトコルの精密化2017

    • Author(s)
      只木孝太郎
    • Organizer
      第15回情報学ワークショップ(WiNF 2017)
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Presentation] The principle of typicality2017

    • Author(s)
      只木孝太郎
    • Organizer
      新潟確率論ワークショップ
    • Place of Presentation
      新潟大学 駅南キャンパス 「ときめいと」(新潟県・新潟市)
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Presentation] A refinement of quantum mechanics by algorithmic randomness and its application to quantum cryptography2017

    • Author(s)
      只木孝太郎
    • Organizer
      2017年 暗号と情報セキュリティシンポジウム(SCIS2017)
    • Place of Presentation
      ロワジールホテル那覇(沖縄県・那覇市)
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Presentation] 典型性原理の量子情報処理への適用: BB84量子暗号プロトコルの精密化2017

    • Author(s)
      只木孝太郎
    • Organizer
      日本数学会 2017年度秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Presentation] An operational characterization of the notion of probability by algorithmic randomness: Discrete probability spaces2016

    • Author(s)
      只木孝太郎
    • Organizer
      2016年度 記号論理と情報科学研究集会(SLACS2016)
    • Place of Presentation
      名古屋大学 ベンチャービジネスラボラトリー(愛知県・名古屋市)
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Presentation] A refinement of quantum mechanics by algorithmic randomness2016

    • Author(s)
      Kohtaro Tadaki
    • Organizer
      Symposium: New Generation Quantum Theory -Particle Physics, Cosmology, and Chemistry-
    • Place of Presentation
      Kyoto University, Kyoto, Japan
    • Year and Date
      2016-03-08
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Presentation] The principle of typicality2016

    • Author(s)
      Kohtaro Tadaki
    • Organizer
      Eleventh International Conference on Computability, Complexity and Randomness (CCR 2016)
    • Place of Presentation
      The University of Hawai'i, Honolulu, USA
    • Year and Date
      2016-01-08
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Presentation] アルゴリズム的ランダムネスによる確率概念の操作的特徴付けIII2016

    • Author(s)
      只木孝太郎
    • Organizer
      日本数学会 2016年度秋季総合分科会
    • Place of Presentation
      関西大学 千里山キャンパス(大阪府・吹田市)
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Presentation] アルゴリズム的ランダムネスによる確率概念の操作的特徴付け2016

    • Author(s)
      只木孝太郎
    • Organizer
      2016年夏のLAシンポジウム
    • Place of Presentation
      かんぽの宿 大和平群(奈良県・平群町)
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Presentation] A refinement of quantum mechanics by algorithmic randomness2016

    • Author(s)
      只木孝太郎
    • Organizer
      理研シンポジウム・iTHES研究会 「熱場の量子論とその応用」(TQFT 2016)
    • Place of Presentation
      理化学研究所(埼玉県・和光市)
    • Year and Date
      2016-08-22
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Presentation] A refinement of quantum mechanics by algorithmic randomness2016

    • Author(s)
      Kohtaro Tadaki
    • Organizer
      19th Conference on Quantum Information Processing (QIP 2016)
    • Place of Presentation
      The Banff Centre, Banff, Canada
    • Year and Date
      2016-01-14
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Presentation] アルゴリズム的ランダムネスによる確率概念の操作的特徴付けII2016

    • Author(s)
      只木孝太郎
    • Organizer
      日本数学会 2016年度年会
    • Place of Presentation
      筑波大学(つくば市)
    • Year and Date
      2016-03-17
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Presentation] An operational characterization of the notion of probability by algorithmic randomness II: Discrete probability spaces2016

    • Author(s)
      只木孝太郎
    • Organizer
      エルゴード理論とその周辺
    • Place of Presentation
      筑波大学 筑波キャンパス(茨城県・つくば市)
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Presentation] An operational characterization of the notion of probability by algorithmic randomness II2016

    • Author(s)
      只木孝太郎
    • Organizer
      新潟確率論ワークショップ
    • Place of Presentation
      新潟大学 駅南キャンパス「ときめいと」(新潟市中央区)
    • Year and Date
      2016-01-22
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Presentation] A refinement of quantum mechanics by algorithmic randomness2016

    • Author(s)
      只木孝太郎
    • Organizer
      第35回量子情報技術研究会(QIT35)
    • Place of Presentation
      高エネルギー加速器研究機構 つくばキャンパス(茨城県・つくば市)
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Presentation] 典型性原理:量子力学の確率解釈の精密化2015

    • Author(s)
      只木孝太郎
    • Organizer
      日本数学会 2015年度秋季総合分科会
    • Place of Presentation
      京都産業大学(京都市北区)
    • Year and Date
      2015-09-16
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Presentation] An operational characterization of the notion of probability by algorithmic randomness and its application to science and technology2015

    • Author(s)
      只木孝太郎
    • Organizer
      第13回情報学ワークショップ(WiNF 2015)
    • Place of Presentation
      名城大学 天白キャンパス(名古屋市天白区)
    • Year and Date
      2015-12-05
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Presentation] An operational characterization of the notion of probability by algorithmic randomness2015

    • Author(s)
      只木孝太郎
    • Organizer
      2015年度確率論シンポジウム
    • Place of Presentation
      岡山大学 津島キャンパス(岡山市北区)
    • Year and Date
      2015-12-18
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Presentation] An operational characterization of the notion of probability by algorithmic randomness and its applications2015

    • Author(s)
      Kohtaro Tadaki
    • Organizer
      Tenth International Conference on Computability, Complexity and Randomness (CCR 2015)
    • Place of Presentation
      Heidelberg University, Heidelberg, Germany
    • Year and Date
      2015-06-24
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Presentation] A refinement of quantum mechanics by algorithmic randomness2015

    • Author(s)
      只木孝太郎
    • Organizer
      第13回情報学ワークショップ(WiNF 2015)
    • Place of Presentation
      名城大学 天白キャンパス(名古屋市天白区)
    • Year and Date
      2015-12-05
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Presentation] An operational characterization of the notion of probability by algorithmic randomness and its applications to science and technology2015

    • Author(s)
      只木孝太郎
    • Organizer
      2015年度 証明論研究集会・記号論理と情報科学研究集会(SLACS)
    • Place of Presentation
      南山大学 名古屋キャンパス(名古屋市昭和区)
    • Year and Date
      2015-12-15
    • Data Source
      KAKENHI-PROJECT-15K04981
  • [Presentation] アルゴリズム的ランダムネスによる確率概念の操作的特徴付け2015

    • Author(s)
      只木孝太郎
    • Organizer
      日本数学会2015年度年会
    • Place of Presentation
      明治大学 駿河台キャンパス
    • Year and Date
      2015-03-22
    • Data Source
      KAKENHI-PROJECT-24540142
  • [Presentation] A refinement of quantum mechanics by algorithmic randomness2015

    • Author(s)
      Kohtaro Tadaki
    • Organizer
      Quantum Computation, Quantum Information, and the Exact Sciences (QCOMPINFO2015)
    • Place of Presentation
      Ludwig-Maximilians-Universitaet Muenchen
    • Year and Date
      2015-01-31
    • Data Source
      KAKENHI-PROJECT-24540142
  • [Presentation] An operational characterization of the notion of probability by algorithmic randomness and its application to cryptography2015

    • Author(s)
      只木孝太郎
    • Organizer
      2015年 暗号と情報セキュリティシンポジウム (SCIS2015)
    • Place of Presentation
      福岡県北九州市
    • Year and Date
      2015-01-21
    • Data Source
      KAKENHI-PROJECT-24540142
  • [Presentation] The principle of typicality: A refinement of quantum mechanics by algorithmic randomness2014

    • Author(s)
      Kohtaro Tadaki
    • Organizer
      RIMS研究集会「証明論・計算論とその周辺」2014
    • Place of Presentation
      京都大学 数理解析研究所
    • Year and Date
      2014-12-25
    • Data Source
      KAKENHI-PROJECT-24540142
  • [Presentation] Reformulating quantum mechanics by algorithmic randomness2014

    • Author(s)
      Kohtaro tadaki
    • Organizer
      Ninth International Conference on Computability,vComplexity and Randomness (CCR 2014)
    • Place of Presentation
      National University of Singapore
    • Year and Date
      2014-06-09
    • Invited
    • Data Source
      KAKENHI-PROJECT-24540142
  • [Presentation] アルゴリズム的ランダムネスによる量子力学の再構成2014

    • Author(s)
      只木孝太郎
    • Organizer
      数理解析研究所研究集会「確率論シンポジウム」
    • Place of Presentation
      京都大学 数理解析研究所
    • Year and Date
      2014-12-18
    • Data Source
      KAKENHI-PROJECT-24540142
  • [Presentation] An operational characterization of the notion of probability by algorithmic randomness2014

    • Author(s)
      只木孝太郎
    • Organizer
      第37回情報理論とその応用シンポジウム(SITA2014)
    • Place of Presentation
      富山県黒部市
    • Year and Date
      2014-12-11
    • Data Source
      KAKENHI-PROJECT-24540142
  • [Presentation] アルゴリズム的ランダムネスによる量子力学の再構成2014

    • Author(s)
      只木孝太郎
    • Organizer
      日本数学会2014年度秋季総合分科会
    • Place of Presentation
      広島大学 東広島キャンパス
    • Year and Date
      2014-09-27
    • Data Source
      KAKENHI-PROJECT-24540142
  • [Presentation] An operational characterization of the notion of probability by algorithmic randomness2014

    • Author(s)
      Kohtaro Tadaki
    • Organizer
      研究集会「エルゴード理論とその周辺 (Ergodic Theory and Related Fields)」
    • Place of Presentation
      放送大学 熊本学習センター
    • Year and Date
      2014-12-02
    • Data Source
      KAKENHI-PROJECT-24540142
  • [Presentation] A reformulation of quantum mechanics by algorithmic randomness2014

    • Author(s)
      只木孝太郎
    • Organizer
      第30回量子情報技術研究会 (QIT30)
    • Place of Presentation
      名古屋大学 豊田講堂シンポジオン
    • Year and Date
      2014-05-13
    • Data Source
      KAKENHI-PROJECT-24540142
  • [Presentation] Recent developments in statistical mechanical interpretation of algorithmic information theory2013

    • Author(s)
      Kohtaro Tadaki
    • Organizer
      The 13th Asian Logic Conference (ALC2013)
    • Place of Presentation
      Sun Yat-sen University, Guangzhou, China
    • Invited
    • Data Source
      KAKENHI-PROJECT-24540142
  • [Presentation] Phase transition and strong predictability2013

    • Author(s)
      只木孝太郎
    • Organizer
      2013年度 夏のLA, LA シンポジウム
    • Place of Presentation
      休暇村 志賀島
    • Data Source
      KAKENHI-PROJECT-24540142
  • [Presentation] アルゴリズム的ランダムネス入門2012

    • Author(s)
      只木孝太郎
    • Organizer
      数学基礎論サマースクール 2012
    • Place of Presentation
      東京工業大学 大岡山キャンパス
    • Data Source
      KAKENHI-PROJECT-24540142
  • [Presentation] Phase transition between one-wayness and two-wayness2011

    • Author(s)
      只木孝太郎
    • Organizer
      日本数学会2011年度年会
    • Place of Presentation
      早稲田大学理工学術院
    • Year and Date
      2011-03-20
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Presentation] A computational complexity-theoretic elaboration of weak truth table reducibility2011

    • Author(s)
      Kohtaro Tadaki
    • Organizer
      Workshop on Proof Theory and Computability Theory
    • Place of Presentation
      Akiu Spa Hotel Iwanumaya, Sendai, Miyagi, Japan(招待講演)
    • Year and Date
      2011-02-22
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Presentation] アルゴリズム的情報理論の統計力学的解釈2011

    • Author(s)
      只木孝太郎
    • Organizer
      日本数学会2011年度年会数学基礎論および歴史分科会
    • Place of Presentation
      早稲田大学理工学術院(特別講演 招待講演)
    • Year and Date
      2011-03-20
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Presentation] Robustness of statistical mechanical interpretation of algorithmic information theory2011

    • Author(s)
      K. Tadaki
    • Organizer
      The Twelfth Asian Logic Conference (ALC 2011)
    • Place of Presentation
      ウェリントン(ニュージーランド)
    • Data Source
      KAKENHI-PROJECT-23340020
  • [Presentation] アルゴリズム的情報理論の統計力学的解釈2011

    • Author(s)
      只木孝太郎
    • Organizer
      日本数学会2011年度年会数学基礎論および歴史分科会 特別講演
    • Place of Presentation
      早稲田大学理工学術院(招待講演)
    • Year and Date
      2011-03-20
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Presentation] Robustness of statistical mechanical interpretation of algorithmic information theory2011

    • Author(s)
      K. Tadaki
    • Organizer
      ALC 2011
    • Place of Presentation
      ニュージーランド・Victoria University of Wellington
    • Year and Date
      2011-12-19
    • Data Source
      KAKENHI-PROJECT-23650001
  • [Presentation] A computational complexity-theoretic elaboration of weak truth-table reducibility2011

    • Author(s)
      只木孝太郎
    • Organizer
      Workshop on Proof Theory and Computability Theory
    • Place of Presentation
      Akiu Spa Hotel Iwanumaya, Sendai, Miyagi, Japan(招待講演)
    • Year and Date
      2011-02-22
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Presentation] Robustness of statistical mechanical interpretation of algorithmic information theory.2011

    • Author(s)
      K. Tadaki
    • Organizer
      the Twelfth Asian Logic Conference (ALC 2011)
    • Place of Presentation
      Victoria University of Wellington, New Zealand
    • Data Source
      KAKENHI-PROJECT-23650001
  • [Presentation] アルゴリズム的情報理論の統計力学的解釈2010

    • Author(s)
      只木孝太郎
    • Organizer
      東北大学大学院理学研究科数学専攻 談話会
    • Place of Presentation
      東北大学大学院理学研究科数学専攻(招待講演)
    • Year and Date
      2010-07-12
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Presentation] One-wayness and two-wayness in algorithmic randomness2010

    • Author(s)
      Kohtaro Tadaki
    • Organizer
      The 5th Conference on Logic, Computability and Randomness
    • Place of Presentation
      University of Notre Dame, Notre Dame, Indiana, USA(招待講演)
    • Year and Date
      2010-05-26
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Presentation] A new representation of Chaitin O number based on compressible strings2010

    • Author(s)
      只木孝太郎
    • Organizer
      研究集会:形式体系と計算理論
    • Place of Presentation
      京都大学数理解析研究所(招待講演)
    • Year and Date
      2010-09-15
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Presentation] Phase transition between one-wayness and two-wayness2010

    • Author(s)
      只木孝太郎
    • Organizer
      平成22年度確率論シンポジウム
    • Place of Presentation
      京都大学数理解析研究所
    • Year and Date
      2010-12-22
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Presentation] Properties of optimal prefix-free machines as instantaneous codes2010

    • Author(s)
      只木孝太郎
    • Organizer
      研究集会:形式体系と計算理論
    • Place of Presentation
      京都大学数理解析研究所(招待講演)
    • Year and Date
      2010-09-15
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Presentation] A new representation of Chaitin O numbers2010

    • Author(s)
      只木孝太郎
    • Organizer
      ゲーム論的確率論と関連分野に関するワークショップ
    • Place of Presentation
      東京大学本郷キャンパス工学部6号館
    • Year and Date
      2010-03-01
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Presentation] One-wayness and two-wayness in algorithmic randomness2010

    • Author(s)
      只木孝太郎
    • Organizer
      The 5th Conference on Logic, Computability and Randomness (LCR10)
    • Place of Presentation
      University of Notre Dame, Notre Dame, Indiana, USA(招待講演)
    • Year and Date
      2010-05-26
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Presentation] Chaitin Ω numbers and halting problems II2010

    • Author(s)
      只木孝太郎
    • Organizer
      2009年度冬のLAシンポジウム
    • Place of Presentation
      京都大学理学研究科
    • Year and Date
      2010-02-03
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Presentation] One-wayness in algorithmic randomness2010

    • Author(s)
      只木孝太郎
    • Organizer
      2009年度証明論研究集会
    • Place of Presentation
      ホテルリステル猪苗代
    • Year and Date
      2010-02-22
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Presentation] Chaitin Ω numbers and halting problems II2010

    • Author(s)
      只木孝太郎
    • Organizer
      日本数学会 2010年度年会
    • Place of Presentation
      慶應義塾大学矢上キャンパス
    • Year and Date
      2010-03-24
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Presentation] A new representation of Chaitin O number based on compressible strings2010

    • Author(s)
      只木孝太郎
    • Organizer
      2010年度 夏のLAシンポジウム
    • Place of Presentation
      九殿浜温泉ひみのはな(富山県氷見市)
    • Year and Date
      2010-07-22
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Presentation] Separating notions of partial randomness for thermodynamic quantities in algorithmic information theory2009

    • Author(s)
      只木孝太郎
    • Organizer
      2009年度確率論シンポジウム
    • Place of Presentation
      愛媛大学総合情報メディアセンターメディアホール
    • Year and Date
      2009-12-16
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Presentation] A statistical mechanical interpretation of algorithmic information theory2009

    • Author(s)
      只木孝太郎
    • Organizer
      Physics and Computation 2009
    • Place of Presentation
      University of Azores, Ponta Delgada, Azores, Portugal
    • Year and Date
      2009-09-10
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Presentation] A statistical mechanical interpretation of algorithmic information theory2009

    • Author(s)
      Kohtaro Tadaki
    • Organizer
      Theory Group Seminar, Department of Computer Science<招待講演>
    • Place of Presentation
      The University of Auckland, Auckland, New Zealand
    • Year and Date
      2009-03-17
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Presentation] Statistical mechanical interpretation of algorithmic information theory : composite systems and fixed points2009

    • Author(s)
      只木孝太郎
    • Organizer
      日本数学会 2009年度秋季総合分科会
    • Place of Presentation
      大阪大学大学院理学研究科
    • Year and Date
      2009-09-24
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Presentation] Chaitin O numbers and halting problems2009

    • Author(s)
      只木孝太郎
    • Organizer
      日本数学会2009年度年会
    • Place of Presentation
      東京大学大学院数理科学研究科
    • Year and Date
      2009-03-26
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Presentation] Separating notions of partial randomness for thermodynamic quantities in algorithmic information theory2009

    • Author(s)
      只木孝太郎
    • Organizer
      2009年度 確率論シンポジウム
    • Place of Presentation
      愛媛大学総合情報メディアセンター メディアホール
    • Year and Date
      2009-12-16
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Presentation] A statistical mechanical interpretation of algorithmic information theory2009

    • Author(s)
      只木孝太郎
    • Organizer
      Physics and Computation 2009
    • Place of Presentation
      University of Azores, Ponta Delgada, Azores, Portugal(招待講演)
    • Year and Date
      2009-09-10
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Presentation] Chaitin O numbers and halting problems2009

    • Author(s)
      只木孝太郎
    • Organizer
      仙台ロジックセミナー
    • Place of Presentation
      東北大学 大学院理学研究科数学専攻
    • Year and Date
      2009-09-03
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Presentation] Chaitin O numbers and halting problems2009

    • Author(s)
      Kohtaro Tadaki
    • Organizer
      Theory Group Seminar, Department of Computer Science<招待講演>
    • Place of Presentation
      The University of Auckland, Auckland, New Zealand
    • Year and Date
      2009-03-18
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Presentation] Chaitin's halting probability Ω and halting problems2008

    • Author(s)
      只木孝太郎
    • Organizer
      2008年数学基礎論若手の会
    • Place of Presentation
      国立オリンピック記念青少年総合センター
    • Year and Date
      2008-11-28
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Presentation] Equivalent characterizations of partial randomness for a recursively enumerable real2008

    • Author(s)
      只木孝太郎
    • Organizer
      研究集会『エルゴート理論とその周辺』
    • Place of Presentation
      日本大学文理学部
    • Year and Date
      2008-11-30
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Presentation] Equivalent characterizations of partial randomness for a recursively enumerable real2008

    • Author(s)
      只木孝太郎
    • Organizer
      RIMS共同研究 : 証明論と論理・計算の構造
    • Place of Presentation
      京都大学数理解析研究所
    • Year and Date
      2008-09-09
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Presentation] Equivalent characterizations of partial randomness for a recursively enumerable real2008

    • Author(s)
      Kohtaro Tadaki
    • Organizer
      Conference on Computability, Complexity and Randomness
    • Place of Presentation
      Nanjing University, Nanjing, China
    • Year and Date
      2008-05-20
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Presentation] A statistical mechanical interpretation of algorithmic information theory : Fixed point theorems on partial randomness2008

    • Author(s)
      只木孝太郎
    • Organizer
      確率論シンポジウム
    • Place of Presentation
      東京工業大学国際交流会館多目的ホール
    • Year and Date
      2008-12-17
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Presentation] A statistical mechanical interpretation of algorithmic information theory2008

    • Author(s)
      只木孝太郎
    • Organizer
      第25回記号論理と情報科学研究集会(SLACS25), 第19回代数, 論理, 幾何と情報科学研究集会(ALGII9)
    • Place of Presentation
      鹿児島大学理学部
    • Year and Date
      2008-08-28
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Presentation] Equivalent characterizations of partial randomness for a recursively enumerable real2008

    • Author(s)
      只木孝太郎
    • Organizer
      Conference on Computability, Complexity and Randomness (CCR08)
    • Place of Presentation
      Institute of Mathematical Science, Nanjing University, Nanjing, China
    • Year and Date
      2008-05-20
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Presentation] Equivalent characterizations of partial randomness for a recursively enumerable real2008

    • Author(s)
      只木孝太郎
    • Organizer
      日本数学会 2008年度秋季総合分科会
    • Place of Presentation
      東京工業大学
    • Year and Date
      2008-09-26
    • Data Source
      KAKENHI-PROJECT-20540134
  • [Presentation] Equivalent characterizations of partial randomness for a recursively enumerable real2008

    • Author(s)
      只木孝太郎
    • Organizer
      2008年度夏のLAシンポジウム
    • Place of Presentation
      国民休暇村南紀勝浦
    • Year and Date
      2008-07-22
    • Data Source
      KAKENHI-PROJECT-20540134
  • 1.  TANAKA Kazuyuki (70188291)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 2.  YAMAZAKI Takeshi (30336812)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 3.  SUZUKI Toshio (30235973)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 4.  KURODA Satoru (30300586)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 5.  YOKOYAMA Keita (10534430)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi