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

• Project/Area Number: 20540134
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Single-year Grants
• Section: 一般
• Research Field: General mathematics (including Probability theory/Statistical mathematics)
• Research Institution: Chuo University
• Principal Investigator: TADAKI Kohtaro Chuo University, 研究開発機構, 機構准教授 (70407881)
• Project Period (FY): 2008 – 2010
• Project Status: Completed (Fiscal Year 2010)
• Budget Amount: ¥3,640,000 (Direct Cost: ¥2,800,000、Indirect Cost: ¥840,000); Fiscal Year 2010: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000); Fiscal Year 2009: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000); Fiscal Year 2008: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
• Keywords: ChaitinのΩ / ランダムネス / アルゴリズム的情報理論 / 統計力学 / 情報理論 / 不完全性定理 / 量子論基礎 / 不動点定理

Research Abstract

We try to derive Godel's incompleteness theorems for quantum measurements by generalizing algorithmic information theory and then applying it to the theory of quantum measurements. This research project is part of an effort to accomplish the ultimate goal, and is aimed to understand completely a new research object, called the statistical mechanical interpretation of algorithmic information theory, which was introduced by us in 2007.

Research Products

• [Journal Article] Properties of fibers of optimal prefix-free machines, Abstract Booklet of the International Conferences on Computability & Complexity in Analysis (CCA 2011) and Computability (2011)
  • Author(s): 只木孝太郎
  • Journal Title: Complexity & Randomness (CCR 2011) Pages: 25-25
  • Peer Reviewed
• [Journal Article] A Chaitin Ω number based on compressible strings, Abstract Booklet of the International Conferences on Computability & Complexity in Analysis (CCA 2011) and Computability (2011)
  • Author(s): 只木孝太郎
  • Journal Title: Complexity & Randomness (CCR 2011) Pages: 24-25
  • Peer Reviewed
• [Journal Article] アルゴリズム的情報理論の統計力学的解釈 (2011)
  • Author(s): 只木孝太郎
  • Journal Title: 数学セミナー 2011年2月号(通巻593号) Pages: 7-33
• [Journal Article] Properties of fibers of optimal prefix-free machines (2011)
  • 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
• [Journal Article] A Chaitin O number based on compressible strings (2011)
  • 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
• [Journal Article] アルゴリズム的情報理論の統計力学的解釈 (2011)
  • Author(s): 只木孝太郎
  • Journal Title: 数学セミナー Volume: 2011年2月号(通巻593号) Pages: 27-33
• [Journal Article] Properties of optimal prefix-free machines as instantaneous codes (2010)
  • Author(s): 只木孝太郎
  • Journal Title: Proceedings of the 2010 IEEE Information Theory Workshop (ITW 2010 Dublin)
  • Peer Reviewed
• [Journal Article] A new representation of Chaitin Ω number based on compressible strings (2010)
  • 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
• [Journal Article] The Hausdorff dimension of the halting self-similar sets of T-universal prefix-free machines (2010)
  • Author(s): 只木孝太郎
  • Journal Title: Proceedings of the 2010 IEEE International Symposium on Information Theory (ISIT 2010) Pages: 1287-1291
  • Peer Reviewed
• [Journal Article] A statistical mechanical interpretation of algorithmic information theory : Total statistical mechanical interpretation based on physical argument (2010)
  • 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
• [Journal Article] Properties of optimal prefix-free machines as instantaneous codes (2010)
  • Author(s): Kohtaro Tadaki
  • Journal Title: The 33rd Symposium on Information Theory and its Applications (SITA2010) Pages: 339-344
• [Journal Article] Robustness of statistical mechanical interpretation of algorithmic information theory (2010)
  • Author(s): Kohtaro Tadaki
  • Journal Title: The 33rd Symposium on Information Theory and its Applications (SITA2010) Pages: 242-247
  • Peer Reviewed
• [Journal Article] Phase transition between one-wayness and two-wayness (2010)
  • Author(s): Kohtaro Tadaki
  • Journal Title: The 33rd Symposium on Information Theory and its Applications (SITA2010) Pages: 236-241
