田村 直之  TAMURA Naoyuki

Takehide Soh, Mutsunori Banbara, Naoyuki Tamura

International Journal on Artificial Intelligence Tools

巻 : 26 号 : 1 ページ : 1760005

World Scientific Publishing

英語

査読あり

KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-16K16036

宋剛秀, 番原睦則, 田村直之

コンピュータソフトウェア

巻 : 34(1) ページ : 67-80

査読あり / オープンアクセスとしている

KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-16K16036

迫龍哉, 宋剛秀, 番原睦則, 田村直之, 鍋島英知, 井上克巳

コンピュータソフトウェア,

巻 : 33(4) ページ : 16-29

査読あり / オープンアクセスとしている

KAKENHI-PROJECT-26330248, KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-16K16036

田村直之, 宋剛秀, 番原睦則

情報処理

巻 : 57(8) ページ : 710-715

査読あり

Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Torsten Schaub, Takehide Soh, Naoyuki Tamura, and Philipp Wanko

Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016)

巻 : － ページ : 13-32

査読あり / オープンアクセスとしている / 謝辞記載あり / 国際共著/国際学会である

Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, and Matthias Weise

Proceedings of the 13th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2015)

巻 : LNAI9345 ページ : 112-126

査読あり / 国際共著/国際学会である

KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-25730042

Takehide Soh, Mutsunori Banbara, and Naoyuki Tamura

Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2015, SAT and CSP track)

巻 : - ページ : 421-428

査読あり

KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-25730042

則武治樹, 番原睦則, 宋剛秀, 田村直之, 井上克巳

コンピュータソフトウェア

巻 : 31 号 : 1 ページ : 116-130

日本ソフトウェア科学会

日本語

査読あり

KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-25730042

Takehide Soh, Daniel Le Berre, Stephanie Roussel, Mutsunori Banbara, Naoyuki Tamura

Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA 2014)

巻 : Vol.8761 ページ : 684-693

査読あり / 謝辞記載あり

KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-25730042

Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura and Matthias Weise

Proceedings of the Sixth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2013)

巻 : なし ページ : 33-48

査読あり

Takehide Soh, Naoyuki Tamura, and Mutsunori Banbara

Proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013)

巻 : なし ページ : 429-436

査読あり

KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-25730042

Naoyuki Tamura, Mutsunori Banbara, and Takehide Soh

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2013)

巻 : なし ページ : 1020-1027

査読あり

KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-25730042

田村直之, 番原睦則

コンピュータソフトウェア

巻 : 30 号 : 2 ページ : 83-89

日本ソフトウェア科学会

日本語

査読あり

Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue and Torsten Schaub

Theory and Practice of Logic Programming

巻 : 13(4-5) ページ : 783-798

査読あり

KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-25730042

田村直之,番原睦則

コンピュータソフトウェア

巻 : 30 ページ : 83-89

査読あり

Takehide Soh, Naoyuki Tamura, Mutsunori Banbara

Proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013), LNCS, Springer

巻 : 掲載確定(掲載確定)

査読あり

丹生智也,田村直之,番原睦則

コンピュータソフトウェア

巻 : 30(1) ページ : 211-230

査読あり

田村直之, 丹生智也, 番原睦則

コンピュータソフトウェア

査読あり

松中春樹, 丹生智也, 番原睦則, 田村直之

人工知能学会論文誌

巻 : 27 号 : 2 ページ : 10-15

一般社団法人 人工知能学会

日本語

査読あり

KAKENHI-PROJECT-20240003, KAKENHI-PROJECT-22700032

田村直之,丹生智也,番原睦則

コンピュータソフトウェア

巻 : 29(4) ページ : 114-129

査読あり

Mutsunori Banbara, Naoyuki Tamura、Katsumi Inoue

The 28th International Conference on Logic Programmimg(ICLP 2012)

ページ : 86-97

査読あり

Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara

