TADAKI Kohtaro 只木孝太郎

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

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

[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] 量子力学では確率１の事象は必ず起こる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
  第３７回情報理論とその応用シンポジウム（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

TADAKI Kohtaro 只木 孝太郎

Research Projects

Research Products

Co-Researchers

A refinement of the principle of typicality based on the analysis of Wigner's friend in quantum mechanicsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

A refinement of quantum information theory by algorithmic randomnessPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

A refinement of quantum mechanics by algorithmic randomnessPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Statistical mechanical interpretation of algorithmic information theoryPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Computational Aspects of Randomness and Their Structural Analysis via Nonstandard Methods

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Towards construction of a new computation model based on quantum mechanics

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on Godel's incompleteness theorems for quantum measurements based on a generalization of Chaitin's halting probability ΩPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Author(s)

Journal Title

Data Source

[Journal Article] An effectivization of the law of large numbers for algorithmically random sequences and its absolute speed limit of convergence2022

Author(s)

Journal Title

Data Source

[Journal Article] A refinement of the argument of Bell's inequality versus quantum mechanics by algorithmic randomness2020

Author(s)

Journal Title

NAID

Data Source

[Journal Article] An operational characterization of the notion of probability by algorithmic randomness II: Discrete probability spaces2019

Author(s)

Journal Title

Data Source

[Journal Article] A refinement of quantum mechanics by algorithmic randomness2018

Author(s)

Journal Title

Data Source

[Journal Article] An operational characterization of the notion of probability by algorithmic randomness and its applications2016

Author(s)

Journal Title

Data Source

[Journal Article] A refinement of quantum mechanics by algorithmic randomness: extended abstract2015

Author(s)

Journal Title

Data Source

[Journal Article] アルゴリズム的情報理論とその統計力学的解釈2015

Author(s)

Journal Title

NAID

Data Source

TADAKI Kohtaro 只木孝太郎