照井 一成
テルイ カズシゲ (Kazushige Terui)
更新日: 2020/09/01
基本情報
- 所属
- 京都大学 数理解析研究所 附属計算機構研究施設 助手
- 学位
-
博士（哲学）(慶應義塾大学)
- J-GLOBAL ID
- 200901036660881380
- researchmap会員ID
- 5000013907
- 外部リンク
研究キーワード
4研究分野
1経歴
12-
2001年 - 2002年
-
2001年 - 2002年
-
2002年
-
2002年
-
1998年 - 2001年
-
1998年 - 2001年
-
1999年
学歴
4-
- 2002年
-
- 2002年
-
- 1995年
-
- 1995年
受賞
2論文
27-
27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK 37:1-37:19 2018年 査読有り
-
ANNALS OF PURE AND APPLIED LOGIC 168(3) 693-737 2017年3月 査読有り
-
1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal 5:1-5:15 2016年 査読有り
-
AUTOMATA, LANGUAGES, AND PROGRAMMING, PT II 9135 350-361 2015年 査読有り
-
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India 41-42 2013年 査読有り
-
ANNALS OF PURE AND APPLIED LOGIC 163(3) 266-290 2012年3月 査読有り
-
Leibniz International Proceedings in Informatics, LIPIcs 15 323-338 2012年 査読有り
-
ALGEBRA UNIVERSALIS 66(4) 405-420 2011年12月 査読有り
-
THEORETICAL COMPUTER SCIENCE 412(31) 3992-4006 2011年7月 査読有り
-
THEORETICAL COMPUTER SCIENCE 412(20) 2048-2071 2011年4月 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6793 LNAI 20- 2011年 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6505 78-87 2011年 査読有り
-
Electronic Notes in Theoretical Computer Science 265(C) 161-176 2010年9月6日 査読有り
-
Logical Methods in Computer Science 6(4) 1-35 2010年 査読有り
-
25TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2010) 294-303 2010年 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5771 LNCS 163-178 2009年 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5608 LNCS 50-64 2009年 査読有り
-
INFORMATION AND COMPUTATION 207(1) 41-62 2009年1月 査読有り
-
TWENTY-THIRD ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS 229-+ 2008年 査読有り
-
JOURNAL OF SYMBOLIC LOGIC 72(3) 738-754 2007年9月 査読有り
MISC
2-
平成21 年7 月30 日から8 月3 日(第31 回)受講者数74( 延べ261) 2009年 査読有り
-
数理研 2006年 査読有り
書籍等出版物
3-
京都大学数理解析研究所 2015年
-
青土社 2015年 (ISBN: 9784791768516)
-
講談社 2005年 (ISBN: 4062583410)
所属学協会
4Works(作品等)
4共同研究・競争的資金等の研究課題
8-
科学研究費補助金 2004年 - 2006年
-
Grant-in-Aid for Scientific Research 2004年 - 2006年
-
2002年 - 2003年