番原 睦則  BANBARA Mutsunori

M.Banbara

97

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

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

Annals of Operations Research

巻 : -

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

KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-16H02803, KAKENHI-PROJECT-17H01790, KAKENHI-PROJECT-15K00099

Takehide Soh, Mutsunori Banbara, Naoyuki Tamura

International Journal on Artificial Intelligence Tools

巻 : 26(1)

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

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

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

Proceedings of the 23rd International Conference on Principles and Practice of Constraint Programming (CP 2017)

巻 : 10416 ページ : 596-614

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

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

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

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

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

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

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

Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub

Theory and Practice of Logic Programming

巻 : 17(4) ページ : 408-461

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

KAKENHI-PROJECT-16H02803, KAKENHI-PROJECT-15K00099

番原 睦則, 井上 克巳, ベンジャミン カウフマン, トルステン シャウブ, 宋 剛秀, 田村 直之, フィリップ ワンコ

第29回RAMPシンポジウム論文集

巻 : - ページ : 73-88

国際共著/国際学会である

番原睦則, 井上克巳, ベンジャミン カウフマン, トルステン シャウブ, 宋剛秀, 田村直之, フィリップ ワンコ

第29回RAMPシンポジウム論文集

巻 : - ページ : 73-88

国際共著/国際学会である

Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura

Proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017)

巻 : 10377 ページ : 265-278

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

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

番原 睦則, 鍋島 英知

情報処理

巻 : 57(8)

査読あり

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

情報処理

巻 : 57(8)

査読あり

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

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

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

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

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

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

情報処理

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

査読あり

番原睦則, 鍋島英知

情報処理

巻 : 57(8) ページ : 704-709

査読あり

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

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

Maxime Clement, Tenda Okimoto, Katsumi Inoue, and Mutsunori Banbara

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

巻 : － ページ : 63-79

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

Maxime Clement, Tenda Okimoto, Katsumi Inoue, and Mutsunori Banbara

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

巻 : -

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

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)

巻 : -

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

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

査読あり

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

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

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

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

日本ソフトウェア科学会

02896540

日本語

査読あり

KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-25730042

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

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

査読あり

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

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

巻 : 30 号 : 1 ページ : 211-230

日本ソフトウェア科学会

02896540

日本語

査読あり

田村直之, 番原睦則

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

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

日本ソフトウェア科学会

02896540

日本語

査読あり

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

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

13460714

日本語

査読あり

KAKENHI-PROJECT-20240003, KAKENHI-PROJECT-22700032

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

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

巻 : 29 号 : 4 ページ : 114-129

日本ソフトウェア科学会

02896540

日本語

査読あり

Mutsunori Banbara

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

巻 : LIPIcs 17 ページ : 86-97

査読あり

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

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

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

査読あり

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

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

巻 : (掲載決定)

査読あり

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

人工知能学会誌

巻 : (掲載決定)

Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara

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

巻 : 7317 ページ : 456-462

査読あり

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

人工知能学会誌

巻 : (掲載決定)

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

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

巻 : (掲載決定)

査読あり

Mutsunori Banbara, Naoyuki Tamura、Katsumi Inoue

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

ページ : 86-97

査読あり

Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara

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

ページ : 375-376

査読あり

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 the 14th Int'l Conf.on Theory and Applications of Satisfiability Testing (SAT 2011), LNCS 6695

ページ : 375-376

査読あり

Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara

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

査読あり

Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara

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

査読あり

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

人工知能学会誌 25巻1号

ページ : 77-85

査読あり

番原睦則, 田村直之

人工知能学会誌 25巻1号

ページ : 122-129

査読あり

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

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

巻 : 27 号 : 4 ページ : 183-196

日本ソフトウェア科学会

02896540

日本語

査読あり

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

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

巻 : 27巻 ページ : 183-196

査読あり

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

Fundamenta Informaticae

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

査読あり

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

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

ページ : 112-126

査読あり

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

Fundamenta Informaticae

巻 : 102(3-4) ページ : 467-487