The 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012), LNCS, Springer

巻 : 7317 ページ : 456-462

査読あり

番原睦則, 田村直之, 井上克巳

人工知能学会誌

巻 : (掲載決定)

田村直之, 丹生智也, 番原睦則

コンピュータソフトウェア

巻 : (掲載決定)

査読あり

T. Tanjo, N. Tamura, M. Banbara

Proc of 14th Int' l Conf. on Theory and Applications of Satisfiability Testing(SAT 2011)

ページ : 375-376

査読あり

Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara

Proc.of 1st Int'l Workshop on the Cross-Fertilization Between CSP and SAT (CSPSAT 2011)

査読あり

Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara

Proc.of 14th Int'l Conf.on Theory and Applications of Satisfiability Testing (SAT 2011)

ページ : 375-376

査読あり

M.Banbara, H.Matsunaka, N.Tamura. K.Inoue

17th Int'l Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-17)

ページ : 112-126

査読あり

田村直之, 丹生智也, 番原睦則

コンピュータソフトウェア

巻 : 27巻 ページ : 183-196

査読あり

T. Soh, K. Inoue, N. Tamura, M. Banbara, H. Nabeshima

Fundamenta Informaticae

巻 : Vol.102 ページ : 467-487

査読あり

T.Soh, K.Inoue, N.Tamura, M.Banbara, H.Nabeshima

Fundamenta Informaticae

巻 : 102・3-4 ページ : 467-487

査読あり

田村直之, 丹生智也, 番原睦則

人工知能学会誌 25・1

ページ : 77-85

番原睦則, 田村直之

人工知能学会誌 25・1

ページ : 122-129

T.Soh, K.Inoue, N.Tamura, M.Banbara, H.Nabeshima

Fundamenta Informaticae Vol.102

ページ : 467-487

査読あり

田村直之, 丹生智也, 番原睦則

コンピュータソフトウェア 27巻

ページ : 183-196

査読あり

井上克巳, 田村直之

人工知能学会誌 25・1

ページ : 57-67

井上克巳, 田村直之

人工知能学会誌 25・1

ページ : 56-56

N. Tamura, A. Taga, S. Kitagawa, M. Banbara

Constraints

巻 : Vol.27 ページ : 254-272

査読あり

Naoyuki Tamura

Constraints Vol. 14, Issue 2

ページ : 254-272

N.Tamura, A.Taga, S.Kitagawa, M.Banbara

Constraints 14・2

ページ : 254-272

査読あり

N.Tamura, A.Taga, S.Kitagawa, M.Banbara

Constraints Vol.27

ページ : 254-272

Naoyuki Tamura

Proceedings of the Second International CSP Solver Competition

ページ : 65-69

査読あり

Naoyuki Tamura

Third International CSP Solver Competition

ページ : 71-75

査読あり

Naoyuki Tamura

Proceedings of the Second International CSP Solver Competition

「研究成果報告書概要(和文)」より

査読あり

N. Tamura, M. Banbara

Proc. of the 2nd International CSP Solver Competition

ページ : 65-69

「研究成果報告書概要(欧文)」より

番原睦則, 田村直之, 井上克己

コンピュータソフトウェア (印刷中)

M. Banbara, N. Tamura, K. Inoue, A

Computer Software Vol. 24, No. 3

ページ : 75-86

「研究成果報告書概要(欧文)」より

田村直之, 番原睦則

人工知能学会学会誌 21・4

ページ : 1-8

K.Inoue, K.Soh, S.Ueda, Y.Sasaura, M.Banbara, N.Tamura

Discrete Applied Mathematics 154・16

ページ : 2291-2306

N.Tamura 他

Proc. CP 2006

ページ : 590-603

Naoyuki Tamura

Proceedings of the 12th International Conference on Principles Practice of Constraint Programming (CP 2006)

ページ : 590-603

「研究成果報告書概要(和文)」より

