About Me
田村 直之 (たむらなおゆき) ，学術博士, 神戸大学 名誉教授
E-mail: $\texttt{tamura}\texttt{@kobe-u.ac.jp}$, $\texttt{tamura70}\texttt{@gmail.com}$
-
大学院生や研究生は受け入れていません．
業績など
-
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