About Me
田村 直之 (たむらなおゆき) ，学術博士, 神戸大学 名誉教授
E-mail: $\texttt{tamura}\texttt{@kobe-u.ac.jp}$, $\texttt{tamura70}\texttt{@gmail.com}$
業績など
- ResearchMap
- Google Scholar Citations
- ResearcherID (publons)
- ORCiD
- DBLP
- 科研費DB
- CiNii
-
私の エルデシュ数 は (多分) 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