査読あり

N. Tamura, M. Banbara

Journal of the Japanese Society for Artificial Intelligence Vol. 21, No. 4

ページ : 1-8

「研究成果報告書概要(欧文)」より

N. Tamura, A. Taga, S., Kitagawa, M.M Ban-bara

Proc. of the 12th International Conference on Principles and Practice of Constraint Programming(CP 2006)

ページ : 590-603

「研究成果報告書概要(欧文)」より

M.Banbara, N.Tamura 他

Proc.INAP 2005

ページ : 45-54

M.Banbara, N.Tamura 他

Proc.INAP 2005

ページ : 191-199

大西秀志, 田村直之

コンピュータソフトウェア 22・3

ページ : 179-185

Naoyuki Tamura

Proc.INAP 2005

ページ : 1-6

N.Tamura, M.Banbara

Computer Software 22-1

ページ : 98-103

「研究成果報告書概要(欧文)」より

N.Tamura, M.Banbara

A Proof Theory Workshop(Keio University)

「研究成果報告書概要(欧文)」より

田村直之, 番原睦則

コンピュータソフトウェア 22・1

ページ : 98-103

「研究成果報告書概要(和文)」より

Naoyuki Tamura

{Lecture Notes in Computer Science 4369: Proceedings of the 16 International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2005)

「研究成果報告書概要(和文)」より

査読あり

N. Tamura

Proc. of the 16th International Conference on Applications of Declarative Programming and Knowledge Management(INAP 2005)

ページ : 1-6

「研究成果報告書概要(欧文)」より

M. Banbara, N. Tamura, K

Proc. of the 16th Internat.ional Conference on Applications of Declarative Programming and Knowledge Management(INAP 2005)

ページ : 45-54

「研究成果報告書概要(欧文)」より

M. Kawatani, M. Nakagawa, A. Shiga, S. Kita-gawa, S. Ohnishi, M. banhara, N. Tamura, i, Hecs

Proc. of the 16th International Conference on Applications of Declarative Programming anti Knowledge Management,(INAP 2005)

ページ : 191-199

「研究成果報告書概要(欧文)」より

N.Tamura, M.Banbara

A Proof Theory Workshop, Keio University

「研究成果報告書概要(和文)」より

S. Olmishi, N. Tamura

Computer Software Vol. 22, No. 3

ページ : 179-185

「研究成果報告書概要(欧文)」より

T. Soh, K. Inoue, M, I. Banbara, N. Tamura

Proc. of the 1st International Workshop on Distributed and Speculative Constraint Processing(DSCP05)

「研究成果報告書概要(欧文)」より

田村直之, 番原睦則

日本ソフトウェア科学会第20回全国大会

N.Tamura, M.Banbara他

Proof Theory and its Applicationsに関する合同セミナー

N.Tamura, M.Banbara, et al.

Workshop on Proof Theory and its Applications(Keio University)

「研究成果報告書概要(欧文)」より

N.Tamura, M.Banbara他

Workshop on Proof Theory and its Applications, Keio University

「研究成果報告書概要(和文)」より

N.Tamura, M.Banbara

Computer Software 20-5

ページ : 90-96

「研究成果報告書概要(欧文)」より

M.Banbara, T.Tanizawa, N.Tamura

Workshop on Logic and Computation(Keio University)

「研究成果報告書概要(欧文)」より

田村直之, 番原睦則

コンピュータソフトウェア 20・5

ページ : 90-96

「研究成果報告書概要(和文)」より

M.Banbara, T.Tanizawa, N.Tamura

Workshop on Logic and Computation, Keio University

「研究成果報告書概要(和文)」より

N.Tamura

Technical Report of the Institute of Electronics, Information and Communication Engineers 102-91

ページ : 37-42

「研究成果報告書概要(欧文)」より

田村直之

電子情報通信学会技術研究報告 102・91

ページ : 37-42

