Publication List (Naoyuki Tamura)

Last modified: Sat Apr 7 13:33:16 2007 JST

著書

田村直之. 逐次実行型Prolog専用計算機に関する研究. PhD thesis, 神戸大学大学院自然科学研究科, 12月 1984.
黒川利明, 田村直之. Prologプログラミング入門, KE養成講座, 第6巻. オーム社, 7月 1989.
渡邊茂(監). 知的コンピュータシステム事典. 産業調査会, 8月 1989. 4.2.4 Lispマシン (pp. 375--391)を担当.

学術論文

Saburo Tamura, Masahiko Tanaka, and Naoyuki Tamura. Cryptarithmetic puzzles with a unique solution both for addition and for multiplication. Journal of Recreational Mathematics, Vol. 11, No. 1, pp. 25--27, 1978.
松田秀雄, 田村直之, 小畑正貴, 金田悠紀夫, 前川禎男. 並列Prolog処理系``K-Prolog''の実現. 情報処理学会論文誌, Vol. 26, No. 2, pp. 296--303, 3月 1985.
田村直之, 和田耕一, 小畑正貴, 金田悠紀夫, 前川禎男, 日根俊治. シーケンシャル実行型PrologマシンPEK --- ハードウェア構成 ---. 情報処理学会論文誌, Vol. 26, No. 5, pp. 855--861, 9月 1985.
Yukio Kaneda, Naoyuki Tamura, Koichi Wada, Hideo Matsuda, S. M. Kuo, and Sadao Maekawa. Sequential Prolog machine PEK. New Generation Computing, Vol. 4, No. 1, pp. 51--66, March 1986.
Marco Bos, Osamu Nishida, Takehiko Yoshimi, Naoyuki Tamura, and Haruo Murakami. Semantic processing on parse trees represented in a chart. Memoirs of the Graduate School of Science and Technology Kobe University, Vol. 9-A, pp. 137--146, March 1991.
吉見毅彦, 田村直之, Marco Bos, 西田収, Jiri Jelinek, 村上温夫. 遅延評価機構によるAND-ORグラフ上での優先度計算 --- 解析過程の統合の枠組み ---. コンピュータソフトウェア, Vol. 10, No. 1, pp. 20--28, 1月 1993.
Jiri Jelinek, Osamu Nishida, Takehiko Yoshimi, Naoyuki Tamura, and Haruo Murakami. TWINTRAN: integration of syntax, semantics and context analysis. Memoirs of the Graduate School of Science and Technology Kobe University, Vol. 11-A, pp. 97--106, March 1993.
吉見毅彦, Jiri Jelinek, 西田収, 田村直之, 村上温夫. A*法に従うアジェンダ制御による構文解析. 自然言語処理, Vol. 3, No. 3, pp. 69--82, 7月 1996.
吉見毅彦, Jiri Jelinek, 西田収, 田村直之, 村上温夫. Text-wide grammarに基づくテキスト解析. 自然言語処理, Vol. 4, No. 1, pp. 3--21, 1月 1997.
Kiyomitsu Horiuchi and Naoyuki Tamura. VSOP fuzzy numbers and their fuzzy ordering. Fuzzy Sets and Systems, Vol. 93, No. 2, pp. 197--210, January 1998.
番原睦則, 姜京順, 田村直之. 線形論理型言語のJava言語による処理系の設計と実装. 情報処理学会論文誌: プログラミング, Vol. 40, No. SIG 10 (PRO 5), pp. 1--16, 12月 1999.
田村直之, 平井崇晴, 吉川英男, 姜京順, 番原睦則. 直観主義時相線形論理における論理プログラミングについて. 情報処理学会論文誌: プログラミング, Vol. 41, No. SIG 4 (PRO 7), pp. 11--23, 6月 2000.
姜京順, 番原睦則, 田村直之. 古典線形論理型プログラミング言語の静的解析の一手法について. 情報処理学会論文誌: プログラミング, Vol. 41, No. SIG 4 (PRO 7), pp. 42--55, 6月 2000.
吉見毅彦, Jiri Jelinek, 西田収, 田村直之, 村上温夫. 日英機械翻訳システムTWINTRANの言語知識と翻訳品質の評価. 自然言語処理, Vol. 7, No. 4, pp. 143--162, 10月 2000.
姜京順, 番原睦則, 田村直之. 線形論理型言語の効率的なリソース管理モデル. コンピュータソフトウェア, Vol. 18, No. 0, pp. 138--154, 2001.
番原睦則, 姜京順, 田村直之. 線形論理型言語のコンパイラ処理系のための抽象機械について. コンピュータソフトウェア, Vol. 18, No. 1, pp. 39--60, 2001.
番原睦則, 姜京順, 田村直之. 時相線形論理型言語のコンパイラ処理系のための抽象機械について. 情報処理学会論文誌: プログラミング, Vol. 42, No. SIG 11 (PRO 12), pp. 52--66, 11月 2001.
田村直之, 番原睦則. LLPTTP: 線形論理型言語コンパイラ処理系を用いた定理証明システム. コンピュータソフトウェア, Vol. 20, No. 5, pp. 90--96, 2003.
田村直之, 番原睦則. 線形論理型言語コンパイラ処理系を用いた古典命題線形論理の定理証明システム. コンピュータソフトウェア, Vol. 22, No. 1, pp. 98--103, 2005.
大西秀志, 田村直之. Or制約を含む組合せ最適化問題に対する制約プログラミング技術を用いた汎用的局所% 探索の実現. コンピュータソフトウェア, Vol. 22, No. 3, pp. 179--185, 2005.
Katsumi Inoue, Takehide Soh, Seiji Ueda, Yoshito Sasaura, Mutsunori Banbara, and Naoyuki Tamura. A competitive and cooperative approach to propositional satisfiability. Discrete Applied Mathematics, Vol. 154, No. 16, pp. 2291--2306, Nov. 2006.
番原睦則, 田村直之, 井上克己. PrologからJavaへのトランスレータ処理系とその応用. コンピュータソフトウェア, Vol. ??, No. ??, pp. ??--??, 2007.

