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