Powered by SmartDoc
ENGLISHJAPANESE

Publications

Jun. 6th 2010
Mutsunori BANBARA
Information Science and Technology Center, Kobe University
http://kaminari.istc.kobe-u.ac.jp/banbara.html

Dissertation

  1. Design and Implementation of Linear Logic Programming Languages
    Mutsunori Banbara.
    Graduate School of Science and Technology, Kobe University, Japan, September 2002
    [ PDF | PS | BibTeX ]

Journal Papers

  1. Compiling Finite Linear CSP into SAT
    Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, and Mutsunori Banbara
    Constraints, Volume 14, Issue 2 (2009), pp.254-272
  2. A Prolog to Java Translator System and its Application
    Mutsunori Banbara, Naoyuki Tamura, and Katsumi Inoue
    Computer Software, Japan Society for Software Science and Technology Vol.24, No.3 (2007), pp.75-86 (in Japanese)
  3. A competitive and cooperative approach to propositional satisfiability
    Katsumi Inoue, Takehide Soh, Seiji Ueda, Yoshito Sasaura, Mutsunori Banbara and Naoyuki Tamura
    Discrete Applied Mathematics, Volume 154, Issue 16 (1 November 2006), pp.2291-2306
  4. Prolog Cafe: A Prolog to Java Translator System
    Naoyuki Tamura and Mutsunori Banbara
    Journal of Japan Society of Artificial Intelligence, Vol.21, No.4 (2006) (in Japanese)
  5. Classical Propositional Linear Logic Theorem Prover on a Linear Logic Programming Language Compiler System
    Naoyuki Tamura and Mutsunori Banbara
    Computer Software, Japan Society for Software Science and Technology Vol.22, No.1 (2005), pp.98-103 (in Japanese)
  6. LLPTTP: Theorem Prover using Compiler of a Linear Logic Programming Language
    Naoyuki Tamura and Mutsunori Banbara
    Computer Software, Japan Society for Software Science and Technology Vol.20, No.5 (2003), pp.90-96 (in Japanese)
  7. An Abstract Machine for a Compiler System of a Temporal Linear Logic Programming Language
    Mutsunori Banbara, Kyoung-Sun Kang, and Naoyuki Tamura
    Information Processing Society of Japan Transactions on Programming Vol.42, No.SIG 11(PRO 12), pp.52-66, Nov. 2001 (in Japanese)
  8. An Abstract Machine for a Compiler System of a Linear Logic Programming Language
    Mutsunori Banbara, Kyoung-Sun Kang, and Naoyuki Tamura
    Computer Software, Japan Society for Software Science and Technology Vol.18, No.1 (2001), pp.39-60 (in Japanese)
  9. Efficient Resource Management Model for Linear Logic Programming Languages
    Kyoung-Sun Kang, Mutsunori Banbara, and Naoyuki Tamura
    Computer Software, Japan Society for Software Science and Technology Vol.18, No.0 (2001), pp.138-154 (in Japanese)
  10. Logic Programming in an Intuitionistic Temporal Linear Logic
    Naoyuki Tamura, Takaharu Hirai, Hideo Yoshikawa, Kyoung-Sun Kang, and Mutsunori Banbara
    Information Processing Society of Japan Transactions on Programming Vol.41, No.SIG 4 (PRO 7), pp.11-23, June 2000 (in japanese)
  11. A Static Analysis Method for a Classical Linear Logic Programming Language
    Kyoung-Sun Kang, Mutsunori Banbara, and Naoyuki Tamura
    Information Processing Society of Japan Transactions on Programming Vol.41, No.SIG 4 (PRO 7), pp.42-55, June 2000 (in Japanese)
  12. Java Implementation of a Linear Logic Programming Language
    Mutsunori Banbara, Kyoung-Sun Kang, and Naoyuki Tamura
    Information Processing Society of Japan Transactions on Programming Vol.40, No.SIG 10 (PRO 5), pp.1-16, Dec. 1999 (in Japanese)