国際会議論文 (査読有り)

Naoyuki Tamura and Yukio Kaneda. Implementing parallel Prolog on a multi-processor machine. In Proceedings of the 1984 International Symposium on Logic Programming (SLP'84), pp. 42--48. IEEE, IEEE, February 1984.
Yukio Kaneda, Naoyuki Tamura, Koichi Wada, and Hideo Matsuda. Sequential Prolog machine PEK architecture and software system. In Proceedings of the International Workshop on High-Level Computer Architecture, pp. 4.1--4.6, May 1984.
Naoyuki Tamura, Koichi Wada, Hideo Matsuda, Yukio Kaneda, and Sadao Maekawa. Sequential Prolog machine PEK. In Proceedings of the International Conference on Fifth Generation Computer Systems 1984 (FGCS'84), pp. 542--550. ICOT, OHMSHA, LTD., November 1984.
Yukio Kaneda, Naoyuki Tamura, Koichi Wada, Hideo Matsuda, S. M. Kuo, and Sadao Maekawa. Sequential Prolog machine PEK and its performance evaluation. In Proceedings of the Mini and Microcomputers and their Applications, pp. 190--193, June 1985.
Toshiaki Kurokawa, Naoyuki Tamura, Yasuo Asakawa, and Hideaki Komatsu. A very fast Prolog compiler on multiple architectures. In Proceedings of the ACM/IEEE Fall Joint Computer Conference (FJCC'86), pp. 963--968, November 1986.
Naoyuki Tamura. Knowledge-based optimization in Prolog compiler. In Proceedings of ACM/IEEE Fall Joint Computer Conference (FJCC'86), pp. 237--240, November 1986.
Hideaki Komatsu, Naoyuki Tamura, Yasuo Asakawa, and Toshiaki Kurokawa. An optimizing Prolog compiler. In E. Wada, editor, Lecture Notes in Computer Science 264: Logic Programming '86 (LP'86), pp. 104--115. Springer, June 1987.
Hiroaki Etoh, Naoyuki Tamura, Yasuo Asakawa, Toshiyuki Hama, and Hideaki Komatsu. Introduction of a package system into Prolog. In K. Furukawa, H. Tanaka, and T. Fujisaki, editors, Lecture Notes in Computer Science 315: Logic Programming '87 (LP'87), pp. 105--112. Springer, July 1988.
Toshiaki Kurokawa, Naoyuki Tamura, Yasuo Asakawa, Hideaki Komatsu, Hiroaki Etoh, and Toshiyuki Hama. Zephyr Prolog: steps towards practical usage of Prolog. In Proceedings of the IFIP WG 10.1 Workshop on Concepts and Characteristics of Knowledge-Based Systems, pp. 1--9. North-Holland, November 1987.
Naoyuki Tamura, Kiyomitsu Horiuchi, and Haruo Murakami. Prolog extension based on interval-vector-valued fuzzy sets. In Proceedings of the International Conference on Fuzzy Logic \& Neural Networks (IIZUKA'90), pp. 257--260, July 1990.
Jiri Jelinek, G. Wilcock, Osamu Nishida, Takehiko Yoshimi, Marco Bos, Naoyuki Tamura, and Haruo Murakami. Japanese-to-English project PROTRAN \& TWINTRAN. In Hans Karlgren, editor, Proceedings of the 13th International Conference on Computational Linguistics (COLING'90), pp. 50--52, August 1990.
Naoyuki Tamura, Marco Bos, Takehiko Yoshimi, Osamu Nishida, Jiri Jelinek, and Haruo Murakami. Lazy evaluation of preference on a packed shared forest without unpacking. In C. G. Brown and G. Koch, editors, Natural Language Understanding and Logic Programming III (NLULP3), pp. 13--26. North-Holland, January 1991.
Naoyuki Tamura and Kiyomitsu Horiuchi. VSOP fuzzy numbers and fuzzy comparison relations. In Proceedings of the 2nd IEEE International Conference on Fuzzy Systems, pp. 1287--1292. IEEE, IEEE, March 1993.
Naoyuki Tamura and Kiyomitsu Horiuchi. Fuzzy relations for comparing fuzzy numbers. In Proceedings of the First Asian Fuzzy Systems Symposium, pp. 812--820, November 1993.
Yukio Kaneda, Naoyuki Tamura, Y. Urata, A. Saita, and T. Kawamura. Multi-agent programming system on a workstation network. In Proceedings of IEEE Pacific Rim Conference on Communications, Computers, and Signal Processing, pp. 315--318, May 1995.
Jiri Jelinek, Takehiko Yoshimi, Osamu Nishida, Naoyuki Tamura, and Haruo Murakami. Text-wide MT grammar. In Proceedings of the Natural Language Processing Pacific Rim Symposium '95 (NLPRS'95), pp. 449--454, December 1995.
Naoyuki Tamura and Yukio Kaneda. Resource management method for a compiler system of a linear logic programming language. In Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming (JICSLP'96), p. 545. MIT Press, September 1996.
Naoyuki Tamura and Yukio Kaneda. Extension of WAM for a linear logic programming language. In T. Ida, A. Ohori, and M. Takeichi, editors, Second Fuji International Workshop on Functional and Logic Programming (Fuji'96), pp. 33--50. World Scientific, November 1996.
Naoyuki Tamura and Yukio Kaneda. A compiler system of a linear logic programming language. In Proceedings of the IASTED International Conference Artificial Intelligence and Soft Computing, pp. 180--183, July 1997.
Takehiko Yoshimi, Takayuki Kisaku, Ryuji Hokabira, Hirokazu Yoshida, and Naoyuki Tamura. Text analysis as concurrent constraint optimization problem solving. In Proceedings of the Natural Language Processing Pacific Rim Symposium '97 (NLPRS'97), pp. 395--400, December 1997.
Joshua S. Hodas, Kevin Watkins, Naoyuki Tamura, and Kyoung-Sun Kang. Efficient implementation of a linear logic programming language. In Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming (JICSLP'98), pp. 145--159. MIT Press, June 1998.
Mutsunori Banbara and Naoyuki Tamura. Compiling resources in a linear logic programming language. In Proceedings of the Workshop on Parallelism and Implementation Technology for Logic Programming Languages, pp. 32--45, June 1998.
Kyoung-Sun Kang and Naoyuki Tamura. A static analysis method for a classical linear logic programming language. In Electronic Notes in Theoretical Computer Science, Vol. 30, pp. 2--18. Elsevier, November 1999.
Mutsunori Banbara and Naoyuki Tamura. Translating a linear logic programming language into Java. In Electronic Notes in Theoretical Computer Science, Vol. 30, pp. 19--39. Elsevier, November 1999.
Kyoung-Sun Kang and Naoyuki Tamura. A static analysis for classical linear logic programming language. In Proceedings of the 1999 International Conference on Logic Programming (ICLP'99), p. 610. MIT Press, November 1999.
Joshua S. Hodas and Naoyuki Tamura. Lollicop -- a linear logic implementation of a lean connection-method theorem prover for first-order classical logic. In Lecture Notes in Computer Science 2083: Proceedings of the International Joint Conference on Automated Reasoning 2001, pp. 670--684. Springer, June 2001.
Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, and Naoyuki Tamura. Logic programming in a fragment of intuitionistic temporal linear logic. In Lecture Notes in Computer Science 2237: Proceedings of the 2001 International Conference on Logic Programming (ICLP 2001), pp. 315--330. Springer, November 2001.
Shuji Ohnishi, Hiroaki Tasaka, and Naoyuki Tamura. Efficient representation of discrete sets for constraint programming. In Lecture Notes in Computer Science 2833: Proceedings of the 9th International Conference on Principles and Practice of Constraint Programming (CP 2003), pp. 920--924. Springer, October 2003.
Naoyuki Tamura. Calc/Cream: OpenOffice spreadsheet front-end for constraint programming (invited tutorial). In Proceedings of the 16th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2005), pp. 1--6, October 2005. (revised version is published in LNAI 4369, Springer).
Mutsunori Banbara, Naoyuki Tamura, and Katsumi Inoue. Prolog Cafe: a Prolog to Java translator system. In Proceedings of the 16th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2005), pp. 45--54, October 2005. (revised version is published in LNAI 4369, Springer).
Muneyuki Kawatani, Masaya Nakagawa, Akira Shiga, Satoshi Kitagawa, Shuji Ohnishi, Mutsunori Banbara, and Naoyuki Tamura. g-Hecs: a constraint solving system on the Grid. In Proceedings of the 16th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2005), pp. 191--199, October 2005.
Takehide Soh, Katsumi Inoue, Mutsunori Banbara, and Naoyuki Tamura. Experimental results for solving job-shop scheduling problems with multiple SAT solvers. In Proceedings of the 1st International Workshop on Distributed and Speculative Constraint Processing (DSCP'05), October 2005.
Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, and Mutsunori Banbara. Compiling finite linear CSP into SAT. In Proceedings of the 12th International Conference on Principles and Practice of Constraint Programming (CP 2006), pp. 590--603, September 2006.

学術報告

田村直之, 浅川康夫. Prologのプログラミング環境. 情報処理, Vol. 30, No. 4, pp. 326--333, 4月 1989.
田村直之, 松田秀雄. 論理型言語の最近の動向. システム/制御/情報, Vol. 33, No. 3, pp. 143--150, 6月 1989.
田村直之, 馬野元秀. 知的生産のための新しいツールの現状と展望. システム/制御/情報, Vol. 35, No. 11, pp. 659--664, 11月 1991.
堀内清光, 田村直之. ファジィ数の体系について---公理的アプローチ---. 日本ファジィ学会誌, Vol. 6, No. 6, pp. 48--58, 12月 1994.
金田悠紀夫, 瀧和男, 和田耕一, 田村直之. 神戸大LISPマシンPROLOGマシン. 情報処理, Vol. 43, No. 2, pp. 114--115, 2月 2002.
高橋真, 田村直之, 番原睦則. 資源と時間の論理に基づいたプログラミング言語の設計と処理系の構築. Technical report, 科学研究費補助金(基盤研究(C)(2))研究成果報告書, 3 2001.
番原睦則, 田村直之, 井上克已, 川村尚生. Javaによる異種協調制約解消システムの開発. Technical report, IPA未踏ソフトウェア創造事業成果報告書, 2 2003.
番原睦則, 田村直之, 井上克已, 川村尚生. Javaによる異種協調制約解消システムの開発. Technical report, IPA Spring 2003, 5 2003.
番原睦則, 田村直之, 井上克已, 川村尚生, 玉置久. Javaによる分散協調制約解消システム. Technical report, IPA未踏ソフトウェア創造事業成果報告書, 2 2004.
田村直之, 番原睦則. 線形論理の自動演繹システムに関する研究. Technical report, 科学研究費補助金(基盤研究(C)(2))研究成果報告書, 3 2005.
田村直之, 番原睦則. Prolog Cafe: Java上で動作するProlog処理系. 人工知能学会学会誌, Vol. 21, No. 4, pp. 1--8, 2006.

学術講演

田村直之, 金田悠紀夫, 前川禎男. PROLOGの制御構造についての一提案. 情報処理学会第24回全国大会, pp. 195--196, 3月 1982.
田村直之, 有尾隆一, 松田秀雄, 金田悠紀夫, 前川禎男. K-Prolog: 並列マシン上でのPrologの実現. 情報処理学会記号処理研究会資料20, 10月 1982.
田村直之, 金田悠紀夫, 前川禎男. 並列計算機上でのPrologの実現. 情報処理学会第26回全国大会, pp. 43--44, 3月 1983.
田村直之, 松田秀雄, 金田悠紀夫, 前川禎男. K-Prolog(並列Prolog)の実現方法について. In Proceedings of Logic Programming Conference '83, p. 10.3. ICOT, 3月 1983.
田村直之, 和田耕一, 松田秀雄, 小畑正貴, 金田悠紀夫, 前川禎男. シーケンシャルPROLOGマシンPEKのアーキテクチャとソフトウェアシステム. 情報処理学会記号処理研究会資料25, 10月 1983.
金田悠紀夫, 和田耕一, 田村直之, 小畑正貴, 松田秀雄, 有尾隆一, 小林久和, 前川禎男. PrologマシンPEKの全体構成. 情報処理学会第27回全国大会, pp. 145--146, 10月 1983.
和田耕一, 金田悠紀夫, 田村直之, 小畑正貴, 松田秀雄, 有尾隆一, 小林久和, 前川禎男. PrologマシンPEKのハードウェア構成. 情報処理学会第27回全国大会, pp. 147--148, 10月 1983.
田村直之, 和田耕一, 金田悠紀夫, 小畑正貴, 松田秀雄, 有尾隆一, 小林久和, 前川禎男. PrologマシンPEKのソフトウェア構成. 情報処理学会第27回全国大会, pp. 149--150, 10月 1983.
田村直之, 和田耕一, 金田悠紀夫, 松田秀雄, 小林久和, 前川禎男. PrologマシンPEKの開発の現状報告. 情報処理学会記号処理研究会資料27, 3月 1984.
田村直之, 和田耕一, 金田悠紀夫, 松田秀雄, 小林久和, 前川禎男. PrologマシンPEKのシステムと言語について. 情報処理学会第27回全国大会, pp. 201--202, 3月 1984.
田村直之, 和田耕一, 松田秀雄, 金田悠紀夫, 前川禎男. PROLOGマシンPEKについて. In Proceedings of Logic Programming Conference '84, pp. 8--2. ICOT, 3月 1984.
田村直之, 和田耕一, 金田悠紀夫, 松田秀雄, 小林久和, 綾部雅之, 前川禎男. PrologマシンPEKのPrologインタプリタとその性能評価. 情報処理学会第29回全国大会, pp. 247--248, 10月 1984.
田村直之, 和田耕一, 松田秀雄, 金田悠紀夫, 前川禎男. PrologマシンPEK上でのpure Prologインタプリタの作成. 情報処理学会記号処理研究会資料30, 12月 1984.
浅川康夫, 田村直之, 小松秀昭, 黒川利明. 複数のアーキテクチャをターゲットにした高速Prologコンパイラ. 情報処理学会記号処理研究会資料37, 6月 1986.
Hideaki Komatsu, Naoyuki Tamura, Yasuo Asakawa, and Toshiaki Kurokawa. An optimizing Prolog compiler. In Proceedings of Logic Programming Conference '86, pp. 143--149. ICOT, June 1986.
小松秀昭, 田村直之, 浅川康夫, 黒川利明. JSI AIワークステーション (5) --- Prologコンパイラの概要と設計方針. 情報処理学会第33回全国大会, pp. 1693--1694, 10月 1986.
田村直之, 浅川康夫, 小松秀昭, 黒川利明. JSI AIワークステーション (6) --- Prologコンパイラの最適化技法. 情報処理学会第33回全国大会, pp. 1695--1696, 10月 1986.
浅川康夫, 田村直之, 小松秀昭, 黒川利明. JSI AIワークステーション (7) --- Prologコンパイラの評価. 情報処理学会第33回全国大会, pp. 1697--1698, 10月 1986.
江藤博明, 田村直之, 浅川康夫, 小松秀昭, 濱利行. Prologへのパッケージ・システムの導入. In Proceedings of Logic Programming Conference '87, pp. 175--181. ICOT, 6月 1987.
浅川康夫, 江藤博明, 濱利行, 小松秀昭, 田村直之, 大場充. 実用的な使用を目指したPrologコンパイラ・システム. 情報処理学会第35回全国大会, pp. 719--720, 10月 1987.
江藤博明, 田村直之, 浅川康夫, 小松秀昭, 濱利行, 大場充. プロローグとパッケージ・システム --- ネームスペースの取り扱いについて ---. 情報処理学会第35回全国大会, pp. 747--748, 10月 1987.
濱利行, 小松秀昭, 江藤博明, 浅川康夫, 田村直之, 大場充. Warren's abstract machineの拡張 --- 新しい制御構造の実現 ---. 情報処理学会第35回全国大会, pp. 749--750, 10月 1987.
堀内清光, 小川修一, 北林真一, 田村直之, 村上温夫. タイプ2ファジィ集合の一部を扱えるFuzzy Prolog. 情報処理学会第39回全国大会, pp. 61--62, 10月 1989.
田村直之, 堀内清光, 洲浜祐子, 北林真一, 村上温夫. タイプ2ファジィ集合に基づいたPrologと言語ヘッジの導入. 第34回システム制御情報学会研究発表講演会, pp. 5--6, 5月 1990.
Marco Bos, Naoyuki Tamura, Osamu Nishida, Takehiko Yoshimi, Jiri Jelinek, and Haruo Murakami. Context analysis in Japanese-to-English machine translation system TWINTRAN. In Proceedings of the Symposium on Industrial Applications of Prolog (INAP'90), pp. 65--72, October 1990.
田村直之, Marco Bos, 吉見毅彦, 西田収, Jiri Jelinek, 村上温夫. チャート構造上での意味処理メカニズム. 情報処理学会自然言語処理研究会報告 No. 81, pp. 25--32, 1月 1991.
吉見毅彦, 田村直之, Marco Bos, 西田収, Jiri Jelinek, 村上温夫. 遅延評価機構によるAND-ORグラフ上での優先度計算 --- 解析過程の統合の枠組み ---. 「自然言語処理における統合」シンポジウム論文集, pp. 101--108. 電子情報通信学会，日本ソフトウェア科学会, 1月 1991.
Jiri Jelinek, Osamu Nishida, Takehiko Yoshimi, Naoyuki Tamura, and Haruo Murakami. TWINTRAN: a Japanese-to-English machine translation system based on text-wide grammar. In Proceedings of the Symposium on Industrial Applications of Prolog (INAP'92), pp. 59--63, October 1992.
堀内清光, 田村直之. VSOPファジィ数について. 第3回ノンエンジニアリング・ファジィワークショップ: ファジィ環境に向けて講演論文集, 3月 1993.
田村直之, 堀内清光. VSOPファジィ数上の類似関係について. 第37回システム制御情報学会研究発表講演会講演論文集, pp. 5--6, 5月 1993.
Naoyuki Tamura, Kiyomitsu Horiuchi, and Haruo Murakami. Prolog extension based on interval-vector-valued fuzzy sets. In Proceedings of the Symposium on Industrial Applications of Prolog (INAP'93), pp. 19--25, October 1993.
杉山英二, 田村直之. 優先度付き制約条件の解消アルゴリズムについて. PROLOG産業応用シンポジウム論文集 (INAP'94), pp. 11--18, 10月 1994.
番原睦則, 杉山英二, 姜京順, 田村直之. 線形論理に基づくPrologに向けて. PROLOG産業応用シンポジウム論文集 (INAP'95), pp. 65--72, 10月 1995.
浦田泰裕, 齋田明生, 田村直之, 金田悠紀夫, 川村尚生. 分散環境下におけるマルチエージェントシステム記述用言語. 情報処理学会プログラミング研究会報告 (SWoPP'95), 8月 1995.
田村直之, 池田雄一. 線形論理型言語のコンパイラ処理系でのリソース管理方式について. 情報処理学会プログラミング研究会報告 No. 7-5, pp. 25--30, 5月 1996.
齋田明生, 田村直之, 金田悠紀夫. Javaを用いた異種エージェント間での協調支援エージェントの開発に関する研究. 情報処理学会プログラミング研究会報告 (SWoPP'96), 8月 1996.
浦田泰裕, 田村直之, 金田悠紀夫. ネットワーク環境におけるマルチエージェントシステム記述用言語. 情報処理学会プログラミング研究会報告 (SWoPP'96), 8月 1996.
Naoyuki Tamura and Yukio Kaneda. Resource management method for a compiler system of a linear logic programming language. In GMD-Studien Nr. 296, Proceedings of the Poster Session at JICSLP'96, pp. 87--98. German National Research Center for Information Technology, September 1996.
Naoyuki Tamura and Yukio Kaneda. A WAM model for a linear logic programming language. PROLOG産業応用シンポジウム論文集 (INAP'96), pp. 63--70, 10月 1996.
Mutsunori Banbara and Naoyuki Tamura. Java implementation of a linear logic programming language. In Proceedings of the Symposium on Industrial Applications of Prolog (INAP'97), pp. 56--63, October 1997.
四ノ宮昇, 齋田明生, 田村直之, 金田悠起夫. JavaとHORBを用いたPrologプログラムのマイグレーションの実現. PROLOG産業応用シンポジウム論文集 (INAP'97), pp. 64--69, 10月 1997.
Kyoung-Sun Kang and Naoyuki Tamura. A leveled IO-model for a linear logic programming language. Symbolic Logic and Computer Science (SLACS'97), October 1997.
前岡淳, 田村直之, 金田悠紀夫. 分散環境におけるPrologプログラムのマイグレーションに関する研究. 第6回マルチ・エージェントと協調計算ワークショップ (MACC'97)，ポスターセッション, 12月 1997.
松島秀樹, 田村直之, 金田悠紀夫. 共有知識ベースをもつマルチエージェントシステム記述言語とその実装方式. 第6回マルチ・エージェントと協調計算ワークショップ (MACC'97)，ポスターセッション, 12月 1997.
吉見毅彦, 吉田宏和, 池口大輔, 田村直之. 並列制約最適化問題解決としてのテキスト解析. 第6回マルチ・エージェントと協調計算ワークショップ (MACC'97)，ポスターセッション, 12月 1997.
田村直之. 線形論理に基づいた論理型言語について. JAMS'98 Annual Meeting 形式体系と計算分科会, 8月 1998.
坂本浩二, 四ノ宮昇, 村中大, 田村直之, 金田悠紀夫. フィールドを有するマルチエージェントシステム記述用言語. 情報処理学会プログラミング研究会 (SWoPP'98), 8月 1998.
Mutsunori Banbara, Kyoung-Sun Kang, and Naoyuki Tamura. Compiling intuitionistic linear logic programming languages. Linear Logic Workshop, February 1998.
番原睦則, 姜京順, 田村直之. 線形論理型言語のJava言語による処理系の設計と実装. 情報処理学会 1999年度第1回プログラミング研究会, 6月 1999.
田村直之, 平井崇晴, 吉川英男, 姜京順, 番原睦則. 直観主義時相線形論理における論理プログラミングについて. 情報処理学会 1999年度第3回プログラミング研究会, 10月 1999.
姜京順, 番原睦則, 田村直之. 古典線形論理型プログラミング言語の静的解析の一手法について. 情報処理学会 1999年度第3回プログラミング研究会, 10月 1999.
番原睦則, 姜京順, 田村直之. 時相線形論理型言語のコンパイラ処理系のための抽象機械について. 情報処理学会第33回プログラミング研究会, 3月 2001.
田村直之. [特別招待論文] 線形論理と論理プログラミング. 電子情報通信学会技術研究報告, 第102巻, pp. 37--42, 5月 2002.
番原睦則, 田村直之, 井上克已, 川村尚生. Javaによる異種協調制約解消システムの開発. IPA未踏14キックオフセミナー, 8月 2002.
田村直之, 番原睦則. LLPTTP: 線形論理型言語コンパイラ処理系を用いた定理証明システム. 日本ソフトウェア科学会第19回大会講演論文集, pp. 7A--4, 9月 2002.
新村健治, 鎌田十三郎, 田村直之. ストリーム処理に適した効率的XMLデータバインディングツールの提案. 日本ソフトウェア科学会第19回大会講演論文集, pp. 6E--2, 9月 2002.
番原睦則, 田村直之, 井上克已, 川村尚生. Javaによる異種協調制約解消システムの開発. IPA未踏14シンポジウム, 1月 2003.
上田盛慈, 鵜飼訓史, 井上克已, 番原睦則, 田村直之, 川村尚生. Satソルバの並列実行に関する一考察. 電子情報通信学会「人工知能と知識処理」研究会, 5月 2003.
番原睦則, 田村直之, 井上克已, 川村尚生, 玉置久. Javaによる分散協調制約解消システム. IPA未踏15キックオフセミナー, 7月 2003.
大西秀志, 田村直之, 番原睦則. 制約プログラミングのための効率的集合表現. 日本ソフトウェア科学会第20回大会ポスター・デモセッション, 9月 2003.
番原睦則, 田村直之, 井上克已, 川村尚生, 玉置久. Javaによる分散協調制約解消システム. IPA未踏15シンポジウム, 2月 2004.
Naoyuki Tamura, Mutsunori Banbara, Mitsuhiro Okada, and Koji Hasebe. Demonstration of unsafe time condition extraction for train-gate controller. Proof Theory and its Applicationsに関する合同セミナー，慶應義塾大学, March 2004.
番原睦則, 田村直之, 井上克已, 川村尚生, 玉置久. Javaによる分散協調制約解消システム. IPAX Spring 2004, 5月 2004.
田村直之, 岡本英彰, 大西秀志, 番原睦則. Openoffice.org calcスプレッドシート上での制約プログラミング. 電気学会電子・情報・システム部門大会, 9月 2004.
田村直之, 番原睦則. 線形論理型言語コンパイラ処理系を用いた古典命題線形論理の定理証明システム. 日本ソフトウェア科学会第21回大会, 9月 2004.
大西秀志, 田村直之. Or制約を含む組合せ最適化問題に対する制約プログラミング技術を用いた汎用的局所% 探索の実現. 日本ソフトウェア科学会第21回大会, 9月 2004.
岡本英彰, 川谷宗之, 松田一人, 北川哲, 大西秀志, 番原睦則, 田村直之. Openoffice.org calcスプレッドシート上での制約プログラミング. 日本ソフトウェア科学会第21回大会ポスター・デモセッション, 9月 2004.
松田一人, 川谷宗之, 岡本英彰, 北川哲, 大西秀志, 番原睦則, 田村直之. グリッド計算環境における制約解消システムの構築に向けて. 情報処理学会第51回プログラミング研究会, 10月 2004.
川谷宗之, 岡本英彰, 松田一人, 北川哲, 大西秀志, 番原睦則, 田村直之. Grid計算環境における二つの制約解消系の試験的実装について. 情報処理学会第51回プログラミング研究会, 10月 2004.
Mutsunori Banbara, Shuji Ohnishi, Katsumi Inoue, and Naoyuki Tamura. Towards a heterogeneous constraint solving system on the grid. 1st Franco-Japanese Workshop on Constraint Programming, Oct. 2004.
Naoyuki Tamura and Mutsunori Banbara. Classical propositional linear logic theorem prover on a linear logic programming language compiler system. A Proof Theory Workshop, Keio University, March 2005.
Naoyuki Tamura and Mutsunori Banbara. g-Hecs: A heterogeneous constraint solving system on the grid. 2nd Franco-Japanese Workshop on Constraint Programming, Nov. 2005.

その他

Saburo Tamura, Masahiko Tanaka, and Naoyuki Tamura. Lists of cryptarithmetic puzzles with a unique solution, Part I two-operand, addition puzzles. Technical Report of Mathematics 12, 13, Yamaguchi University, 1977.
Saburo Tamura, Masahiko Tanaka, and Naoyuki Tamura. Lists of cryptarithmetic puzzles with a unique solution, Part II two-operand, multiplication puzzles. Technical Report of Mathematics 15, 16, Yamaguchi University, 1977.
Saburo Tamura, Masahiko Tanaka, and Naoyuki Tamura. Cryptarithmetic puzzles with a unique solution both for addtion and for multiplication. Technical Report of Mathematics 17, Yamaguchi University, 1977.
田村直之. 述語論理型プログラミング言語の研究. Master's thesis, 神戸大学大学院工学研究科システム工学専攻, 3月 1981.
Naoyuki Tamura. Zephyr Prolog and its package system. In Computer Science Technical Symposium. IBM Research Division, November 1987.
田村直之. ナノピコ教室関数電卓のパズル(問題). bit, Vol. 21, No. 1, p. 109, 1月 1989.
田村直之. ナノピコ教室関数電卓のパズル(解答). bit, Vol. 21, No. 5, pp. 116--119, 4月 1989.
田村直之. 文書処理システムとの関連書. システム/制御/情報, Vol. 35, No. 11, p. 714, 11月 1991.
番原睦則, 田村直之, 井上克已, 川村尚生, 玉置久. Javaによる分散協調制約解消システム. ソフトウェアデザイン, p. 134, 12月 2003.

Naoyuki Tamura