Chaitinの停止確率Ωの一般化がもたらす量子測定に対する不完全性定理の研究

• 研究課題/領域番号: 20540134
• 研究種目: 基盤研究(C)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: 数学一般(含確率論・統計数学)
• 研究機関: 中央大学
• 研究代表者: 只木 孝太郎 中央大学, 研究開発機構, 機構准教授 (70407881)
• 研究期間 (年度): 2008 – 2010
• 研究課題ステータス: 完了 (2010年度)
• 配分額: 3,640千円 (直接経費: 2,800千円、間接経費: 840千円); 2010年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円); 2009年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円); 2008年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
• キーワード: ChaitinのΩ / ランダムネス / アルゴリズム的情報理論 / 統計力学 / 情報理論 / 不完全性定理 / 量子論基礎 / 不動点定理

研究概要

私は、Chaitinらによって創始されたアルゴリズム的情報理論を拡張して、それを量子力学系の測定理論に適用し、量子測定に対するGodelの不完全性定理を導出しようと試みている。本研究課題は、この全体構想の一環であり、平成19年度後半に私が創始した新しい学問分野であるアルゴリズム的情報理論の統計力学的解釈を徹底的に理解することが、本研究課題の具体的な目的である。

研究成果

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