• [Journal Article] A new representation of Chaitin O number based on compressible strings (2010)
  • Author(s): Kohtaro Tadaki
  • Journal Title: The 33rd Symposium on Information Theory and its Applications (SITA2010) Pages: 144-149
• [Journal Article] Properties of optimal prefix-free machines as instantaneous codes (2010)
  • Author(s): Kohtaro Tadaki
  • Journal Title: 2010 IEEE Information Theory Workshop (ITW 2010 Dublin)
  • Peer Reviewed
• [Journal Article] A new representation of Chaitin O number based on compressible strings (2010)
  • 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
• [Journal Article] The Hausdorff dimension of the halting self-similar sets of T-universal prefix-free machines (2010)
  • Author(s): Kohtaro Tadaki
  • Journal Title: 2010 IEEE International Symposium on Information Theory (ISIT 2010) Pages: 1287-1291
  • Peer Reviewed
• [Journal Article] Chaitin O and halting problems II (2010)
  • Author(s): Kohtaro Tadaki
  • Journal Title: 京都大学数理解析研究所講究録 Volume: 1691 Pages: 120-126
• [Journal Article] A new representation of Chaitin O number based on compressible strings (2010)
  • Author(s): Kohtaro Tadaki
  • Journal Title: 9th International Conference on Unconventional Computation(UC 2010), Lecture Notes in Computer Science, Springer-Verlag (掲載決定(印刷中))
  • Peer Reviewed
• [Journal Article] A statistical mechanical interpretation of algorithmic information theory : Total statistical mechanical interpretation based on physical argument (2010)
  • 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
• [Journal Article] Theory of one-tape linear-time Turing machines (2010)
  • Author(s): Kohtaro Tadaki
  • Journal Title: Theoretical Computer Science 411 Pages: 22-43
  • Peer Reviewed
• [Journal Article] Fixed points on partial randomness (2009)
  • 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
• [Journal Article] Partial randomness and dimension of recursively enumerable reals (2009)
  • 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
