@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}
}
     

@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/}
}
     

@book{Watanabe:BOOK:Sangyo,
  author = {渡邊 茂 (監)},
  yomi = {Shigeru Watanabe},
  title = {知的コンピュータシステム事典},
  publisher = {産業調査会},
  year = {1989},
  note = {(4.2.4 Lispマシン (pp. 375--391)を担当)}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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/}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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/}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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)}
}
     

@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}
}
     

@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}
}
     

@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/}
}
     

@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}
}
     

@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 = {(解説記事)}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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/}
}
     

@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/}
}
     

@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/}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@inproceedings{TamuraAMKM:SIGSYM:1982,
  author = {田村 直之 and 有尾 隆一 and 松田 秀雄 and 金田 悠紀夫 and 前川 禎男},
  title = {K-Prolog: 並列マシン上でのPrologの実現},
  booktitle = {情報処理学会記号処理研究会資料20},
  year = {1982}
}
     

@inproceedings{TamuraKM:CIPSJ:1982,
  author = {田村 直之 and 金田 悠紀夫 and 前川 禎男},
  title = {PROLOGの制御構造についての一提案},
  booktitle = {情報処理学会第24回全国大会},
  year = {1982},
  pages = {195--196}
}
     

@inproceedings{KanedaWTKMAKM:CIPSJ:1983,
  author = {金田 悠紀夫 and 和田 耕一 and 田村 直之 and 小畑 正貴 and 松田 秀雄 and 有尾 隆一 and 小林 久和 and 前川 禎男},
  title = {PrologマシンPEKの全体構成},
  booktitle = {情報処理学会第27回全国大会},
  year = {1983},
  pages = {145--146}
}
     

@inproceedings{TamuraKM:CIPSJ:1983,
  author = {田村 直之 and 金田 悠紀夫 and 前川 禎男},
  title = {並列計算機上でのPrologの実現},
  booktitle = {情報処理学会第26回全国大会},
  year = {1983},
  pages = {43--44}
}
     

@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}
}
     

@inproceedings{TamuraWKKMAKM:CIPSJ:1983,
  author = {田村 直之 and 和田 耕一 and 金田 悠紀夫 and 小畑 正貴 and 松田 秀雄 and 有尾 隆一 and 小林 久和 and 前川 禎男},
  title = {PrologマシンPEKのソフトウェア構成},
  booktitle = {情報処理学会第27回全国大会},
  year = {1983},
  pages = {149--150}
}
     

@inproceedings{TamuraWMKKM:SYGSYM:1983,
  author = {田村 直之 and 和田 耕一 and 松田 秀雄 and 小畑 正貴 and 金田 悠紀夫 and 前川 禎男},
  title = {シーケンシャルPROLOGマシンPEKのアーキテクチャとソフトウェアシステム},
  booktitle = {情報処理学会記号処理研究会資料25},
  year = {1983}
}
     

@inproceedings{WadaKTKMAKM:CIPSJ:1983,
  author = {和田 耕一 and 金田 悠紀夫 and 田村 直之 and 小畑 正貴 and 松田 秀雄 and 有尾 隆一 and 小林 久和 and 前川 禎男},
  title = {PrologマシンPEKのハードウェア構成},
  booktitle = {情報処理学会第27回全国大会},
  year = {1983},
  pages = {147--148}
}
     

@inproceedings{TamuraWKMKAM:CIPSJ:1984,
  author = {田村 直之 and 和田 耕一 and 金田 悠紀夫 and 松田 秀雄 and 小林 久和 and 綾部 雅之 and 前川 禎男},
  title = {PrologマシンPEKのPrologインタプリタとその性能評価},
  booktitle = {情報処理学会第29回全国大会},
  year = {1984},
  pages = {247--248}
}
     

@inproceedings{TamuraWKMKM:CIPSJ:1984,
  author = {田村 直之 and 和田 耕一 and 金田 悠紀夫 and 松田 秀雄 and 小林 久和 and 前川 禎男},
  title = {PrologマシンPEKのシステムと言語について},
  booktitle = {情報処理学会第27回全国大会},
  year = {1984},
  pages = {201--202}
}
     

