About Me
-
2022年3月退職のため大学院生や研究生は受け入れていません．
所属など
-
情報基盤センター 学術情報処理研究部門
-
システム情報学研究科 情報科学専攻 情報基礎講座 ソフトウェア
業績など
-
ResearcherID (publons)
-
私の エルデシュ数 は (多分) 5です．
-
Paul Erdős → Andreas Blass → Andre Scedrov → Dale Miller → Joshua Hodas → Naoyuki Tamura
-
最近の学会活動など
-
Journal on Satisfiability, Boolean Modeling and Computation, JSAT (Editorial board member)
-
International Joint Conference on Artificial Intelligence and the European Conference on Artificial Intelligence, IJCAI-ECAI 2018 (PC member)
-
International Symposium on Functional and Logic Programming, FLOPS 2018 (SC member)
-
IEEE International Conference on Tools with Artificial Intelligence, IEEE-ICTAI 2017 (PC member)
-
International Symposium on Functional and Logic Programming, FLOPS 2016 (SC member)
-
IEEE-ICTAI 2016 (PC member for constraint programming and satisfiability)
-
IEEE-ICTAI 2015 Special Track on SAT and CSP technologies (PC member)
-
ACM SAC 2015 Track on Constraint Solving and Programming and Knowledge Representation and Reasoning (PC member)
-
IEEE-ICTAI 2014 Special Track on SAT and CSP technologies (PC member)
-
ECAI 2014 (Senior PC member)
-
PoS 2014 (PC member)
-
FLOPS 2014 (SC chair)
-
ACM SAC 2014 Track on Constraint Solving and Programming (PC member)
-
LPAR 19 (PC member)
-
IEEE-ICTAI 2013 Special Track on SAT and CSP technologies (PC member)
-
SAT 2013 (PC member)
-
PoS 2013 (PC member)
-
FLOPS 2012 (General chair)
表彰など
-
See awards