Kyushu University Academic Staff Educational and Research Activities Database
Japanese
Return to top page
Researcher Informations
Last modified dateļ¼š2009.10.21
RYUZO HASEGAWA
Professor
Intelligence Science
Department of Informatics
Faculty of Information Science and Electrical Engineering

Graduate School

Department of Intelligent Systems
Graduate School of Information Science and Electrical Engineering

Undergraduate School

Department of Electrical Engineering and Computer Science
School of Engineering

E-Mail

Homepage

url:http://ss104.is.kyushu-u.ac.jp/~hasegawa/.

Phone

092-583-7619

Fax

092-583-7619

Academic Degree

D.Eng.

Field of Specialization

Intelligent Systems

Research

Research Interests

  • Multithreading architecure and its languages
    keyword : multithreading, non-interruptable thread, language design, CML, HAL, Fuce
    2004.04.
  • High performance automated reasoning systems
    keyword : Automated reasoning,Theorem proving,Parallel knowledge processing,SAT,Reconfigurable,Verification
    1989.04.
  • Problem solving with FPGA
    keyword : FPGA,HDL,DP,SAT,Propositional thorem proving
    2001.04.
  • Verification using thorem proving technologies
    keyword : Model checking,temporal logic,CTL,verifcation
    2003.04.
  • Intelligent WEB retrieval
    keyword : WEB retrieval,Learning,Induction,Agent
    2002.04.

Academic Activities

Papers

 Show All Papers >> 

Membership in Academic Society

  • The Japanese Society for Artificial Intelligence
  • Information Society of Japan
  • The Institute of Electronics, Information and Communication Engineers

Educational

Educational Activities

Automated reasoning (graduate)
Information logic, Mathematical logic (under graduate)
Computer literacy (under graduate)
Copyright © 2006, Kyushu University. All right reserved.