@inproceedings{TamuraWKMKM:SIGSYM:1984a,
  author = {田村 直之 and 和田 耕一 and 金田 悠紀夫 and 松田 秀雄 and 小林 久和 and 前川 禎男},
  title = {PrologマシンPEKの開発の現状報告},
  booktitle = {情報処理学会記号処理研究会資料27},
  year = {1984}
}
     

@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}
}
     

@inproceedings{TamuraWMKM:SIGSYM:1984b,
  author = {田村 直之 and 和田 耕一 and 松田 秀雄 and 金田 悠紀夫 and 前川 禎男},
  title = {PrologマシンPEK上でのpure Prologインタプリタの作成},
  booktitle = {情報処理学会記号処理研究会資料30},
  year = {1984}
}
     

@inproceedings{AsakawaTKK:CIPSJ:1986,
  author = {浅川 康夫 and 田村 直之 and 小松 秀昭 and 黒川 利明},
  title = {JSI AIワークステーション (7) --- Prologコンパイラの評価},
  booktitle = {情報処理学会第33回全国大会},
  year = {1986},
  pages = {1697--1698}
}
     

@inproceedings{AsakawaTKK:SIGSYM:1986,
  author = {浅川 康夫 and 田村 直之 and 小松 秀昭 and 黒川 利明},
  title = {複数のアーキテクチャをターゲットにした高速Prologコンパイラ},
  booktitle = {情報処理学会記号処理研究会資料37},
  year = {1986}
}
     

@inproceedings{KomatsuTAK:CIPSJ:1986,
  author = {小松 秀昭 and 田村 直之 and 浅川 康夫 and 黒川 利明},
  title = {JSI AIワークステーション (5) --- Prologコンパイラの概要と設計方針},
  booktitle = {情報処理学会第33回全国大会},
  year = {1986},
  pages = {1693--1694}
}
     

@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}
}
     

@inproceedings{TamuraAKK:CIPSJ:1986,
  author = {田村 直之 and 浅川 康夫 and 小松 秀昭 and 黒川 利明},
  title = {JSI AIワークステーション (6) --- Prologコンパイラの最適化技法},
  booktitle = {情報処理学会第33回全国大会},
  year = {1986},
  pages = {1695--1696}
}
     

@inproceedings{AsakawaEHKTO:CIPSJ:1987,
  author = {浅川 康夫 and 江藤博明 and 濱 利行 and 小松 秀昭 and 田村 直之 and 大場 充},
  title = {実用的な使用を目指したPrologコンパイラ・システム},
  booktitle = {情報処理学会第35回全国大会},
  year = {1987},
  pages = {719--720}
}
     

@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}
}
     

@inproceedings{EtohTAKHO:CIPSJ:1987,
  author = {江藤 博明 and 田村 直之 and 浅川 康夫 and 小松 秀昭 and 濱 利行 and 大場 充},
  title = {プロローグとパッケージ・システム --- ネームスペースの取り扱いについて ---},
  booktitle = {情報処理学会第35回全国大会},
  year = {1987},
  pages = {747--748}
}
     

@inproceedings{HamaKEATO:CIPSJ:1987,
  author = {濱 利行 and 小松 秀昭 and 江藤 博明 and 浅川 康夫 and 田村 直之 and 大場 充},
  title = {Warren's Abstract Machineの拡張 --- 新しい制御構造の実現 ---},
  booktitle = {情報処理学会第35回全国大会},
  year = {1987},
  pages = {749--750}
}
     

@inproceedings{HoriuchiOKTM:CIPSJ:1989,
  author = {堀内 清光 and 小川修一 and 北林真一 and 田村 直之 and 村上 温夫},
  title = {タイプ2ファジィ集合の一部を扱えるFuzzy Prolog},
  booktitle = {情報処理学会第39回全国大会},
  year = {1989},
  pages = {61--62}
}
     

@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}
}
     

@inproceedings{TamuraHSKM:ISCIE:1990,
  author = {田村 直之 and 堀内 清光 and 洲浜祐子 and 北林 真一 and 村上 温夫},
  title = {タイプ2ファジィ集合に基づいたPrologと言語ヘッジの導入},
  booktitle = {第34回システム制御情報学会研究発表講演会},
  year = {1990},
  pages = {5--6}
}
     

