Naoyuki Tamura

Table of Contents

Affiliation etc.


at Sydney (2008)

Naoyuki Tamura Professor, Ph.D
Information Science and Technology Center, Kobe University
1-1 Rokkodai, Nada, Kobe 657-8501 JAPAN
Phone: +81-78-803-5364, E-mail: tamura @
Office: Access to my office (using Goole Maps API)
Publications: Google Scholar Citations, ResearcherID, DBLP

  • Research Division on Computer Software Systems, Information Science and Technology Center
  • Department of Computer and Systems Engineering, Faculty of Engineering
  • Department of Information Science, Graduate School of System Informatics
  • CSPSAT project

What's New and Upcoming Events

  • 2017
    • IEEE International Conference on Tools with Artificial Intelligence, IEEE-ICTAI 2017 (PC member)
    • International Symposium on Functional and Logic Programming, FLOPS 2016 (SC member)
  • 2011
    • 2011-08-05 Fri Prolog Cafe is used as a tool within Gerrit (Release notes for Gerrit 2.2.2). Gerrit is a web based code review system, and it is used in many software development projects, such as Android.
    • 2011-07-01 Fri GlueMiniSat solver developmed by Hidetomo Nabeshima (Yamanashi University) became the winner in UNSAT Application category, and was ranked second in SAT+UNSAT Application category and UNSAT Application category (multicore track) at SAT competition 2011. Hidetomo Nabeshima is a core member of CSPSAT project.


  • The Beatles – Yesterday Lyrics (by Reuben?)

    All those backups seemed a waste of pay.
    Now my database has gone away.
    Oh I believe in yesterday.

    There's not half the files there used to be,
    And there's a milestone hanging over me
    The system crashed so suddenly.

    I pushed something wrong
    What it was I could not say.
    Now all my data's gone
    and I long for yesterday-ay-ay-ay.

    The need for back-ups seemed so far away.
    I knew my data was all here to stay,
    Now I believe in yesterday.

Date: 2019-06-05 17:35:59 JST

Author: Naoyuki Tamura

Org version 7.8.02 with Emacs version 25

Validate XHTML 1.0