上田　和紀

兼任研究員 1989年-2006年

研究員 2004年-2004年

研究所員 2013年-2015年

兼任研究員 2006年-2018年

兼任研究員 2018年-

2003年

2002年

2001年

2000年

1993年

1988年

1985年

1985年

研究テーマのキーワード：プログラミング言語

個人研究

研究テーマのキーワード：並行計算、制約プログラミング

国際共同研究

研究テーマのキーワード：制約、プログラム解析、型、自動デバッグ

個人研究

研究テーマのキーワード：並行分散計算、グラフ書換え、多重集合書換え、LMNtal

国内共同研究

乾敦行，工藤晋太郎，原耕司，水野謙，加藤紀夫，上田和紀

コンピュータソフトウェア25(1)p.124 - 1502008年01月-

Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe

Proc. CP 2007 Doctoral Programme, the 13th Int. Conf. on Principles and Practice of Constraint Programming (CP2007)p.49 - 542007年09月-

Daisuke Ishii, Kazunori Ueda, Hroshi Hosobe

Trends in Constraint Programmingp.245 - 2552007年05月-

大野善之，石井大輔，上田和紀

第5回ディペンダブルシステムワークショップ論文集p.53 - 562007年07月-

渋谷健介, 上田和紀

第5回ディペンダブルシステムワークショップ(DSW2007)論文集p.9 - 122007年07月-

大村圭, 渋谷健介, 稲垣良一, 上田和紀

情報処理学会研究報告2007(80)p.31 - 362007年08月-

上田和紀

第9回プログラミングおよびプログラミング言語ワークショップ (PPL2007)p.221 - 2322007年03月-

中野敦，上田和紀

第9回プログラミングおよびプログラミング言語ワークショップ (PPL2007)2007年03月-

Kazunori Ueda

LIX Colloquium on Emerging Trends in Concurrency Theory2006年11月-

Kazunori Ueda

Electronic Notes in Theoretical Computer Science162p.327 - 3312006年09月-

Daisuke Ishii, Kazunori Ueda and Hiroshi Hosobe

