Skip to content

Shuji Narazaki

  • Associate Professor
  • Nagasaki University
  • 0ReadersNumber of instances of Shuji's publications in Mendeley libraries. Updated daily.
  • 26PublicationsNumber of items in Shuji's My Publications folder on Mendeley.

Research interests

functional programmingSAT solvermulti-agent system

About

I am currently working on SAT solver implementation (esp. in Haskell) and algorithms. Aa the basis, I am interested in AI, functional programming languages, distributed computation and so on. My solver will be placed in github.com soon.

Publications (5)

  • CDCL SAT ソルバにおける貪欲論理制約伝播

    • 楢崎修二
    N/AReaders
    N/ACitations
  • CDCL SATソルバーにおけるバックジャンプ条件の緩和

    • 楢崎修二
    N/AReaders
    N/ACitations
  • Minisat との比較による Haskell SAT ソルバーの高速化

    • 楢崎修二
    N/AReaders
    N/ACitations
  • 副問題を導入したマルチエージェント迷路探索アルゴリズム

    • 稲葉隆太
    N/AReaders
    N/ACitations
  • 関数型言語によるモジュール化されたマルチ エージェントシステムの実現

    • 楢崎修二
    N/AReaders
    N/ACitations

Professional experience

Associate Professor

Nagasaki University

October 1998 - Present

Education history

Master

Kyushu University

April 1988 - March 1990(2 years)