Naoyuki Tamura

Table of Contents

Affiliation etc.

images/opera_house.jpg

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 @ kobe-u.ac.jp
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
  • CSPSAT2 project

What's New and Upcoming Events

  • 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.

Notice

  • The Beatles – Yesterday Lyrics (by Reuben?)

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

    Suddenly,
    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.

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

Date: 2016-06-22 01:09:22 JST

Author: Naoyuki Tamura

Org version 7.8.02 with Emacs version 24

Validate XHTML 1.0