Kyushu University [RYUZO HASEGAWA (Professor) Faculty of Information Science and Electrical Engineering, Department of Informatics]

Last modified date：2009.10.21

RYUZO HASEGAWA

Professor

Intelligence Science
Department of Informatics
Faculty of Information Science and Electrical Engineering

Papers

1.	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), pp.63-74, April 2008(Austin, Texas, USA) ,2009.03.
2.	Tetsuya Oishi, Yoshiaki Kambara, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, and Miyuki Koshimura, Personalized Search using ODP-based User Profiles Created from User Bookmark,Pacific Rim Int'l Conf. on Artificial Intelligence (PRICAI 2008), ,pp. 839-848, December 2008 (Hanoi, Vietnam). ,2008.12.
3.	Tetsuya Oishi, Shunsuke Kuramoto, Tsunenori Mine, Ryuzo Hasegawa Hiroshi Fujita, and Miyuki Koshimura,A Method for Query Expansion Using the Related Word Extraction Algorithm,2008 Int'l Workshop on Web Information Retrieval Support Systems (WIRSS),pp. 41-44, December 2008 (Sydney, Australia),2008.12.
4.	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.
5.	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.
6.	Satoshi Amamiya, Hiroshi Fujita, Ryuzo Hasegawa, and Makoto Amamiya,Fuce Machine and its Programming System,STMCS: Second Workshop on Software Tools for Multi-Core Systems (STMCS),March 11, 2007 San Jose, CA ,2007.03.
7.	Satoshi Amamiya, Masaaki Izumi, Matsuzaki Takanori, Ryuzo Hasegawa, and Makoto Amamiya,Fuce: The Continuation-based Multithreading Processor,ACM International Conference on Computing Frontiers ,May 7-9, 2007, Ischia, Italy,2007.05.
8.	Satoshi Amamiya, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura, Ryo Hirana, and Makoto Amamiya,A Language Design for Non-Interruptable Multithreading Environment Fuce,The International Supercomputing Conference (ISC),ISC Award Winning Paper June 2007 (Dresden, Germany). ,2007.06.
9.	Miyuki Koshimura, Mayumi Umeda, and Ryuzo Hasegawa,Abstract Model Generation for Preprocessing Clause Sets,LPAR 2004　(Uruguay),LNAI3452, pp.67-78,2005.03.
10.	白井康之、長谷川隆三,Answer Set Computation Based on a Minimal Model Generation Theorem Prover,PRICAI2004 in New Zealand 人工知能学会協賛,PRICAI 2004, LNCS3157, pp-43-52,2004.08.
11.	白井康之、長谷川隆三、新田克己,Leagal Reasoning with Dynamic Rule Preferences Based on Theorem Proving Technologies,International Workshop on Informations & Electriacl Engineering,2002.05.
12.	A Model Generation Based Theorem Prover MGTP for First-Order Logic,Computational Logic: Logic Programming and Beyond, LNAI2408,LNAI2408, PartII, pp.178-213,2003.08.
13.	長谷川隆三、藤田博、越村三幸,タブロー法とモデル生成型定理証明,人工知能学会誌,Vol. 16, No. 5, pp.661-667,2001.09.
14.	越村三幸、長谷川隆三,Model Generation with Boolean Constraints,8th Int. conf. LPAR 2001,Lecture Notes in Artificial Intelligence 2250, pp.299-308,2001.12.
15.	長谷川隆三、藤田博、越村三幸,Efficient Minimal Model Generation Using Branching lemmas,17th Int. Conf. on Automated Deduction, CADE2000,Lecture Notes in Artificial Intelligence 1831, pp.184-199,2000.06.
16.	越村三幸、喜多めぐみ、長谷川隆三,Minimal Model Generation with Factorization and Constrained Search,Int. Conf. Tableaux 2000,Resarch report CS/00/001, Univ. at St. Andrews, pp.69-78,2000.07.
17.	Reiner Haehnle、長谷川隆三、白井康之,Model Generation Theorem Proving with Finite Interval Constraints,1st Int. Conf. Computational Logic, CL2000,Lecture Notes in Artificial Intelligence 1861, pp. 285-299,2000.07.
18.	内田俊一、相場亮、六沢一昭、近山隆、長谷川隆三,The parallel logic programming system in the FGCS project and its future directions,Parallel Computing 25,Vol. 25, pp.1601-1633,1999.01.

Copyright © 2006, Kyushu University. All right reserved.