Global QuickSearch:   Number of matching entries: 0

Search Settings

    Author / Editor / Organization Title Year Journal / Proceedings / Book BibTeX type Keywords
    田村 直之 逐次実行型Prolog専用計算機に関する研究 1984 神戸大学大学院博士論文
    神戸大学大学院自然科学研究科,
    phdthesis @book,@ja,@prolog,@pek
    BibTeX:
    @phdthesis{Tamura:PHD,
      author = {田村 直之},
      yomi = {Naoyuki Tamura},
      title = {逐次実行型Prolog専用計算機に関する研究},
      school = {神戸大学大学院自然科学研究科},
      type = {神戸大学大学院博士論文},
      year = {1984},
      url = {http://www.lib.kobe-u.ac.jp/infolib/meta_pub/G0000003kernel_D1000524}
    }
         
    黒川 利明 & 田村 直之 Prologプログラミング入門 1989 KE養成講座
    オーム社,
    book @book,@ja,@prolog
    BibTeX:
    @book{KurokawaT:BOOK:Prolog,
      author = {黒川 利明 and 田村 直之},
      yomi = {Toshiaki Kurokawa and Naoyuki Tamura},
      title = {Prologプログラミング入門},
      publisher = {オーム社},
      year = {1989},
      series = {KE養成講座},
      url = {http://www.amazon.co.jp/dp/4274128571/}
    }
         
    渡邊 茂 (監) 知的コンピュータシステム事典 1989
    産業調査会,
    (4.2.4 Lispマシン (pp. 375--391)を担当)
    book @book,@ja,@lisp
    BibTeX:
    @book{Watanabe:BOOK:Sangyo,
      author = {渡邊 茂 (監)},
      yomi = {Shigeru Watanabe},
      title = {知的コンピュータシステム事典},
      publisher = {産業調査会},
      year = {1989},
      note = {(4.2.4 Lispマシン (pp. 375--391)を担当)}
    }
         
    Tamura, S.; Tanaka, M. & Tamura, N. Cryptarithmetic puzzles with a unique solution both for addition and for multiplication 1978 Journal of Recreational Mathematics , Vol. 11 , No. 1 , pp. 25-27
    article @journal,@en,@puzzle
    BibTeX:
    @article{TamuraTT:JRM:1978,
      author = {Saburo Tamura and Masahiko Tanaka and Naoyuki Tamura},
      title = {Cryptarithmetic puzzles with a unique solution both for addition and for multiplication},
      journal = {Journal of Recreational Mathematics},
      year = {1978},
      volume = {11},
      number = {1},
      pages = {25--27}
    }
         
    松田 秀雄; 田村 直之; 小畑 正貴; 金田 悠紀夫 & 前川 禎男 並列Prolog処理系``K-Prolog''の実現 1985 情報処理学会論文誌 , Vol. 26 , No. 2 , pp. 296-303
    article @journal,@ja,@prolog
    BibTeX:
    @article{MatsudaTKKM:TIPSJ:1985,
      author = {松田 秀雄 and 田村 直之 and 小畑 正貴 and 金田 悠紀夫 and 前川 禎男},
      yomi = {Hideo Matsuda and Naoyuki Tamura and Masaki Kohata and Yukio Kaneda and Sadao Maekawa},
      title = {並列Prolog処理系``K-Prolog''の実現},
      journal = {情報処理学会論文誌},
      year = {1985},
      volume = {26},
      number = {2},
      pages = {296--303},
      url = {http://ci.nii.ac.jp/naid/110002724011}
    }
         
    田村 直之; 和田 耕一; 小畑 正貴; 金田 悠紀夫; 前川 禎男 & 日根 俊治 シーケンシャル実行型PrologマシンPEK -- ハードウェア構成 -- 1985 情報処理学会論文誌 , Vol. 26 , No. 5 , pp. 855-861
    article @journal,@ja,@prolog,@pek
    BibTeX:
    @article{TamuraWKKMH:TIPSJ:1985,
      author = {田村 直之 and 和田 耕一 and 小畑 正貴 and 金田 悠紀夫 and 前川 禎男 and 日根 俊治},
      yomi = {Naoyuki Tamura and Koichi Wada and Masaki Kohata and Yukio Kaneda and Sadao Maekawa and Toshiharu Hine},
      title = {シーケンシャル実行型PrologマシンPEK --- ハードウェア構成 ---},
      journal = {情報処理学会論文誌},
      year = {1985},
      volume = {26},
      number = {5},
      pages = {855--861},
      url = {http://ci.nii.ac.jp/naid/110002724058}
    }
         
    Kaneda, Y.; Tamura, N.; Wada, K.; Matsuda, H.; Kuo, S. & Maekawa, S. Sequential Prolog Machine PEK 1986 New Generation Computing , Vol. 4 , No. 1 , pp. 51-66
    article @journal,@en,@prolog,@pek
    BibTeX:
    @article{KanedaTWMKM:NGC:1986,
      author = {Yukio Kaneda and Naoyuki Tamura and Koichi Wada and Hideo Matsuda and Shumin Kuo and Sadao Maekawa},
      title = {Sequential Prolog Machine PEK},
      journal = {New Generation Computing},
      year = {1986},
      volume = {4},
      number = {1},
      pages = {51--66},
      url = {http://dblp.uni-trier.de/db/journals/ngc/ngc4.html#KanedaTWMKM86},
      doi = {http://dx.doi.org/10.1007/BF03037382}
    }
         
    Bos, M.; Nishida, O.; Yoshimi, T.; Tamura, N. & Murakami, H. Semantic processing on parse trees represented in a chart 1991 Memoirs of the Graduate School of Science and Technology Kobe University , Vol. 9-A , pp. 137-146
    article @journal,@en,@nlp
    BibTeX:
    @article{BosNYTM:SCITEC:1991,
      author = {Marco Bos and Osamu Nishida and Takehiko Yoshimi and Naoyuki Tamura and Haruo Murakami},
      title = {Semantic processing on parse trees represented in a chart},
      journal = {Memoirs of the Graduate School of Science and Technology Kobe University},
      year = {1991},
      volume = {9-A},
      pages = {137--146},
      url = {http://ci.nii.ac.jp/naid/110000064152}
    }
         
    Jelinek, J.; Nishida, O.; Yoshimi, T.; Tamura, N. & Murakami, H. TWINTRAN: integration of syntax, semantics and context analysis 1993 Memoirs of the Graduate School of Science and Technology Kobe University , Vol. 11-A , pp. 97-106
    article @journal,@en,@nlp
    BibTeX:
    @article{JelinekNYTM:SCITEC:1993,
      author = {Jiri Jelinek and Osamu Nishida and Takehiko Yoshimi and Naoyuki Tamura and Haruo Murakami},
      title = {TWINTRAN: integration of syntax, semantics and context analysis},
      journal = {Memoirs of the Graduate School of Science and Technology Kobe University},
      year = {1993},
      volume = {11-A},
      pages = {97--106},
      url = {http://ci.nii.ac.jp/naid/110000063931}
    }
         
    吉見 毅彦; 田村 直之; Bos, M.; 西田 収; Jelinek, J. & 村上 温夫 遅延評価機構によるAND-ORグラフ上での優先度計算 -- 解析過程の統合の枠組み -- 1993 コンピュータソフトウェア , Vol. 10 , No. 1 , pp. 20-28
    article @journal,@ja,@nlp
    BibTeX:
    @article{YoshimiTBNJM:COMPSOFT:1993,
      author = {吉見 毅彦 and 田村 直之 and Marco Bos and 西田 収 and Jiri Jelinek and 村上 温夫},
      yomi = {Takehiko Yoshimi and Naoyuki Tamura and Marco Bos and Osamu Nishida and Jiri Jelinek and Haruo Murakami},
      title = {遅延評価機構によるAND-ORグラフ上での優先度計算 --- 解析過程の統合の枠組み ---},
      journal = {コンピュータソフトウェア},
      year = {1993},
      volume = {10},
      number = {1},
      pages = {20--28},
      url = {http://ci.nii.ac.jp/naid/110003743732}
    }
         
    吉見 毅彦; Jelinek, J.; 西田 収; 田村 直之 & 村上 温夫 A*法に従うアジェンダ制御による構文解析 1996 自然言語処理 , Vol. 3 , No. 3 , pp. 69-82
    article @journal,@ja,@nlp
    BibTeX:
    @article{YoshimiJNTM:JNLP:1996,
      author = {吉見 毅彦 and Jiri Jelinek and 西田 収 and 田村 直之 and 村上 温夫},
      yomi = {Takehiko Yoshimi and Jiri Jelinek and Osamu Nishida and Naoyuki Tamura and Haruo Murakami},
      title = {A*法に従うアジェンダ制御による構文解析},
      journal = {自然言語処理},
      year = {1996},
      volume = {3},
      number = {3},
      pages = {69--82},
      url = {http://ci.nii.ac.jp/naid/10008826915}
    }
         
    吉見 毅彦; Jelinek, J.; 西田 収; 田村 直之 & 村上 温夫 Text-Wide Grammarに基づくテキスト解析 1997 自然言語処理 , Vol. 4 , No. 1 , pp. 3-21
    article @journal,@ja,@nlp
    BibTeX:
    @article{YoshimiJNTM:JNLP:1997,
      author = {吉見 毅彦 and Jiri Jelinek and 西田 収 and 田村 直之 and 村上 温夫},
      yomi = {Takehiko Yoshimi and Jiri Jelinek and Osamu Nishida and Naoyuki Tamura and Haruo Murakami},
      title = {Text-Wide Grammarに基づくテキスト解析},
      journal = {自然言語処理},
      year = {1997},
      volume = {4},
      number = {1},
      pages = {3--21},
      url = {http://ci.nii.ac.jp/naid/10008827059}
    }
         
    Horiuchi, K. & Tamura, N. VSOP Fuzzy Numbers and their Fuzzy Ordering 1998 Fuzzy Sets and Systems , Vol. 93 , No. 2 , pp. 197-210
    article @journal,@en,@fuzzy
    BibTeX:
    @article{HoriuchiT:FSS:1998,
      author = {Kiyomitsu Horiuchi and Naoyuki Tamura},
      title = {VSOP Fuzzy Numbers and their Fuzzy Ordering},
      journal = {Fuzzy Sets and Systems},
      year = {1998},
      volume = {93},
      number = {2},
      pages = {197--210},
      doi = {http://dx.doi.org/10.1016/S0165-0114(96)00206-0}
    }
         
    番原 睦則; 姜 京順 & 田村 直之 線形論理型言語のJava言語による処理系の設計と実装 1999 情報処理学会論文誌: プログラミング , Vol. 40 , No. SIG 10 (PRO 5) , pp. 1-16
    article @journal,@ja,@llp
    BibTeX:
    @article{BanbaraKT:TIPSJ-PRO:1999,
      author = {番原 睦則 and 姜 京順 and 田村 直之},
      yomi = {Mutsunori Banbara and Kyoung-Sun Kang and Naoyuki Tamura},
      title = {線形論理型言語のJava言語による処理系の設計と実装},
      journal = {情報処理学会論文誌: プログラミング},
      year = {1999},
      volume = {40},
      number = {SIG 10 (PRO 5)},
      pages = {1--16},
      url = {http://ci.nii.ac.jp/naid/110002725190}
    }
         
    姜 京順; 番原 睦則 & 田村 直之 古典線形論理型プログラミング言語の静的解析の一手法について 2000 情報処理学会論文誌: プログラミング , Vol. 41 , No. SIG 4 (PRO 7) , pp. 42-55
    article @journal,@ja,@llp
    BibTeX:
    @article{KangBT:TIPSJ-PRO:2000b,
      author = {姜 京順 and 番原 睦則 and 田村 直之},
      yomi = {Kyoung-Sun Kang and Mutsunori Banbara and Naoyuki Tamura},
      title = {古典線形論理型プログラミング言語の静的解析の一手法について},
      journal = {情報処理学会論文誌: プログラミング},
      year = {2000},
      volume = {41},
      number = {SIG 4 (PRO 7)},
      pages = {42--55},
      url = {http://ci.nii.ac.jp/naid/110002725388}
    }
         
    田村 直之; 平井 崇晴; 吉川 英男; 姜 京順 & 番原 睦則 直観主義時相線形論理における論理プログラミングについて 2000 情報処理学会論文誌: プログラミング , Vol. 41 , No. SIG 4 (PRO 7) , pp. 11-23
    article @journal,@ja,@llp
    BibTeX:
    @article{TamuraHYKB:TIPSJ-PRO:2000a,
      author = {田村 直之 and 平井 崇晴 and 吉川 英男 and 姜 京順 and 番原 睦則},
      yomi = {Naoyuki Tamura and Takaharu Hirai and Hideo Yoshikawa and Kyoung-Sun Kang and Mutsunori Banbara},
      title = {直観主義時相線形論理における論理プログラミングについて},
      journal = {情報処理学会論文誌: プログラミング},
      year = {2000},
      volume = {41},
      number = {SIG 4 (PRO 7)},
      pages = {11--23},
      url = {http://ci.nii.ac.jp/naid/110002725385}
    }
         
    吉見 毅彦; Jelinek, J.; 西田 収; 田村 直之 & 村上 温夫 日英機械翻訳システムTWINTRANの言語知識と翻訳品質の評価 2000 自然言語処理 , Vol. 7 , No. 4 , pp. 143-162
    article @journal,@ja,@nlp
    BibTeX:
    @article{YoshimiJNTM:JNLP:2000,
      author = {吉見 毅彦 and Jiri Jelinek and 西田 収 and 田村 直之 and 村上 温夫},
      yomi = {Takehiko Yoshimi and Jiri Jelinek and Osamu Nishida and Naoyuki Tamura and Haruo Murakami},
      title = {日英機械翻訳システムTWINTRANの言語知識と翻訳品質の評価},
      journal = {自然言語処理},
      year = {2000},
      volume = {7},
      number = {4},
      pages = {143--162},
      url = {http://ci.nii.ac.jp/naid/10008829973}
    }
         
    番原 睦則; 姜 京順 & 田村 直之 線形論理型言語のコンパイラ処理系のための抽象機械について 2001 コンピュータソフトウェア , Vol. 18 , No. 1 , pp. 39-60
    article @journal,@ja,@llp
    Abstract: 本論文では,線形論理に基づいた論理型言語LLPの概要と,そのコンパイラ 処理系のための抽象機械であるLLPAMについて述べている.LLPは,Prologの 自然な拡張になっており,論理式をリソースとして取り扱うことができる点 を特徴とする.抽象機械LLPAMは,LLPの効率的な計算モデルであるレベル付 きIOモデルのリソース管理方式に基づいて設計されており,抽象機械WAMの 拡張になっている.LLPAMでは,リソース自体もコンパイルされており,ま たリソースの検索はハッシュ表を通じて行われるため,線形論理型言語の特 徴であるリソース論理式の追加や消費といった操作を非常に効率よく実現す ることができる.
    BibTeX:
    @article{BanbaraKT:COMPSOFT:2001,
      author = {番原 睦則 and 姜 京順 and 田村 直之},
      yomi = {Mutsunori Banbara and Kyoung-Sun Kang and Naoyuki Tamura},
      title = {線形論理型言語のコンパイラ処理系のための抽象機械について},
      journal = {コンピュータソフトウェア},
      year = {2001},
      volume = {18},
      number = {1},
      pages = {39--60},
      url = {http://ci.nii.ac.jp/naid/10011734268}
    }
         
    番原 睦則; 姜 京順 & 田村 直之 時相線形論理型言語のコンパイラ処理系のための抽象機械について 2001 情報処理学会論文誌: プログラミング , Vol. 42 , No. SIG 11 (PRO 12) , pp. 52-66
    article @journal,@ja,@llp
    BibTeX:
    @article{BanbaraKT:TIPSJ-PRO:2001,
      author = {番原 睦則 and 姜 京順 and 田村 直之},
      yomi = {Mutsunori Banbara and Kyoung-Sun Kang and Naoyuki Tamura},
      title = {時相線形論理型言語のコンパイラ処理系のための抽象機械について},
      journal = {情報処理学会論文誌: プログラミング},
      year = {2001},
      volume = {42},
      number = {SIG 11 (PRO 12)},
      pages = {52--66},
      url = {http://ci.nii.ac.jp/naid/110002726066}
    }
         
    姜 京順; 番原 睦則 & 田村 直之 線形論理型言語の効率的なリソース管理モデル 2001 コンピュータソフトウェア , Vol. 18 , No. 0 , pp. 138-154
    article @journal,@ja,@llp
    Abstract: 1987年にJ.-Y. Girardが発表した線形論理は,計算機科学への応用が期待さ れている新しい論理体系である.線形論理の論理型言語への応用は,特に活 発な分野の一つであり,LO, ACL, Lolli, Lygon, Forum, およびLLP等の研 究がある.これらのほとんどの言語では,リソース概念はプログラミング上 で重要な位置を占めている.したがって,リソースを効率的良く取り扱う計 算モデルの構築は重要な研究課題となっている.本論文で述べるレベル付き IOモデルは,効率的なリソース管理を目的とした計算モデルであり,実行中 はただ一つのリソース表を保持すれば良いように工夫されている.本モデル は,LLPコンパイラ処理系で採用され,その有効性が示されている.
    BibTeX:
    @article{KangBT:COMPSOFT:2001,
      author = {姜 京順 and 番原 睦則 and 田村 直之},
      yomi = {Kyoung-Sun Kang and Mutsunori Banbara and Naoyuki Tamura},
      title = {線形論理型言語の効率的なリソース管理モデル},
      journal = {コンピュータソフトウェア},
      year = {2001},
      volume = {18},
      number = {0},
      pages = {138--154},
      url = {http://ci.nii.ac.jp/naid/80012137055}
    }
         
    田村 直之 & 番原 睦則 LLPTTP: 線形論理型言語コンパイラ処理系を用いた定理証明システム 2003 コンピュータソフトウェア , Vol. 20 , No. 5 , pp. 90-96
    article @journal,@ja,@llp
    Abstract: 一階述語論理の節形式をPrologプログラムに変換し, Prologコンパイラ処理系を用いて定理証明を 行うシステムとしてPTTP (Prolog Technology Theorem Prover)が 知られている. 本論文では,節形式を線形論理型言語LLPのプログラムに変換し, LLPコンパイラ処理系を用いることで, より効率的な証明探索が可能になることを示す. 特に,証明中のリテラルをリソースとして追加することにより, ME (model elimination)処理を高速化している点に特徴がある.
    BibTeX:
    @article{TamuraB:COMPSOFT:2003,
      author = {田村 直之 and 番原 睦則},
      yomi = {Naoyuki Tamura and Mutsunori Banbara},
      title = {LLPTTP: 線形論理型言語コンパイラ処理系を用いた定理証明システム},
      journal = {コンピュータソフトウェア},
      year = {2003},
      volume = {20},
      number = {5},
      pages = {90--96},
      url = {http://ci.nii.ac.jp/naid/110003743135}
    }
         
    大西 秀志 & 田村 直之 制約条件に論理的ORを含む組合せ最適化問題に対するハイブリッド型最適化手法の実現 2005 コンピュータソフトウェア , Vol. 22 , No. 3 , pp. 179-185
    article @journal,@ja,@cp
    BibTeX:
    @article{OhnishiT:COMPSFOT:2005,
      author = {大西 秀志 and 田村 直之},
      yomi = {Shuji Ohnishi and Naoyuki Tamura},
      title = {制約条件に論理的ORを含む組合せ最適化問題に対するハイブリッド型最適化手法の実現},
      journal = {コンピュータソフトウェア},
      year = {2005},
      volume = {22},
      number = {3},
      pages = {179--185},
      url = {http://www.jstage.jst.go.jp/article/jssst/22/3/22_3_179/_article/-char/ja/}
    }
         
    田村 直之 & 番原 睦則 線形論理型言語コンパイラ処理系を用いた古典命題線形論理の定理証明システム 2005 コンピュータソフトウェア , Vol. 22 , No. 1 , pp. 98-103
    article @journal,@ja,@llp,@prover
    Abstract: 本論文では, 著者らの開発した線形論理型言語コンパイラ処理系のLLPを用いて, 古典命題線形論理の論理式の証明探索を行うシステムLL2LLPについて述べる. 本システムは,古典命題 線形論理式を直観主義線形論理式に変換し,さらにLLPコンパイラを用いてLLP 抽象機械命令にコンパイルしたのち実行することで高速な証明探索を実現して いる点に特徴がある. いくつかの線形論理式に対して,既存の線形論理定理証明システムと 性能を比較した所, ほとんどの問題でより良い結果が得られた.
    BibTeX:
    @article{TamuraB:COMPSOFT:2005,
      author = {田村 直之 and 番原 睦則},
      yomi = {Naoyuki Tamura and Mutsunori Banbara},
      title = {線形論理型言語コンパイラ処理系を用いた古典命題線形論理の定理証明システム},
      journal = {コンピュータソフトウェア},
      year = {2005},
      volume = {22},
      number = {1},
      pages = {98--103},
      url = {http://ci.nii.ac.jp/naid/110003744168}
    }
         
    Inoue, K.; Soh, T.; Ueda, S.; Sasaura, Y.; Banbara, M. & Tamura, N. A Competitive and Cooperative Approach to Propositional Satisfiability 2006 Discrete Applied Mathematics , Vol. 154 , No. 16 , pp. 2291-2306
    article @journal,@en,@sat
    BibTeX:
    @article{InoueSUSBT:DAM:2006,
      author = {Katsumi Inoue and Takehide Soh and Seiji Ueda and Yoshito Sasaura and Mutsunori Banbara and Naoyuki Tamura},
      title = {A Competitive and Cooperative Approach to Propositional Satisfiability},
      journal = {Discrete Applied Mathematics},
      year = {2006},
      volume = {154},
      number = {16},
      pages = {2291--2306},
      url = {http://dblp.uni-trier.de/db/journals/dam/dam154.html#InoueSUSBT06},
      doi = {http://dx.doi.org/10.1016/j.dam.2006.04.015}
    }
         
    番原 睦則; 田村 直之 & 井上 克巳 PrologからJavaへのトランスレータ処理系とその応用 2007 コンピュータソフトウェア , Vol. 24 , No. 3 , pp. 75-86
    article @journal,@ja,@prolog
    BibTeX:
    @article{BanbaraTI:COMPSOFT:2007,
      author = {番原 睦則 and 田村 直之 and 井上 克巳},
      yomi = {Mutsunori Banbara and Naoyuki Tamura and Katsumi Inoue},
      title = {PrologからJavaへのトランスレータ処理系とその応用},
      journal = {コンピュータソフトウェア},
      year = {2007},
      volume = {24},
      number = {3},
      pages = {75--86},
      url = {http://ci.nii.ac.jp/naid/110006366612}
    }
         
    Tamura, N.; Taga, A.; Kitagawa, S. & Banbara, M. Compiling Finite Linear CSP into SAT 2009 Constraints , Vol. 14 , No. 2 , pp. 254-272
    article @journal,@en,@cp,@sat,@sugar
    Abstract: In this paper, we propose a method to encode Constraint Satisfaction Problems (CSP) and Constraint Optimization Problems (COP) with integer linear constraints into Boolean Satisfiability Testing Problems (SAT). The encoding method is basically the same with the one used to encode Job-Shop Scheduling Problems by Crawford and Baker. Comparison $x le a$ is encoded by a different Boolean variable for each integer variable $x$ and integer value $a$. To evaluate the effectiveness of this approach, we applied the method to Open-Shop Scheduling Problems (OSS). All 192 instances in three OSS benchmark sets are examined, and our program found and proved the optimal results for all instances including three previously undecided problems.
    BibTeX:
    @article{TamuraTKM:CONSTRAINTS:2009,
      author = {Naoyuki Tamura and Akiko Taga and Satoshi Kitagawa and Mutsunori Banbara},
      title = {Compiling Finite Linear CSP into SAT},
      journal = {Constraints},
      year = {2009},
      volume = {14},
      number = {2},
      pages = {254--272},
      url = {http://dblp.uni-trier.de/db/journals/constraints/constraints14.html#TamuraTKB09},
      doi = {http://dx.doi.org/10.1007/s10601-008-9061-0}
    }
         
    Soh, T.; Inoue, K.; Tamura, N.; Banbara, M. & Nabeshima, H. A SAT-based Method for Solving the Two-dimensional Strip Packing Problem 2010 Fundamenta Informaticae , Vol. 102 , No. 3-4 , pp. 467-487
    article @journal,@en,@cp,@sat,@sugar
    BibTeX:
    @article{SohITBN:FI:2010,
      author = {Takehide Soh and Katsumi Inoue and Naoyuki Tamura and Mutsunori Banbara and Hidetomo Nabeshima},
      title = {A SAT-based Method for Solving the Two-dimensional Strip Packing Problem},
      journal = {Fundamenta Informaticae},
      year = {2010},
      volume = {102},
      number = {3-4},
      pages = {467--487},
      url = {http://dblp.uni-trier.de/db/journals/fuin/fuin102.html#SohITBN10},
      doi = {http://dx.doi.org/10.3233/FI-2010-314}
    }
         
    田村 直之; 丹生 智也 & 番原 睦則 SAT変換に基づく制約ソルバーとその性能評価 2010 コンピュータソフトウェア , Vol. 27 , No. 4 , pp. 183-196
    article @journal,@ja,@cp,@sat,@sugar
    Abstract: 本論文では,SAT変換に基づく制約ソルバーであるSugarの概要とその性能評価 結果について述べる. Sugarは,制約充足問題(CSP),制約最適化問題(COP)および最大制約充足問題 (Max-CSP)を,命題論理の充足可能性判定問題(SAT問題) に変換し,MiniSat等 の高速なSATソルバーを用いて求解を行うシステムである. SAT変換には,order encodingと名付けた新しい方法を用いており,従来広く用 いられているdirect encodingやsupport encodingよりも,多くの問題に対して 高速な求解が可能である. 本論文では,order encodingの説明を含めたSugarの概要について述べた後, 2008年に開催された第3回国際CSPソルバー競技会およびMax-CSPソルバー競技会での 結果を基にSugarの性能評価結果を報告する. なお,Sugarは同競技会の10部門のうち4部門で第1位となった.
    BibTeX:
    @article{TamuraTB:COMPSOFT:2010,
      author = {田村 直之 and 丹生 智也 and 番原 睦則},
      yomi = {Naoyuki Tamura and Tomoya Tanjo and Mutsunori Banbara},
      title = {SAT変換に基づく制約ソルバーとその性能評価},
      journal = {コンピュータソフトウェア},
      year = {2010},
      volume = {27},
      number = {4},
      pages = {183--196},
      url = {http://www.jstage.jst.go.jp/article/jssst/27/4/27_4_183/_article/-char/ja/}
    }
         
    松中 春樹; 丹生 智也; 番原 睦則 & 田村 直之 SAT符号化を用いた釣合い型不完備ブロック計画の構成 2012 人工知能学会論文誌 , Vol. 27 , No. 2 , pp. 10-15
    article @journal,@ja,@cp,@sat,@sugar
    BibTeX:
    @article{MatsunakaTBT:TJSAI:2012,
      author = {松中 春樹 and 丹生 智也 and 番原 睦則 and 田村 直之},
      yomi = {Haruki Matsunaka and Tomoya Tanjo and Mutsunori Banbara and Naoyuki Tamura},
      title = {SAT符号化を用いた釣合い型不完備ブロック計画の構成},
      journal = {人工知能学会論文誌},
      year = {2012},
      volume = {27},
      number = {2},
      pages = {10--15},
      doi = {http://dx.doi.org/10.1527/tjsai.27.10}
    }
         
    田村 直之; 丹生 智也 & 番原 睦則 Scala上の制約プログラミング用ドメイン特化言語Coprisについて 2012 コンピュータソフトウェア , Vol. 29 , No. 4 , pp. 114-129
    article @journal,@ja,@cp,@sat,@sugar
    BibTeX:
    @article{TamuraTB:COMPSOFT:2012,
      author = {田村 直之 and 丹生 智也 and 番原 睦則},
      yomi = {Naoyuki Tamura and Tomoya Tanjo and Mutsunori Banbara},
      title = {Scala上の制約プログラミング用ドメイン特化言語Coprisについて},
      journal = {コンピュータソフトウェア},
      year = {2012},
      volume = {29},
      number = {4},
      pages = {114--129},
      doi = {http://dx.doi.org/10.11309/jssst.29.4_114}
    }
         
    丹生 智也; 田村 直之 & 番原 睦則 位取り記数法に基づく整数有限領域上の制約充足問題のコンパクトかつ効率的なSAT符号化 2013 コンピュータソフトウェア , Vol. 30 , No. 1 , pp. 211-230
    article @journal,@ja,@cp,@sat,@sugar
    BibTeX:
    @article{TanjoTB:COMPSOFT:2013,
      author = {丹生 智也 and 田村 直之 and 番原 睦則},
      yomi = {Tomoya Tanjo and Naoyuki Tamura and Mutsunori Banbara},
      title = {位取り記数法に基づく整数有限領域上の制約充足問題のコンパクトかつ効率的なSAT符号化},
      journal = {コンピュータソフトウェア},
      year = {2013},
      volume = {30},
      number = {1},
      pages = {211--230},
      doi = {http://dx.doi.org/10.11309/jssst.30.1_211}
    }
         
    Kaneda, Y.; Tamura, N.; Wada, K. & Matsuda, H. Sequential Prolog Machine PEK Architecture and Software System 1984 Proceedings of the International Workshop on High-Level Computer Architecture , pp. 4.1-4.6
    inproceedings @conf,@en,@prolog,@pek
    BibTeX:
    @inproceedings{KanedaTWM:HLCA:1984,
      author = {Yukio Kaneda and Naoyuki Tamura and Koichi Wada and Hideo Matsuda},
      title = {Sequential Prolog Machine PEK Architecture and Software System},
      booktitle = {Proceedings of the International Workshop on High-Level Computer Architecture},
      year = {1984},
      pages = {4.1--4.6}
    }
         
    Tamura, N. & Kaneda, Y. IEEE Implementing Parallel Prolog on a Multi-processor Machine 1984 Proceedings of the 1984 International Symposium on Logic Programming (SLP 1984) , pp. 42-48
    IEEE,
    inproceedings @conf,@en,@prolog
    BibTeX:
    @inproceedings{TamuraK:SLP:1985,
      author = {Naoyuki Tamura and Yukio Kaneda},
      title = {Implementing Parallel Prolog on a Multi-processor Machine},
      booktitle = {Proceedings of the 1984 International Symposium on Logic Programming (SLP 1984)},
      organization = {IEEE},
      year = {1984},
      pages = {42--48},
      url = {http://dblp.uni-trier.de/db/conf/slp/slp84.html#TamuraK84}
    }
         
    Tamura, N.; Wada, K.; Matsuda, H.; Kaneda, Y. & Maekawa, S. ICOT Sequential Prolog Machine PEK 1984 Proceedings of the International Conference on Fifth Generation Computer Systems 1984 (FGCS 1984) , pp. 542-550
    ICOT, OHMSHA, LTD.,
    inproceedings @conf,@en,@prolog,@pek
    BibTeX:
    @inproceedings{TamuraWMKM:FGCS:1984,
      author = {Naoyuki Tamura and Koichi Wada and Hideo Matsuda and Yukio Kaneda and Sadao Maekawa},
      title = {Sequential Prolog Machine PEK},
      booktitle = {Proceedings of the International Conference on Fifth Generation Computer Systems 1984 (FGCS 1984)},
      publisher = {OHMSHA, LTD.},
      organization = {ICOT},
      year = {1984},
      pages = {542--550},
      url = {http://dblp.uni-trier.de/db/conf/fgcs/fgcs84.html#TamuraWMKM84}
    }
         
    Kaneda, Y.; Tamura, N.; Wada, K.; Matsuda, H.; Kuo, S.M. & Maekawa, S. Sequential Prolog Machine PEK and its Performance Evaluation 1985 Proceedings of the Mini and Microcomputers and their Applications , pp. 190-193
    inproceedings @conf,@en,@prolog,@pek
    BibTeX:
    @inproceedings{KanedaTWMKM:MIMI:1985,
      author = {Yukio Kaneda and Naoyuki Tamura and Koichi Wada and Hideo Matsuda and S. M. Kuo and Sadao Maekawa},
      title = {Sequential Prolog Machine PEK and its Performance Evaluation},
      booktitle = {Proceedings of the Mini and Microcomputers and their Applications},
      year = {1985},
      pages = {190--193}
    }
         
    Kurokawa, T.; Tamura, N.; Asakawa, Y. & Komatsu, H. A Very Fast Prolog Compiler on Multiple Architectures 1986 Proceedings of the ACM/IEEE Fall Joint Computer Conference (FJCC 1986) , pp. 963-968
    inproceedings @conf,@en,@prolog
    BibTeX:
    @inproceedings{KurokawaTAK:FJCC:1986,
      author = {Toshiaki Kurokawa and Naoyuki Tamura and Yasuo Asakawa and Hideaki Komatsu},
      title = {A Very Fast Prolog Compiler on Multiple Architectures},
      booktitle = {Proceedings of the ACM/IEEE Fall Joint Computer Conference (FJCC 1986)},
      year = {1986},
      pages = {963--968},
      url = {http://dl.acm.org/citation.cfm?id=324493.325001}
    }
         
    Tamura, N. Knowledge-Based Optimization in Prolog Compiler 1986 Proceedings of ACM/IEEE Fall Joint Computer Conference (FJCC 1986) , pp. 237-240
    inproceedings @conf,@en,@prolog
    BibTeX:
    @inproceedings{Tamura:FJCC:1986,
      author = {Naoyuki Tamura},
      title = {Knowledge-Based Optimization in Prolog Compiler},
      booktitle = {Proceedings of ACM/IEEE Fall Joint Computer Conference (FJCC 1986)},
      year = {1986},
      pages = {237--240},
      url = {http://dl.acm.org/citation.cfm?id=324493.324572}
    }
         
    Komatsu, H.; Tamura, N.; Asakawa, Y. & Kurokawa, T. Wada, E. (Hrsg.) An Optimizing Prolog Compiler 1987 Logic Programming '86 (LP 1986), LNCS 264 , pp. 104-115
    Springer,
    inproceedings @conf,@en,@prolog
    BibTeX:
    @inproceedings{KomatsuTAK:LP:1986,
      author = {Hideaki Komatsu and Naoyuki Tamura and Yasuo Asakawa and Toshiaki Kurokawa},
      title = {An Optimizing Prolog Compiler},
      booktitle = {Logic Programming '86 (LP 1986), LNCS 264},
      publisher = {Springer},
      year = {1987},
      pages = {104--115},
      url = {http://dblp.uni-trier.de/db/conf/lp/lp86.html#KomatsuTAK86},
      doi = {http://dx.doi.org/10.1007/3-540-18024-9_26}
    }
         
    Kurokawa, T.; Tamura, N.; Asakawa, Y.; Komatsu, H.; Etoh, H. & Hama, T. Zephyr Prolog: steps towards practical usage of Prolog 1987 Proceedings of the IFIP WG 10.1 Workshop on Concepts and Characteristics of Knowledge-Based Systems , pp. 1-9
    North-Holland, ISBN 0 444 88328 2,
    inproceedings @conf,@en,@prolog
    BibTeX:
    @inproceedings{KurokawaTAKEH:IFIP10.1:1988,
      author = {Toshiaki Kurokawa and Naoyuki Tamura and Yasuo Asakawa and Hideaki Komatsu and Hiroaki Etoh and Toshiyuki Hama},
      title = {Zephyr Prolog: steps towards practical usage of Prolog},
      booktitle = {Proceedings of the IFIP WG 10.1 Workshop on Concepts and Characteristics of Knowledge-Based Systems},
      publisher = {North-Holland, ISBN 0 444 88328 2},
      year = {1987},
      pages = {1--9}
    }
         
    Etoh, H.; Tamura, N.; Asakawa, Y.; Hama, T. & Komatsu, H. Furukawa, K.; Tanaka, H. & Fujisaki, T. (Hrsg.) Introduction of a package system into Prolog 1988 Logic Programming '87 (LP 1987), LNCS 315 , pp. 105-112
    Springer,
    inproceedings @conf,@en,@prolog
    BibTeX:
    @inproceedings{EtohTAHK:LP:1987,
      author = {Hiroaki Etoh and Naoyuki Tamura and Yasuo Asakawa and Toshiyuki Hama and Hideaki Komatsu},
      title = {Introduction of a package system into Prolog},
      booktitle = {Logic Programming '87 (LP 1987), LNCS 315},
      publisher = {Springer},
      year = {1988},
      pages = {105--112},
      url = {http://dblp.uni-trier.de/db/conf/lp/lp87.html#EtohTAHK87},
      doi = {http://dx.doi.org/10.1007/3-540-19426-6_8}
    }
         
    Jelinek, J.; Wilcock, G.; Nishida, O.; Yoshimi, T.; Bos, M.; Tamura, N. & Murakami, H. Karlgren, H. (Hrsg.) Japanese-to-English project PROTRAN & TWINTRAN 1990 Proceedings of the 13th International Conference on Computational Linguistics (COLING 1990) , pp. 50-52
    inproceedings @conf,@en,@nlp
    BibTeX:
    @inproceedings{JelinekWNYBTM:COLING:1990,
      author = {Jiri Jelinek and G. Wilcock and Osamu Nishida and Takehiko Yoshimi and Marco Bos and Naoyuki Tamura and Haruo Murakami},
      title = {Japanese-to-English project PROTRAN & TWINTRAN},
      booktitle = {Proceedings of the 13th International Conference on Computational Linguistics (COLING 1990)},
      year = {1990},
      pages = {50--52},
      url = {http://dblp.uni-trier.de/db/conf/coling/coling1990.html#JelinekWNYBTM90}
    }
         
    Tamura, N.; Horiuchi, K. & Murakami, H. Prolog extension based on interval-vector-valued fuzzy sets 1990 Proceedings of the International Conference on Fuzzy Logic & Neural Networks (IIZUKA 1990) , pp. 257-260
    inproceedings @conf,@en,@fuzzy,@prolog
    BibTeX:
    @inproceedings{TamuraHM:IIZUKA:1990,
      author = {Naoyuki Tamura and Kiyomitsu Horiuchi and Haruo Murakami},
      title = {Prolog extension based on interval-vector-valued fuzzy sets},
      booktitle = {Proceedings of the International Conference on Fuzzy Logic & Neural Networks (IIZUKA 1990)},
      year = {1990},
      pages = {257--260}
    }
         
    Tamura, N.; Bos, M.; Yoshimi, T.; Nishida, O.; Jelinek, J. & Murakami, H. Brown, C.G. & Koch, G. (Hrsg.) Lazy evaluation of preference on a packed shared forest without unpacking 1991 Natural Language Understanding and Logic Programming III (NLULP3) , pp. 13-26
    North-Holland,
    inproceedings @conf,@en,@nlp
    BibTeX:
    @inproceedings{TamuraBYNJM:NLULP:1991,
      author = {Naoyuki Tamura and Marco Bos and Takehiko Yoshimi and Osamu Nishida and Jiri Jelinek and Haruo Murakami},
      title = {Lazy evaluation of preference on a packed shared forest without unpacking},
      booktitle = {Natural Language Understanding and Logic Programming III (NLULP3)},
      publisher = {North-Holland},
      year = {1991},
      pages = {13--26},
      url = {http://dblp.uni-trier.de/db/conf/nlulp/nlulp91.html#TamuraBMNYJ91}
    }
         
    Tamura, N. & Horiuchi, K. Fuzzy relations for comparing fuzzy numbers 1993 Proceedings of the First Asian Fuzzy Systems Symposium , pp. 812-820
    inproceedings @conf,@en,@fuzzy
    BibTeX:
    @inproceedings{TamuraH:AFSS:1993,
      author = {Naoyuki Tamura and Kiyomitsu Horiuchi},
      title = {Fuzzy relations for comparing fuzzy numbers},
      booktitle = {Proceedings of the First Asian Fuzzy Systems Symposium},
      year = {1993},
      pages = {812--820}
    }
         
    Tamura, N. & Horiuchi, K. IEEE VSOP Fuzzy Numbers and Fuzzy Comparison Relations 1993 Proceedings of the 2nd IEEE International Conference on Fuzzy Systems , pp. 1287-1292
    IEEE,
    inproceedings @conf,@en,@fuzzy
    BibTeX:
    @inproceedings{TamuraH:IEEE-FUZZY:1993,
      author = {Naoyuki Tamura and Kiyomitsu Horiuchi},
      title = {VSOP Fuzzy Numbers and Fuzzy Comparison Relations},
      booktitle = {Proceedings of the 2nd IEEE International Conference on Fuzzy Systems},
      organization = {IEEE},
      year = {1993},
      pages = {1287--1292},
      doi = {http://dx.doi.org/10.1109/FUZZY.1993.327578}
    }
         
    Jelinek, J.; Yoshimi, T.; Nishida, O.; Tamura, N. & Murakami, H. Text-Wide MT Grammar 1995 Proceedings of the Natural Language Processing Pacific Rim Symposium '95 (NLPRS 1995) , pp. 449-454
    inproceedings @conf,@en,@nlp
    BibTeX:
    @inproceedings{JelinekYNTM:NLPRS:1995,
      author = {Jiri Jelinek and Takehiko Yoshimi and Osamu Nishida and Naoyuki Tamura and Haruo Murakami},
      title = {Text-Wide MT Grammar},
      booktitle = {Proceedings of the Natural Language Processing Pacific Rim Symposium '95 (NLPRS 1995)},
      year = {1995},
      pages = {449--454}
    }
         
    Kaneda, Y.; Tamura, N.; Urata, Y.; Saita, A. & Kawamura, T. Multi-agent Programming System on a Workstation Network 1995 Proceedings of IEEE Pacific Rim Conference on Communications, Computers, and Signal Processing , pp. 315-318
    inproceedings @conf,@en,@prolog
    BibTeX:
    @inproceedings{KanedaTUSK:PACRIM:1995,
      author = {Yukio Kaneda and Naoyuki Tamura and Y. Urata and A. Saita and T. Kawamura},
      title = {Multi-agent Programming System on a Workstation Network},
      booktitle = {Proceedings of IEEE Pacific Rim Conference on Communications, Computers, and Signal Processing},
      year = {1995},
      pages = {315--318},
      doi = {http://dx.doi.org/10.1109/PACRIM.1995.519533}
    }
         
    Tamura, N. & Kaneda, Y. Ida, T.; Ohori, A. & Takeichi, M. (Hrsg.) Extension of WAM for a linear logic programming language 1996 Second Fuji International Workshop on Functional and Logic Programming (Fuji 1996) , pp. 33-50
    World Scientific,
    inproceedings @conf,@en,@llp
    BibTeX:
    @inproceedings{TamuraK:FUJI:1996,
      author = {Naoyuki Tamura and Yukio Kaneda},
      title = {Extension of WAM for a linear logic programming language},
      booktitle = {Second Fuji International Workshop on Functional and Logic Programming (Fuji 1996)},
      publisher = {World Scientific},
      year = {1996},
      pages = {33--50}
    }
         
    Tamura, N. & Kaneda, Y. A Compiler System of a Linear Logic Programming Language 1997 Proceedings of the IASTED International Conference Artificial Intelligence and Soft Computing , pp. 180-183
    inproceedings @conf,@en,@llp
    BibTeX:
    @inproceedings{TamuraK:IASTED-AI:1997,
      author = {Naoyuki Tamura and Yukio Kaneda},
      title = {A Compiler System of a Linear Logic Programming Language},
      booktitle = {Proceedings of the IASTED International Conference Artificial Intelligence and Soft Computing},
      year = {1997},
      pages = {180--183}
    }
         
    Yoshimi, T.; Kisaku, T.; Hokabira, R.; Yoshida, H. & Tamura, N. Text Analysis as Concurrent Constraint Optimization Problem Solving 1997 Proceedings of the Natural Language Processing Pacific Rim Symposium '97 (NLPRS 1997) , pp. 395-400
    inproceedings @conf,@en,@nlp
    BibTeX:
    @inproceedings{YoshimiKHYT:NLPRS:1997,
      author = {Takehiko Yoshimi and Takayuki Kisaku and Ryuji Hokabira and Hirokazu Yoshida and Naoyuki Tamura},
      title = {Text Analysis as Concurrent Constraint Optimization Problem Solving},
      booktitle = {Proceedings of the Natural Language Processing Pacific Rim Symposium '97 (NLPRS 1997)},
      year = {1997},
      pages = {395--400}
    }
         
    Banbara, M. & Tamura, N. Compiling Resources in a Linear Logic Programming Language 1998 Proceedings of the Workshop on Parallelism and Implementation Technology for Logic Programming Languages , pp. 32-45
    inproceedings @conf,@en,@llp
    Abstract: There have been several proposals for logic programming language based on linear logic: Lolli, Lygon, LO, LinLog, Forum.
    In addition, BinProlog allows the use of linear implications of affine logic (a variant of linear logic). In these languages, it is possible to create and consume resources dynamically as logical formulas. The efficient handling of resource formulas is therefore an important issue in the implementation of these languages.
    In [10], N. Tamura and Y. Kaneda proposed an abstract machine called LLPAM which is an extension of the standard WAM for a linear logic programming language called LLP. LLP is a superset of Prolog and a subset of Lolli. However, in the original LLPAM design, a resource formula was stored as a term in a heap memory and was not compiled into LLPAM code.
    In this paper, we describe an extension of LLPAM for compiling resource formulas. In our extension, resources are compiled into closures which consist of compiled code and a variable binding environment.
    BibTeX:
    @inproceedings{BanbaraT:ILPS:1998,
      author = {Mutsunori Banbara and Naoyuki Tamura},
      title = {Compiling Resources in a Linear Logic Programming Language},
      booktitle = {Proceedings of the Workshop on Parallelism and Implementation Technology for Logic Programming Languages},
      year = {1998},
      pages = {32--45},
      url = {http://dblp.uni-trier.de/db/conf/iclp/iclp98-w1.html#BanbaraT98}
    }
         
    Hodas, J.S.; Watkins, K.; Tamura, N. & Kang, K.-S. Efficient Implementation of a Linear Logic Programming Language 1998 Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming (JICSLP 1998) , pp. 145-159
    MIT Press,
    inproceedings @conf,@en,@llp
    Abstract: A number of logic programming languages based on Girard's Linear Logic have been proposed. While efficiency of computation has been a consideration in the design of these languages from the earliest days the proposed implementation techniques have relied heavily on the copying and scanning of large data structures to ensure that linearity conditions have been met, and thus have been most suited to the creation of interpreters written in high-level languages. In this paper we present a new formulation of the logic of the the language Lolli that is conducive to the creation of both more efficient interpreters, as well as compilers based on extensions of the standard WAM model. We present an extension of the WAM based on this model which implements a useful fragment of Lolli. Resource conscious algorithms executed using this system show significant performance advantages relative to their traditional Prolog implementations.
    BibTeX:
    @inproceedings{HodasKTK:JICSLP:1998,
      author = {Joshua S. Hodas and Kevin Watkins and Naoyuki Tamura and Kyoung-Sun Kang},
      title = {Efficient Implementation of a Linear Logic Programming Language},
      booktitle = {Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming (JICSLP 1998)},
      publisher = {MIT Press},
      year = {1998},
      pages = {145--159},
      url = {http://dblp.uni-trier.de/db/conf/iclp/iclp98.html#HodasWTK98}
    }
         
    Banbara, M. & Tamura, N. Translating a Linear Logic Programming Language into Java 1999 Electronic Notes in Theoretical Computer Science , Vol. 30 , No. 3 , pp. 19-39
    Elsevier,
    Proceedings of the Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages
    article @conf,@en,@llp,@plcafe
    BibTeX:
    @article{BanbaraT:ETCS:1999,
      author = {Mutsunori Banbara and Naoyuki Tamura},
      title = {Translating a Linear Logic Programming Language into Java},
      journal = {Electronic Notes in Theoretical Computer Science},
      publisher = {Elsevier},
      year = {1999},
      volume = {30},
      number = {3},
      pages = {19--39},
      note = {Proceedings of the Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages},
      url = {http://dblp.uni-trier.de/db/journals/tcs/entcs30.html#BanbaraT99}
    }
         
    Kang, K.-S. & Tamura, N. A Static Analysis Method for a Classical Linear Logic Programming Language 1999 Electronic Notes in Theoretical Computer Science , Vol. 30 , No. 3 , pp. 2-18
    Elsevier,
    Proceedings of the Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages
    article @conf,@en,@llp
    BibTeX:
    @article{KangT:ETCS:1999,
      author = {Kyoung-Sun Kang and Naoyuki Tamura},
      title = {A Static Analysis Method for a Classical Linear Logic Programming Language},
      journal = {Electronic Notes in Theoretical Computer Science},
      publisher = {Elsevier},
      year = {1999},
      volume = {30},
      number = {3},
      pages = {2--18},
      note = {Proceedings of the Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages},
      url = {http://dblp.uni-trier.de/db/journals/tcs/entcs30.html#KangT99},
      doi = {http://dx.doi.org/10.1016/S1571-0661(05)80112-4}
    }
         
    Kang, K.-S. & Tamura, N. A Static Analysis for Classical Linear Logic Programming Language 1999 Proceedings of the 1999 International Conference on Logic Programming (ICLP 1999) , pp. 610
    MIT Press,
    inproceedings @conf,@en,@llp
    BibTeX:
    @inproceedings{KangT:ICLP:1999,
      author = {Kyoung-Sun Kang and Naoyuki Tamura},
      title = {A Static Analysis for Classical Linear Logic Programming Language},
      booktitle = {Proceedings of the 1999 International Conference on Logic Programming (ICLP 1999)},
      publisher = {MIT Press},
      year = {1999},
      pages = {610},
      url = {http://dblp.uni-trier.de/db/conf/iclp/iclp99.html#KangT99}
    }
         
    Banbara, M.; Kang, K.-S.; Hirai, T. & Tamura, N. Logic programming in a fragment of intuitionistic temporal linear logic 2001 Proceedings of the 2001 International Conference on Logic Programming (ICLP 2001), LNCS 2237 , pp. 315-330
    Springer,
    inproceedings @conf,@en,@llp
    BibTeX:
    @inproceedings{BanbaraKHT:ICLP:2001,
      author = {Mutsunori Banbara and Kyoung-Sun Kang and Takaharu Hirai and Naoyuki Tamura},
      title = {Logic programming in a fragment of intuitionistic temporal linear logic},
      booktitle = {Proceedings of the 2001 International Conference on Logic Programming (ICLP 2001), LNCS 2237},
      publisher = {Springer},
      year = {2001},
      pages = {315--330},
      url = {http://dblp.uni-trier.de/db/conf/iclp/iclp2001.html#BanbaraKHT01},
      doi = {http://dx.doi.org/10.1016/S1571-0661(05)80111-2}
    }
         
    Hodas, J.S. & Tamura, N. LolliCoP - a linear logic implementation of a lean connection-method theorem prover for first-order classical logic 2001 Proceedings of the International Joint Conference on Automated Reasoning 2001 (IJCAR 2001), LNCS 2083 , pp. 670-684
    Springer,
    inproceedings @conf,@en,@llp,@prover
    Abstract: When Prolog programs that manipulate lists to manage a collection of resources are rewritten to take advantage of the linear logic resource management provided by the logic programming language Lolli, they can obtain dramatic speedup. Thus far this has been demonstrated only for ``toy'' applications, such as n-queens. In this paper we present such a reimplementation of the lean connection-calculus prover lolliCoP and obtain a theorem prover for first-order classical logic which rivals or outperforms state-of-the-art provers on a significant body of problems.
    BibTeX:
    @inproceedings{HodasT:IJCAR:2001,
      author = {Joshua S. Hodas and Naoyuki Tamura},
      title = {LolliCoP -- a linear logic implementation of a lean connection-method theorem prover for first-order classical logic},
      booktitle = {Proceedings of the International Joint Conference on Automated Reasoning 2001 (IJCAR 2001), LNCS 2083},
      publisher = {Springer},
      year = {2001},
      pages = {670--684},
      url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2001.html#HodasT01}
    }
         
    Ohnishi, S.; Tasaka, H. & Tamura, N. Efficient Representation of Discrete Sets for Constraint Programming 2003 Proceedings of the 9th International Conference on Principles and Practice of Constraint Programming (CP 2003), LNCS 2833 , pp. 920-924
    Springer,
    inproceedings @conf,@en,@cp
    BibTeX:
    @inproceedings{OhnishiTT:CP:2003,
      author = {Shuji Ohnishi and Hiroaki Tasaka and Naoyuki Tamura},
      title = {Efficient Representation of Discrete Sets for Constraint Programming},
      booktitle = {Proceedings of the 9th International Conference on Principles and Practice of Constraint Programming (CP 2003), LNCS 2833},
      publisher = {Springer},
      year = {2003},
      pages = {920--924},
      url = {http://dblp.uni-trier.de/db/conf/cp/cp2003.html#OhnishiTT03},
      doi = {http://dx.doi.org/10.1007/b13743}
    }
         
    Banbara, M.; Tamura, N. & Inoue, K. Prolog Cafe : A Prolog to Java Translator System 2005 Proceedings of the 16th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2005), LNCS 4369 , pp. 1-11
    Springer,
    inproceedings @conf,@en,@plcafe
    BibTeX:
    @inproceedings{BanbaraTI:INAP:2005,
      author = {Mutsunori Banbara and Naoyuki Tamura and Katsumi Inoue},
      title = {Prolog Cafe : A Prolog to Java Translator System},
      booktitle = {Proceedings of the 16th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2005), LNCS 4369},
      publisher = {Springer},
      year = {2005},
      pages = {1--11},
      url = {http://dblp.uni-trier.de/db/conf/inap/inap2005.html#BanbaraTI05},
      doi = {http://dx.doi.org/10.1007/11963578_1}
    }
         
    Kawatani, M.; Nakagawa, M.; Shiga, A.; Kitagawa, S.; Ohnishi, S.; Banbara, M. & Tamura, N. g-Hecs: a constraint solving system on the Grid 2005 Proceedings of the 16th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2005) , pp. 191-199
    inproceedings @conf,@en,@cp
    BibTeX:
    @inproceedings{KawataniNSKOBT:INAP:2005,
      author = {Muneyuki Kawatani and Masaya Nakagawa and Akira Shiga and Satoshi Kitagawa and Shuji Ohnishi and Mutsunori Banbara and Naoyuki Tamura},
      title = {g-Hecs: a constraint solving system on the Grid},
      booktitle = {Proceedings of the 16th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2005)},
      year = {2005},
      pages = {191--199}
    }
         
    Soh, T.; Inoue, K.; Banbara, M. & Tamura, N. Experimental results for solving job-shop scheduling problems with multiple SAT solvers 2005 Proceedings of the 1st International Workshop on Distributed and Speculative Constraint Processing (DSCP 2005) , pp. 25-38
    inproceedings @conf,@en,@sat
    BibTeX:
    @inproceedings{ShoIBT:DSCP:2005,
      author = {Takehide Soh and Katsumi Inoue and Mutsunori Banbara and Naoyuki Tamura},
      title = {Experimental results for solving job-shop scheduling problems with multiple SAT solvers},
      booktitle = {Proceedings of the 1st International Workshop on Distributed and Speculative Constraint Processing (DSCP 2005)},
      year = {2005},
      pages = {25--38}
    }
         
    Tamura, N. Calc/Cream: OpenOffice spreadsheet front-end for constraint programming 2005 Proceedings of the 16th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2005), LNCS 4369 , pp. 81-87
    Springer,
    (Invited tutorial)
    inproceedings @conf,@en,@cp,@cream,@invited
    BibTeX:
    @inproceedings{Tamura:INAP:2005,
      author = {Naoyuki Tamura},
      title = {Calc/Cream: OpenOffice spreadsheet front-end for constraint programming},
      booktitle = {Proceedings of the 16th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2005), LNCS 4369},
      publisher = {Springer},
      year = {2005},
      pages = {81--87},
      note = {(Invited tutorial)},
      url = {http://dblp.uni-trier.de/db/conf/inap/inap2005.html#Tamura05},
      doi = {http://dx.doi.org/10.1007/11963578_7}
    }
         
    Tamura, N.; Taga, A.; Kitagawa, S. & Banbara, M. Compiling Finite Linear CSP into SAT 2006 Proceedings of the 12th International Conference on Principles and Practice of Constraint Programming (CP 2006), LNCS 4204 , pp. 590-603
    Springer,
    inproceedings @conf,@en,@cp,@sat,@sugar
    Abstract: In this paper, we propose a method to encode Constraint Satisfaction Problems (CSP) and Constraint Optimization Problems (COP) with integer linear constraints into Boolean Satisfiability Testing Problems (SAT). The encoding method is basically the same with the one used to encode Job-Shop Scheduling Problems by Crawford and Baker. Comparison $x le a$ is encoded by a different Boolean variable for each integer variable $x$ and integer value $a$. To evaluate the effectiveness of this approach, we applied the method to Open-Shop Scheduling Problems (OSS). All 192 instances in three OSS benchmark sets are examined, and our program found and proved the optimal results for all instances including three previously undecided problems.
    BibTeX:
    @inproceedings{TamuraTKB:CP:2006,
      author = {Naoyuki Tamura and Akiko Taga and Satoshi Kitagawa and Mutsunori Banbara},
      title = {Compiling Finite Linear CSP into SAT},
      booktitle = {Proceedings of the 12th International Conference on Principles and Practice of Constraint Programming (CP 2006), LNCS 4204},
      publisher = {Springer},
      year = {2006},
      pages = {590--603},
      url = {http://dblp.uni-trier.de/db/conf/cp/cp2006.html#TamuraTKB06},
      doi = {http://dx.doi.org/10.1007/11889205_42}
    }
         
    Soh, T.; Inoue, K.; Tamura, N.; Banbara, M. & Nabeshima, H. A SAT-based Method for Solving the Two-dimensional Strip Packing Problem 2008 Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2008)
    inproceedings @conf,@en,@cp,@sat,@sugar
    BibTeX:
    @inproceedings{SohITBN:RCRA:2008,
      author = {Takehide Soh and Katsumi Inoue and Naoyuki Tamura and Mutsunori Banbara and Hidetomo Nabeshima},
      title = {A SAT-based Method for Solving the Two-dimensional Strip Packing Problem},
      booktitle = {Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2008)},
      year = {2008}
    }
         
    Tamura, N. & Banbara, M. Sugar: A CSP to SAT Translator Based on Order Encoding 2008 Proceedings of the 2nd International CSP Solver Competition , pp. 65-69
    inproceedings @conf,@en,@cp,@sat,@sugar
    BibTeX:
    @inproceedings{TamuraB:CSC:2008,
      author = {Naoyuki Tamura and Mutsunori Banbara},
      title = {Sugar: A CSP to SAT Translator Based on Order Encoding},
      booktitle = {Proceedings of the 2nd International CSP Solver Competition},
      year = {2008},
      pages = {65--69}
    }
         
    Tamura, N.; Tanjo, T. & Banbara, M. System Description of a SAT-based CSP Solver Sugar 2009 Proceedings of the 3rd International CSP Solver Competition , pp. 71-75
    inproceedings @conf,@en,@cp,@sat,@sugar
    BibTeX:
    @inproceedings{TamuraTB:CSC:2008,
      author = {Naoyuki Tamura and Tomoya Tanjo and Mutsunori Banbara},
      title = {System Description of a SAT-based CSP Solver Sugar},
      booktitle = {Proceedings of the 3rd International CSP Solver Competition},
      year = {2009},
      pages = {71--75}
    }
         
    Tanjo, T.; Tamura, N. & Banbara, M. Sugar++: A SAT-based Max-CSP/COP Solver 2009 Proceedings of the 3rd International CSP Solver Competition , pp. 77-82
    inproceedings @conf,@en,@cp,@sat,@sugar
    BibTeX:
    @inproceedings{TanjoTB:CSC:2008,
      author = {Tomoya Tanjo and Naoyuki Tamura and Mutsunori Banbara},
      title = {Sugar++: A SAT-based Max-CSP/COP Solver},
      booktitle = {Proceedings of the 3rd International CSP Solver Competition},
      year = {2009},
      pages = {77--82}
    }
         
    Banbara, M.; Matsunaka, H.; Tamura, N. & Inoue, K. Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers 2010 Proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-17), LNCS 6397 , pp. 112-126
    Springer,
    inproceedings @conf,@en,@cp,@sat,@sugar
    BibTeX:
    @inproceedings{BanbaraMTI:LPAR:2010,
      author = {Mutsunori Banbara and Haruki Matsunaka and Naoyuki Tamura and Katsumi Inoue},
      title = {Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers},
      booktitle = {Proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-17), LNCS 6397},
      publisher = {Springer},
      year = {2010},
      pages = {112--126},
      url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2010y.html#BanbaraMTI10},
      doi = {http://dx.doi.org/10.1007/978-3-642-16242-8_9}
    }
         
    Tamura, N.; Tanjo, T. & Banbara, M. Solving Constraint Satisfaction Problems by a SAT Solver 2010 Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2010)

    (Invited talk)
    inproceedings @conf,@en,@cp,@sat,@sugar,@invited
    BibTeX:
    @inproceedings{TamuraTB:CICLOPS-WLPE:2010,
      author = {Naoyuki Tamura and Tomoya Tanjo and Mutsunori Banbara},
      title = {Solving Constraint Satisfaction Problems by a SAT Solver},
      booktitle = {Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2010)},
      year = {2010},
      note = {(Invited talk)}
    }
         
    Tamura, N.; Tanjo, T. & Banbara, M. Solving Constraint Satisfaction Problems with SAT Technology 2010 Proceedings of the 10th International Symposium of Functional and Logic Programming (FLOPS 2010), LNCS 6009 , pp. 19-23
    Springer,
    (Invited talk)
    inproceedings @conf,@en,@cp,@sat,@sugar,@invited
    BibTeX:
    @inproceedings{TamuraTB:FLOPS:2010,
      author = {Naoyuki Tamura and Tomoya Tanjo and Mutsunori Banbara},
      title = {Solving Constraint Satisfaction Problems with SAT Technology},
      booktitle = {Proceedings of the 10th International Symposium of Functional and Logic Programming (FLOPS 2010), LNCS 6009},
      publisher = {Springer},
      year = {2010},
      pages = {19--23},
      note = {(Invited talk)},
      url = {http://dblp.uni-trier.de/db/conf/flops/flops2010.html#TamuraTB10},
      doi = {http://dx.doi.org/10.1007/978-3-642-12251-4_3}
    }
         
    Tanjo, T.; Tamura, N. & Banbara, M. Towards a Compact and Efficient SAT-encoding of Finite Linear CSP 2010 Proceedings of the 9th International Workshop on Constraint Modelling and Reformulation (ModRef 2010)
    inproceedings @conf,@en,@cp,@sat,@sugar
    Abstract: This paper describes a new SAT encoding method applicable to finite linear CSP, named compact order encoding, which is designed to generate compact (small sized) and also efficient SAT instances. The basic idea of the compact order encoding is the use of a numeric system of base $B ge 2$. Each integer variable is divided into m digits and each digit is encoded by using the order encoding. Therefore, it is a generalization of the order encoding (when m = 1), and the log encoding (when B = 2). In the compact order encoding, each binary constraint can be encoded into $O(B B d)$ SAT clauses which is much less than $O(d)$ clauses of the order encoding where d is the maximum domain size. Therefore it enables to solve large problems that can not be solved by the order encoding. The compact order encoding can generate much efficient SAT instance than the log encoding in general because it uses fewer digits and enables faster propagations. We also confirmed these observations through some experimental results.
    BibTeX:
    @inproceedings{TanjoTB:MODREF:2010,
      author = {Tomoya Tanjo and Naoyuki Tamura and Mutsunori Banbara},
      title = {Towards a Compact and Efficient SAT-encoding of Finite Linear CSP},
      booktitle = {Proceedings of the 9th International Workshop on Constraint Modelling and Reformulation (ModRef 2010)},
      year = {2010},
      url = {http://www.it.uu.se/research/group/astra/ModRef10/programme.html}
    }
         
    Tanjo, T.; Tamura, N. & Banbara, M. Proposal of a compact and efficient SAT encoding using a numeral system of any base 2011 Proceedings of the 1st International Workshop on the Cross-Fertilization Between CSP and SAT (CSPSAT 2011)
    inproceedings @conf,@en,@cp,@sat,@sugar
    Abstract: This paper describes a new SAT encoding method, named compact order encoding, applicable to finite domain CSP. It is a generalization of log encoding (compact encoding) and order encoding which is adopted by an award-winning SAT-based CSP solver. The basic idea of the compact order encoding is the use of a numeral system of some base. Each integer variable is divided into some digits and each digit is encoded by using the order encoding. It generates much smaller SAT instances than the order encoding and more efficient SAT instances than the log encoding in general because it requires fewer carry propagations when using larger base than two. We confirmed these observations through the experimental results on some benchmarks, such as Open-Shop Scheduling problems. Especially for very large instances, our solver with MiniSat engine outperformed other encodings and the state-of-the-art CSP solvers choco and Mistral.
    BibTeX:
    @inproceedings{TanjoTB:CSPSAT:2011,
      author = {Tomoya Tanjo and Naoyuki Tamura and Mutsunori Banbara},
      title = {Proposal of a compact and efficient SAT encoding using a numeral system of any base},
      booktitle = {Proceedings of the 1st International Workshop on the Cross-Fertilization Between CSP and SAT (CSPSAT 2011)},
      year = {2011},
      url = {http://sysrun.haifa.il.ibm.com/hrl/cspsat2011/}
    }
         
    Tanjo, T.; Tamura, N. & Banbara, M. A Compact and Efficient SAT-Encoding of Finite Domain CSP 2011 Proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing (SAT 2011), LNCS 6695 , pp. 375-376
    Springer,
    inproceedings @conf,@en,@cp,@sat,@sugar
    BibTeX:
    @inproceedings{TanjoTB:SAT:2011,
      author = {Tomoya Tanjo and Naoyuki Tamura and Mutsunori Banbara},
      title = {A Compact and Efficient SAT-Encoding of Finite Domain CSP},
      booktitle = {Proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing (SAT 2011), LNCS 6695},
      publisher = {Springer},
      year = {2011},
      pages = {375--376},
      url = {http://www.informatik.uni-trier.de/~ley/db/conf/sat/sat2011.html#TanjoTB11},
      doi = {http://dx.doi.org/10.1007/978-3-642-21581-0_36}
    }
         
    Tanjo, T.; Tamura, N. & Banbara, M. Azucar: A SAT-Based CSP Solver Using Compact Order Encoding -- (Tool Presentation) 2012 Proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012), LNCS 7317 , pp. 456-462
    Springer,
    inproceedings @conf,@en,@cp,@sat,@sugar
    BibTeX:
    @inproceedings{TanjoTB:SAT:2012,
      author = {Tomoya Tanjo and Naoyuki Tamura and Mutsunori Banbara},
      title = {Azucar: A SAT-Based CSP Solver Using Compact Order Encoding --- (Tool Presentation)},
      booktitle = {Proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012), LNCS 7317},
      publisher = {Springer},
      year = {2012},
      pages = {456--462},
      url = {http://www.informatik.uni-trier.de/~ley/db/conf/sat/sat2012.html#TanjoTB12},
      doi = {http://dx.doi.org/10.1007/978-3-642-31612-8_37}
    }
         
    Banbara, M.; Tamura, N. & Inoue, K. Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix 2012 Technical Communications of the 28th International Conference on Logic Programming (ICLP 2012) , pp. 86-97
    inproceedings @conf,@en,@cp,@sat,@sugar
    BibTeX:
    @inproceedings{BanbaraTI:ICLP:2012,
      author = {Mutsunori Banbara and Naoyuki Tamura and Katsumi Inoue},
      title = {Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix},
      booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP 2012)},
      year = {2012},
      pages = {86--97}
    }
         
    田村 直之 & 浅川 康夫 Prologのプログラミング環境 1989 情報処理 , Vol. 30 , No. 4 , pp. 326-333

    (解説記事)
    article @report,@ja,@prolog
    BibTeX:
    @article{Tamura:IPSJ:1989,
      author = {田村 直之 and 浅川 康夫},
      yomi = {Naoyuki Tamura and Yasuo Asakawa},
      title = {Prologのプログラミング環境},
      journal = {情報処理},
      year = {1989},
      volume = {30},
      number = {4},
      pages = {326--333},
      note = {(解説記事)}
    }
         
    田村 直之 & 松田 秀雄 論理型言語の最近の動向 1989 システム/制御/情報 , Vol. 33 , No. 3 , pp. 143-150

    (解説記事)
    article @report,@ja,@prolog
    BibTeX:
    @article{TamuraM:ISCIE:1989,
      author = {田村 直之 and 松田 秀雄},
      yomi = {Naoyuki Tamura and Hideo Matsuda},
      title = {論理型言語の最近の動向},
      journal = {システム/制御/情報},
      year = {1989},
      volume = {33},
      number = {3},
      pages = {143--150},
      note = {(解説記事)},
      url = {http://ci.nii.ac.jp/naid/40004778037}
    }
         
    田村 直之 & 馬野 元秀 知的生産のための新しいツールの現状と展望 1991 システム/制御/情報 , Vol. 35 , No. 11 , pp. 659-664

    (解説記事)
    article @report,@ja
    BibTeX:
    @article{TamuraU:ISCIE:1991,
      author = {田村 直之 and 馬野 元秀},
      yomi = {Naoyuki Tamura and Motohide Umano},
      title = {知的生産のための新しいツールの現状と展望},
      journal = {システム/制御/情報},
      year = {1991},
      volume = {35},
      number = {11},
      pages = {659--664},
      note = {(解説記事)},
      url = {http://ci.nii.ac.jp/naid/40004778340}
    }
         
    堀内 清光 & 田村 直之 ファジィ数の体系について--公理的アプローチ-- 1994 日本ファジィ学会誌 , Vol. 6 , No. 6 , pp. 48-58

    (解説記事)
    article @report,@ja,@fuzzy
    BibTeX:
    @article{HoriuchiT:Fuzzy:1994,
      author = {堀内 清光 and 田村 直之},
      yomi = {Kiyomitsu Horiuchi and Naoyuki Tamura},
      title = {ファジィ数の体系について---公理的アプローチ---},
      journal = {日本ファジィ学会誌},
      year = {1994},
      volume = {6},
      number = {6},
      pages = {48--58},
      note = {(解説記事)},
      url = {http://ci.nii.ac.jp/naid/110002940422}
    }
         
    高橋 真; 田村 直之 & 番原 睦則 資源と時間の論理に基づいたプログラミング言語の設計と処理系の構築 2001
    科学研究費補助金(基盤研究(C)(2))研究成果報告書,
    (報告書)
    techreport @report,@ja,@llp
    BibTeX:
    @techreport{TakahashiTB:Kaken:2001,
      author = {高橋 真 and 田村 直之 and 番原 睦則},
      yomi = {Makoto Takahashi and Naoyuki Tamura and Mutsunori Banbara},
      title = {資源と時間の論理に基づいたプログラミング言語の設計と処理系の構築},
      institution = {科学研究費補助金(基盤研究(C)(2))研究成果報告書},
      year = {2001},
      note = {(報告書)},
      url = {http://kaken.nii.ac.jp/ja/p/11680359}
    }
         
    金田 悠紀夫; 瀧 和男; 和田 耕一 & 田村 直之 神戸大LISPマシンPROLOGマシン 2002 情報処理 , Vol. 43 , No. 2 , pp. 114-115

    (解説記事)
    article @report,@ja,@lisp,@prolog,@pek
    BibTeX:
    @article{KanedaTWT:IPSJ:2002,
      author = {金田 悠紀夫 and 瀧 和男 and 和田 耕一 and 田村 直之},
      yomi = {Yukio Kaneda and Kazuo Taki and Koichi Wada and Naoyuki Tamura},
      title = {神戸大LISPマシンPROLOGマシン},
      journal = {情報処理},
      year = {2002},
      volume = {43},
      number = {2},
      pages = {114--115},
      note = {(解説記事)},
      url = {http://ci.nii.ac.jp/naid/110002764245}
    }
         
    番原 睦則; 田村 直之; 井上 克巳 & 川村 尚生 Javaによる異種協調制約解消システムの開発 2003
    IPA未踏ソフトウェア創造事業 成果報告書,
    (報告書)
    techreport @report,@ja,@cp
    BibTeX:
    @techreport{BanbaraTIK:IPA-REPORT:2003,
      author = {番原 睦則 and 田村 直之 and 井上 克巳 and 川村 尚生},
      yomi = {Mutsunori Banbara and Naoyuki Tamura and Katsumi Inoue and Takao Kawamura},
      title = {Javaによる異種協調制約解消システムの開発},
      institution = {IPA未踏ソフトウェア創造事業 成果報告書},
      year = {2003},
      note = {(報告書)},
      url = {http://kaminari.istc.kobe-u.ac.jp/hecs/}
    }
         
    番原 睦則; 田村 直之; 井上 克巳 & 川村 尚生 Javaによる異種協調制約解消システムの開発 2003
    IPA Spring 2003,
    (報告書)
    techreport @report,@ja,@cp
    BibTeX:
    @techreport{BanbaraTIK:IPA-SPRING:2003,
      author = {番原 睦則 and 田村 直之 and 井上 克巳 and 川村 尚生},
      yomi = {Mutsunori Banbara and Naoyuki Tamura and Katsumi Inoue and Takao Kawamura},
      title = {Javaによる異種協調制約解消システムの開発},
      institution = {IPA Spring 2003},
      year = {2003},
      note = {(報告書)},
      url = {http://kaminari.istc.kobe-u.ac.jp/hecs/}
    }
         
    番原 睦則; 田村 直之; 井上 克巳; 川村 尚生 & 玉置 久 Javaによる分散協調制約解消システム 2004
    IPA未踏ソフトウェア創造事業 成果報告書,
    (報告書)
    techreport @report,@ja,@cp
    BibTeX:
    @techreport{BanbaraTIKT:IPA-REPORT:2004,
      author = {番原 睦則 and 田村 直之 and 井上 克巳 and 川村 尚生 and 玉置 久},
      yomi = {Mutsunori Banbara and Naoyuki Tamura and Katsumi Inoue and Takao Kawamura and Hisashi Tamaki},
      title = {Javaによる分散協調制約解消システム},
      institution = {IPA未踏ソフトウェア創造事業 成果報告書},
      year = {2004},
      note = {(報告書)},
      url = {http://kaminari.istc.kobe-u.ac.jp/hecs/}
    }
         
    田村 直之 & 番原 睦則 線形論理の自動演繹システムに関する研究 2005
    科学研究費補助金(基盤研究(C)(2))研究成果報告書,
    (報告書)
    techreport @report,@ja,@llp
    BibTeX:
    @techreport{TamuraB:Kaken:2005,
      author = {田村 直之 and 番原 睦則},
      yomi = {Naoyuki Tamura and Mutsunori Banbara},
      title = {線形論理の自動演繹システムに関する研究},
      institution = {科学研究費補助金(基盤研究(C)(2))研究成果報告書},
      year = {2005},
      note = {(報告書)},
      url = {http://kaken.nii.ac.jp/ja/p/14580375}
    }
         
    田村 直之 & 番原 睦則 Prolog Cafe: Java上で動作するProlog処理系 2006 人工知能学会学会誌 , Vol. 21 , No. 4 , pp. 1-8

    (解説記事)
    article @report,@ja,@plcafe
    BibTeX:
    @article{TamuraB:JSAI:2006,
      author = {田村 直之 and 番原 睦則},
      yomi = {Naoyuki Tamura and Mutsunori Banbara},
      title = {Prolog Cafe: Java上で動作するProlog処理系},
      journal = {人工知能学会学会誌},
      year = {2006},
      volume = {21},
      number = {4},
      pages = {1--8},
      note = {(解説記事)},
      url = {http://ci.nii.ac.jp/naid/110004745135}
    }
         
    番原 睦則 & 田村 直之 SATによるシステム検証 2010 人工知能学会学会誌 , Vol. 25 , No. 1 , pp. 122-129

    (解説記事)
    article @report,@ja,@sat
    BibTeX:
    @article{BanbaraT:JSAI:2010,
      author = {番原 睦則 and 田村 直之},
      yomi = {Mutsunori Banbara and Naoyuki Tamura},
      title = {SATによるシステム検証},
      journal = {人工知能学会学会誌},
      year = {2010},
      volume = {25},
      number = {1},
      pages = {122--129},
      note = {(解説記事)},
      url = {http://ci.nii.ac.jp/naid/110007504960}
    }
         
    井上 克巳 & 田村 直之 SATソルバーの基礎 2010 人工知能学会学会誌 , Vol. 25 , No. 1 , pp. 57-67

    (解説記事)
    article @report,@ja,@sat
    BibTeX:
    @article{InoueT:JSAI:2010,
      author = {井上 克巳 and 田村 直之},
      yomi = {Katsumi Inoue and Naoyuki Tamura},
      title = {SATソルバーの基礎},
      journal = {人工知能学会学会誌},
      year = {2010},
      volume = {25},
      number = {1},
      pages = {57--67},
      note = {(解説記事)},
      url = {http://ci.nii.ac.jp/naid/110007504952}
    }
         
    田村 直之; 丹生 智也 & 番原 睦則 制約最適化問題とSAT符号化 2010 人工知能学会学会誌 , Vol. 25 , No. 1 , pp. 77-85

    (解説記事)
    article @report,@ja,@cp,@sat
    BibTeX:
    @article{TamuraTB:JSAI:2010,
      author = {田村 直之 and 丹生 智也 and 番原 睦則},
      yomi = {Naoyuki Tamura and Tomoya Tanjo and Mutsunori Banbara},
      title = {制約最適化問題とSAT符号化},
      journal = {人工知能学会学会誌},
      year = {2010},
      volume = {25},
      number = {1},
      pages = {77--85},
      note = {(解説記事)},
      url = {http://ci.nii.ac.jp/naid/110007504955}
    }
         
    田村 直之 & 番原 睦則 直観主義線形論理型言語LLPとそのコンパイラ処理系 2013 コンピュータソフトウェア , Vol. 30 , No. 2 , pp. 83-89

    (ソフトウェア紹介)
    article @report,@ja,@llp
    BibTeX:
    @article{TamuraB:COMPSOFT:2013,
      author = {田村 直之 and 番原 睦則},
      yomi = {Naoyuki Tamura and Mutsunori Banbara},
      title = {直観主義線形論理型言語LLPとそのコンパイラ処理系},
      journal = {コンピュータソフトウェア},
      year = {2013},
      volume = {30},
      number = {2},
      pages = {83--89},
      note = {(ソフトウェア紹介)}
    }
         
    田村 直之; 有尾 隆一; 松田 秀雄; 金田 悠紀夫 & 前川 禎男 K-Prolog: 並列マシン上でのPrologの実現 1982 情報処理学会記号処理研究会資料20
    inproceedings @talk,@ja,@prolog
    BibTeX:
    @inproceedings{TamuraAMKM:SIGSYM:1982,
      author = {田村 直之 and 有尾 隆一 and 松田 秀雄 and 金田 悠紀夫 and 前川 禎男},
      title = {K-Prolog: 並列マシン上でのPrologの実現},
      booktitle = {情報処理学会記号処理研究会資料20},
      year = {1982}
    }
         
    田村 直之; 金田 悠紀夫 & 前川 禎男 PROLOGの制御構造についての一提案 1982 情報処理学会第24回全国大会 , pp. 195-196
    inproceedings @talk,@ja,@prolog
    BibTeX:
    @inproceedings{TamuraKM:CIPSJ:1982,
      author = {田村 直之 and 金田 悠紀夫 and 前川 禎男},
      title = {PROLOGの制御構造についての一提案},
      booktitle = {情報処理学会第24回全国大会},
      year = {1982},
      pages = {195--196}
    }
         
    金田 悠紀夫; 和田 耕一; 田村 直之; 小畑 正貴; 松田 秀雄; 有尾 隆一; 小林 久和 & 前川 禎男 PrologマシンPEKの全体構成 1983 情報処理学会第27回全国大会 , pp. 145-146
    inproceedings @talk,@ja,@prolog,@pek
    BibTeX:
    @inproceedings{KanedaWTKMAKM:CIPSJ:1983,
      author = {金田 悠紀夫 and 和田 耕一 and 田村 直之 and 小畑 正貴 and 松田 秀雄 and 有尾 隆一 and 小林 久和 and 前川 禎男},
      title = {PrologマシンPEKの全体構成},
      booktitle = {情報処理学会第27回全国大会},
      year = {1983},
      pages = {145--146}
    }
         
    田村 直之; 金田 悠紀夫 & 前川 禎男 並列計算機上でのPrologの実現 1983 情報処理学会第26回全国大会 , pp. 43-44
    inproceedings @talk,@ja,@prolog
    BibTeX:
    @inproceedings{TamuraKM:CIPSJ:1983,
      author = {田村 直之 and 金田 悠紀夫 and 前川 禎男},
      title = {並列計算機上でのPrologの実現},
      booktitle = {情報処理学会第26回全国大会},
      year = {1983},
      pages = {43--44}
    }
         
    田村 直之; 松田 秀雄; 金田 悠紀夫 & 前川 禎男 ICOT K-Prolog(並列Prolog)の実現方法について 1983 Proceedings of Logic Programming Conference '83 , pp. 10.3
    ICOT,
    inproceedings @talk,@ja,@prolog
    BibTeX:
    @inproceedings{TamuraMKM:LPC:1983,
      author = {田村 直之 and 松田 秀雄 and 金田 悠紀夫 and 前川 禎男},
      title = {K-Prolog(並列Prolog)の実現方法について},
      booktitle = {Proceedings of Logic Programming Conference '83},
      organization = {ICOT},
      year = {1983},
      pages = {10.3}
    }
         
    田村 直之; 和田 耕一; 金田 悠紀夫; 小畑 正貴; 松田 秀雄; 有尾 隆一; 小林 久和 & 前川 禎男 PrologマシンPEKのソフトウェア構成 1983 情報処理学会第27回全国大会 , pp. 149-150
    inproceedings @talk,@ja,@prolog,@pek
    BibTeX:
    @inproceedings{TamuraWKKMAKM:CIPSJ:1983,
      author = {田村 直之 and 和田 耕一 and 金田 悠紀夫 and 小畑 正貴 and 松田 秀雄 and 有尾 隆一 and 小林 久和 and 前川 禎男},
      title = {PrologマシンPEKのソフトウェア構成},
      booktitle = {情報処理学会第27回全国大会},
      year = {1983},
      pages = {149--150}
    }
         
    田村 直之; 和田 耕一; 松田 秀雄; 小畑 正貴; 金田 悠紀夫 & 前川 禎男 シーケンシャルPROLOGマシンPEKのアーキテクチャとソフトウェアシステム 1983 情報処理学会記号処理研究会資料25
    inproceedings @talk,@ja,@prolog,@pek
    BibTeX:
    @inproceedings{TamuraWMKKM:SYGSYM:1983,
      author = {田村 直之 and 和田 耕一 and 松田 秀雄 and 小畑 正貴 and 金田 悠紀夫 and 前川 禎男},
      title = {シーケンシャルPROLOGマシンPEKのアーキテクチャとソフトウェアシステム},
      booktitle = {情報処理学会記号処理研究会資料25},
      year = {1983}
    }
         
    和田 耕一; 金田 悠紀夫; 田村 直之; 小畑 正貴; 松田 秀雄; 有尾 隆一; 小林 久和 & 前川 禎男 PrologマシンPEKのハードウェア構成 1983 情報処理学会第27回全国大会 , pp. 147-148
    inproceedings @talk,@ja,@prolog,@pek
    BibTeX:
    @inproceedings{WadaKTKMAKM:CIPSJ:1983,
      author = {和田 耕一 and 金田 悠紀夫 and 田村 直之 and 小畑 正貴 and 松田 秀雄 and 有尾 隆一 and 小林 久和 and 前川 禎男},
      title = {PrologマシンPEKのハードウェア構成},
      booktitle = {情報処理学会第27回全国大会},
      year = {1983},
      pages = {147--148}
    }
         
    田村 直之; 和田 耕一; 金田 悠紀夫; 松田 秀雄; 小林 久和; 綾部 雅之 & 前川 禎男 PrologマシンPEKのPrologインタプリタとその性能評価 1984 情報処理学会第29回全国大会 , pp. 247-248
    inproceedings @talk,@ja,@prolog,@pek
    BibTeX:
    @inproceedings{TamuraWKMKAM:CIPSJ:1984,
      author = {田村 直之 and 和田 耕一 and 金田 悠紀夫 and 松田 秀雄 and 小林 久和 and 綾部 雅之 and 前川 禎男},
      title = {PrologマシンPEKのPrologインタプリタとその性能評価},
      booktitle = {情報処理学会第29回全国大会},
      year = {1984},
      pages = {247--248}
    }
         
    田村 直之; 和田 耕一; 金田 悠紀夫; 松田 秀雄; 小林 久和 & 前川 禎男 PrologマシンPEKのシステムと言語について 1984 情報処理学会第27回全国大会 , pp. 201-202
    inproceedings @talk,@ja,@prolog,@pek
    BibTeX:
    @inproceedings{TamuraWKMKM:CIPSJ:1984,
      author = {田村 直之 and 和田 耕一 and 金田 悠紀夫 and 松田 秀雄 and 小林 久和 and 前川 禎男},
      title = {PrologマシンPEKのシステムと言語について},
      booktitle = {情報処理学会第27回全国大会},
      year = {1984},
      pages = {201--202}
    }
         
    田村 直之; 和田 耕一; 金田 悠紀夫; 松田 秀雄; 小林 久和 & 前川 禎男 PrologマシンPEKの開発の現状報告 1984 情報処理学会記号処理研究会資料27
    inproceedings @talk,@ja,@prolog,@pek
    BibTeX:
    @inproceedings{TamuraWKMKM:SIGSYM:1984a,
      author = {田村 直之 and 和田 耕一 and 金田 悠紀夫 and 松田 秀雄 and 小林 久和 and 前川 禎男},
      title = {PrologマシンPEKの開発の現状報告},
      booktitle = {情報処理学会記号処理研究会資料27},
      year = {1984}
    }
         
    田村 直之; 和田 耕一; 松田 秀雄; 金田 悠紀夫 & 前川 禎男 ICOT PROLOGマシンPEKについて 1984 Proceedings of Logic Programming Conference '84 , pp. 8-2
    ICOT,
    inproceedings @talk,@ja,@prolog,@pek
    BibTeX:
    @inproceedings{TamuraWMKM:LPC:1984,
      author = {田村 直之 and 和田 耕一 and 松田 秀雄 and 金田 悠紀夫 and 前川 禎男},
      title = {PROLOGマシンPEKについて},
      booktitle = {Proceedings of Logic Programming Conference '84},
      organization = {ICOT},
      year = {1984},
      pages = {8-2}
    }
         
    田村 直之; 和田 耕一; 松田 秀雄; 金田 悠紀夫 & 前川 禎男 PrologマシンPEK上でのpure Prologインタプリタの作成 1984 情報処理学会記号処理研究会資料30
    inproceedings @talk,@ja,@prolog,@pek
    BibTeX:
    @inproceedings{TamuraWMKM:SIGSYM:1984b,
      author = {田村 直之 and 和田 耕一 and 松田 秀雄 and 金田 悠紀夫 and 前川 禎男},
      title = {PrologマシンPEK上でのpure Prologインタプリタの作成},
      booktitle = {情報処理学会記号処理研究会資料30},
      year = {1984}
    }
         
    浅川 康夫; 田村 直之; 小松 秀昭 & 黒川 利明 JSI AIワークステーション (7) -- Prologコンパイラの評価 1986 情報処理学会第33回全国大会 , pp. 1697-1698
    inproceedings @talk,@ja,@prolog
    BibTeX:
    @inproceedings{AsakawaTKK:CIPSJ:1986,
      author = {浅川 康夫 and 田村 直之 and 小松 秀昭 and 黒川 利明},
      title = {JSI AIワークステーション (7) --- Prologコンパイラの評価},
      booktitle = {情報処理学会第33回全国大会},
      year = {1986},
      pages = {1697--1698}
    }
         
    浅川 康夫; 田村 直之; 小松 秀昭 & 黒川 利明 複数のアーキテクチャをターゲットにした高速Prologコンパイラ 1986 情報処理学会記号処理研究会資料37
    inproceedings @talk,@ja,@prolog
    BibTeX:
    @inproceedings{AsakawaTKK:SIGSYM:1986,
      author = {浅川 康夫 and 田村 直之 and 小松 秀昭 and 黒川 利明},
      title = {複数のアーキテクチャをターゲットにした高速Prologコンパイラ},
      booktitle = {情報処理学会記号処理研究会資料37},
      year = {1986}
    }
         
    小松 秀昭; 田村 直之; 浅川 康夫 & 黒川 利明 JSI AIワークステーション (5) -- Prologコンパイラの概要と設計方針 1986 情報処理学会第33回全国大会 , pp. 1693-1694
    inproceedings @talk,@ja,@prolog
    BibTeX:
    @inproceedings{KomatsuTAK:CIPSJ:1986,
      author = {小松 秀昭 and 田村 直之 and 浅川 康夫 and 黒川 利明},
      title = {JSI AIワークステーション (5) --- Prologコンパイラの概要と設計方針},
      booktitle = {情報処理学会第33回全国大会},
      year = {1986},
      pages = {1693--1694}
    }
         
    Komatsu, H.; Tamura, N.; Asakawa, Y. & Kurokawa, T. ICOT An Optimizing Prolog Compiler 1986 Proceedings of Logic Programming Conference '86 , pp. 143-149
    ICOT,
    inproceedings @talk,@en,@prolog
    BibTeX:
    @inproceedings{KomatsuTAK:LPC:1986,
      author = {Hideaki Komatsu and Naoyuki Tamura and Yasuo Asakawa and Toshiaki Kurokawa},
      title = {An Optimizing Prolog Compiler},
      booktitle = {Proceedings of Logic Programming Conference '86},
      organization = {ICOT},
      year = {1986},
      pages = {143--149}
    }
         
    田村 直之; 浅川 康夫; 小松 秀昭 & 黒川 利明 JSI AIワークステーション (6) -- Prologコンパイラの最適化技法 1986 情報処理学会第33回全国大会 , pp. 1695-1696
    inproceedings @talk,@ja,@prolog
    BibTeX:
    @inproceedings{TamuraAKK:CIPSJ:1986,
      author = {田村 直之 and 浅川 康夫 and 小松 秀昭 and 黒川 利明},
      title = {JSI AIワークステーション (6) --- Prologコンパイラの最適化技法},
      booktitle = {情報処理学会第33回全国大会},
      year = {1986},
      pages = {1695--1696}
    }
         
    浅川 康夫; 江藤博明; 濱 利行; 小松 秀昭; 田村 直之 & 大場 充 実用的な使用を目指したPrologコンパイラ・システム 1987 情報処理学会第35回全国大会 , pp. 719-720
    inproceedings @talk,@ja,@prolog
    BibTeX:
    @inproceedings{AsakawaEHKTO:CIPSJ:1987,
      author = {浅川 康夫 and 江藤博明 and 濱 利行 and 小松 秀昭 and 田村 直之 and 大場 充},
      title = {実用的な使用を目指したPrologコンパイラ・システム},
      booktitle = {情報処理学会第35回全国大会},
      year = {1987},
      pages = {719--720}
    }
         
    江藤 博明; 田村 直之; 浅川 康夫; 小松 秀昭 & 濱 利行 ICOT Prologへのパッケージ・システムの導入 1987 Proceedings of Logic Programming Conference '87 , pp. 175-181
    ICOT,
    inproceedings @talk,@ja,@prolog
    BibTeX:
    @inproceedings{EtohTAKH:LPC:1987,
      author = {江藤 博明 and 田村 直之 and 浅川 康夫 and 小松 秀昭 and 濱 利行},
      title = {Prologへのパッケージ・システムの導入},
      booktitle = {Proceedings of Logic Programming Conference '87},
      organization = {ICOT},
      year = {1987},
      pages = {175--181}
    }
         
    江藤 博明; 田村 直之; 浅川 康夫; 小松 秀昭; 濱 利行 & 大場 充 プロローグとパッケージ・システム -- ネームスペースの取り扱いについて -- 1987 情報処理学会第35回全国大会 , pp. 747-748
    inproceedings @talk,@ja,@prolog
    BibTeX:
    @inproceedings{EtohTAKHO:CIPSJ:1987,
      author = {江藤 博明 and 田村 直之 and 浅川 康夫 and 小松 秀昭 and 濱 利行 and 大場 充},
      title = {プロローグとパッケージ・システム --- ネームスペースの取り扱いについて ---},
      booktitle = {情報処理学会第35回全国大会},
      year = {1987},
      pages = {747--748}
    }
         
    濱 利行; 小松 秀昭; 江藤 博明; 浅川 康夫; 田村 直之 & 大場 充 Warren's Abstract Machineの拡張 -- 新しい制御構造の実現 -- 1987 情報処理学会第35回全国大会 , pp. 749-750
    inproceedings @talk,@ja,@prolog
    BibTeX:
    @inproceedings{HamaKEATO:CIPSJ:1987,
      author = {濱 利行 and 小松 秀昭 and 江藤 博明 and 浅川 康夫 and 田村 直之 and 大場 充},
      title = {Warren's Abstract Machineの拡張 --- 新しい制御構造の実現 ---},
      booktitle = {情報処理学会第35回全国大会},
      year = {1987},
      pages = {749--750}
    }
         
    堀内 清光; 小川修一; 北林真一; 田村 直之 & 村上 温夫 タイプ2ファジィ集合の一部を扱えるFuzzy Prolog 1989 情報処理学会第39回全国大会 , pp. 61-62
    inproceedings @talk,@ja,@fuzzy
    BibTeX:
    @inproceedings{HoriuchiOKTM:CIPSJ:1989,
      author = {堀内 清光 and 小川修一 and 北林真一 and 田村 直之 and 村上 温夫},
      title = {タイプ2ファジィ集合の一部を扱えるFuzzy Prolog},
      booktitle = {情報処理学会第39回全国大会},
      year = {1989},
      pages = {61--62}
    }
         
    Bos, M.; Tamura, N.; Nishida, O.; Yoshimi, T.; Jelinek, J. & Murakami, H. Context analysis in Japanese-to-English machine translation system TWINTRAN 1990 Proceedings of the Symposium on Industrial Applications of Prolog (INAP 1990) , pp. 65-72
    inproceedings @talk,@en,@nlp
    BibTeX:
    @inproceedings{BosTNYJM:INAP:1990,
      author = {Marco Bos and Naoyuki Tamura and Osamu Nishida and Takehiko Yoshimi and Jiri Jelinek and Haruo Murakami},
      title = {Context analysis in Japanese-to-English machine translation system TWINTRAN},
      booktitle = {Proceedings of the Symposium on Industrial Applications of Prolog (INAP 1990)},
      year = {1990},
      pages = {65--72}
    }
         
    田村 直之; 堀内 清光; 洲浜祐子; 北林 真一 & 村上 温夫 タイプ2ファジィ集合に基づいたPrologと言語ヘッジの導入 1990 第34回システム制御情報学会研究発表講演会 , pp. 5-6
    inproceedings @talk,@ja,@fuzzy,@prolog
    BibTeX:
    @inproceedings{TamuraHSKM:ISCIE:1990,
      author = {田村 直之 and 堀内 清光 and 洲浜祐子 and 北林 真一 and 村上 温夫},
      title = {タイプ2ファジィ集合に基づいたPrologと言語ヘッジの導入},
      booktitle = {第34回システム制御情報学会研究発表講演会},
      year = {1990},
      pages = {5--6}
    }
         
    田村 直之; Bos, M.; 吉見 毅彦; 西田 収; Jelinek, J. & 村上 温夫 チャート構造上での意味処理メカニズム 1991 情報処理学会自然言語処理研究会報告 No. 81 , pp. 25-32
    inproceedings @talk,@ja,@nlp
    BibTeX:
    @inproceedings{TamuraBYNJM:SIGNL:1991,
      author = {田村 直之 and Marco Bos and 吉見 毅彦 and 西田 収 and Jiri Jelinek and 村上 温夫},
      title = {チャート構造上での意味処理メカニズム},
      booktitle = {情報処理学会自然言語処理研究会報告 No. 81},
      year = {1991},
      pages = {25--32}
    }
         
    吉見 毅彦; 田村 直之; Bos, M.; 西田 収; Jelinek, J. & 村上 温夫 電子情報通信学会,日本ソフトウェア科学会 遅延評価機構によるAND-ORグラフ上での優先度計算 -- 解析過程の統合の枠組み -- 1991 「自然言語処理における統合」シンポジウム論文集 , pp. 101-108
    電子情報通信学会,日本ソフトウェア科学会,
    inproceedings @talk,@ja,@nlp
    BibTeX:
    @inproceedings{YoshimiTBNJM:NLP-INTEG:1991,
      author = {吉見 毅彦 and 田村 直之 and Marco Bos and 西田 収 and Jiri Jelinek and 村上 温夫},
      title = {遅延評価機構によるAND-ORグラフ上での優先度計算 --- 解析過程の統合の枠組み ---},
      booktitle = {「自然言語処理における統合」シンポジウム論文集},
      organization = {電子情報通信学会,日本ソフトウェア科学会},
      year = {1991},
      pages = {101--108}
    }
         
    Jelinek, J.; Nishida, O.; Yoshimi, T.; Tamura, N. & Murakami, H. TWINTRAN: a Japanese-to-English machine translation system based on text-wide grammar 1992 Proceedings of the Symposium on Industrial Applications of Prolog (INAP 1992) , pp. 59-63
    inproceedings @talk,@en,@nlp
    BibTeX:
    @inproceedings{JelinekNYTM:INAP:1992,
      author = {Jiri Jelinek and Osamu Nishida and Takehiko Yoshimi and Naoyuki Tamura and Haruo Murakami},
      title = {TWINTRAN: a Japanese-to-English machine translation system based on text-wide grammar},
      booktitle = {Proceedings of the Symposium on Industrial Applications of Prolog (INAP 1992)},
      year = {1992},
      pages = {59--63}
    }
         
    堀内 清光 & 田村 直之 VSOPファジィ数について 1993 第3回ノンエンジニアリング・ファジィワークショップ: ファジィ環境に向けて 講演論文集
    inproceedings @talk,@ja,@fuzzy
    BibTeX:
    @inproceedings{HoriuchiT:NFUZZY:1993,
      author = {堀内 清光 and 田村 直之},
      title = {VSOPファジィ数について},
      booktitle = {第3回ノンエンジニアリング・ファジィワークショップ: ファジィ環境に向けて 講演論文集},
      year = {1993}
    }
         
    田村 直之 & 堀内 清光 VSOPファジィ数上の類似関係について 1993 第37回システム制御情報学会研究発表講演会講演論文集 , pp. 5-6
    inproceedings @talk,@ja,@fuzzy
    BibTeX:
    @inproceedings{TamuraH:ISCIE:1993,
      author = {田村 直之 and 堀内 清光},
      title = {VSOPファジィ数上の類似関係について},
      booktitle = {第37回システム制御情報学会研究発表講演会講演論文集},
      year = {1993},
      pages = {5--6}
    }
         
    Tamura, N.; Horiuchi, K. & Murakami, H. Prolog extension based on interval-vector-valued fuzzy sets 1993 Proceedings of the Symposium on Industrial Applications of Prolog (INAP 1993) , pp. 19-25
    inproceedings @talk,@en,@fuzzy,@prolog
    BibTeX:
    @inproceedings{TamuraHM:INAP:1993,
      author = {Naoyuki Tamura and Kiyomitsu Horiuchi and Haruo Murakami},
      title = {Prolog extension based on interval-vector-valued fuzzy sets},
      booktitle = {Proceedings of the Symposium on Industrial Applications of Prolog (INAP 1993)},
      year = {1993},
      pages = {19--25}
    }
         
    杉山 英二 & 田村 直之 優先度付き制約条件の解消アルゴリズムについて 1994 PROLOG産業応用シンポジウム論文集 (INAP 1994) , pp. 11-18
    inproceedings @talk,@ja,@cp
    BibTeX:
    @inproceedings{SugiyamaT:INAP:1994,
      author = {杉山 英二 and 田村 直之},
      title = {優先度付き制約条件の解消アルゴリズムについて},
      booktitle = {PROLOG産業応用シンポジウム論文集 (INAP 1994)},
      year = {1994},
      pages = {11--18}
    }
         
    番原 睦則; 杉山 英二; 姜 京順 & 田村 直之 線形論理に基づくPrologに向けて 1995 PROLOG産業応用シンポジウム論文集 (INAP 1995) , pp. 65-72
    inproceedings @talk,@ja,@llp
    BibTeX:
    @inproceedings{BanbaraSKT:INAP:1995,
      author = {番原 睦則 and 杉山 英二 and 姜 京順 and 田村 直之},
      title = {線形論理に基づくPrologに向けて},
      booktitle = {PROLOG産業応用シンポジウム論文集 (INAP 1995)},
      year = {1995},
      pages = {65--72}
    }
         
    浦田 泰裕; 齋田 明生; 田村 直之; 金田 悠紀夫 & 川村 尚生 分散環境下におけるマルチエージェントシステム記述用言語 1995 情報処理学会プログラミング研究会報告 (SWoPP 1995)
    inproceedings @talk,@ja,@prolog
    BibTeX:
    @inproceedings{UrataSTKK:SIGPRO:1995,
      author = {浦田 泰裕 and 齋田 明生 and 田村 直之 and 金田 悠紀夫 and 川村 尚生},
      title = {分散環境下におけるマルチエージェントシステム記述用言語},
      booktitle = {情報処理学会プログラミング研究会報告 (SWoPP 1995)},
      year = {1995}
    }
         
    齋田 明生; 田村 直之 & 金田 悠紀夫 Javaを用いた異種エージェント間での協調支援エージェントの開発に関する研究 1996 情報処理学会プログラミング研究会報告 (SWoPP 1996)
    inproceedings @talk,@ja,@prolog
    BibTeX:
    @inproceedings{SaitaTK:SIGPRO:1996,
      author = {齋田 明生 and 田村 直之 and 金田 悠紀夫},
      title = {Javaを用いた異種エージェント間での協調支援エージェントの開発に関する研究},
      booktitle = {情報処理学会プログラミング研究会報告 (SWoPP 1996)},
      year = {1996}
    }
         
    田村 直之 & 池田 雄一 線形論理型言語のコンパイラ処理系でのリソース管理方式について 1996 情報処理学会プログラミング研究会報告 No. 7-5 , pp. 25-30
    inproceedings @talk,@ja,@llp
    BibTeX:
    @inproceedings{TamuraI:SIGPRO:1996,
      author = {田村 直之 and 池田 雄一},
      title = {線形論理型言語のコンパイラ処理系でのリソース管理方式について},
      booktitle = {情報処理学会プログラミング研究会報告 No. 7-5},
      year = {1996},
      pages = {25--30}
    }
         
    Tamura, N. & Kaneda, Y. A WAM Model for a Linear Logic Programming Language 1996 PROLOG産業応用シンポジウム論文集 (INAP 1996) , pp. 63-70
    inproceedings @talk,@en,@llp
    BibTeX:
    @inproceedings{TamuraK:INAP:1996,
      author = {Naoyuki Tamura and Yukio Kaneda},
      title = {A WAM Model for a Linear Logic Programming Language},
      booktitle = {PROLOG産業応用シンポジウム論文集 (INAP 1996)},
      year = {1996},
      pages = {63--70}
    }
         
    Tamura, N. & Kaneda, Y. Resource Management Method for a Compiler System of a Linear Logic Programming Language 1996 Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming (JICSLP 1996) , pp. 545
    MIT Press,
    inproceedings @talk,@en,@llp
    BibTeX:
    @inproceedings{TamuraK:JICSLP:1996,
      author = {Naoyuki Tamura and Yukio Kaneda},
      title = {Resource Management Method for a Compiler System of a Linear Logic Programming Language},
      booktitle = {Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming (JICSLP 1996)},
      publisher = {MIT Press},
      year = {1996},
      pages = {545},
      url = {http://dblp.uni-trier.de/db/conf/iclp/iclp96.html#TamuraK96}
    }
         
    浦田 泰裕; 田村 直之 & 金田 悠紀夫 ネットワーク環境におけるマルチエージェントシステム記述用言語 1996 情報処理学会プログラミング研究会報告 (SWoPP 1996)
    inproceedings @talk,@ja,@prolog
    BibTeX:
    @inproceedings{UrataTK:SIGPRO:1996,
      author = {浦田 泰裕 and 田村 直之 and 金田 悠紀夫},
      title = {ネットワーク環境におけるマルチエージェントシステム記述用言語},
      booktitle = {情報処理学会プログラミング研究会報告 (SWoPP 1996)},
      year = {1996}
    }
         
    Banbara, M. & Tamura, N. Java Implementation of a Linear Logic Programming Language 1997 Proceedings of the Symposium on Industrial Applications of Prolog (INAP 1997) , pp. 56-63
    inproceedings @talk,@en,@llp,@plcafe
    BibTeX:
    @inproceedings{BanbaraT:INAP:1997,
      author = {Mutsunori Banbara and Naoyuki Tamura},
      title = {Java Implementation of a Linear Logic Programming Language},
      booktitle = {Proceedings of the Symposium on Industrial Applications of Prolog (INAP 1997)},
      year = {1997},
      pages = {56--63}
    }
         
    Kang, K.-S. & Tamura, N. A Leveled IO-model for a Linear Logic Programming Language 1997 Symbolic Logic and Computer Science (SLACS 1997)
    inproceedings @talk,@en,@llp
    BibTeX:
    @inproceedings{KangT:SLACS:1997,
      author = {Kyoung-Sun Kang and Naoyuki Tamura},
      title = {A Leveled IO-model for a Linear Logic Programming Language},
      booktitle = {Symbolic Logic and Computer Science (SLACS 1997)},
      year = {1997}
    }
         
    前岡 淳; 田村 直之 & 金田 悠紀夫 分散環境におけるPrologプログラムのマイグレーションに関する研究 1997 第6回マルチ・エージェントと協調計算ワークショップ (MACC 1997)
    inproceedings @talk,@ja,@prolog
    BibTeX:
    @inproceedings{MaeokaTK:MACC:1997,
      author = {前岡 淳 and 田村 直之 and 金田 悠紀夫},
      title = {分散環境におけるPrologプログラムのマイグレーションに関する研究},
      booktitle = {第6回マルチ・エージェントと協調計算ワークショップ (MACC 1997)},
      year = {1997}
    }
         
    松島 秀樹; 田村 直之 & 金田 悠紀夫 共有知識ベースをもつマルチエージェントシステム記述言語とその実装方式 1997 第6回マルチ・エージェントと協調計算ワークショップ (MACC 1997)
    inproceedings @talk,@ja,@prolog
    BibTeX:
    @inproceedings{MatsushimaTK:MACC:1997,
      author = {松島 秀樹 and 田村 直之 and 金田 悠紀夫},
      title = {共有知識ベースをもつマルチエージェントシステム記述言語とその実装方式},
      booktitle = {第6回マルチ・エージェントと協調計算ワークショップ (MACC 1997)},
      year = {1997}
    }
         
    四ノ宮 昇; 齋田 明生; 田村 直之 & 金田 悠紀夫 JavaとHORBを用いたPrologプログラムのマイグレーションの実現 1997 PROLOG産業応用シンポジウム論文集 (INAP 1997) , pp. 64-69
    inproceedings @talk,@ja,@prolog
    BibTeX:
    @inproceedings{ShinomiyaSTK:INAP:1997,
      author = {四ノ宮 昇 and 齋田 明生 and 田村 直之 and 金田 悠紀夫},
      title = {JavaとHORBを用いたPrologプログラムのマイグレーションの実現},
      booktitle = {PROLOG産業応用シンポジウム論文集 (INAP 1997)},
      year = {1997},
      pages = {64--69}
    }
         
    吉見 毅彦; 吉田 宏和; 池口 大輔 & 田村 直之 並列制約最適化問題解決としてのテキスト解析 1997 第6回マルチ・エージェントと協調計算ワークショップ (MACC 1997)
    inproceedings @talk,@ja,@nlp
    BibTeX:
    @inproceedings{YoshimiYIT:MACC:1997,
      author = {吉見 毅彦 and 吉田 宏和 and 池口 大輔 and 田村 直之},
      title = {並列制約最適化問題解決としてのテキスト解析},
      booktitle = {第6回マルチ・エージェントと協調計算ワークショップ (MACC 1997)},
      year = {1997}
    }
         
    Banbara, M.; Kang, K.-S. & Tamura, N. Compiling Intuitionistic Linear Logic Programming Languages 1998 Linear Logic Workshop 1998

    (Invited talk)
    inproceedings @talk,@en,@llp,@invited
    BibTeX:
    @inproceedings{BanbaraKT:LINEAR:1998,
      author = {Mutsunori Banbara and Kyoung-Sun Kang and Naoyuki Tamura},
      title = {Compiling Intuitionistic Linear Logic Programming Languages},
      booktitle = {Linear Logic Workshop 1998},
      year = {1998},
      note = {(Invited talk)}
    }
         
    坂本 浩二; 四ノ宮 昇; 村中 大; 田村 直之 & 金田 悠紀夫 フィールドを有するマルチエージェントシステム記述用言語 1998 情報処理学会プログラミング研究会 (SWoPP 1998)
    inproceedings @talk,@ja,@prolog
    BibTeX:
    @inproceedings{SakamotoSMTK:SIGPRO:1998,
      author = {坂本 浩二 and 四ノ宮 昇 and 村中 大 and 田村 直之 and 金田 悠紀夫},
      title = {フィールドを有するマルチエージェントシステム記述用言語},
      booktitle = {情報処理学会プログラミング研究会 (SWoPP 1998)},
      year = {1998}
    }
         
    田村 直之 線形論理に基づいた論理型言語について 1998 JAMS 1998 Annual Meeting 形式体系と計算分科会

    (Invited talk)
    inproceedings @talk,@ja,@llp,@invited
    BibTeX:
    @inproceedings{Tamura:JAMS:1998,
      author = {田村 直之},
      title = {線形論理に基づいた論理型言語について},
      booktitle = {JAMS 1998 Annual Meeting 形式体系と計算分科会},
      year = {1998},
      note = {(Invited talk)}
    }
         
    番原 睦則; 姜 京順 & 田村 直之 線形論理型言語のJava言語による処理系の設計と実装 1999 情報処理学会 1999年度第1回プログラミング研究会
    inproceedings @talk,@ja,@llp
    BibTeX:
    @inproceedings{BanbaraKT:SIGPRO:1999,
      author = {番原 睦則 and 姜 京順 and 田村 直之},
      title = {線形論理型言語のJava言語による処理系の設計と実装},
      booktitle = {情報処理学会 1999年度第1回プログラミング研究会},
      year = {1999}
    }
         
    姜 京順; 番原 睦則 & 田村 直之 古典線形論理型プログラミング言語の静的解析の一手法について 1999 情報処理学会 1999年度第3回プログラミング研究会
    inproceedings @talk,@ja,@llp
    BibTeX:
    @inproceedings{KangBT:SIGPRO:1999,
      author = {姜 京順 and 番原 睦則 and 田村 直之},
      title = {古典線形論理型プログラミング言語の静的解析の一手法について},
      booktitle = {情報処理学会 1999年度第3回プログラミング研究会},
      year = {1999}
    }
         
    田村 直之; 平井 崇晴; 吉川 英男; 姜 京順 & 番原 睦則 直観主義時相線形論理における論理プログラミングについて 1999 情報処理学会 1999年度第3回プログラミング研究会
    inproceedings @talk,@ja,@llp
    BibTeX:
    @inproceedings{TamuraHYKB:SIGPRO:1999,
      author = {田村 直之 and 平井 崇晴 and 吉川 英男 and 姜 京順 and 番原 睦則},
      title = {直観主義時相線形論理における論理プログラミングについて},
      booktitle = {情報処理学会 1999年度第3回プログラミング研究会},
      year = {1999}
    }
         
    番原 睦則; 姜 京順 & 田村 直之 時相線形論理型言語のコンパイラ処理系のための抽象機械について 2001 情報処理学会 第33回プログラミング研究会
    inproceedings @talk,@ja,@llp
    BibTeX:
    @inproceedings{BanbaraKT:SIGPRO:2001,
      author = {番原 睦則 and 姜 京順 and 田村 直之},
      title = {時相線形論理型言語のコンパイラ処理系のための抽象機械について},
      booktitle = {情報処理学会 第33回プログラミング研究会},
      year = {2001}
    }
         
    番原 睦則; 田村 直之; 井上 克巳 & 川村 尚生 Javaによる異種協調制約解消システムの開発 2002 IPA未踏14キックオフセミナー
    inproceedings @talk,@ja,@cp
    BibTeX:
    @inproceedings{BanbaraTIK:IPA:2002,
      author = {番原 睦則 and 田村 直之 and 井上 克巳 and 川村 尚生},
      title = {Javaによる異種協調制約解消システムの開発},
      booktitle = {IPA未踏14キックオフセミナー},
      year = {2002}
    }
         
    新村 健治; 鎌田 十三郎 & 田村 直之 ストリーム処理に適した効率的XMLデータバインディングツールの提案 2002 日本ソフトウェア科学会第19回大会講演論文集 , pp. 6E-2
    inproceedings @talk,@ja,xml
    BibTeX:
    @inproceedings{NiimuraKT:JSSST:2002,
      author = {新村 健治 and 鎌田 十三郎 and 田村 直之},
      title = {ストリーム処理に適した効率的XMLデータバインディングツールの提案},
      booktitle = {日本ソフトウェア科学会第19回大会講演論文集},
      year = {2002},
      pages = {6E-2}
    }
         
    田村 直之 線形論理と論理プログラミング 2002 電子情報通信学会技術研究報告,AI , Vol. 102 , No. 91 , pp. 37-42

    (Invited paper)
    article @talk,@ja,@llp,@invited
    BibTeX:
    @article{Tamura:IEICETR-AI:2002,
      author = {田村 直之},
      title = {線形論理と論理プログラミング},
      journal = {電子情報通信学会技術研究報告,AI},
      year = {2002},
      volume = {102},
      number = {91},
      pages = {37--42},
      note = {(Invited paper)}
    }
         
    田村 直之 & 番原 睦則 LLPTTP: 線形論理型言語コンパイラ処理系を用いた定理証明システム 2002 日本ソフトウェア科学会第19回大会講演論文集 , pp. 7A-4
    inproceedings @talk,@ja,@llp,@prover
    BibTeX:
    @inproceedings{TamuraB:JSSST:2002,
      author = {田村 直之 and 番原 睦則},
      title = {LLPTTP: 線形論理型言語コンパイラ処理系を用いた定理証明システム},
      booktitle = {日本ソフトウェア科学会第19回大会講演論文集},
      year = {2002},
      pages = {7A-4}
    }
         
    番原 睦則; 田村 直之; 井上 克巳 & 川村 尚生 Javaによる異種協調制約解消システムの開発 2003 IPA未踏14シンポジウム
    inproceedings @talk,@ja,@cp
    BibTeX:
    @inproceedings{BanbaraTIK:IPA:2003,
      author = {番原 睦則 and 田村 直之 and 井上 克巳 and 川村 尚生},
      title = {Javaによる異種協調制約解消システムの開発},
      booktitle = {IPA未踏14シンポジウム},
      year = {2003}
    }
         
    番原 睦則; 田村 直之; 井上 克巳; 川村 尚生 & 玉置 久 Javaによる分散協調制約解消システム 2003 IPA未踏15キックオフセミナー
    inproceedings @talk,@ja,@cp
    BibTeX:
    @inproceedings{BanbaraTIKT:IPA:2003,
      author = {番原 睦則 and 田村 直之 and 井上 克巳 and 川村 尚生 and 玉置 久},
      title = {Javaによる分散協調制約解消システム},
      booktitle = {IPA未踏15キックオフセミナー},
      year = {2003}
    }
         
    大西 秀志; 田村 直之 & 番原 睦則 制約プログラミングのための効率的集合表現 2003 日本ソフトウェア科学会第20回大会 ポスター・デモセッション
    inproceedings @talk,@ja,@cp
    BibTeX:
    @inproceedings{OhnishiTB:JSSST:2003,
      author = {大西 秀志 and 田村 直之 and 番原 睦則},
      title = {制約プログラミングのための効率的集合表現},
      booktitle = {日本ソフトウェア科学会第20回大会 ポスター・デモセッション},
      year = {2003}
    }
         
    上田 盛慈; 鵜飼 訓史; 井上 克巳; 番原 睦則; 田村 直之 & 川村 尚生 SATソルバの並列実行に関する一考察 2003 電子情報通信学会技術研究報告,AI , pp. 41-46
    inproceedings @talk,@ja,@sat
    BibTeX:
    @inproceedings{UedaUIBTK:IEICETR-AI:2003,
      author = {上田 盛慈 and 鵜飼 訓史 and 井上 克巳 and 番原 睦則 and 田村 直之 and 川村 尚生},
      title = {SATソルバの並列実行に関する一考察},
      booktitle = {電子情報通信学会技術研究報告,AI},
      year = {2003},
      pages = {41--46}
    }
         
    Banbara, M.; Ohnishi, S.; Inoue, K. & Tamura, N. Towards a Heterogeneous Constraint Solving System on the Grid 2004 1st Franco-Japanese Workshop on Constraint Programming

    (Oral presentation)
    inproceedings @talk,@en,@cp
    BibTeX:
    @inproceedings{BanbaraOIT:FJCP:2004,
      author = {Mutsunori Banbara and Shuji Ohnishi and Katsumi Inoue and Naoyuki Tamura},
      title = {Towards a Heterogeneous Constraint Solving System on the Grid},
      booktitle = {1st Franco-Japanese Workshop on Constraint Programming},
      year = {2004},
      note = {(Oral presentation)},
      url = {http://www.informaticians.org/fjcp2004/}
    }
         
    番原 睦則; 田村 直之; 井上 克巳; 川村 尚生 & 玉置久 Javaによる分散協調制約解消システム 2004 IPA未踏15シンポジウム
    inproceedings @talk,@ja,@cp
    BibTeX:
    @inproceedings{BanbaraTIKT:IPA:2004,
      author = {番原 睦則 and 田村 直之 and 井上 克巳 and 川村 尚生 and 玉置久},
      title = {Javaによる分散協調制約解消システム},
      booktitle = {IPA未踏15シンポジウム},
      year = {2004}
    }
         
    番原 睦則; 田村 直之; 井上 克巳; 川村 尚生 & 玉置 久 Javaによる分散協調制約解消システム 2004 IPAX Spring 2004
    inproceedings @talk,@ja,@cp
    BibTeX:
    @inproceedings{BanbaraTIKT:IPAX-SPRING:2004,
      author = {番原 睦則 and 田村 直之 and 井上 克巳 and 川村 尚生 and 玉置 久},
      title = {Javaによる分散協調制約解消システム},
      booktitle = {IPAX Spring 2004},
      year = {2004}
    }
         
    川谷 宗之; 岡本 英彰; 松田 一人; 北川 哲; 大西 秀志; 番原 睦則 & 田村 直之 Grid計算環境における二つの制約解消系の試験的実装について 2004 情報処理学会 第51回プログラミング研究会
    inproceedings @talk,@ja,@cp
    BibTeX:
    @inproceedings{KawataniOMKOBT:SIGPRO:2004,
      author = {川谷 宗之 and 岡本 英彰 and 松田 一人 and 北川 哲 and 大西 秀志 and 番原 睦則 and 田村 直之},
      title = {Grid計算環境における二つの制約解消系の試験的実装について},
      booktitle = {情報処理学会 第51回プログラミング研究会},
      year = {2004}
    }
         
    松田 一人; 川谷 宗之; 岡本 英彰; 北川 哲; 大西 秀志; 番原 睦則 & 田村 直之 グリッド計算環境における制約解消システムの構築に向けて 2004 情報処理学会 第51回プログラミング研究会
    inproceedings @talk,@ja,@cp
    BibTeX:
    @inproceedings{MatsudaKOKOBT:SIGPRO:2004,
      author = {松田 一人 and 川谷 宗之 and 岡本 英彰 and 北川 哲 and 大西 秀志 and 番原 睦則 and 田村 直之},
      title = {グリッド計算環境における制約解消システムの構築に向けて},
      booktitle = {情報処理学会 第51回プログラミング研究会},
      year = {2004}
    }
         
    大西 秀志 & 田村 直之 OR制約を含む組合せ最適化問題に対する制約プログラミング技術を用いた汎用的局所探索の実現 2004 日本ソフトウェア科学会第21回大会
    inproceedings @talk,@ja,@cp
    BibTeX:
    @inproceedings{OhnishiT:JSSST:2004,
      author = {大西 秀志 and 田村 直之},
      title = {OR制約を含む組合せ最適化問題に対する制約プログラミング技術を用いた汎用的局所探索の実現},
      booktitle = {日本ソフトウェア科学会第21回大会},
      year = {2004}
    }
         
    岡本 英彰; 川谷 宗之; 松田 一人; 北川 哲; 大西 秀志; 番原 睦則 & 田村 直之 OpenOffice.org Calcスプレッドシート上での制約プログラミング 2004 日本ソフトウェア科学会第21回大会 ポスター・デモセッション
    inproceedings @talk,@ja,@cp,@cream
    BibTeX:
    @inproceedings{OkamotoKMKOBT:JSSST:2004,
      author = {岡本 英彰 and 川谷 宗之 and 松田 一人 and 北川 哲 and 大西 秀志 and 番原 睦則 and 田村 直之},
      title = {OpenOffice.org Calcスプレッドシート上での制約プログラミング},
      booktitle = {日本ソフトウェア科学会第21回大会 ポスター・デモセッション},
      year = {2004}
    }
         
    田村 直之 & 番原 睦則 線形論理型言語コンパイラ処理系を用いた古典命題線形論理の定理証明システム 2004 日本ソフトウェア科学会第21回大会
    inproceedings @talk,@ja,@llp,@prover
    BibTeX:
    @inproceedings{TamuraB:JSSST:2004,
      author = {田村 直之 and 番原 睦則},
      title = {線形論理型言語コンパイラ処理系を用いた古典命題線形論理の定理証明システム},
      booktitle = {日本ソフトウェア科学会第21回大会},
      year = {2004}
    }
         
    Tamura, N.; Banbara, M.; Okada, M. & Hasebe, K. Demonstration of Unsafe Time Condition Extraction for Train-Gate Controller 2004 Joint Seminar on Proof Theory and its Applications, Keio University

    (Oral presentation)
    inproceedings @talk,@en,@llp
    BibTeX:
    @inproceedings{TamuraBOH:Keio:2004,
      author = {Naoyuki Tamura and Mutsunori Banbara and Mitsuhiro Okada and Koji Hasebe},
      title = {Demonstration of Unsafe Time Condition Extraction for Train-Gate Controller},
      booktitle = {Joint Seminar on Proof Theory and its Applications, Keio University},
      year = {2004},
      note = {(Oral presentation)}
    }
         
    田村 直之; 岡本 英彰; 大西 秀志 & 番原 睦則 OpenOffice.org Calcスプレッドシート上での制約プログラミング 2004 電気学会 電子・情報・システム部門大会
    inproceedings @talk,@ja,@cp,@cream
    BibTeX:
    @inproceedings{TamuraOOB:Denki:2004,
      author = {田村 直之 and 岡本 英彰 and 大西 秀志 and 番原 睦則},
      title = {OpenOffice.org Calcスプレッドシート上での制約プログラミング},
      booktitle = {電気学会 電子・情報・システム部門大会},
      year = {2004}
    }
         
    川谷 宗之; 中川 雅也; 志賀 彰; 北川 哲; 大西 秀志; 番原 睦則 & 田村 直之 スプレッドシートと様々なシステムをつなぐオープンミドルウェアの設計 2005 日本ソフトウェア科学会第22回大会 ポスター・デモセッション
    inproceedings @talk,@ja,@cp,@cream
    BibTeX:
    @inproceedings{KawataniNSKOBT:JSSST:2005,
      author = {川谷 宗之 and 中川 雅也 and 志賀 彰 and 北川 哲 and 大西 秀志 and 番原 睦則 and 田村 直之},
      title = {スプレッドシートと様々なシステムをつなぐオープンミドルウェアの設計},
      booktitle = {日本ソフトウェア科学会第22回大会 ポスター・デモセッション},
      year = {2005}
    }
         
    志賀 彰; 中川 雅也; 川谷 宗之; 北川 哲; 大西 秀志; 番原 睦則 & 田村 直之 グリッド環境上で動作する並列制約解消システム 2005 日本ソフトウェア科学会第22回大会 ポスター・デモセッション
    inproceedings @talk,@ja,@cp
    BibTeX:
    @inproceedings{ShigaNKKOBT:JSSST:2005,
      author = {志賀 彰 and 中川 雅也 and 川谷 宗之 and 北川 哲 and 大西 秀志 and 番原 睦則 and 田村 直之},
      title = {グリッド環境上で動作する並列制約解消システム},
      booktitle = {日本ソフトウェア科学会第22回大会 ポスター・デモセッション},
      year = {2005}
    }
         
    Tamura, N. & Banbara, M. g-Hecs: A Heterogeneous Constraint Solving System on the Grid 2005 2nd Franco-Japanese Workshop on Constraint Programming

    (Oral presentation)
    inproceedings @talk,@en,@cp
    BibTeX:
    @inproceedings{TamuraB:FJCP:2005,
      author = {Naoyuki Tamura and Mutsunori Banbara},
      title = {g-Hecs: A Heterogeneous Constraint Solving System on the Grid},
      booktitle = {2nd Franco-Japanese Workshop on Constraint Programming},
      year = {2005},
      note = {(Oral presentation)},
      url = {http://fjcp2005.free.fr}
    }
         
    Tamura, N. & Banbara, M. Classical propositional linear logic theorem prover on a linear logic programming language compiler system 2005 A Proof Theory Workshop, Keio University

    (Invited talk)
    inproceedings @talk,@en,@llp,@invited
    BibTeX:
    @inproceedings{TamuraB:Keio:2005,
      author = {Naoyuki Tamura and Mutsunori Banbara},
      title = {Classical propositional linear logic theorem prover on a linear logic programming language compiler system},
      booktitle = {A Proof Theory Workshop, Keio University},
      year = {2005},
      note = {(Invited talk)}
    }
         
    北川 哲 & 田村 直之 Profit Sharingの学習の合理性に関する理論的考察 2007 第6回情報科学技術フォーラム講演論文集 , pp. LF-001
    inproceedings @talk,@ja,@learning
    BibTeX:
    @inproceedings{KitagawaT:FIT:2007,
      author = {北川 哲 and 田村 直之},
      title = {Profit Sharingの学習の合理性に関する理論的考察},
      booktitle = {第6回情報科学技術フォーラム講演論文集},
      year = {2007},
      pages = {LF-001}
    }
         
    北川 哲 & 田村 直之 マルチエージェント環境に適した強化学習法 2007 計測自動制御学会 第34回 知能システムシンポジウム , pp. 1-6
    inproceedings @talk,@ja,@learning
    BibTeX:
    @inproceedings{KitagawaT:IS:2007,
      author = {北川 哲 and 田村 直之},
      title = {マルチエージェント環境に適した強化学習法},
      booktitle = {計測自動制御学会 第34回 知能システムシンポジウム},
      year = {2007},
      pages = {1--6}
    }
         
    多賀 明子; 田村 直之; 北川 哲 & 番原 睦則 スケジューリング学会 グリッド計算環境上でのショップ・スケジューリング問題のSAT変換による解法 2007 スケジューリング・シンポジウム2007講演論文集 , pp. 109-114
    スケジューリング学会,
    inproceedings @talk,@ja,@sat
    BibTeX:
    @inproceedings{TagaTKB:SS:2007,
      author = {多賀 明子 and 田村 直之 and 北川 哲 and 番原 睦則},
      title = {グリッド計算環境上でのショップ・スケジューリング問題のSAT変換による解法},
      booktitle = {スケジューリング・シンポジウム2007講演論文集},
      organization = {スケジューリング学会},
      year = {2007},
      pages = {109--114}
    }
         
    田島 宏史; 多賀 明子; 丹生 智也; 田村 直之 & 番原 睦則 Sugar:SAT変換による制約解消システムのデモ 2007 日本ソフトウェア科学会第24回大会 ポスター・デモセッション
    inproceedings @talk,@ja,@cp,@sat,@sugar
    BibTeX:
    @inproceedings{TajimaTTTB:JSSST:2007,
      author = {田島 宏史 and 多賀 明子 and 丹生 智也 and 田村 直之 and 番原 睦則},
      title = {Sugar:SAT変換による制約解消システムのデモ},
      booktitle = {日本ソフトウェア科学会第24回大会 ポスター・デモセッション},
      year = {2007}
    }
         
    田村 直之; 多賀 明子; 番原 睦則; 宋 剛秀; 鍋島 英知 & 井上 克巳 スケジューリング学会 ショップ・スケジューリング問題のSAT変換による解法 2007 スケジューリング・シンポジウム2007講演論文集 , pp. 97-102
    スケジューリング学会,
    inproceedings @talk,@ja,@cp,@sat,@sugar
    BibTeX:
    @inproceedings{TamuraTBSNI:SS:2007,
      author = {田村 直之 and 多賀 明子 and 番原 睦則 and 宋 剛秀 and 鍋島 英知 and 井上 克巳},
      title = {ショップ・スケジューリング問題のSAT変換による解法},
      booktitle = {スケジューリング・シンポジウム2007講演論文集},
      organization = {スケジューリング学会},
      year = {2007},
      pages = {97--102}
    }
         
    丹生 智也; 田村 直之 & 番原 睦則 Prolog Cafe:PrologからJavaへのトランスレータ処理系のデモ 2007 日本ソフトウェア科学会第24回大会 ポスター・デモセッション
    inproceedings @talk,@ja,@plcafe
    BibTeX:
    @inproceedings{TanjoTB:JSSST:2007,
      author = {丹生 智也 and 田村 直之 and 番原 睦則},
      title = {Prolog Cafe:PrologからJavaへのトランスレータ処理系のデモ},
      booktitle = {日本ソフトウェア科学会第24回大会 ポスター・デモセッション},
      year = {2007}
    }
         
    番原 睦則; 松中 春樹; 田村 直之 & 井上 克巳 SAT技術を用いた組合せテストケース生成 2010 日本ソフトウェア科学会第27回大会
    inproceedings @talk,@ja,@cp,@sat,@sugar
    BibTeX:
    @inproceedings{BanbaraMTI:JSSST:2010,
      author = {番原 睦則 and 松中 春樹 and 田村 直之 and 井上 克巳},
      yomi = {Mutsunori Banbara and Haruki Matsunaka and Naoyuki Tamura and Katsumi Inoue},
      title = {SAT技術を用いた組合せテストケース生成},
      booktitle = {日本ソフトウェア科学会第27回大会},
      year = {2010}
    }
         
    松中 春樹; 丹生 智也; 番原 睦則 & 田村 直之 SAT符号化を用いた釣合い型不完備ブロック計画の構成 2011 第25回人工知能学会全国大会
    inproceedings @talk,@ja,@cp,@sat,@sugar
    BibTeX:
    @inproceedings{MatsunakaTBT:JSAI:2011,
      author = {松中 春樹 and 丹生 智也 and 番原 睦則 and 田村 直之},
      yomi = {Haruki Matsunaka and Tomoya Tanjo and Mutsunori Banbara and Naoyuki Tamura},
      title = {SAT符号化を用いた釣合い型不完備ブロック計画の構成},
      booktitle = {第25回人工知能学会全国大会},
      year = {2011},
      url = {https://kaigi.org/jsai/webprogram/2011/paper-95.html}
    }
         
    田村 直之; 丹生 智也 & 番原 睦則 SAT型制約ソルバーSugarについて 2011 人工知能学会 人工知能基本問題研究会 , Vol. 81 , pp. 13-17

    (Invited talk)
    article @talk,@ja,@cp,@sat,@sugar,@invited
    BibTeX:
    @article{TamuraTB:JSAI-FPAI:2011,
      author = {田村 直之 and 丹生 智也 and 番原 睦則},
      yomi = {Naoyuki Tamura and Tomoya Tanjo and Mutsunori Banbara},
      title = {SAT型制約ソルバーSugarについて},
      journal = {人工知能学会 人工知能基本問題研究会},
      year = {2011},
      volume = {81},
      pages = {13--17},
      note = {(Invited talk)},
      url = {http://ci.nii.ac.jp/naid/40018282632/}
    }
         
    Tamura, N.; Tanjo, T. & Banbara, M. Solving Constraint Satisfaction Problems by a SAT Solver 2011 Osaka Workshop for Verification and Validation, AIST Amagasaki

    (Oral presentation)
    inproceedings @talk,@en,@cp,@sat,@sugar
    BibTeX:
    @inproceedings{TamuraTB:OWVV:2011,
      author = {Naoyuki Tamura and Tomoya Tanjo and Mutsunori Banbara},
      title = {Solving Constraint Satisfaction Problems by a SAT Solver},
      booktitle = {Osaka Workshop for Verification and Validation, AIST Amagasaki},
      year = {2011},
      note = {(Oral presentation)}
    }
         
    丹生 智也; 田村 直之 & 番原 睦則 整数有限領域上の線形制約充足問題のコンパクトかつ効率的なSAT符号化の提案 2011 人工知能学会 人工知能基本問題研究会 , Vol. 81 , pp. 19-24
    article @talk,@ja,@cp,@sat,@sugar
    BibTeX:
    @article{TanjoTB:JSAI-FPAI:2011,
      author = {丹生 智也 and 田村 直之 and 番原 睦則},
      yomi = {Tomoya Tanjo and Naoyuki Tamura and Mutsunori Banbara},
      title = {整数有限領域上の線形制約充足問題のコンパクトかつ効率的なSAT符号化の提案},
      journal = {人工知能学会 人工知能基本問題研究会},
      year = {2011},
      volume = {81},
      pages = {19--24},
      url = {http://ci.nii.ac.jp/naid/40018282632/}
    }
         
    丹生 智也; 田村 直之 & 番原 睦則 整数有限領域上の制約充足問題のコンパクトかつ効率的なSAT符号化 2011 第25回人工知能学会全国大会
    inproceedings @talk,@ja,@cp,@sat,@sugar
    BibTeX:
    @inproceedings{TanjoTB:JSAI:2011,
      author = {丹生 智也 and 田村 直之 and 番原 睦則},
      yomi = {Tomoya Tanjo and Naoyuki Tamura and Mutsunori Banbara},
      title = {整数有限領域上の制約充足問題のコンパクトかつ効率的なSAT符号化},
      booktitle = {第25回人工知能学会全国大会},
      year = {2011},
      url = {https://kaigi.org/jsai/webprogram/2011/paper-65.html}
    }
         
    鈴江 美奈; 田村 直之; 番原 睦則; 宋 剛秀 & 鳩野 逸生 カリキュラムベースのコース時間割問題の擬似ブール最適化問題への符号化 2012 日本ソフトウェア科学会第29回大会
    inproceedings @talk,@ja,@cp,@sat
    BibTeX:
    @inproceedings{SuzueTBSH:JSSST:2012,
      author = {鈴江 美奈 and 田村 直之 and 番原 睦則 and 宋 剛秀 and 鳩野 逸生},
      yomi = {Mina Suzue and Naoyuki Tamura and Mutsunori Banbara and Takehide Soh and Itsuo Hatono},
      title = {カリキュラムベースのコース時間割問題の擬似ブール最適化問題への符号化},
      booktitle = {日本ソフトウェア科学会第29回大会},
      year = {2012}
    }
         
    則武 治樹; 番原 睦則; 田村 直之 & 井上 克巳 制約充足問題のSAT符号化を用いたパッキング配列の構成 2012 第26回人工知能学会全国大会
    inproceedings @talk,@ja,@cp,@sat,@sugar
    BibTeX:
    @inproceedings{NoritakeBTI:JSAI:2012,
      author = {則武 治樹 and 番原 睦則 and 田村 直之 and 井上 克巳},
      yomi = {Haruki Noritake and Mutsunori Banbara and Naoyuki Tamura and Katsumi Inoue},
      title = {制約充足問題のSAT符号化を用いたパッキング配列の構成},
      booktitle = {第26回人工知能学会全国大会},
      year = {2012}
    }
         
    船越 泰輔; 番原 睦則 & 田村 直之 ハミルトン閉路問題のSAT符号化に関する研究 2012 第26回人工知能学会全国大会
    inproceedings @talk,@ja,@cp,@sat,@sugar
    BibTeX:
    @inproceedings{FunakoshiBT:JSAI:2012,
      author = {船越 泰輔 and 番原 睦則 and 田村 直之},
      yomi = {Taisuke Funakoshi and Mutsunori Banbara and Naoyuki Tamura},
      title = {ハミルトン閉路問題のSAT符号化に関する研究},
      booktitle = {第26回人工知能学会全国大会},
      year = {2012}
    }
         
    宋 剛秀; 田村 直之 & 番原 睦則 Scarab: Scala上で実現されたSAT型制約プログラミングシステムのための高速開発ツール 2013 第15回プログラミングおよびプログラミング言語ワークショップ (PPL 2013),日本ソフトウェア科学会
    inproceedings @talk,@ja,@cp,@sat,@sugar
    BibTeX:
    @inproceedings{SohTB:PPL:2013,
      author = {宋 剛秀 and 田村 直之 and 番原 睦則},
      yomi = {Takehide Soh and Naoyuki Tamura and Mutsunori Banbara},
      title = {Scarab: Scala上で実現されたSAT型制約プログラミングシステムのための高速開発ツール},
      booktitle = {第15回プログラミングおよびプログラミング言語ワークショップ (PPL 2013),日本ソフトウェア科学会},
      year = {2013}
    }
         
    則武 治樹; 番原 睦則; 宋 剛秀; 田村 直之 & 井上 克巳 SAT符号化を用いたパッキング配列の構成 2013 第15回プログラミングおよびプログラミング言語ワークショップ (PPL 2013),日本ソフトウェア科学会
    inproceedings @talk,@ja,@cp,@sat,@sugar
    BibTeX:
    @inproceedings{NoritakeTB:PPL:2013,
      author = {則武 治樹 and 番原 睦則 and 宋 剛秀 and 田村 直之 and 井上 克巳},
      yomi = {Haruki Noritake and Mutsunori Banbara and Takehide Soh and Naoyuki Tamura and Katsumi Inoue},
      title = {SAT符号化を用いたパッキング配列の構成},
      booktitle = {第15回プログラミングおよびプログラミング言語ワークショップ (PPL 2013),日本ソフトウェア科学会},
      year = {2013}
    }
         
    Tamura, S.; Tanaka, M. & Tamura, N. Lists of cryptarithmetic puzzles with a unique solution, Part I two-operand, addition puzzles 1977 Technical Report of Mathematics , No. 12, 13
    Yamaguchi University,
    techreport @other,@en,@puzzle
    BibTeX:
    @techreport{TamuraTT:Yamaguchi:1977a,
      author = {Saburo Tamura and Masahiko Tanaka and Naoyuki Tamura},
      title = {Lists of cryptarithmetic puzzles with a unique solution, Part I two-operand, addition puzzles},
      institution = {Yamaguchi University},
      type = {Technical Report of Mathematics},
      year = {1977},
      number = {12, 13}
    }
         
    Tamura, S.; Tanaka, M. & Tamura, N. Lists of cryptarithmetic puzzles with a unique solution, Part II two-operand, multiplication puzzles 1977 Technical Report of Mathematics , No. 15, 16
    Yamaguchi University,
    techreport @other,@en,@puzzle
    BibTeX:
    @techreport{TamuraTT:Yamaguchi:1977b,
      author = {Saburo Tamura and Masahiko Tanaka and Naoyuki Tamura},
      title = {Lists of cryptarithmetic puzzles with a unique solution, Part II two-operand, multiplication puzzles},
      institution = {Yamaguchi University},
      type = {Technical Report of Mathematics},
      year = {1977},
      number = {15, 16}
    }
         
    Tamura, S.; Tanaka, M. & Tamura, N. Cryptarithmetic puzzles with a unique solution both for addtion and for multiplication 1977 Technical Report of Mathematics , No. 17
    Yamaguchi University,
    techreport @other,@en,@puzzle
    BibTeX:
    @techreport{TamuraTT:Yamaguchi:1977c,
      author = {Saburo Tamura and Masahiko Tanaka and Naoyuki Tamura},
      title = {Cryptarithmetic puzzles with a unique solution both for addtion and for multiplication},
      institution = {Yamaguchi University},
      type = {Technical Report of Mathematics},
      year = {1977},
      number = {17}
    }
         
    田村 直之 述語論理型プログラミング言語の研究 1982 神戸大学大学院修士論文
    神戸大学大学院工学研究科システム工学専攻,
    mastersthesis @other,@ja,@prolog
    BibTeX:
    @mastersthesis{Tamura:ME:1982,
      author = {田村 直之},
      title = {述語論理型プログラミング言語の研究},
      school = {神戸大学大学院工学研究科システム工学専攻},
      type = {神戸大学大学院修士論文},
      year = {1982}
    }
         
    Tamura, N. IBM Research Division Zephyr Prolog and its package system 1987 IBM Computer Science Technical Symposium
    IBM Research Division,
    (Oral presentation)
    inproceedings @other,@en,@prolog
    BibTeX:
    @inproceedings{Tamura:IBM:1987,
      author = {Naoyuki Tamura},
      title = {Zephyr Prolog and its package system},
      booktitle = {IBM Computer Science Technical Symposium},
      organization = {IBM Research Division},
      year = {1987},
      note = {(Oral presentation)}
    }
         
    田村 直之 ナノピコ教室 関数電卓のパズル(問題) 1989 bit , Vol. 21 , No. 1 , pp. 109

    (雑誌記事)
    article @other,@ja,@puzzle
    BibTeX:
    @article{Tamura:BIT:1989a,
      author = {田村 直之},
      title = {ナノピコ教室 関数電卓のパズル(問題)},
      journal = {bit},
      year = {1989},
      volume = {21},
      number = {1},
      pages = {109},
      note = {(雑誌記事)}
    }
         
    田村 直之 ナノピコ教室 関数電卓のパズル(解答) 1989 bit , Vol. 21 , No. 5 , pp. 116-119

    (雑誌記事)
    article @other,@ja,@puzzle
    BibTeX:
    @article{Tamura:BIT:1989b,
      author = {田村 直之},
      title = {ナノピコ教室 関数電卓のパズル(解答)},
      journal = {bit},
      year = {1989},
      volume = {21},
      number = {5},
      pages = {116--119},
      note = {(雑誌記事)}
    }
         
    田村 直之 文書処理システムTeXとLaTeXの関連書 1991 システム/制御/情報 , Vol. 35 , No. 11 , pp. 714

    (書評)
    article @other,@ja
    BibTeX:
    @article{Tamura:ISCIE:1991,
      author = {田村 直之},
      title = {文書処理システムTeXとLaTeXの関連書},
      journal = {システム/制御/情報},
      year = {1991},
      volume = {35},
      number = {11},
      pages = {714},
      note = {(書評)}
    }
         
    番原 睦則; 田村 直之; 井上 克巳; 川村 尚生 & 玉置久 Javaによる分散協調制約解消システム 2003 ソフトウェアデザイン , pp. 134

    (雑誌記事)
    article @other,@ja,@cp
    BibTeX:
    @article{BanbaraTIKT:SOFTWAREDESIGN:2003,
      author = {番原 睦則 and 田村 直之 and 井上 克巳 and 川村 尚生 and 玉置久},
      title = {Javaによる分散協調制約解消システム},
      journal = {ソフトウェアデザイン},
      year = {2003},
      pages = {134},
      note = {(雑誌記事)}
    }
         
    田村 直之; 番原 睦則; 平山 勝敏 & 宋 剛秀 国際シンポジウムFLOPS 2012開催報告 2013 コンピュータソフトウェア , Vol. 30 , No. 1 , pp. 16-19
    article @other,@ja
    BibTeX:
    @article{BanbaraSTI:COMPSOFT:2013,
      author = {田村 直之 and 番原 睦則 and 平山 勝敏 and 宋 剛秀},
      yomi = {Naoyuki Tamura and Mutsunori Banbara and Katsutoshi Hirayama and Takehide Soh},
      title = {国際シンポジウムFLOPS 2012開催報告},
      journal = {コンピュータソフトウェア},
      year = {2013},
      volume = {30},
      number = {1},
      pages = {16--19},
      doi = {http://dx.doi.org/10.11309/jssst.30.1_16}
    }
         
    番原 睦則; 宋 剛秀; 田村 直之 & 井上 克巳 私のブックマーク:SATソルバー 2013 人工知能学会誌 , Vol. 28 , No. 2 , pp. ??-??
    article @other,@ja,@sat
    BibTeX:
    @article{TamuraBHS:JAI:2013,
      author = {番原 睦則 and 宋 剛秀 and 田村 直之 and 井上 克巳},
      yomi = {Mutsunori Banbara and Takehide Soh and Naoyuki Tamura and Katsumi Inoue},
      title = {私のブックマーク:SATソルバー},
      journal = {人工知能学会誌},
      year = {2013},
      volume = {28},
      number = {2},
      pages = {??--??}
    }
         

    Created by JabRef on 31/05/2013.