すべて 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 その他
すべて 雑誌論文 学会発表
arXiv
巻: arXiv:1909.02854 [math.PR]
arXiv.org
巻: arXiv:1804.10174 [quant-ph]
巻: arXiv:1611.06201
確率論シンポジウム RIMS研究集会報告集, 京都大学数理解析研究所講究録
巻: 1952 ページ: 112-116
雑誌 '数学'
巻: 67 ページ: 1-25
130005733094
証明論・計算論とその周辺 RIMS研究集会報告集, 京都大学数理解析研究所講究録
巻: 1950 ページ: 52-72
Lecture Notes in Computer Science
巻: 8553 ページ: 340-352
10.1007/978-3-319-08123-6_28
Lecture Notes in Computer Science, Springer-Verlag
巻: 印刷中
巻: 7956 ページ: 43-54
10.1007/978-3-642-39074-6_6
Natural Computing
巻: 11 ページ: 117-128
10.1007/s11047-011-9272-y
巻: 7060 ページ: 203-223
10.1007/978-3-642-27654-5_16
素粒子論研究・電子版
巻: 13
Mathematical Structures in Computer Science
巻: 22 ページ: 752-770
10.1017/s096012951100051x
Annals of Pure and Applied Logic
巻: 163 ページ: 763-774
10.1016/j.apal.2011.09.018
Abstract Booklet of the International Conferences on Computability & Complexity in Analysis (CCA 2011) and Computability, Complexity & Randomness (CCR 2011)
ページ: 24-25
Complexity & Randomness (CCR 2011)
ページ: 25-25
数学セミナー 2011年2月号(通巻593号)
ページ: 7-33
数学セミナー
巻: 2011年2月号(通巻593号) ページ: 27-33
Proceedings of the 2010 IEEE International Symposium on Information Theory (ISIT 2010)
ページ: 1287-1291
Proceedings of the 2010 IEEE Information Theory Workshop (ITW 2010 Dublin)
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
2010 IEEE International Symposium on Information Theory (ISIT 2010)
京都大学数理解析研究所講究録
巻: 1691 ページ: 120-126
9th International Conference on Unconventional Computation (UC 2010), Lecture Notes in Computer Science, Springer-Verlag
巻: 6079 ページ: 127-139
Proceedings of Kyoto RIMS workshop : "Mathematical Aspects of Generalized Entropies and their Applications," Journal of Physics : Conference Series (JPCS) 201
http://iopscience.iop.org/1742-6596/201/1/012006/
The 33rd Symposium on Information Theory and its Applications (SITA2010)
ページ: 236-241
2010 IEEE Information Theory Workshop (ITW 2010 Dublin)
ページ: 144-149
ページ: 242-247
Proceedings of the 9th International Conference on Unconventional Computation (UC 2010), Lecture Notes in Computer Science, Springer-Verlag 6079
ページ: 127-139
ページ: 339-344
Theoretical Computer Science 411
ページ: 22-43
9th International Conference on Unconventional Computation(UC 2010), Lecture Notes in Computer Science, Springer-Verlag (掲載決定(印刷中))
6th Workshop on Fixed Points in Computer Science(FICS 2009)
ページ: 100-107
Conference Booklet of the 4^<th> Conference on Logic, Computability and Randomness
ページ: 16-21
Proceedings of the 6th Workshop on Fixed Points in Computer Science (FICS 2009)
http://cs.ioc.ee/fics09/fics09proc.pdf
Computability in Europe 2009(CiE 2009), Lecture Notes in Computer Science, Springer-Verlag 5635
ページ: 447-456
京都大学数理解析研究所講究録 1649
ページ: 113-120
Proceedings of the Symposium on Logical Foundations of Computer Science 2009 (LFCS'09), Lecture Notes in Computer Science, Springer-Verlag 5407
ページ: 422-440
The Eleventh Asian Logic Conference(ALC2009)
ページ: 29-29
The 32nd Symposium on Information Theory and its Applications(SITA2009)
ページ: 223-228
ページ: 211-216
ページ: 217-222
The conference booklet of the 4^<th> Conference on Logic, Computability and Randomness (印刷中)
京都大学数理解析研究所講究録 (印刷中)
Computability in Europe 2009 (CiE 2009), Lecture Notes in Computer Science, Springer-Verlag (印刷中)
京都大学数理解析研究所講究録 1635
ページ: 103-120
2009 IEEE Information Theory Workshop(ITW 2009)
ページ: 354-358
34th International Symposium on Mathematical Foundations of Computer Science(MFCS 2009), Lecture Notes in Computer Science, Springer-Verlag 5734
ページ: 687-699
Symposium on Logical Foundations of Computer Science 2009 (LFCS'O9), Lecture Notes in Computer Science, Springer-Verlag 5407
Lecture Notes in Computer Science, Springer-Verlag 5635
Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science (MFCS 2009), Lecture Notes in Computer Science, Springer-Verlag 5734
The 31st Symposium on Information Theory and its Applications (SITA2008)
ページ: 578-583
ページ: 572-577
Local Proceedings of the Computability in Europe 2008 (CiE 2008)
ページ: 425-434
http://www.cs.swan.ac.uk/cie08/cie2008-local.pdf
Proceedings of the 2008 IEEE International Symposium on Information Theory (ISIT 2008)
ページ: 2111-2115
The 10^<th> Asian Logic Conference (ALC 10)
ページ: 33-34
京都大学数理解析研究所講究録 1599
ページ: 79-85
2008 IEEE International Symposium on Information Theory (ISIT 2008)
巻: (掲載決定(印刷中))
Proceedings of the 33rd Symposium on Information Theory and its Applications (SITA2010)
Mathematical Structures in Computer Science (掲載決定(印刷中))