査読あり

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

人工知能学会誌 25・1

ページ : 77-85

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

番原睦則, 田村直之

人工知能学会誌 25・1

ページ : 122-129

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

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

ページ : 112-126

査読あり

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

Fundamenta Informaticae Vol.102

ページ : 467-487

査読あり

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

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

ページ : 183-196

査読あり

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

Vol.14Issue.2

ページ : 254-272

査読あり

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

Constraints

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

査読あり

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

Constraints 14・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

N. Tamura, M. Banbara

Proceedings of the Second International CSP Solver Competition

ページ : 65-69

査読あり

N. Tamura, T. Tanjo, M. Banbara

Proceedings of the Third International CSP Solver Competition

ページ : 71-75

査読あり

T. Tanjo, N. Tamura, M. Banbara

Proceedings of the Third International CSP Solver Competition

ページ : 77-82

査読あり

N. Tamura, M. Banbara

Proc. of the 2nd International CSP Solver Competition

ページ : 65-69

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

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

コンピュータソフトウェア 24巻3号

ページ : 75-86

査読あり

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

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

番原 睦則

コンピュータソフトウェア 第24巻・第3号

ページ : 75-86

査読あり

番原 睦則

コンピュータソフトウェア 第24巻・第3号

ページ : 75-86

査読あり

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, M. Banbara

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

ページ : 1-8

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

M.Banbara, N.Tamura 他

Proc.INAP 2005

ページ : 45-54

M.Banbara, N.Tamura 他

Proc.INAP 2005

ページ : 191-199

Mutsunori Banbara

In Proceedings of the 16th International Conference on Applications of Declarative Programming and Knowledge Management

ページ : 45-54

番原睦則

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

N.Tamura, M.Banbara

Computer Software 22-1

ページ : 98-103

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

N.Tamura, M.Banbara

A Proof Theory Workshop(Keio University)

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

田村直之, 番原睦則

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

ページ : 98-103

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

M. Banbara, N. Tamura, K

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

ページ : 45-54

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

N.Tamura, M.Banbara

A Proof Theory Workshop, Keio University

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

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

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

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

Mutsunori Banbara

Franco-Japanese Workshop on Constraint Programming

番原睦則

IPAX Spring 2004

田村直之, 番原睦則

日本ソフトウェア科学会第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

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

M.Banbara

Ph.D Dissertation(Graduate School of Science and Technology, Kobe University)

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

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

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

査読あり

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

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

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

2017-01-06

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

人工知能学会全国大会(第31回)

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

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

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

2017-03-08

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

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

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

2017-03-08

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

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

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

2017-01-06

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

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

坡山 直樹, 飯野 有軌, 番原 睦則, 田村 直之

DAシンポジウム2017

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

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

番原 睦則

第29回RAMPシンポジウム

招待講演

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

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

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

2017-03-13

番原睦則

2017年電子情報通信学会総合大会

名城大学 (愛知県・名古屋市)

2017-03-22

招待講演

番原 睦則

第31回人工知能学会全国大会 オーガナイズドセッション「OS-2 SAT技術の理論，実装，応用」

招待講演

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

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

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

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

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

人工知能学会全国大会(第31回)

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

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

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

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

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

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

番原 睦則

2017年電子情報通信学会総合大会，依頼シンポジウムセッション 「AI-1 : 組合せ最適化問題の発見的手法とそのVLSI CADへの応用」

招待講演

番原睦則

第29回RAMPシンポジウム

招待講演

番原睦則

人工知能学会全国大会(第31回) オーガナイズドセッション「OS-2 SAT技術の理論，実装，応用」

招待講演

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

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

坡山直樹, 飯野有軌, 番原睦則, 田村直之

DAシンポジウム2017

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

人工知能学会全国大会(第31回)

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

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

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

2016-06-06

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

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

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

2016-09-06

坡山直樹, 川原征大, 迫龍哉, 番原睦則

DAシンポジウム2016

ゆのくに天祥 (石川県・加賀市)