@inproceedings{TamuraBYNJM:SIGNL:1991,
  author = {田村 直之 and Marco Bos and 吉見 毅彦 and 西田 収 and Jiri Jelinek and 村上 温夫},
  title = {チャート構造上での意味処理メカニズム},
  booktitle = {情報処理学会自然言語処理研究会報告 No. 81},
  year = {1991},
  pages = {25--32}
}
     

@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}
}
     

@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}
}
     

@inproceedings{HoriuchiT:NFUZZY:1993,
  author = {堀内 清光 and 田村 直之},
  title = {VSOPファジィ数について},
  booktitle = {第3回ノンエンジニアリング・ファジィワークショップ: ファジィ環境に向けて 講演論文集},
  year = {1993}
}
     

@inproceedings{TamuraH:ISCIE:1993,
  author = {田村 直之 and 堀内 清光},
  title = {VSOPファジィ数上の類似関係について},
  booktitle = {第37回システム制御情報学会研究発表講演会講演論文集},
  year = {1993},
  pages = {5--6}
}
     

@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}
}
     

@inproceedings{SugiyamaT:INAP:1994,
  author = {杉山 英二 and 田村 直之},
  title = {優先度付き制約条件の解消アルゴリズムについて},
  booktitle = {PROLOG産業応用シンポジウム論文集 (INAP 1994)},
  year = {1994},
  pages = {11--18}
}
     

@inproceedings{BanbaraSKT:INAP:1995,
  author = {番原 睦則 and 杉山 英二 and 姜 京順 and 田村 直之},
  title = {線形論理に基づくPrologに向けて},
  booktitle = {PROLOG産業応用シンポジウム論文集 (INAP 1995)},
  year = {1995},
  pages = {65--72}
}
     

@inproceedings{UrataSTKK:SIGPRO:1995,
  author = {浦田 泰裕 and 齋田 明生 and 田村 直之 and 金田 悠紀夫 and 川村 尚生},
  title = {分散環境下におけるマルチエージェントシステム記述用言語},
  booktitle = {情報処理学会プログラミング研究会報告 (SWoPP 1995)},
  year = {1995}
}
     

@inproceedings{SaitaTK:SIGPRO:1996,
  author = {齋田 明生 and 田村 直之 and 金田 悠紀夫},
  title = {Javaを用いた異種エージェント間での協調支援エージェントの開発に関する研究},
  booktitle = {情報処理学会プログラミング研究会報告 (SWoPP 1996)},
  year = {1996}
}
     

@inproceedings{TamuraI:SIGPRO:1996,
  author = {田村 直之 and 池田 雄一},
  title = {線形論理型言語のコンパイラ処理系でのリソース管理方式について},
  booktitle = {情報処理学会プログラミング研究会報告 No. 7-5},
  year = {1996},
  pages = {25--30}
}
     

@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}
}
     

@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}
}
     

@inproceedings{UrataTK:SIGPRO:1996,
  author = {浦田 泰裕 and 田村 直之 and 金田 悠紀夫},
  title = {ネットワーク環境におけるマルチエージェントシステム記述用言語},
  booktitle = {情報処理学会プログラミング研究会報告 (SWoPP 1996)},
  year = {1996}
}
     

@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}
}
     

@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}
}
     

@inproceedings{MaeokaTK:MACC:1997,
  author = {前岡 淳 and 田村 直之 and 金田 悠紀夫},
  title = {分散環境におけるPrologプログラムのマイグレーションに関する研究},
  booktitle = {第6回マルチ・エージェントと協調計算ワークショップ (MACC 1997)},
  year = {1997}
}
     

@inproceedings{MatsushimaTK:MACC:1997,
  author = {松島 秀樹 and 田村 直之 and 金田 悠紀夫},
  title = {共有知識ベースをもつマルチエージェントシステム記述言語とその実装方式},
  booktitle = {第6回マルチ・エージェントと協調計算ワークショップ (MACC 1997)},
  year = {1997}
}
     

@inproceedings{ShinomiyaSTK:INAP:1997,
  author = {四ノ宮 昇 and 齋田 明生 and 田村 直之 and 金田 悠紀夫},
  title = {JavaとHORBを用いたPrologプログラムのマイグレーションの実現},
  booktitle = {PROLOG産業応用シンポジウム論文集 (INAP 1997)},
  year = {1997},
  pages = {64--69}
}
     