Third International Workshop on Interval Analysis, Constraint Propagation and Applications (IntCP'06)p.38 - 512006年09月-

石井大輔, 上田和紀, 細部博史

日本ソフトウェア科学会第23回大会論文集p.1A - 12006年09月-

上田和紀

日本ソフトウェア科学会第23回大会論文集p.1A - 42006年09月-

市川祐輔, 上田和紀

情報科学技術レターズ6p.9 - 122006年09月-

Kazunori Ueda, Norio Kato, Koji Hara and Ken Mizuno

Proc. 22nd Int. Conf. on Logic Programming (ICLP'06)p.457 - 4582006年08月-

Kazunori Ueda, Norio Kato, Koji Hara and Ken Mizuno

Third Workshop on Constraint Handling Rules (CHR 2006)p.1 - 152006年07月-

稲垣良一, 上田和紀

先進的計算基盤システムシンポジウム (SACSIS2006)p.59 - 662006年05月-

Kazunori Ueda

The ALP NewsLetter19(2)2006年05月-

工藤晋太郎, 乾敦行, 櫻井健, 上田和紀

第8回プログラミングおよびプログラミング言語ワークショップ (PPL2006)2006年03月-

水野謙, 上田和紀

第8回プログラミングおよびプログラミング言語ワークショップ (PPL2006)2006年03月-

乾敦行，原耕司，水野謙，上田和紀

第8回プログラミングおよびプログラミング言語ワークショップ (PPL2006)p.119 - 1332006年03月-

水野謙，加藤紀夫，原耕司，上田和紀

日本ソフトウエア科学会第22回大会講演論文集p.3A - 42005年09月-

工藤晋太郎, 上田和紀, 加藤紀夫

情報科学技術レターズLA-003p.9 - 122005年09月-

稲垣良一, 上田和紀

第4回情報科学技術フォーラム (FIT2005)B-030(第一分冊)p.161 - 1622005年09月-

市川祐輔，二村良彦，上田和紀

第4回情報科学技術フォーラム (FIT2005)A-022(第一分冊)p.53 - 542005年09月-

魏小比, 内藤一兵衛, 上田和紀

第4回情報科学技術フォーラム (FIT2005)(第二分冊)p.179 - 1822005年09月-

櫻井健, 加藤紀夫, 水野謙, 上田和紀

第4回情報科学技術フォーラム (FIT2005)A-014(第一分冊)p.33 - 362005年09月-

Kazunori Ueda

Proc. Workshop on Algebraic Process Calculi, The First Twenty Yearsp.227 - 2302005年08月-

酒井大輔，上田和紀

人工知能学会全国大会（第１９回）論文集p.2F1 - 022005年06月-

稲垣良一，上田和紀

先進的計算基盤シンポジウム SACSIS2005p.218 - 2192005年05月-

Kazunori Ueda and Norio Kato

Proc. 5th International Workshop on Membrane Computing (WMC 2004), LNCS 3365, Springer-Verlagp.110 - 1252005年-

上田和紀，大石進一，甲藤二郎，中島達夫，村岡洋一，山名早人

情報処理46(4)p.410 - 4162005年04月-

圷弘明，加藤紀夫，上田和紀

第7回プログラミングおよびプログラミング言語ワークショップ (PPL2005)p.41 - 412005年03月-

矢島伸吾，加藤紀夫，上田和紀

第7回プログラミングおよびプログラミング言語ワークショップ (PPL2005)p.41 - 412005年03月-

中島求，加藤紀夫，水野謙，上田和紀

第8回 プログラミングおよび応用のシステムに関するワークショップ　（SPA2005)2005年03月-

上田和紀

情報処理学会第67回全国大会特別セッション(6)2005年03月-

上田和紀

情報処理46(1)p.66 - 662005年01月-

上田和紀

夏のプログラミングシンポジウム「アッと驚くプログラミング」報告集p.69 - 742005年01月-

中島求，加藤紀夫，水野謙，上田和紀

日本ソフトウェア科学会第21回大会論文集p.149 - 1532004年09月-

加藤紀夫，水野謙，上田和紀

日本ソフトウェア科学会第21回大会論文集p.153 - 1632004年09月-

加藤紀夫, 上田和紀

情報処理学会第50回プログラミング研究会 (SWoPP2004)2004年07月-

大橋智昭, 稲垣良一, 上田和紀

情報処理学会研究報告 2004-HPC99-5 (SWoPP2004)p.25 - 302004年07月-

原耕司, 水野謙, 矢島伸吾, 永田貴彦, 中島求, 加藤紀夫, 上田和紀

情報処理学会第50回プログラミング研究会 (SWoPP2004)2004年07月-

Kazunori Ueda and Norio Kato

Proc. Fifth Workshop on Membrane Computingp.65 - 792004年06月-

大橋智昭, 上田和紀

先進的計算基盤シンポジウム SACSIS2004LNCS 3365, Springer-Verlagp.147 - 1482004年05月-

上田和紀，加藤紀夫

コンピュータソフトウェア21(2)p.44 - 602004年03月-

加藤紀夫, 上田和紀

第6回プログラミングおよびプログラミング言語ワークショップ (PPL2004)p.217 - 2222004年03月-

圷弘明, 加藤紀夫, 上田和紀

第6回プログラミングおよびプログラミング言語ワークショップ (PPL2004)p.211 - 2162004年03月-

水野謙，永田貴彦，加藤紀夫，上田和紀

情報処理学会第66回全国大会p.5G - 22004年03月-

中村好一，石井大輔，大野太郎，若槻総一郎，上田和紀

情報処理学会第66回全国大会p.1J - 12004年03月-

石井大輔，中村好一，大野太郎，若槻聡一郎，上田和紀

情報処理学会第66回全国大会p.1J - 22004年03月-

網代育大，上田和紀

人工知能学会（発表題目「反復深化Ａ＊探索によるもっともらしいプログラムの効率的生成」）2003年04月-

Kazunori Ueda

Panel at Nineteenth Int. Conf. on Logic Programming (ICLP'03)http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/ newsletter/nav/short.html2003年12月-

Kazunori Ueda and Norio Kato

Proc. Nineteenth Int. Conf. on Logic Programming (ICLP'03)LNCS 2916, Springer-Verlagp.517 - 5182003年12月-

矢島伸吾, 永田貴彦, 加藤紀夫, 上田和紀

日本ソフトウェア科学会第20回大会論文集p.21 - 252003年09月-

加藤紀夫, 上田和紀

日本ソフトウェア科学会第20回大会論文集p.16 - 202003年09月-

稲垣良一，上田和紀

先進的計算基盤システムシンポジウム SACSIS2003p.171 - 1722004年05月-

金木佑介，加藤紀夫，上田和紀

第6回プログラミングおよび応用のシステムに関するワークショップ (SPA2003)http://spa.jssst.or.jp/2003/program/2003年03月-

上田和紀

2003年01月-

上田和紀

人工知能学会誌18(1)p.102 - 1022003年01月-

Kazunori Ueda and Norio Kato

Proc. 3rd Asian Workshop on Programming Languages and Systems (APLAS 2002)p.115 - 1262002年11月-

上田和紀

情報処理学会 2002年度 夏のプログラミングシンポジウムhttp://www.ipsj.or.jp/prosym/sprosym/program/LMNtal-prosym.pdf2002年09月-

上田和紀，加藤紀夫

日本ソフトウェア科学会第19回大会論文集p.3A - 12002年09月-

加藤紀夫, 上田和紀

日本ソフトウェア科学会第19回大会論文集p.5F - 22002年09月-

高山啓, 松村量, 高木祐介, 加藤紀夫, 上田和紀

日本ソフトウェア科学会第19回大会論文集p.5F - 12002年09月-

Norio Kato and Kazunori Ueda

Proc. 6th World Multiconference on Systemics, Cybernetics and Informatics (SCI 2002)11p.329 - 3362002年07月-

網代育大，上田和紀

人工知能学会全国大会（第17回）論文集p.1E3 - 022002年06月-

Kazunori Ueda

Computational Logic: Logic Programming and Beyond (Essays in Honour of Robert A. Kowalski, Part I), A.C. Kakas, F. Sadri (Eds.), Springer-VerlagLNCS2407p.138 - 1612002年-

上田和紀

情報処理43(7)p.792 - 7922002年07月-

Yasuhiro Ajiro and Kazunori Ueda

Automated Software Engineering9(1)p.67 - 942002年01月-

Proc. Second Asian Workshop on Programming Languages and Systems, KAIST, Daejeon, Koreapp.313-3282001年12月-

Proc. Second Asian Workshop on Programming Languages and Systemspp.237-2502001年12月-

Proc. 17th Int. Conf. on Logic Programming, Philippe Codognet (ed.), Springer-VerlagLNCS 2237, p.92001年11月-

人工知能学会誌／人工知能学会16;62001年11月-

Proc. Fourth Int. Symp. on Theoretical Aspects of Computer Software, Kobayashi, N. and Pierce, B. (Eds.), Springer-VerlagLNCS 2215, pp.95-1262001年10月-

情報処理学会第36回プログラミング研究会2001年10月-

日本ソフトウェア科学会2001年09月-

日本ソフトウェア科学会第18回大会講演論文集／日本ソフトウェア科学会2001年09月-

日本ソフトウェア科学会第18回大会講演論文集／日本ソフトウェア科学会2001年09月-

日本ソフトウェア科学会第18回大会講演論文集／日本ソフトウェア科学会2001年09月-

並列処理シンポジウム (JSPP2001) 論文集，情報処理学会pp.123-1242001年06月-

日本ソフトウェア科学会2001年05月-

情報処理学会論文誌：プログラミング42;SIG 3(PRO 10), pp.1-132001年03月-

第4回プログラミングおよび応用のシステムに関するワークショップ (SPA2001)，日本ソフトウェア科学会2001年03月-

第3回プログラミングおよびプログラミング言語ワークショップ (PPL2001)，日本ソフトウェア科学会pp.2-132001年03月-

Lecture Notes in Computer Science 2024, Springer-Verlag2001年03月-

bit/共立出版33;2, pp.48-542001年02月-

コンピュータソフトウェア18;0, pp.122-1372001年01月-

人工知能学会誌16;1, pp.169-1702001年01月-

Proc. Fourth International Workshop on Automated Debugging (AADEBUG 2000)http://www.irisa.fr/lande/ducasse/ aadebug2000/proceedings.html2000年09月-

情報処理41;92000年09月-

2000年度人工知能学会全国大会（第14回）論文集pp.449-4522000年07月-

Proc. International Workshop on Parallel and Distributed Computing for Symbolic and Irregular Applications, Ito, T. and Yuasa, T. (eds.), World Scientificpp.253-2702000年05月-

情報処理学会論文誌：プログラミング41;SIG 2(PRO 6), pp.13-282000年03月-

情報処理学会第60回全国大会記念セッション・イベント報告集pp.127-1302000年03月-

情報処理学会第60回全国大会講演論文集(1)2H-01, pp.13-142000年03月-

情報処理学会第60回全国大会講演論文集(1)2V-05, pp.281-2822000年03月-

情報処理学会第60回全国大会講演論文集(1)2V-06, pp.283-2842000年03月-

情報処理学会第60回全国大会講演論文集(1)1ZB-05, pp.313-3142000年03月-

第３回システムおよびプログラミングの応用に関するワークショップ　(SPA2000)2000年03月-

日本ソフトウェア科学会2000年01月-

Proc. International Workshop on Optimization and Implementation of Declarative Programs (WOID'99), abstract also in Electronic Notes in Theoretical Computer Science 30(2)http://www.dsse.ecs.soton.ac.uk/ techreports/1999年11月-

コンピュータソフトウェア16;5, pp.78-831999年09月-

第２回インターネットテクノロジワークショップ (WIT'99) 論文集pp.163-1701999年08月-

International Workshop on Parallel and Distributed Computing for Symbolic and Irregular Applications　(PDSIA'99)1999年07月-

並列処理シンポジウム(JSPP'99)論文集p.2081999年06月-

並列処理シンポジウム(JSPP'99)論文集p.2071999年06月-

The Logic Programming Paradigm: A 25-Year Perspective, K. R. Apt, V. W. Marek, M. Truszczynski, and D. S. Warren (eds.), Springer-Verlagpp.53-711999年04月-

第2回プログラミングおよび応用のシステムに関するワークショップ(SPA'99)／日本ソフトウェア科学会http://www.softlab.is.tsukuba.ac.jp/ spa99proc/1999年03月-

情報処理学会第58回全国大会講演論文集／情報処理学会4T-061999年03月-

情報処理学会第58回全国大会講演論文集／情報処理学会4T-071999年03月-

情報処理学会第58回全国大会講演論文集／情報処理学会3K-021999年03月-

情報処理学会第58回全国大会講演論文集／情報処理学会4N-021999年03月-

情報処理学会論文誌：プログラミング／情報処理学会40;SIG1(PRO2),p.601999年02月-

Proc. Fourth Int. Conf. on Principles and Practice of Constraint Programming (CP'98)／Springer-VerlagLNCS 1520,pp.40-541998年10月-

Proc. 11th Int. Conf. on Applications of Prolog／Prolog Association of Japanpp.27-331998年09月-

日本ソフトウェア科学会第15回大会論文集／日本ソフトウェア科学会pp.173-1761998年09月-

bit別冊「はじめての並列プログラミング」／共立出版p.1001998年05月-

bit/共立出版30;4, pp.56-641998年04月-

情報処理学会第56回全国大会論文集1998年03月-

情報処理学会第56回全国大会論文集1998年03月-

コンピュータソフトウェア15;1,pp.54-581998年01月-

Lecture Notes in Computer Science / Springer-Verlag13451997年12月-

日本ソフトウェア科学会第14回大会論文集pp.533-5361997年10月-

Dagstuhl Seminar (9741) on Concurrent Constraint Programming: The Next Ten Years, Schloss Dagstuhl, Germany1997年10月-

人工知能学会全国大会論文集pp.205-2081997年06月-

情報処理学会1997年06月-

情報処理学会論文誌38;6,pp.1235-12431997年06月-

Dagstuhl Seminar (9704) on High-Level Concurrent Languages (Schloss Dagstuhl, Germany)1997年01月-

Proc. 1996 Joint Conference and Symposium on Logic Programming (Michael Maher (Ed.))／The MIT Press1996年09月-

日本ソフトウェア科学会大会論文集／日本ソフトウェア科学会1996年09月-

情報処理学会研究報告／情報処理学会96;80 (96-ARC-119)1996年08月-

1996年並列処理シンポジウム論文集／情報処理学会1996年06月-

人工知能学会全国大会論文集／人工知能学会1996年06月-

Proc. International Workshop on Parallel Symbolic Languages and Systems (T. Ito, R. H. Halstead, C. Queinnec (Eds.)), Lecture Notes in Computer Science 1068／Springer-Verlag1996年04月-

情報処理学会研究報告/情報処理学会96;23 (93-ARC-117)1996年03月-

bit/共立出版28;11996年01月-

インタラクティブ・システムとソフトウェアIII（田中二郎編）/近代科学社1995年11月-

International Workshop on Parallel Symbolic Languages andSystems (PSLS'95, Beaune, France)1995年10月-

Twelfth International Conference on Logic Programming (ICLP'95, Kanagawa, Japan)1995年06月-

Theory and Practice of Parallel Programming (Ito, T. and Yonezawa, A., eds.), Lecture Notes in Computer Science 907/Springer-Verlag1995年05月-

計測自動制御学会論文集5/4,486-4911979年-

共立出版/,87-1261981年-

情報処理学会論文誌24/6,745-7531983年-

Proc. Int. Conf. on Fifth Generation Computer Systems 1984, ICOT, Tokyo317-3261984年-

Proc. Int. Conf. on Fifth Generation Computer Systems 1984, ICOT, Tokyo327-3321984年-

Proc. Int. Conf. on Fifth Generation Computer Systems ICOT, Tokyo613-6221984年-

Proc. 1985 Symp. on Logic Programming, IEEE Computger Society119-1261985年-

D.Eng. Thesis, University of Tokyo1986年-

Logic Programming '85, Wada, E. (ed. ), Lecture Notes in Computer Science 221, Springer-Verlag, Berlin168-1791986年-

Proc. Third Int. Conf. on Logic Programming, Shapiro, E. (ed. ), Lecture notes in Computer Science 225, Springer-Verlag270-2821986年-

1986 Proc. Fall Joint Computer Conferences, IEEE Computer Society948-9541986年-

情報処理27/9,995-10041986年-

Proc. Fourth Int. Conf. on Logic Programming, The MIT Press, Cambridge, Mass.356-3751987年-

New Generation Computing5/1,29-441987年-

共立出版/,33-66,93-115,217-2701987年-

通信工業27/3,10-161987年-

bit19/12,4-141987年-

人工知能学会誌3/1,1191988年-

bit20/10,83-981988年-

Proc. Int. Conf. on Fifth Generation Computer Systems 1988, ICOT, Tokyo582-5911988年-

Proc. Int. Conf. on Fifth Generation Computer Systems 1988, ICOT165-1661988年-

Proc. Eighth Conf. on Foundations of Software Technology and Theoretical Computer Science, Nori, K. V. and Kumar, S. (eds.). Springer-VerlagLecture Notes in Computer Science 338. 364-3761988年-

ICOT Journal, Institute for New Generation Computer Techmology, Tokyo2-421989年-

Information Processing 89, Ritter, G. X. (ed. ), North-Holland957-9641989年-

人工知能学会誌4/3,258-2641989年-

コンピュータソフトウェア6/3,76-871989年-

The Computer Journal33/6,494-5001990年-

Proc. Seventh Int. Conf. on Logic Programing, The MIT Press3月17日1990年-

Proceedings of an International Conference organized by the IPSJ to Commemorate the 30th Anniversary (Into-Japan'90), Information Processing Society of Japan87-941990年-

共立出版/,1-341990年-

情報処理学会論文誌32/3,296-3031991年-

Proc. Int. Conf. on Fifth Generation Computer Systems 1992, ICOT (ed. ), Ohm-sha and IOS Press, Tokyo799-8081992年-

岩波書店1992年-

情報処理33/3,272-2891992年-

Commun. ACM36/3,65-761993年-

New Generation Computing11/3-4,323-3411993年-

情報処理34/7,845-8471993年-

ICOTジャーナル34/,40-681993年-

早稲田大学理工学部紀要57,1-161994年-

New Generation Computing13/1,3-431994年-

Proc. FGCS'94 Workshop on Parallel Logic Programming, ICOT, Tokyo27-351994年-

Proc. Int. Workshop on Theory and Practice of Parallel Programming (TPPP'94), Ito, T. and Yonezawa, A. (eds.), Springer-VerlagLecture Notes in Computer Science 907, 356-3681995年-

In Proc. International Workshop on Parallel Symbolic Languages and Systems (PSLS'95), Ito, T., Halstead R.H.Jr. and Queinnec C. (eds.), Springer-VerlagLecture Notes in Computer Science 1068, 134-1531996年-

Logic Programming: Proceedings of the 1996 Joint International Conference and Symposium, Michael Maher (ed.),The MIT Press215-2291996年-

Springer-VerlagLecture Notes in Computer Science 13451997年-

情報処理学会論文誌38/6,1235-12441997年-

Proc. 11th Int. Conf. on Applications of Prolog/Prolog Association of Japan27-331998年-

Proc. Fourth Int. Conf. on Principles and Practice of Constraint Programming (CP'98), Springer-VerlagLecture Notes in Computer Science 1520, 40-541998年-

コンピュータソフトウェア15/1,54-581998年-

日本ソフトウェア科学会第15回大会論文集/日本ソフトウェア科学会/,173-1761998年-

Electronic Notes in Theoretical Computer Science30;21999年-

第2回プログラミングおよび応用のシステムに関するワークショップ(SPA'99)/日本ソフトウェア科学会1999年-

情報処理学会論文誌:プログラミング/情報処理学会40/SIG1(PRO2),601999年-

情報処理学会第58回全国大会講演論文集/情報処理学会4T-061999年-

情報処理学会第58回全国大会講演論文集/情報処理学会4T-071999年-

情報処理学会第58回全国大会講演論文集/情報処理学会3K-021999年-

情報処理学会第58回全国大会講演論文集/情報処理学会4N-021999年-

第2回インターネットテクノロジワークショップ(WIT'99)論文集/日本ソフトウェア科学会/,163-1701999年-

コンピュータソフトウェア16;5/,78-831999年-

Proc. Fourth International Workshop on Automated Debugging(AADEBUG 2000)2000年-

情報処理学会論文誌 : プログラミング41;SIG 2(PRO 6)/,13-282000年-

情報処理学会第60回全国大会記念セッション・イベント報告集/,127-1302000年-

情報処理学会第60回全国大会講演論文集(1)/,2H-01,13-142000年-

情報処理学会第60回全国大会講演論文集(1)/,2V-05,281-2822000年-

情報処理学会第60回全国大会講演論文集(1)/,2V-06,283-2842000年-

情報処理学会第60回全国大会講演論文集(1)/,1ZB-05,313-3142000年-

第3回システムおよびプログラミングの応用に関するワークショップ(SPA2000)2000年-

Springer-VerlagLecture Notes in Computer Science 20242001年-

コンピュータソフトウェア18;0/,122-1372001年-

情報処理学会論文誌 : プログラミング42;SIG 3(PRO 10)/,1-132001年-

第4回プログラミングおよび応用のシステムに関するワークショップ(SPA2001)/日本ソフトウェア科学会2001年-

日本ソフトウェア科学会第18回大会講演論文集2001年-

日本ソフトウェア科学会第18回大会講演論文集2001年-

日本ソフトウェア科学会第18回大会講演論文集2001年-

日本ソフトウェア科学会2001年-

Proc. Fourth Int. Symp. on Theoretical Aspects of Computer Software, Kobayashi, N. and Pierce, B. (Eds.), Springer-VerlagLNCS 2215, pp.95-1262001年-

Proc. 17th Int. Conf. on Logic Programming, Philippe Codognet (ed.), Springer-VerlagLNCS 2237, p.92001年-

Proc. Second Asian Workshop on Programming Languages and Systemspp.313-3282001年-

Proc. Second Asian Workshop on Programming Languages and Systemspp.237-2502001年-

Automated Software Engineering9;1, pp.67-942002年-

Computational Logic: Logic Programming and Beyond (Essays in Honour of Robert A. Kowalski, Part I), A.C. Kakas, F. Sadri (Eds.), Springer-VerlagLNCS2407, pp.138-1612002年-

Proc. 6th World Multiconference on Systemics, Cybernetics and Informatics (SCI 2002)Vol.11, pp.329-3362002年-

Proc. 3rd Asian Workshop on Programming Languages and Systems (APLAS 2002)pp.115-1262002年-

日本ソフトウェア科学会第19回大会論文集2002年-

日本ソフトウェア科学会第19回大会論文集2002年-

日本ソフトウェア科学会第19回大会論文集2002年-

人工知能学会全国大会（第17回）論文集1E3-022002年-

Proc. 19th Int. Conf. on Logic Programming (ICLP'03), LNCS 2916, Springer-Verlag517-5182003年-

第6回プログラミングおよび応用のシステムに関するワークショップ (SPA2003)、日本ソフトウェア科学会2003年-

日本ソフトウェア科学会第20回大会論文集16-202003年-

日本ソフトウェア科学会第20回大会論文集21-252003年-

D.Eng. Thesis, University of Tokyo1986年-

/84,6-131986年-

New Generation Computing,5/1,29-441987年-

The MIT Press, Cambridge, Mass. ,/,140-1561987年-

ICOT Journal, Institute for New Generation Computer Techmology, Tokyo/23,2-421989年-

The Computer Journal33/6,494-5001990年-

The MIT Press, Cambridge, Mass, U. S. A.1991年-

Commun. ACM36/3,65-761993年-

New Generation Computing11/3-4,323-3411993年-

/57,1-161994年-

New Generation Computing13/1,3-431994年-

Proc. 11th Int. Conf. on Applications of Prolog/Prolog Association of Japan/,27-331998年-

Proc. Fourth Int. Conf. on Principles and Practice of Constraint Programming (CP'98)/Springer-Verlag1520/,40-541998年-

Electronic Notes in Theoretical Computer Science30;21999年-

Proc. Fourth International Workshop on Automated Debugging(AADEBUG 2000)2000年-

人工知能学会編

共立出版2005年 12月-

Programming of Future Generation Computers, Nivat, M. and Fuchi, K. (eds. ), North-Holland, Amsterdam1988年-

ロジックプログラミングコンファレンス'89,ICOT,東京1989年-

The MIT Press1991年-

Guy E. Blelloch, K. Mani Chandy and Suresh Jagannathan (eds. ), Specification of Parallel Algorithms, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Vol. 18, American Mathematical Society1994年-

田中二郎編:「インタラクティブ・システムとソフトウェアIII 」近代科学社1995年-

1996年並列処理シンポジウム論文集、情報処理学会1996年-

情報処理学会1997年-

The Logic Programming Paradigm : A 25-Year Perspective, Springer-Verlag1999年-

並列処理シンポジウム(JSPP'99)論文集情報処理学会1999年-

並列処理シンポジウム(JSPP'99)論文集情報処理学会1999年-

Proc. International Workshop on Parallel and Distributed Computing for Symbolic and Irregular Applications, World Scientific2000年-

2000年度人工知能学会全国大会(第14回)論文集2000年-

第3回プログラミングおよびプログラミング言語ワークショップ(PPL2001)/日本ソフトウェア科学会2001年-

Proc. Int. Conf. on Fifth Generation Computer Systems 1984, ICOT, Tokyo1984年-

Proc. Int. Conf. on Fifth Generation Computer Systems 1984, ICOT, Tokyo1984年-

Proc. Int. Conf. on Fifth Generation Computer Systems ICOT, Tokyo1984年-

Proc. 1985 Symp. on Logic Programming, IEEE Computger Society1985年-

Logic Programming '85, Wada, E. (ed. ), Lecture Notes in Computer Science 221, Springer-Verlag, Berlin, 1986,1986年-

Proc. Third Int. Conf. on Logic Programming, Shapiro, E. (ed. ), Lecture notes in Computer Science 225, Springer-Verlag1986年-

1986 Proc. Fall Joint Computer Conferences, IEEE Computer Society,1986年-

Proc. Fourth Int. Conf. on Logic Programming, The MIT Press, Cambridge, Mass. ,1987年-

Programming of Future Generation Computers, Nivat, M. and Fuchi, K. (eds. ), North-Holland, Amsterdam1988年-

Proc. Int. Conf. on Fifth Generation Computer Systems 1988, ICOT1988年-

Proc. Int. Conf. on Fifth Generation Computer Systems 1988, ICOT, Tokyo1988年-

Proc. Eighth Conf. on Foundations of Software Technology and Theoretical Computer Science, Nori, K. V. and Kumar, S. (eds. ), Lecture Notes in Computer Science 338, Springer-Verlag, Berlin1988年-

Information Processing 89, Ritter, G. X. (ed. ), North-Holland1989年-

Proc. Seventh Int. Conf. on Logic Programing, The MIT Press, Cambridge, Mass, U. S. A.1990年-

Proceedings of an International Conference organized by the IPSJ to Commemorate the 30th Anniversary (Into-Japan'90), Information Processing Society of Japan1990年-

Proc. Int. Conf. on Fifth Generation Computer Systems 1992, ICOT (ed. ), Ohm-sha and IOS Press, Tokyo,1992年-

Guy E. Blelloch, K. Mani Chandy and Suresh Jagannathan (eds. ), Specification of Parallel Algorithms, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Vol. 18, American Mathematical Society1994年-

Proc. FGCS'94 Workshop on Parallel Logic Programming, ICOT, Tokyo1994年-

Theory and Practice of Parallel Programming, Lecture Notes in Computer Science 907, Springer-Verlag, Berlin1995年-

Paralled Symbolic Lauguages and Systems,Lecture Notes in Computer Science 1068,Springer-Verlag1996年-

Logic Programming:Proceedings of the 1996 Joint International Conference and Symposium,Michael Maher (ed.),The MIT Press1996年-

Lecture Notes in Computer Science, Springer-Verlag1997年-

The Logic Programming Paradigm : A 25-Year Perspective, Springer-Verlag1999年-

Proc. International Workshop on Parallel and Distributed Computing for Symbolic and Irregular Applications, World Scientific2000年-

Lecture Notes in Computer Science 2024 Springer-Verlag2001年-

PPL20082008年03月

2000年09月-2001年02月

機関： シンガポール国立大学（シンガポール）