Kyushu University Academic Staff Educational and Research Activities Database
Japanese
Return to top page
Researcher Informations
Last modified date：2009.11.19
HIROSHI FUJITA
Associate Professor
Intelligence Science
Department of Informatics
Faculty of Information Science and Electrical Engineering

Graduate School

Department of informatics
Graduate School of Information Science and Electrical Engineering
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

http://zircon.is.kyushu-u.ac.jp/~fujita/.

Phone

092-802-3609

Fax

092-802-3600

Academic Degree

D. Eng.

Field of Specialization

Intelligence Science

Research

Research Interests

  • Research and Development of Automated Reasoning Systems and Their Application
    keyword : Automated reasoning, SAT solvers, Formal verification
    1997.04.
  • Research on Web Retrieval Techniques
    keyword : Web, Retrieval
    2006.04.
  • Research on Language Processing for Fine Grain Multithreading
    keyword : Multithread, Parallel processing, Language processing
    2005.04.
  • Research and Development of Intelligent Systems based on Reconfigurable Hardware
    keyword : Reconfigurable hardware, Intelligent processing
    2002.04.
  • Research on Parallel/Distributed Knowledge Processing
    keyword : Parallel processing, Distributed processing, Knowledge processing
    1996.04.

Academic Activities

Papers

 Show All Papers >> 