@inproceedings{YoshimiYIT:MACC:1997,
  author = {吉見 毅彦 and 吉田 宏和 and 池口 大輔 and 田村 直之},
  title = {並列制約最適化問題解決としてのテキスト解析},
  booktitle = {第6回マルチ・エージェントと協調計算ワークショップ (MACC 1997)},
  year = {1997}
}
     

@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)}
}
     

@inproceedings{SakamotoSMTK:SIGPRO:1998,
  author = {坂本 浩二 and 四ノ宮 昇 and 村中 大 and 田村 直之 and 金田 悠紀夫},
  title = {フィールドを有するマルチエージェントシステム記述用言語},
  booktitle = {情報処理学会プログラミング研究会 (SWoPP 1998)},
  year = {1998}
}
     

@inproceedings{Tamura:JAMS:1998,
  author = {田村 直之},
  title = {線形論理に基づいた論理型言語について},
  booktitle = {JAMS 1998 Annual Meeting 形式体系と計算分科会},
  year = {1998},
  note = {(Invited talk)}
}
     

@inproceedings{BanbaraKT:SIGPRO:1999,
  author = {番原 睦則 and 姜 京順 and 田村 直之},
  title = {線形論理型言語のJava言語による処理系の設計と実装},
  booktitle = {情報処理学会 1999年度第1回プログラミング研究会},
  year = {1999}
}
     

@inproceedings{KangBT:SIGPRO:1999,
  author = {姜 京順 and 番原 睦則 and 田村 直之},
  title = {古典線形論理型プログラミング言語の静的解析の一手法について},
  booktitle = {情報処理学会 1999年度第3回プログラミング研究会},
  year = {1999}
}
     

@inproceedings{TamuraHYKB:SIGPRO:1999,
  author = {田村 直之 and 平井 崇晴 and 吉川 英男 and 姜 京順 and 番原 睦則},
  title = {直観主義時相線形論理における論理プログラミングについて},
  booktitle = {情報処理学会 1999年度第3回プログラミング研究会},
  year = {1999}
}
     

@inproceedings{BanbaraKT:SIGPRO:2001,
  author = {番原 睦則 and 姜 京順 and 田村 直之},
  title = {時相線形論理型言語のコンパイラ処理系のための抽象機械について},
  booktitle = {情報処理学会 第33回プログラミング研究会},
  year = {2001}
}
     

@inproceedings{BanbaraTIK:IPA:2002,
  author = {番原 睦則 and 田村 直之 and 井上 克巳 and 川村 尚生},
  title = {Javaによる異種協調制約解消システムの開発},
  booktitle = {IPA未踏14キックオフセミナー},
  year = {2002}
}
     

@inproceedings{NiimuraKT:JSSST:2002,
  author = {新村 健治 and 鎌田 十三郎 and 田村 直之},
  title = {ストリーム処理に適した効率的XMLデータバインディングツールの提案},
  booktitle = {日本ソフトウェア科学会第19回大会講演論文集},
  year = {2002},
  pages = {6E-2}
}
     

@inproceedings{Tamura:IEICETR-AI:2002,
  author = {田村 直之},
  title = {線形論理と論理プログラミング},
  booktitle = {電子情報通信学会技術研究報告，AI},
  year = {2002},
  volume = {102},
  number = {91},
  pages = {37--42},
  note = {(Invited paper)}
}
     

@inproceedings{TamuraB:JSSST:2002,
  author = {田村 直之 and 番原 睦則},
  title = {LLPTTP: 線形論理型言語コンパイラ処理系を用いた定理証明システム},
  booktitle = {日本ソフトウェア科学会第19回大会講演論文集},
  year = {2002},
  pages = {7A-4}
}
     

@inproceedings{BanbaraTIK:IPA:2003,
  author = {番原 睦則 and 田村 直之 and 井上 克巳 and 川村 尚生},
  title = {Javaによる異種協調制約解消システムの開発},
  booktitle = {IPA未踏14シンポジウム},
  year = {2003}
}
     

@inproceedings{BanbaraTIKT:IPA:2003,
  author = {番原 睦則 and 田村 直之 and 井上 克巳 and 川村 尚生 and 玉置 久},
  title = {Javaによる分散協調制約解消システム},
  booktitle = {IPA未踏15キックオフセミナー},
  year = {2003}
}
     

