[ 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, Faculty of Engineering and Graduate School of Engineering

Phone: +81-78-803-5364

E-mail: tamura @ kobe-u.ac.jp

Location of my office (using Google maps API)

List of publications (including Japanese), DBLP

Research Topics and Developed Softwares

• Constraint Programming
  • 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 Arai Project¡¤ CS25 Ohkawa Project