1. Miyuki Koshimura, Hidetomo Nabeshima, Hiroshi Fujita, and Ryuzo Hasegawa,Minimal Model Generation with respect to an Atom Set,Proc. of FTP 2009 Workshop,pp.49-59,2009.07.
2. Satoshi Amamiya, Makoto Amamiya, Ryuzo Hasegawa, and Hiroshi Fujita,A Continuation-based Noninterruptible Multithreading Processor Architecture,The Journal of Supercomputing,Vol.47, No.2, pp.228-252,2008.02.
3. Satoshi Amamiya, Ryuzo Hasegawa, Hiroshi Fujita and Makoto Amamiya,Fuce: A Continuation-based Non-Interruptible Multithreading Processor,WORKSHOP on UNIQUE CHIPS and SYSTEMS (UCAS-4),2008.04.
4. Tetsuya Oishi, Shunsuke Kuramoto, Hiroto Nagata, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, and Miyuki Koshimura,User-Schedule-based Web Page Recommendation,The 2007 IEEE/WIC/ACM International Conference on Web Intelligence,pp.776-779,2007.11.
5. Satoshi Amamiya, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura, Ryo Hirana, and Makoto Amamiya,A Language Design for Non-Interruptable Multithreading Environment Fuce,International Supercomputing Conference (ISC'07),,2007.06.
6. Satoshi Amamiya, Hiroshi Fujita, Ryuzo Hasegawa, and Makoto Amamiya,Fuce Machine and its Programming System,Second Workshop on Software Tools for Multi-Core Systems(STMCS),,2007.03.
7. A System Proposing Words Relevant to Keywords in WEB Retrieval.
8. Implementing a Model-Generation Theorem Prover on an FPGA.
9. Model Generation Using Generalized Lemma.
10. Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura, and Yasuyuki Shirai,A Model Generation Based Theorem Prover MGTP for First-Order Logic,Computational Logic: Logic Programming and Beyond,LNAI 2408, pp.178-213,2002.08.
11. Miyuki Koshimura, Hiroshi Fujita and Ryuzo Hasegawa,Model Generation with Boolean Constraints,Proc. of 8th International Conference, LPAR 2001,Lecture Notes in Artificial Intelligence 2250, pp.299-308,2001.12.
12. Ryuzo Hasegawa, Hiroshi Fujita and Miyuki Koshimura,Efficient Minimal Model Generation Using Branching Lemmas,Proc. of 17th International Conference on Automated Deduction,Lecture Notes in Artificial Intelligence 1831, pp.184-199,2000.06.
13. An Efficient Method to Generate Minimal Models by Introducing Splitting Lemmas.
14. K. Takahashi and H. Fujita,A verification method for systolic arrays using induction-based theorem provers,Artificial Intelligence in Engineering,Vol.13, pp.43-53,1999.01.
15. A New Implementation Technique for Model Generation Theorem Provers
To Solve Constraint Satisfaction Problems.
16. Implementing a Model-Generation Based Theorem Prover MGTP in Java.
17. K. Takahashi and H. Fujita,TPF: An Effective Method for Verifying Synchronous Circuits with Induction-Based Provers,IEICE Trans. Inf. & Syst.,Vol.E81-D, No.1,1998.01.
18. Miyuki Koshimura, Takashi Matsumoto, Hiroshi Fujita and Ryuzo Hasegawa,A Method to Eliminate Redundant Case-Splittings in MGTP,IJCAI-97 Workshop on Model Based Automated Reasonging,pp.73-84,1997.08.
19. Ryuzo Hasegawa, Hiroshi Fujita and Miyuki Koshimura,MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications -,Proc. Intl. Conf. Analytic Tableaux and Related Methods,pp.1-15,1997.05.
20. Hiroshi Fujita, Naoki Yagi, Tomonobu Ozaki and Koichi Furukawa,A New Design and Implementation of Progol by Bottom-up Computation,Proc. of the 6th Int. Workshop on Inductive Logic Programming,pp.52-58,1996.08.
21. K. Takahashi and H. Fujita,Time Parameterized Function Method: A New Method for Hardware Verification with the Boyer-Moore Theorem Prover,IFIP Conf. on Hardware Description Languages and Their Applications (CHDL'95),pp.545-552,1995.07.
22. R. Hasegawa, M. Koshimura and H. Fujita,Lazy Model Generation for Improving the Efficiency of Forward Reasoning Theorem Provers,IFIP TC12/WG12.3 International Workshop on Automated Reasoning (IWAR'92),IFIP Transactions, A-19, Automated Reasoning, pp.221-238,1992.07.
23. R. Hasegawa, M. Koshimura and H. Fujita,MGTP: A Parallel Theorem Prover Based on Lazy Model Generation,11th Int. Conf. on Automated Deduction (CADE-11),Lecture Notes in Artificial Intelligence 607, pp.776-780,1992.06.
24. M. Fujita, R. Hasegawa, M. Koshimura and H. Fujita,Model Generation Theorem Provers on a Parallel Inference Machine,Int. Conf. on Fifth Generation Computer Systems (FGCS'92),1992.06.
25. H. Fujita and R. Hasegawa,A Model Generation Theorem Prover in KL1 Using a Ramified-Stack Algorithm,Logic Programming: Proc. of the Eighth Int. Conf.,pp.535-548,1991.06.
26. R. Hasegawa，H. Fujita and M. Fujita,A Parallel Theorem Prover in KL1 and Its Application to Program Synthesis,Italy-Japan-Sweden Workshop '90,pp.1-19,1990.08.
27. K. Furukawa, H. Fujita and T. Shintani,Deriving an Efficient Production System by Partial Evaluation,Logic Programming: Proc. of the North American Conf.,pp.661-674,1989.10.
28. H. Fujita, A. Okumura and K. Furukawa,Partial Evaluation of GHC Programs Based on The UR-set with Constraints,Logic Programming: Proc. of the Fifth Int. Conf. and Symp.,pp.924-941,1988.08.
29. H. Fujita and K. Furukawa,A Self-Applicable Partial Evaluator and Its Use in Incremental Compilation,New Generation Computing,Vol.6, Nos.2,3, pp.91-118,1988.06.
30. T. Kanamori, H. Fujita, H. Seki, K. Horiuchi and M. Maeji,ARGOS/V: A System for Verification of Prolog Programs,Proc. of Fall Joint Computer Conf.,pp.994-999,1986.11.
31. K. Seo and H. Fujita,VLSI Design Using Layout-Pattern Extrapolation,IEEE Int. Conf. on Computer Design: VLSI in Computers (ICCD'84),pp.826-830,1984.10.

Works, Software and Database

1. MGTP: A model-generation based theorem prover.
2. An implementation of Boyer-Moore Theorem Prover based on Prolog.

Awards

  • A language Design for Non-Interruptable Multithreading Environment Fuce

Educational

Educational Activities

Automated reasoning (graduate),
Information systems (undergraduate),
Programming practices II (undergraduate)
Copyright © 2006, Kyushu University. All right reserved.