「研究成果報告書概要(和文)」より

T.Soh, K.Inoue, N.Tamura, M.Banbara, H.Nabeshima

Jouranal of Algorithms in Cognition, Informatics and Logic (掲載確定)

査読あり

K. Inoue, T. Soh, S. Ueda, Y. S, sanra, M.M Ban-bara, N. Tamura

Discrete Applied Mathematics Vol. 154, No. 16

ページ : 2291-2306

「研究成果報告書概要(欧文)」より

宋剛秀, 田村直之

第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)

華やぎの章 慶山 (山梨県・笛吹市)

2017-03-08

田村直之, 宋剛秀, 番原睦則

第58回プログラミング・シンポジウム

ラフォーレ倶楽部伊東温泉湯の庭(静岡県・伊東市)

2017-01-06

宋剛秀，番原睦則，田村直之

第58回プログラミング・シンポジウム

ラフォーレ倶楽部伊東温泉湯の庭(静岡県・伊東市)

2017-01-06

坡山直樹, 川原征大, 迫龍哉, 宋剛秀, 番原睦則, 田村直之

第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)

華やぎの章 慶山 (山梨県・笛吹市)

2017-03-08

吉玉元和, 寸田智也, 南雄之, 宋剛秀, 番原睦則, 田村 直之

第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)

華やぎの章 慶山 (山梨県・笛吹市)

2017-03-08

南雄之, 宋剛秀, 番原睦則, 田村直之

人工知能基本問題研究会(第103回)

湯布院公民館 (大分県・由布市)

2017-03-13

迫龍哉, 川原征大, 宋剛秀, 番原睦則, 田村直之, 鍋島英知

2016年度 人工知能学会全国大会

北九州国際会議場 (福岡県・北九州市)

2016-06-06

寸田智也, 宋剛秀, 番原睦則, 田村直之

日本ソフトウェア科学会第33回大会

東北大学 (宮城県・仙台市)

2016-09-06

川原征大, 宋剛秀, 番原睦則, 田村直之

2016年度 人工知能学会全国大会

北九州国際会議場 (福岡県・北九州市)

2016-06-06

兼行大将, 番原睦則, 宋剛秀, 田村直之, 井上克巳, 沖本天太

第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016)

ダイヤモンド瀬戸内マリンホテル(岡山県玉野市渋川)

2016-03-07

迫龍哉, 川原征大, 宋剛秀, 番原睦則, 田村直之, 鍋島英知

第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016)

ダイヤモンド瀬戸内マリンホテル (岡山県玉野市渋川)

2016-03-07

田村直之, 井上克巳, 鍋島英知, 番原睦則, 宋剛秀

人工知能基本問題研究会(第100回)

熊本市民会館 (熊本県熊本市中央区桜町)

2016-03-27

迫龍哉, 川原征大, 田村直之, 番原睦則, 宋剛秀, 鍋島英知

情報処理学会システムとLSIの設計技術研究会

山代温泉ゆのくに天祥 (石川県加賀市山代温泉19-49-1)

2015-08-26

宋剛秀, 番原睦則, 田村直之

日本ソフトウェア科学会第32回大会

早稲田大学西早稲田キャンパス(東京都新宿区大久保)

2015-09-09

兼行大将, 番原睦則, 宋剛秀, 田村直之, 井上克巳

2015年度人工知能学会全国大会(第29回)

公立はこだて未来大学 (北海道函館市亀田中野町)

2015-05-30

宋剛秀, 番原睦則, 田村直之

第17回プログラミングおよびプログラミング言語ワークショップ (PPL 2015)

道後プリンスホテル (愛媛県)

2015-03-04

宋剛秀, 佐古田淳史, 番原睦則, 田村直之

人工知能学会 第97回人工知能基本問題研究会

別府国際コンベンションセンター (大分県)

2015-03-22

川原征大, 宋剛秀, 番原睦則, 田村直之