@inproceedings{OhnishiTB:JSSST:2003,
  author = {大西 秀志 and 田村 直之 and 番原 睦則},
  title = {制約プログラミングのための効率的集合表現},
  booktitle = {日本ソフトウェア科学会第20回大会 ポスター・デモセッション},
  year = {2003}
}
     

@inproceedings{UedaUIBTK:IEICETR-AI:2003,
  author = {上田 盛慈 and 鵜飼 訓史 and 井上 克巳 and 番原 睦則 and 田村 直之 and 川村 尚生},
  title = {SATソルバの並列実行に関する一考察},
  booktitle = {電子情報通信学会技術研究報告，AI},
  year = {2003},
  pages = {41--46}
}
     

@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/}
}
     

@inproceedings{BanbaraTIKT:IPA:2004,
  author = {番原 睦則 and 田村 直之 and 井上 克巳 and 川村 尚生 and 玉置久},
  title = {Javaによる分散協調制約解消システム},
  booktitle = {IPA未踏15シンポジウム},
  year = {2004}
}
     

@inproceedings{BanbaraTIKT:IPAX-SPRING:2004,
  author = {番原 睦則 and 田村 直之 and 井上 克巳 and 川村 尚生 and 玉置 久},
  title = {Javaによる分散協調制約解消システム},
  booktitle = {IPAX Spring 2004},
  year = {2004}
}
     

@inproceedings{KawataniOMKOBT:SIGPRO:2004,
  author = {川谷 宗之 and 岡本 英彰 and 松田 一人 and 北川 哲 and 大西 秀志 and 番原 睦則 and 田村 直之},
  title = {Grid計算環境における二つの制約解消系の試験的実装について},
  booktitle = {情報処理学会 第51回プログラミング研究会},
  year = {2004}
}
     

@inproceedings{MatsudaKOKOBT:SIGPRO:2004,
  author = {松田 一人 and 川谷 宗之 and 岡本 英彰 and 北川 哲 and 大西 秀志 and 番原 睦則 and 田村 直之},
  title = {グリッド計算環境における制約解消システムの構築に向けて},
  booktitle = {情報処理学会 第51回プログラミング研究会},
  year = {2004}
}
     

@inproceedings{OhnishiT:JSSST:2004,
  author = {大西 秀志 and 田村 直之},
  title = {OR制約を含む組合せ最適化問題に対する制約プログラミング技術を用いた汎用的局所探索の実現},
  booktitle = {日本ソフトウェア科学会第21回大会},
  year = {2004}
}
     

@inproceedings{OkamotoKMKOBT:JSSST:2004,
  author = {岡本 英彰 and 川谷 宗之 and 松田 一人 and 北川 哲 and 大西 秀志 and 番原 睦則 and 田村 直之},
  title = {OpenOffice.org Calcスプレッドシート上での制約プログラミング},
  booktitle = {日本ソフトウェア科学会第21回大会 ポスター・デモセッション},
  year = {2004}
}
     

@inproceedings{TamuraB:JSSST:2004,
  author = {田村 直之 and 番原 睦則},
  title = {線形論理型言語コンパイラ処理系を用いた古典命題線形論理の定理証明システム},
  booktitle = {日本ソフトウェア科学会第21回大会},
  year = {2004}
}
     

@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)}
}
     

@inproceedings{TamuraOOB:Denki:2004,
  author = {田村 直之 and 岡本 英彰 and 大西 秀志 and 番原 睦則},
  title = {OpenOffice.org Calcスプレッドシート上での制約プログラミング},
  booktitle = {電気学会 電子・情報・システム部門大会},
  year = {2004}
}
     

@inproceedings{KawataniNSKOBT:JSSST:2005,
  author = {川谷 宗之 and 中川 雅也 and 志賀 彰 and 北川 哲 and 大西 秀志 and 番原 睦則 and 田村 直之},
  title = {スプレッドシートと様々なシステムをつなぐオープンミドルウェアの設計},
  booktitle = {日本ソフトウェア科学会第22回大会 ポスター・デモセッション},
  year = {2005}
}
     