• [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
• [Journal Article] Equivalent characterizations of partial randomness for a recursively enumerable real (2009)
  • Author(s): 只木孝太郎
  • Journal Title: 京都大学数理解析研究所講究録 1635 Pages: 103-120
• [Journal Article] Fixed point theorems on partial randomness (2009)
  • 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
• [Journal Article] The Hausdorff dimension of the halting self-similar sets of T-universal prefix-free machines (2009)
  • Author(s): Kohtaro Tadaki
  • Journal Title: The 32nd Symposium on Information Theory and its Applications(SITA2009) Pages: 223-228
• [Journal Article] A statistical mechanical interpretation of algorithmic information theory III : Composite systems and fixed points (2009)
  • Author(s): Kohtaro Tadaki
  • Journal Title: The 32nd Symposium on Information Theory and its Applications(SITA2009) Pages: 217-222
• [Journal Article] Chaitin Ω numbers and halting problems (2009)
  • Author(s): Kohtaro Tadaki
  • Journal Title: The 32nd Symposium on Information Theory and its Applications(SITA2009) Pages: 211-216
• [Journal Article] A statistical mechanical interpretation of algorithmic information theory III : Composite systems and fixed points (2009)
  • Author(s): Kohtaro Tadaki
  • Journal Title: 2009 IEEE Information Theory Workshop(ITW 2009) Pages: 354-358
  • Peer Reviewed
• [Journal Article] Fixed points on partial randomness (2009)
  • Author(s): Kohtaro Tadaki
  • Journal Title: 6th Workshop on Fixed Points in Computer Science(FICS 2009) Pages: 100-107
  • Peer Reviewed
• [Journal Article] Partial randomness and dimension of recursively enumerable reals (2009)
  • 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
• [Journal Article] Chaitin O numbers and halting problems (2009)
  • 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
• [Journal Article] A statistical mechanical interpretation of algorithmic information theory (2009)
  • Author(s): Kohtaro Tadaki
  • Journal Title: Conference Booklet of the 4^<th> Conference on Logic, Computability and Randomness Pages: 16-21
  • Peer Reviewed
• [Journal Article] Fixed points on partial randomness and composition of systems (2009)
  • Author(s): Kohtaro Tadaki
  • Journal Title: The Eleventh Asian Logic Conference(ALC2009) Pages: 29-29
  • Peer Reviewed
• [Journal Article] Chaitin's halting probability O and halting problems (2009)
  • Author(s): Kohtaro Tadaki
  • Journal Title: 京都大学数理解析研究所講究録 1649 Pages: 113-120
• [Journal Article] Equivalent characterizations of partial randomness for a recursively enumerable real (2009)
  • Author(s): Kohtaro Tadaki
  • Journal Title: 京都大学数理解析研究所講究録 1635 Pages: 103-120
• [Journal Article] A statistical mechanical interpretation of algorithmic information theory (2009)
  • Author(s): Kohtaro Tadaki
  • Journal Title: The conference booklet of the 4^<th> Conference on Logic, Computability and Randomness (印刷中)
  • Peer Reviewed
• [Journal Article] Chaitin O numbers and halting problems (2009)
  • Author(s): Kohtaro Tadaki
  • Journal Title: Computability in Europe 2009 (CiE 2009), Lecture Notes in Computer Science, Springer-Verlag (印刷中)
  • Peer Reviewed
• [Journal Article] Fixed point theorems on partial randomness (2009)
  • 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
• [Journal Article] Chaitin's halting probability O and halting problems (2009)
  • Author(s): Kohtaro Tadaki
  • Journal Title: 京都大学数理解析研究所講究録 (印刷中)
• [Journal Article] The Tsallis entropy and the Shannon entropy of a universal probability (2008)
  • Author(s): 只木孝太郎
  • Journal Title: Proceedings of the 2008 IEEE International Symposium on Information Theory (ISIT 2008) Pages: 2111-2115
  • Peer Reviewed
• [Journal Article] A statistical mechanical interpretation of algorithmic information theory (2008)
  • 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
• [Journal Article] Fixed point theorems on partial randomness (2008)
  • Author(s): Kohtaro Tadaki
  • Journal Title: The 10^<th> Asian Logic Conference (ALC 10) Pages: 33-34
  • Peer Reviewed
• [Journal Article] The Tsallis entropy and the Shannon entropy of a universal probability (2008)
  • Author(s): Kohtaro Tadaki
  • Journal Title: 2008 IEEE International Symposium on Information Theory (ISIT 2008) Pages: 2111-2115
  • Peer Reviewed
• [Journal Article] A statistical mechanical interpretation of algorithmic information theory (2008)
  • Author(s): Kohtaro Tadaki
  • Journal Title: Local Proceedings of the Computability in Europe 2008 (CiE 2008) Pages: 425-434
  • Peer Reviewed
• [Journal Article] A statistical mechanical interpretation of algorithmic information theory II : Fixed point theorems on partial randomness (2008)
  • Author(s): Kohtaro Tadaki
  • Journal Title: The 31st Symposium on Information Theory and its Applications (SITA2008) Pages: 578-583
• [Journal Article] Equivalent characterizations of partial randomness for a recursively enumerable real (2008)
  • Author(s): Kohtaro Tadaki
  • Journal Title: The 31st Symposium on Information Theory and its Applications (SITA2008) Pages: 572-577
• [Journal Article] Fixed point theorem on partial randomness (2008)
  • Author(s): Kohtaro Tadaki
  • Journal Title: 京都大学数理解析研究所講究録 1599 Pages: 79-85
• [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
• [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
• [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
• [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
• [Presentation] アルゴリズム的情報理論の統計力学的解釈 (2011)
  • Author(s): 只木孝太郎
  • Organizer: 日本数学会2011年度年会数学基礎論および歴史分科会
  • Place of Presentation: 早稲田大学理工学術院(特別講演 招待講演)
  • Year and Date: 2011-03-20
• [Presentation] アルゴリズム的情報理論の統計力学的解釈 (2011)
  • Author(s): 只木孝太郎
  • Organizer: 日本数学会2011年度年会数学基礎論および歴史分科会 特別講演
  • Place of Presentation: 早稲田大学理工学術院(招待講演)
  • Year and Date: 2011-03-20
• [Presentation] Phase transition between one-wayness and two-wayness (2011)
  • Author(s): 只木孝太郎
  • Organizer: 日本数学会2011年度年会
  • Place of Presentation: 早稲田大学理工学術院
  • Year and Date: 2011-03-20
• [Presentation] A computational complexity-theoretic elaboration of weak truth-table reducibility (2011)
  • 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
• [Presentation] A computational complexity-theoretic elaboration of weak truth table reducibility (2011)
  • 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
• [Presentation] Phase transition between one-wayness and two-wayness (2010)
  • Author(s): 只木孝太郎
  • Organizer: 平成22年度確率論シンポジウム
  • Place of Presentation: 京都大学数理解析研究所
  • Year and Date: 2010-12-22
• [Presentation] A new representation of Chaitin O number based on compressible strings (2010)
  • Author(s): 只木孝太郎
  • Organizer: 研究集会:形式体系と計算理論
  • Place of Presentation: 京都大学数理解析研究所(招待講演)
  • Year and Date: 2010-09-15
• [Presentation] Properties of optimal prefix-free machines as instantaneous codes (2010)
  • Author(s): 只木孝太郎
  • Organizer: 研究集会:形式体系と計算理論
  • Place of Presentation: 京都大学数理解析研究所(招待講演)
  • Year and Date: 2010-09-15
• [Presentation] A new representation of Chaitin O number based on compressible strings (2010)
  • Author(s): 只木孝太郎
  • Organizer: 2010年度 夏のLAシンポジウム
  • Place of Presentation: 九殿浜温泉ひみのはな(富山県氷見市)
  • Year and Date: 2010-07-22
• [Presentation] アルゴリズム的情報理論の統計力学的解釈 (2010)
  • Author(s): 只木孝太郎
  • Organizer: 東北大学大学院理学研究科数学専攻 談話会
  • Place of Presentation: 東北大学大学院理学研究科数学専攻(招待講演)
  • Year and Date: 2010-07-12
• [Presentation] One-wayness and two-wayness in algorithmic randomness (2010)
  • 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
• [Presentation] One-wayness and two-wayness in algorithmic randomness (2010)
  • 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
• [Presentation] Chaitin Ω numbers and halting problems II (2010)
  • Author(s): 只木孝太郎
  • Organizer: 日本数学会 2010年度年会
  • Place of Presentation: 慶應義塾大学矢上キャンパス
  • Year and Date: 2010-03-24
• [Presentation] A new representation of Chaitin O numbers (2010)
  • Author(s): 只木孝太郎
  • Organizer: ゲーム論的確率論と関連分野に関するワークショップ
  • Place of Presentation: 東京大学本郷キャンパス工学部6号館
  • Year and Date: 2010-03-01
• [Presentation] One-wayness in algorithmic randomness (2010)
  • Author(s): 只木孝太郎
  • Organizer: 2009年度証明論研究集会
  • Place of Presentation: ホテルリステル猪苗代
  • Year and Date: 2010-02-22
• [Presentation] Chaitin Ω numbers and halting problems II (2010)
  • Author(s): 只木孝太郎
  • Organizer: 2009年度冬のLAシンポジウム
  • Place of Presentation: 京都大学理学研究科
  • Year and Date: 2010-02-03
• [Presentation] Separating notions of partial randomness for thermodynamic quantities in algorithmic information theory (2009)
  • Author(s): 只木孝太郎
  • Organizer: 2009年度確率論シンポジウム
  • Place of Presentation: 愛媛大学総合情報メディアセンターメディアホール
  • Year and Date: 2009-12-16
• [Presentation] Separating notions of partial randomness for thermodynamic quantities in algorithmic information theory (2009)
  • Author(s): 只木孝太郎
  • Organizer: 2009年度 確率論シンポジウム
  • Place of Presentation: 愛媛大学総合情報メディアセンター メディアホール
  • Year and Date: 2009-12-16
• [Presentation] Statistical mechanical interpretation of algorithmic information theory : composite systems and fixed points (2009)
  • Author(s): 只木孝太郎
  • Organizer: 日本数学会 2009年度秋季総合分科会
  • Place of Presentation: 大阪大学大学院理学研究科
  • Year and Date: 2009-09-24
• [Presentation] A statistical mechanical interpretation of algorithmic information theory (2009)
  • Author(s): 只木孝太郎
  • Organizer: Physics and Computation 2009
  • Place of Presentation: University of Azores, Ponta Delgada, Azores, Portugal(招待講演)
  • Year and Date: 2009-09-10
• [Presentation] A statistical mechanical interpretation of algorithmic information theory (2009)
  • Author(s): 只木孝太郎
  • Organizer: Physics and Computation 2009
  • Place of Presentation: University of Azores, Ponta Delgada, Azores, Portugal
  • Year and Date: 2009-09-10
• [Presentation] Chaitin O numbers and halting problems (2009)
  • Author(s): 只木孝太郎
  • Organizer: 仙台ロジックセミナー
  • Place of Presentation: 東北大学 大学院理学研究科数学専攻
  • Year and Date: 2009-09-03
• [Presentation] Chaitin O numbers and halting problems (2009)
  • Author(s): 只木孝太郎
  • Organizer: 日本数学会2009年度年会
  • Place of Presentation: 東京大学大学院数理科学研究科
  • Year and Date: 2009-03-26
• [Presentation] Chaitin O numbers and halting problems (2009)
  • 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
• [Presentation] A statistical mechanical interpretation of algorithmic information theory (2009)
  • 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
• [Presentation] A statistical mechanical interpretation of algorithmic information theory : Fixed point theorems on partial randomness (2008)
  • Author(s): 只木孝太郎
  • Organizer: 確率論シンポジウム
  • Place of Presentation: 東京工業大学国際交流会館多目的ホール
  • Year and Date: 2008-12-17
• [Presentation] Equivalent characterizations of partial randomness for a recursively enumerable real (2008)
  • Author(s): 只木孝太郎
  • Organizer: 研究集会『エルゴート理論とその周辺』
  • Place of Presentation: 日本大学文理学部
  • Year and Date: 2008-11-30
• [Presentation] Chaitin's halting probability Ω and halting problems (2008)
  • Author(s): 只木孝太郎
  • Organizer: 2008年数学基礎論若手の会
  • Place of Presentation: 国立オリンピック記念青少年総合センター
  • Year and Date: 2008-11-28
• [Presentation] Equivalent characterizations of partial randomness for a recursively enumerable real (2008)
  • Author(s): 只木孝太郎
  • Organizer: 日本数学会 2008年度秋季総合分科会
  • Place of Presentation: 東京工業大学
  • Year and Date: 2008-09-26
• [Presentation] Equivalent characterizations of partial randomness for a recursively enumerable real (2008)
  • Author(s): 只木孝太郎
  • Organizer: RIMS共同研究 : 証明論と論理・計算の構造
  • Place of Presentation: 京都大学数理解析研究所
  • Year and Date: 2008-09-09
• [Presentation] A statistical mechanical interpretation of algorithmic information theory (2008)
  • Author(s): 只木孝太郎
  • Organizer: 第25回記号論理と情報科学研究集会(SLACS25), 第19回代数, 論理, 幾何と情報科学研究集会(ALGII9)
  • Place of Presentation: 鹿児島大学理学部
  • Year and Date: 2008-08-28
• [Presentation] Equivalent characterizations of partial randomness for a recursively enumerable real (2008)
  • Author(s): 只木孝太郎
  • Organizer: 2008年度夏のLAシンポジウム
  • Place of Presentation: 国民休暇村南紀勝浦
  • Year and Date: 2008-07-22
• [Presentation] Equivalent characterizations of partial randomness for a recursively enumerable real (2008)
  • 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
• [Presentation] Equivalent characterizations of partial randomness for a recursively enumerable real (2008)
  • Author(s): Kohtaro Tadaki
  • Organizer: Conference on Computability, Complexity and Randomness
  • Place of Presentation: Nanjing University, Nanjing, China
  • Year and Date: 2008-05-20
• [Remarks] ホームページ等
  • URL: http://www2.odn.ne.jp/tadaki/
• [Remarks]
  • URL: http://www2.odn.ne.jp/tadaki/
• [Remarks]
  • URL: http://www2.odn.ne.jp/tadaki/
• [Remarks]
  • URL: http://www2.odn.ne.jp/tasaki/