Naoyuki Tamura's Home Page

*Naoyuki Tamura, Information Science and Technology Center, Kobe University*

	[ Japanese Page ] Naoyuki Tamura Professor, Ph.D Information Science and Technology Center, Kobe University 1-1 Rokkodai, Nada, Kobe 657-8501 JAPAN Also teaching at Department of Computer Science and Systems Engineering and Graduate School of System Informatics Phone: +81-78-803-5364 E-mail: tamura @ kobe-u.ac.jp Access to my office (using Google maps API) List of publications, DBLP, ACM Digital Library, Google Scholar, Microsoft Academic Search

News

[Sep 12, 2011]

Eleventh International Symposium on Functional and Logic Programming (FLOPS 2012) will be held in May 23-25, 2012 at Kobe University.
See First Call For Papers

[August 5, 2011]

Prolog Cafe is used as a tool within Gerrit. Gerrit is a web based code review system, and it is used in many software development projects, such as Android.

[July 1, 2011]

glueminisat solver by Hidetomo Nabeshima (Yamanashi University) became the winner in UNSAT Application category at SAT competition 2011, and was ranked second in SAT+UNSAT Application category and UNSAT Application category (multicore track). Hidetomo Nabeshima is a memeber of CSPSAT project.

[July 1, 2011]

QMaxSAT solver by Miyuki Koshimura (Hasegawa Laboratory, Kyushu University) became the winner in Partial Max-SAT Industrial category at Sixth Max-SAT Evaluation, and was ranked second in Crafted category. Miyuki Koshimura is a memeber of CSPSAT project.

[July 16, 2010]

QMaxSAT solver by Miyuki Koshimura (Hasegawa Laboratory, Kyushu University) became the winner in Partial Max-SAT Industrial category at Fifth Max-SAT Evaluation, and was ranked second in Crafted category. Miyuki Koshimura is a memeber of CSPSAT project.

[Feb. 27, 2010]

I will have two invited talks on Sugar.

FLOPS 2010 (Apr. 19--21, 2010 at Sendai)
CICLOPS-WLPE 2010 (July 15, 2010 at Edinburgh)

[Oct. 2, 2009]

Sugar became the winner in 3 categories out of 7 categories of the 2009 Fourth International CSP Solver Competition.
See the results page for more details.

[Sep. 22, 2008]

Sugar became the winner in 4 categories out of 10 categories of the 2008 Third International CSP and Max-CSP Solver Competitions.
See the results page for more details.

Research Topics and Developed Softwares

Constraint Programming
- Copris: Constraint Programming in Scala
- Sugar: A SAT-based Constraint Solver
- CSP2SAT: Compiling Finite Linear CSP into SAT
  CSP2SAT succeeded to decide the optimal values of three open problems in Open-shop Scheduling benchmark instances.
- Cream: Constraint Programming Class Library for Java
- HECS (in Japanese)
Logic Programming
- Prolog Cafe (Prolog to Java translator)
- LLP (Linear Logic Programming Language)
- TLLP (Temporal Linear Logic Programming Language)
Theorem Provers
- llprover (Sequent Style Linear Logic Theorem Prover)
- seqprover (Sequent Style Classical Logic Theorem Prover)
- lolliCoP (Classical Logic Theorem Prover in LLP)
- LLPTTP (Classical Logic Theorem Prover in LLP)
- LL2LLP (Linear Logic Theorem Prover in LLP)

Lectures and Introductory Materials

Lectures (in Japanese)
Prolog (in Japanese)
Maple (in Japanese)
Mathematica (in Japanese)
ACM ICPC (in Japanese)

Misc.

Tamlab (in Japanese)
Japanese meta search engine (in Japanese)
Puzzles (in Japanese)
- Cryptarithmetic Puzzle Solver
Java/CGI (in Japanese)
Projects CS32 Fuchino Project¡¤ CS25 Ohkawa Project

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.

Last modified: Sun Dec 4 13:54:47 2011 JST

This page has been accessed since Jan 1 1999.