日本ソフトウェア科学会第32回大会

早稲田大学西早稲田キャンパス(東京都新宿区大久保)

2015-09-09

迫龍哉, 宋剛秀, 番原睦則, 田村直之, 鍋島英知, 井上克巳

日本ソフトウェア科学会第32回大会

早稲田大学西早稲田キャンパス(東京都新宿区大久保)

2015-09-09

田村直之

実験計画法およびその周辺の組合せ構造 2014

城崎国際アートセンター (兵庫県)

2014-12-14

招待講演

Takehide Soh, Daniel Le Berre, Stephanie Roussel, Mutsunori Banbara, Naoyuki Tamura

The 5th International Workshop on Pragmatics of SAT (PoS 2014)

ウィーン工科大学 (オーストリア)

2014-07-13

宋剛秀, Daniel Le Berre, Stephanie Roussel, 番原睦則, 田村直之

第28回人工知能学会全国大会

ひめぎんホール (愛媛県)

2014-05-12

宋剛秀, 番原睦則, 田村直之

日本ソフトウェア科学会第31回大会

名古屋大学 (愛知県)

2014-09-09

宋剛秀, 則武治樹, 番原睦則, 田村直之, 井上克巳

日本ソフトウェア科学会第31回大会

名古屋大学 (愛知県)

2014-09-08

田村直之, 宋剛秀, 番原睦則, 鍋島英知

情報処理学会DAシンポジウム2014

水明館 (岐阜県)

2014-08-29

佐古田淳史, 宋剛秀, 番原睦則, 田村直之

第28回人工知能学会全国大会

ひめぎんホール (愛媛県)

2014-05-12

宋剛秀,田村直之,番原睦則

第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013)

会津若松市(福島県)

2013-03-05

則武治樹,番原睦則、宋剛秀,田村直之,井上克巳

第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013)

会津若松市(福島県)

2013-03-05

Naoyuki Tamura, Tomoya Tanjo, Mutsunori Banbara

The 2012 CRIL-Nil Collaborative Meeting on Reasoning about Dynamic Constraint Networks

Universite d'Artois(France)

2012-11-23

Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue, Hidetomo Nabeshima

The 2012 CRIL-Nil Collaborative Meeting on Reasoning about Dynamic Constraint Networks

Universite d'Artois(France)

2012-11-23

Takehlde Soh, Funakoshi Taisuke, Naoyuki Tamura, Mutsunori Banhara.

The 2012 CRIL-Nil Collaborative Meeting on Reasoning about Dynamic Constraint Networks

Universite d'Artois(France)

2012-11-23

則武治樹,番原睦則,田村直之,井上克己

第26回人工知能学会全国大会

山口県教育会館(山口県)

2012-06-12

鈴江美奈,田村直之,番原睦則,宋剛秀,鳩野逸生

日本ソフトウェア科学会第29回大会

法政大学(東京都)

2012-08-24

船越泰輔,番原睦則,田村直之

第26回人工知能学会全国大会

山口県教育会館(山口県)

2012-06-12

丹生智也, 田村直之, 番原睦則,

第14回プログラミングおよびプログラミング言語ワークショップ(PPL 2012)

むさし(和歌山県)

2012-03-08

田村直之, 丹生智也, 番原睦則

第81回人工知能学会人工知能基本問題研究会

山梨大学(招待講演)

2011-01-31

田村直之, 丹生智也, 番原睦則

第81回人工知能学会人工知能基本問題研究会

山梨人学(山梨県)(招待講演)

2011-01-31

田村直之, 丹生智也, 番原睦則

日本ソフトウェア科学会第28回大会

沖縄産業支援センター(沖縄県)

2011-09-29

松中春樹, 丹生智也, 番原睦則, 田村直之

2011年度人工知能学会全国大会(JSAI 2011)

いわて県民情報交流センター(岩手県)

2011-06-03