Refereed Conference Papers

  1. A SAT-based Method for Solving the Two-dimensional Strip Packing Problem
    Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, and Hidetomo Nabeshima
    In Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA'08), December 2008
  2. Compling Finite Linear CSP into SAT
    Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, and Mutsunori Banbara
    In Proceedings of the 12th International Conference on Principles and Practice of Constraint Programmin (CP'06), pp.590-603, LNCS 4204, Springer 2006
    [ PDF ]
  3. g-Hecs: a Constraint Solving System on the Grid
    Muneyuki Kawatani, Masaya Nakagawa, Akira Shiga, Satoshi Kitagawa, Shuji Ohnishi, Mutsunori Banbara, and Naoyuki Tamura
    In Proceedings of the 16th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2005), pp.191-199, October 22-24 2005
  4. Prolog Cafe: A Prolog to Java Translator System
    Mutsunori Banbara, Naoyuki Tamura, and Katsumi Inoue
    In Proceedings of the 16th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2005), pp.45-54, October 22-24 2005
    (also published in pp.1-11 LNCS 4369 Springer 2006)
    [ PDF ]
  5. Experimental results for solving job-shop scheduling problems with multiple SAT solvers
    Takehide Soh, Katsumi Inoue, Mutsunori Banbara, and Naoyuki Tamura
    In Proceedings of the 1st International Workshop on Distributed and Speculative Constraint Processing (held in conjunction with CP'05), pp.25-38, October 1st 2005
  6. Channel Theory for User-Interactions in Constraint Satisfaction and Design
    Makoto Kikuchi, Ichiro Nagasaka, and Mutsunori Banbara
    In Proceedings of the Third International Workshop on User-Interaction in Constraint Satisfaction (held in conjunction with CP'03), pp.56-69, Septemeber 2003
    [ PDF | PS | BibTeX ]
  7. Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic
    Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, and Naoyuki Tamura
    In Proceedings of the 17th International Conference on Logic Programming (ICLP'01), pp.315-330, LNCS 2237, Springer 2001
    [ PDF | PS | BibTeX ]
  8. Translating a linear logic programming language into Java
    Mutsunori Banbara and Naoyuki Tamura
    Electronic Notes in Theoretical Computer Science, Volume 30, Issue 3, Elsevier Science
    [ PDF | PS | BibTeX ]
  9. Compiling resources in a linear logic programming language
    Mutsunori Banbara and Naoyuki Tamura
    In Proceedings of the JICSLP'98 Post Conference Workshop 7 on Implementation Technologies for Programming Languages based on Logic, pp.32-45, June 1998
    [ PDF | PS | BibTeX ]

Other Papers

  1. System Description of a SAT-based CSP Solver Sugar
    Naoyuki Tamura, Tomoya Tanjo, and Mutsunori Banbara
    In Proceedings of the Third International CSP Solver Competition, pp.71-75, 2008
    [ PDF ]
  2. Sugar++: A SAT-based MAX-CSP/COP Solver
    Tomoya Tanjo, Naoyuki Tamura, and Mutsunori Banbara
    In Proceedings of the Third International CSP Solver Competition, pp.77-82, 2008
    [ PDF ]
  3. Sugar: A CSP to SAT Translator Based on Order Encoding
    Naoyuki Tamura and Mutsunori Banbara
    In Proceedings of the Second International CSP Solver Competition, (editors, M.R.C.van Dongen, Christophe Lecoutre, and Olivier Roussel), pp.65-69, 2008
    [ PDF ]
  4. Java implementation of a linear logic programming language
    Mutsunori Banbara and Naoyuki Tamura
    In Proceedings of the 10th Exhibition and Symposium on Industrial Applications of Prolog, pp.56-63, Oct. 1997
  5. Towards a logic programming based on linear logic
    Mutsunori Banbara, Eiji Sugiyama, Kyoung-Sun Kang, and Naoyuki Tamura
    In Proceedings of the 8th Exhibition and Symposium on Industrial Applications of Prolog, pp.65-72, Oct. 1995 (in Japanese)

Presentations and Talks

  1. g-Hecs: A Heterogeneous Constraint Solving System on the Grid
    Naoyuki Tamura and Mutsunori Banbara
    Second Franco-Japanese Workshop on Constraint Programming, Le Croisic France, 14th--16th November 2005
  2. A Prolog to Java Translator System and its Application
    Mutsunori Banbara, Naoyuki Tamura, and Katsumi Inoue
    The 22th JSSST Meeting, Tohoku University, 13th--15th September 2005 (in japanese)
  3. Towards a Heterogeneous Constraint Solving System on the Grid
    Mutsunori Banbara, Shuji Ohnishi, Katsumi Inoue, and Naoyuki Tamura
    Franco-Japanese Workshop on Constraint Programming, NII, 25th-27th October 2004
  4. Towards a Constraint Solving System on the Grid
    Kazuto Matsuda, Muneyuki Kawatani, Hideaki Okamoto, Satoshi Kitagawa, Shuji Ohnishi, Mutsunori Banbara, and Naoyuki Tamura
    The 51th Meeting of Information Processing Society of Japan Special Interest Group on Programming, Tokyo University, 21-22 October 2004 (in japanese)
  5. Some experimental results of two constraint solving systems on the Grid
    Muneyuki Kawatani, Hideaki Okamoto, Kazuto Matsuda, Satoshi Kitagawa, Shuji Ohnishi, Mutsunori Banbara, and Naoyuki Tamura
    The 51th Meeting of Information Processing Society of Japan Special Interest Group on Programming, Tokyo University, 21-22 October 2004 (in japanese)
  6. Classical propositional linear logic theorem prover on a linear logic programming language compiler system
    Naoyuki Tamura and Mutsunori Banbara
    The 20th JSSST Meeting, Tokyo Institute of Technology, 15-17 Sep. 2004 (in japanese)
  7. Constraint programming on OpenOffice.org Calc spreadsheet
    Naoyuki Tamura, Hideaki Okamoto, Shuji Ohnishi, and Mutsunori Banbara
    In the H16 meeting on Electronics, Information and Systems Society of the Institute of Electrical Engineers of Japan, 2-3 Sep. 2004 (in japanese)
  8. Java Implementation of a Distributed Constraint Solving System
    Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue, Takao Kawamura, and Hisashi Tamaki
    IPAX Spring 2004, Tokyo Big Sight, 11-14 May 2004 (in japanese)
  9. Java Implementation of a Distributed Constraint Solving System
    Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue, Takao Kawamura, and Hisashi Tamaki
    IPA Exploratory Software Project Symposium, Tokyo International Forum, 14th Feb. 2004 (in japanese)
  10. Java Implementation of a Distributed Constraint Solving System
    Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue, Takao Kawamura, and Hisashi Tamaki
    IPA Exploratory Software Project Kick-Off Meeting , Kyoto Research Park, July 2003 (in japanese)
  11. Consideration on parallel execution of SAT solvers
    Seiji Ueda, Satoshi Ukai, Katsumi Inoue, Mutsunori Banbara, Naoyuki Tamura, and Takao Kawamura
    IEICE SIG-AI Workshop, May 2003 (in japanese)
  12. Java Implementation of a Heterogeneous Constraint Solving System
    Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue, and Takao Kawamura
    IPA Exploratory Software Project Symposium, Tokyo International Forum, Jan. 2003 (in japanese)
  13. LLPTTP: Theorem Prover using Compiler of a Linear Logic Programming Language
    Naoyuki Tamura and Mutsunori Banbara
    The 19th JSSST Meeting, National Museum of Emerging Science and Innovation, 2002 (in japanese)
  14. Java Implementation of a Heterogeneous Constraint Solving System
    Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue, and Takao Kawamura
    IPA Exploratory Software Project Kick-Off Meeting, Kyoto Research Park, Aug. 2002 (in japanese)
  15. An Abstract Machine for a Compiler System of a Temporal Linear Logic Programming Language
    Mutsunori Banbara, Kyoung-Sun Kang, and Naoyuki Tamura
    The 33th Meeting of Information Processing Society of Japan Special Interest Group on Programming, Tokyo University, March 2001 (in japanese)
  16. Logic Programming in an Intuitionistic Temporal Linear Logic
    Naoyuki Tamura, Takaharu Hirai, Hideo Yoshikawa, Kyoung-Sun Kang, and Mutsunori Banbara
    The 26th Meeting of Information Processing Society of Japan Special Interest Group on Programming, Shizuoka, Oct. 1999 (in japanese)
  17. A Static Analysis Method for a Classical Linear Logic Programming Language
    Kyoung-Sun Kang, Mutsunori Banbara, and Naoyuki Tamura
    The 26th Meeting of Information Processing Society of Japan Special Interest Group on Programming, Shizuoka, Oct. 1999 (in japanese)
  18. Java Implementation of a Linear Logic Programming Language
    Mutsunori Banbara, Kyoung-Sun Kang, and Naoyuki Tamura
    The 24th Meeting of Information Processing Society of Japanx Special Interest Group on Programming, Tokyo Shibaura, June 1999 (in japanese)
  19. Compiling Intuitionistic Linear Logic Programming Languages
    Mutsunori Banbara, Kyoung-Sun Kang, and Naoyuki Tamura
    In Workshop on Linear Logic and Applications with the Special Intensive Lecture Series by J-Y. Girard, Keio University, Feb. 1999

Demoes

  1. Constraint programming on OpenOffice.org Calc spreadsheet
    Hideaki Okamoto, Muneyuki Kawatani, Kazuto Matsuda, Satoshi Kitagawa, Shuji Ohnishi, Mutsunori Banbara, and Naoyuki Tamura
    The 20th JSSST Meeting, Tokyo Institute of Technology, 15-17 Sep. 2004 (in japanese)
  2. Efficient Representation of Discrete Sets for Constraint Programming
    Shuji Ohnishi, Naoyuki Tamura, and Mutsunori Banbara
    In 20th Meeting of Japan Society for Software Science and Technology, Aichi Prefectural University, Sep. 2003 (in japanese)
  3. Demonstration of Compiler Systems for Linear Logic Programming Languages and their Applications
    Mutsunori Banbara, Tsutomu Tanizawa, and Naoyuki Tamura
    In Workshop on Logic and Computation with the Special Intensive Lecture Series by J-Y. Girard, Keio University, Feb. 2003 (in japanese)

Technical Reports

  1. Design and Implementation of Linear Logic Theorem Provers
    Naoyuki Tamura and Mutsunori Banbara
    JSPS Grant-in-Aid for Scientific Research (kiban(C)(2)), March 2005 (in japanese)
  2. Java Implementation of a Distributed Constraint Solving System
    Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue, Takao Kawamura, and Hisahi Tamaki
    IPA Exploratory Software Project 2003 (in japanese)
  3. Java Implementation of a Heterogeneous Constraint Solving System
    Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue, and Takao Kawamura
    IPA Spring 2003 (in japanese)
  4. Java Implementation of a Heterogeneous Constraint Solving System
    Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue, and Takao Kawamura
    IPA Exploratory Software Project 2002 (in japanese)
  5. Design and Implementation of a Logic Programming Language based on Temporal extension of Resource Concious Logic
    Makoto Takahashi, Naoyuki Tamura, and Mutsunori Banbara
    JSPS Grant-in-Aid for Scientific Research (kiban(C)(2)), March 2001 (in japanese)