Kyushu University Academic Staff Educational and Research Activities Database
Researcher information (To researchers) Need Help? How to update
HIROSHI FUJITA Last modified date:2017.07.27



Graduate School
Undergraduate School


E-Mail
Homepage
http://opal.inf.kyushu-u.ac.jp/~fujita/
(ex-) http://opal.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
  • Solving Hard Combinatorial Problems with SAT Solvers
    keyword : SAT solvers, Combinatorial Problems, Ramsey Number
    2009.04.
  • 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~2013.03.
  • Research on Language Processing for Fine Grain Multithreading
    keyword : Multithread, Parallel processing, Language processing
    2005.04~2013.03.
  • Research and Development of Intelligent Systems based on Reconfigurable Hardware
    keyword : Reconfigurable hardware, Intelligent processing
    2002.04~2013.03.
  • Research on Parallel/Distributed Knowledge Processing
    keyword : Parallel processing, Distributed processing, Knowledge processing
    1996.04~2013.03.
Academic Activities
Papers
1. HIROSHI FUJITA, RYUZO HASEGAWA, Miyuki Koshimura, SCSat: A Soft Constraint Guided SAT Solver, Proceedings of 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013), 2013.07.
2. HIROSHI FUJITA, A New Lower Bound for the Ramsey Number R(4, 8), arXiv, CoRR abs/1212.1328, 2012.11.
3. Xiaojuan Liao, Miyuki Koshimura, HIROSHI FUJITA, RYUZO HASEGAWA, Solving the Coalition Structure Generation Problem with MaxSAT, Proceedings of 24th International Conference on Tools with Artificial Intelligence, 910-915, 2012.11.
4. Xue-Feng Zhang, Miyuki Koshimura, HIROSHI FUJITA, RYUZO HASEGAWA, Hybrid Particle Swarm Optimization and Convergence Analysis for Scheduling Problems, Evolutionary Computation and Multi-Agent Systems and Simulation (ECoMASS) Workshop, 307-314, 2012.07.
5. Miyuki Koshimura, HIROSHI FUJITA, RYUZO HASEGAWA, Noriaki Chikara, Rule Extraction from Micro-Blog using Inductive Logic Programming, 2, 2012.05.
6. Yuichi Takiguchi, Koji Kurakado, Tetsuya Oishi, Miyuki Koshimura, Hiroshi Fujita, and Ryuzo Hasegawa, Evaluating Reranking Methods based on Link Co-occurence and Category in Wikipedia, Proceedings of 4th International Conference on Agents and Artificial Intelligence, 1, 277-282, 2012.02.
7. Miyuki Koshimura, Tong Zhang, Hiroshi Fujita, and Ryuzo Hasegawa, QMaxSAT: A Partial Max-SAT Solver, Journal on Satisfiability, Boolean Modeling and Computation, 8, 95-100, 2012.01.
8. Xue-Feng Zhang, Xuanye An, Miyuki Koshimura, Hiroshi Fujita and Ryuzo Hasegawa, Hybrid Particle Swarm Optimization with Parameter Selection Approaches to Solve Flow Shop Scheduling Problem, Proc. of 10th IEEE Internationa Conference on Cybernetic Intelligent Systems, 13-19, 2011.09.
9. Xue-Feng Zhang, Miyuki Koshimura, Hiroshi Fujita and Ryuzo Hasegawa, Combining PSO and Local Search to Solve Scheduling Problems, Proc. of 10th Annual Conference Companion on Genetic and Evolutionary Computation (GECCO'11), 347-357, 2011.07.
10. Xuanye An, Miyuki Koshimura, Hiroshi Fujita and Ryuzo Hasegawa, QMaxSAT version 0.3 & 0.4, FTP 2011, TABLEAUX 2011 Workshops, Tutorials, and Short Papers, 7-15, 2011.07.
11. Xue-Feng Zhang, Miyuki Koshimura, Hiroshi Fujita and Ryuzo Hasegawa, An Efficient Hybrid Particle Swarm Optimization for the Job Shop Scheduling Problem, Proc. of 2011 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2011), 622-626, 2011.06.
12. Wataru Shirakihara, Tetsuya Oishi, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura, TRENDSPOTTER DETECTION SYSTEM FOR TWITTER, Proc. of International Conference on Agents and Artificial Intelligence (ICAART) 2011, 1, 625-628, 2011.01.
13. Koji Kurakado, Tetsuya Oishi, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura, EVALUATING RERANKING METHODS USING WIKIPEDIA FEATURES, Proc. of International Conference on Agents and Artificial Intelligence (ICAART) 2011, 1, 376-381, 2011.01.
14. Xue-Feng Zhang, Bin Tong, Miyuki Koshimura, Hiroshi Fujita, and Ryuzo Hasegawa, A Multi-Layer Hybrid Particle Swarm Optimization Model for Flow Shop Scheduling Problem, Australian Journal of Intelligent Information Processing Systems, 12, 4, 1-6, 2010.11.
15. Noriaki Chikara, Miyuki Koshimura, Hiroshi Fujita, and Ryuzo Hasegawa, Rule Extraction from Blog Using Inductive Logic Programming, Proc. of International Workshop on Web Personalization and Recommender Systems, 269-272, 2010.08.
16. Kentaro Hori, Tetsuya Oishi, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura, Solving Open Job-Shop Scheduling Problems by SAT Encoding, IEICE TRANSACTIONS on Information and Systems (Letter), E93-D, 8, 2316-2318, 2010.01.
17. Kentaro Hori, Tetsuya Oishi, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura, RELATEDWORD EXTRACTION FROM WIKIPEDIA FOR WEB RETRIEVAL ASSISTANCE, Proc. of International Conference on Agents and Artificial Intelligence (ICAART) 2010, 2, 192-199, 2010.01.
18. Tetsuya Oishi, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, and Miyuki Koshimura, Related Word Extraction Algorithm for Query Expansion - an Evaluation -, International Workshop on Agent-based Collaboration, Coordination, and Decision Support (ACCDS 2009), pp.41-56, 2009.12.
19. 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.
20. 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.
21. 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.
22. 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.
23. 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.
24. 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.
25. A System Proposing Words Relevant to Keywords in WEB Retrieval.
26. Implementing a Model-Generation Theorem Prover on an FPGA.
27. Model Generation Using Generalized Lemma.
28. 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, 2408, LNAI 2408, pp.178-213, 2002.08.
29. 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.
30. Ryuzo Hasegawa, Hiroshi Fujita and Miyuki Koshimura, Efficient Minimal Model Generation Using Branching Lemmas, Proc. of 17th International Conference on Automated Deduction, 1831, Lecture Notes in Artificial Intelligence 1831, pp.184-199, 2000.06.
31. An Efficient Method to Generate Minimal Models by Introducing Splitting Lemmas.
32. K. Takahashi and H. Fujita, A verification method for systolic arrays using induction-based theorem provers, Artificial Intelligence in Engineering, 13, 1, Vol.13, pp.43-53, 1999.01.
33. A New Implementation Technique for Model Generation Theorem Provers
To Solve Constraint Satisfaction Problems.
34. Implementing a Model-Generation Based Theorem Prover MGTP in Java.
35. 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.
36. 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.
37. 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, 1227, pp.1-15, 1997.05.
38. 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, 1314, pp.52-58, 1996.08.
39. 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.
40. 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.
41. 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.
42. 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.
43. 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.
44. 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.
45. 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.
46. 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.
47. 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.
48. 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.
49. 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.
Presentations
1. Noriaki Chikara, Miyuki Koshimura, HIROSHI FUJITA, Ryuzo Hasegawa, Inductive Logic Programming Using a MaxSAT Solver, 25th International Conference on Inductive Logic Programming, 2015.08.21.
2. Xiaojuan Liao, Hui Zhang, Miyuki Koshimura, HIROSHI FUJITA, RYUZO HASEGAWA, Using MaxSAT to Correct Errors in AES Key Schedule Images, IEEE 25th International Conference on Tools with Artificial Intelligence(ICTAI 2013), 2013.11.04.
3. Toru Ogawa, YangYang Liu, RYUZO HASEGAWA, Miyuki Koshimura, HIROSHI FUJITA, Modulo Based CNF Encoding of Cardinality Constraints and Its Application to MaxSAT Solvers, IEEE 25th International Conference on Tools with Artificial Intelligence(ICTAI 2013), 2013.11.04.
4. HIROSHI FUJITA, Miyuki Koshimura, RYUZO HASEGAWA, SCSat: A Soft Constraint Guided SAT Solver, 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013), 2013.07.11.
Awards
  • A language Design for Non-Interruptable Multithreading Environment Fuce
Educational