2016-09-14

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

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

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

2016-06-06

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

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

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

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

坡山 直樹, 川原 征大, 迫 龍哉, 番原 睦則

DAシンポジウム2016

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

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

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

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

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

2016-03-07

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

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

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

2016-03-07

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

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

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

2016-03-27

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

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

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

2015-08-26

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

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

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

2015-05-30

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

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

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

2015-03-04

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

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

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

2015-03-22

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

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

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

2015-09-09

Maxime Clement, Tenda Okimoto, Katsumi Inoue, and Mutsunori Banbara

合同エージェントワークショップ&シンポジウム2015論文集 (JAWS 2015)

山中温泉河鹿荘ロイヤルホテル (石川県加賀市山中温泉河鹿町)

2015-09-30

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

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

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

2015-09-09

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

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

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

2015-09-09

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

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

水明館 (岐阜県)

2014-08-29

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

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

名古屋大学 (愛知県)

2014-09-08

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

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

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

2014-07-13

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

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

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

2014-05-12

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

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

名古屋大学 (愛知県)

2014-09-09

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

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

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

2014-05-12

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

第15回プログラミングおよびプログラミング言語ワークショップ (PPL 2013),日本ソフトウェア科学会

福島県会津若松 東山温泉御宿東鳳 (福島県会津若松市東山町)

2013-03-05

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

第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

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

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

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

2012-06-12

番原睦則

ERATOセミナー, JST ERATO湊離散構造処理系プロジェクト

大阪市(大阪府)

2012-07-06

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

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

法政大学(東京都)

2012-08-24

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

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

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

2012-06-12

番原睦則

ERATOセミナー, JST ERATO湊離散構造処理系プロジェクト

関西サテライトラボ(大阪府大阪市北区芝田)

2012-07-06

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

第14回プログラミングおよびプログラミング言語ワークショップ (PPL 2012), 日本ソフトウェア科学会

和歌山県 南紀白浜 むさし (和歌山県西牟婁郡白浜町)

2012-03-08

Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue, and Hidetomo Nabeshima

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

Universite d'Artois, Lens, France

2012-11-23

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

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

むさし(和歌山県)

2012-03-08

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

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

むさし(和歌山県)

2012-03-08

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

第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

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

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

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

2011-06-03

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

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

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

2011-06-03

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

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

山梨大学(山梨県)

2011-01-31

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

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

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

2011-09-27

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

日本ソフトウェア科学会第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

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

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

Edinburgh(Scotland)

2010-07-15

N.Tamura, T.Tanjo, M.Banbara

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

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

2010-04-19

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

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

津田塾大学(東京都)

2010-09-13

T.Tanjo, N.Tamura, M.Banbara

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

St.Andrews (Scotland)

2010-09-06

N.Tamura, T.Tanjo, M.Banbara

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

Edinburgh (Scotland)(招待講演)

2010-07-15

N.Tamura, T.Tanjo, M.Banbara

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

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

2010-04-19

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

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

島根大学(島根県)

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

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

高山グリーンホテル

2009-03-10

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

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

高山グリーンホテル

2009-03-10

番原睦則

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

高山グリーンホテル

2009-03-10

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

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

島根大学(島根県)

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

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

島根大学(島根県)

番原睦則

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

高山グリーンホテル

2009-03-10

多賀明子, 田村直之, 北川哲, 番原睦則, 田村直之

スケジューリング・シンポジウム

京都大学

田村直之, 多賀明子, 番原睦則, 宋剛秀, 鍋島英知, 井上克己

スケジューリング・シンポジウム

京都大学

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

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

良先端科学技術大学院大学

田島宏史, 多賀明子, 丹生智也, 田村直之, 番原睦則

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

奈良先端科学技術大学院大学

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

番原睦則

ERATO セミナー, JST ERATO 湊離散構造処理系プロジェクト

JST ERATO 湊離散構造処理系プロジェクト, 関西サテライトラボ (大阪府)

Mutsunori Banbara

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

University of Artois (Lens, France)