@inproceedings{ShigaNKKOBT:JSSST:2005,
  author = {志賀 彰 and 中川 雅也 and 川谷 宗之 and 北川 哲 and 大西 秀志 and 番原 睦則 and 田村 直之},
  title = {グリッド環境上で動作する並列制約解消システム},
  booktitle = {日本ソフトウェア科学会第22回大会 ポスター・デモセッション},
  year = {2005}
}
     

@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}
}
     

@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)}
}
     

@inproceedings{KitagawaT:FIT:2007,
  author = {北川 哲 and 田村 直之},
  title = {Profit Sharingの学習の合理性に関する理論的考察},
  booktitle = {第6回情報科学技術フォーラム講演論文集},
  year = {2007},
  pages = {LF-001}
}
     

@inproceedings{KitagawaT:IS:2007,
  author = {北川 哲 and 田村 直之},
  title = {マルチエージェント環境に適した強化学習法},
  booktitle = {計測自動制御学会 第34回 知能システムシンポジウム},
  year = {2007},
  pages = {1--6}
}
     

@inproceedings{TagaTKB:SS:2007,
  author = {多賀 明子 and 田村 直之 and 北川 哲 and 番原 睦則},
  title = {グリッド計算環境上でのショップ・スケジューリング問題のSAT変換による解法},
  booktitle = {スケジューリング・シンポジウム2007講演論文集},
  organization = {スケジューリング学会},
  year = {2007},
  pages = {109--114}
}
     

@inproceedings{TajimaTTTB:JSSST:2007,
  author = {田島 宏史 and 多賀 明子 and 丹生 智也 and 田村 直之 and 番原 睦則},
  title = {Sugar：SAT変換による制約解消システムのデモ},
  booktitle = {日本ソフトウェア科学会第24回大会 ポスター・デモセッション},
  year = {2007}
}
     

@inproceedings{TamuraTBSNI:SS:2007,
  author = {田村 直之 and 多賀 明子 and 番原 睦則 and 宋 剛秀 and 鍋島 英知 and 井上 克巳},
  title = {ショップ・スケジューリング問題のSAT変換による解法},
  booktitle = {スケジューリング・シンポジウム2007講演論文集},
  organization = {スケジューリング学会},
  year = {2007},
  pages = {97--102}
}
     

@inproceedings{TanjoTB:JSSST:2007,
  author = {丹生 智也 and 田村 直之 and 番原 睦則},
  title = {Prolog Cafe：PrologからJavaへのトランスレータ処理系のデモ},
  booktitle = {日本ソフトウェア科学会第24回大会 ポスター・デモセッション},
  year = {2007}
}
     

@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}
}
     

@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}
}
     

@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/}
}
     

@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)}
}
     

@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/}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@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}
}
     

@mastersthesis{Tamura:ME:1982,
  author = {田村 直之},
  title = {述語論理型プログラミング言語の研究},
  school = {神戸大学大学院工学研究科システム工学専攻},
  type = {神戸大学大学院修士論文},
  year = {1982}
}
     

@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)}
}
     

@article{Tamura:BIT:1989a,
  author = {田村 直之},
  title = {ナノピコ教室 関数電卓のパズル(問題)},
  journal = {bit},
  year = {1989},
  volume = {21},
  number = {1},
  pages = {109},
  note = {(雑誌記事)}
}
     

@article{Tamura:BIT:1989b,
  author = {田村 直之},
  title = {ナノピコ教室 関数電卓のパズル(解答)},
  journal = {bit},
  year = {1989},
  volume = {21},
  number = {5},
  pages = {116--119},
  note = {(雑誌記事)}
}
     

@article{Tamura:ISCIE:1991,
  author = {田村 直之},
  title = {文書処理システムTeXとLaTeXの関連書},
  journal = {システム/制御/情報},
  year = {1991},
  volume = {35},
  number = {11},
  pages = {714},
  note = {(書評)}
}
     

@article{BanbaraTIKT:SOFTWAREDESIGN:2003,
  author = {番原 睦則 and 田村 直之 and 井上 克巳 and 川村 尚生 and 玉置久},
  title = {Javaによる分散協調制約解消システム},
  journal = {ソフトウェアデザイン},
  year = {2003},
  pages = {134},
  note = {(雑誌記事)}
}