丹生智也, 田村直之, 番原睦則

2011年度人工知能学会全国大会(JSAI 2011)

いわて県民情報交流センター(岩手県)

2011-06-03

丹生智也, 田村直之, 番原睦則

日本ソフトウェア科学会第28回大会

沖縄産業支援センター(沖縄県)

2011-09-27

田村直之, 丹生智也, 番原睦則

第81回人工知能学会人工知能基本問題研究会

山梨大学

2011-01-31

丹生智也, 田村直之, 番原睦則

第81回人工知能学会人工知能基本問題研究会

山梨大学(山梨県)

2011-01-31

番原睦則, 松中春樹, 田村直之, 井上克巳

日本ソフトウェア科学会第27回大会

津田塾大学(東京都)

2010-09-13

N.Tamura, T.Tanjo, M.Banbara

Joint Workshop on Implementation of Constraint Logic Programming Systerns and Logic-based Methods in Prograrmming Environments

Edinburgh (Scotland)(招待講演)

2010-07-15

N.Tamura, T.Tanjo, N.Banbara

10th Int'l Symp. on Functional and Logic Programming (FLOPS 2010)

東北大学(宮城県)(招待講演)

2010-04-19

N. Tamura, T. Tanjo, M. Banbara

10th Int' l Symp. on Functional and Logic Programming

東北大学(宮城県)

2010-04-19

N.Tamura, T.Tanjo, M.Banbara

Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments(CICLOPS-WLPE 2010)

Edinburgh (Scotland)(招待講演)

2010-07-15

N. Tamura, T. Tanjo, M. Banbara

Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments

Edinburgh(Scotland)

2010-07-15

T.Tanjo, N.Tamura, M.Bantara

9th Int'l Workshop on Constraint Modelling and Reformulation (ModRef 2010)

St.Andrews (Scotland)

N.Tamura, T.Tanjo, M.Banbara

10th Int'l Symp.on Functional and Logic Programming

東北大学(宮城県)(招待講演)

2010-04-19

丹生智也, 田村直之, 番原睦則

日本ソフトウェア科学会第26回大会

島根大学(島根県)

田村 直之

スケジューリング・シンポジウム2007講演論文集

京都大学

2007-09-29

A. Taga, N. Tamura. S. Kitagawa, M. Banbara

Scheduling Symposium 2007

Kyoto

「研究成果報告書概要(欧文)」より

N. Tamura., A. Taga, M. Banbara, T. Soh, H. Nabeshima, K. Inoue

Scheduling Symposium 2007

Kyoto

「研究成果報告書概要(欧文)」より

N. Tamura, M. Banbara

2nd Franco-Japanese Workshop on Constraint Programming

Le Croisic, France

「研究成果報告書概要(欧文)」より

Naoyuki Tamura, Takehide Soh, Mutsunori Banbara, and Katsumi Inoue

The 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013)

University of Helsinki, Finland

Takehide Soh, Naoyuki Tamura, Mutsunori Banbara, Daniel Le Berre, and Stéphanie Roussel

The 4th International Workshop on Pragmatics of SAT (PoS 2013)

University of Helsinki, Finland

則武治樹, 番原睦則, 宋剛秀, 田村直之, 井上克巳

日本ソフトウェア科学会第30回大会

東京大学

宋剛秀, 番原睦則, 田村直之, Daniel Le Berre, Stéphanie Roussel

日本ソフトウェア科学会第30回大会

東京大学

佐古田淳史, 宋剛秀, 番原睦則, 田村直之

2013年度人工知能学会全国大会

富山国際会議場

Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub

第16回プログラミングおよびプログラミング言語ワークショップ (PPL 2014)

阿蘇の司ビラパークホテル

Naoyuki Tamura, Mutsunori Banbara, and Takehide Soh

The 4th International Workshop on Pragmatics of SAT (PoS 2013)

University of Helsinki, Finland