上田和紀

Ueda Kazunori

所属機関・部署：
職名：教授
ホームページURL (1件)： http://www.ueda.info.waseda.ac.jp/~ueda/index-j.html

研究分野 (2件)：情報学基礎論 , ソフトウェア

研究キーワード (4件)：論理・制約プログラミング , ハイブリッドシステム , 並行並列計算 , プログラミング言語の設計と実装

競争的資金等の研究課題 (19件)：

全件表示

論文 (259件)：

MISC (25件)：

松本翔太, 上田和紀. パラメタを含むハイブリッドシステムに対するアフィン演算を用いた記号シミュレーション. 日本ソフトウェア科学会大会論文集. 2016. 33. 321-331
石井大輔, 上田和紀. SAT技術の進化と応用〜パズルからプログラム検証まで〜:7. SMTソルバーによるプログラム検証. 情報処理. 2016. 57. 8. 734-737
松本翔太, 上田和紀. ハイブリッドシステムのシミュレーションにおける精度保証数値計算と数式処理との連携 (ソフトウェアサイエンス). 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報. 2016. 115. 420. 93-98
和田努, 松本翔太, 上田和紀. ハイブリッド制約言語HydLa処理系における数式処理と区間計算を組み合わせたシミュレーション実行. 人工知能学会全国大会論文集. 2015. 29. 1-4
吉田健人, 小沼賢, 上田和紀. Hash Compactionを利用したグラフ書換え系モデル検査の大規模化とその評価 (ディペンダブルコンピューティング). 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報. 2014. 114. 156. 9-16

書籍 (13件)：

AI事典第3版
近代科学社 2019
人工知能学大事典
共立出版 2017
Programming Languages and Systems 8th Asian Symposium, APLAS 2010
Lecture Notes in Computer Science 6461, Springer-Verlag 2010
人工知能学事典
共立出版 2005
Functional and Logic Programming-5th International Symposium on Functional and Logic Programming, FLOPS 2001
Lecture Notes in Computer Science 2024, Springer-Verlag 2001

講演・口頭発表等 (16件)：

言語をつくる
(日本ソフトウェア科学会第35回大会 (August 29-31, 2018, 大阪大学) 2018)
Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project
(Thirteenth International Symposium on Functional and Logic Programming (FLOPS 2016, March 4-6, 2016, Kochi, Japan) 2016)
Hierarchical graph rewriting as a unifying model and language of concurrency
(LIX Colloquium on Emerging Trends in Concurrency Theory (November 2006, Ecole Polytechnique de Paris, France) 2006)
LMNtal: a unifying declarative language
(Third Workshop on Constraint Handling Rules (CHR 2006, July 2006, Venice, Italy) 2006)
Constraint-Based Concurrency and Beyond
(Algebraic Process Calculi: The First Twenty Five Years and Beyond (August 1-5, 2005, Bertinoro, Italy) 2005)

Works (2件)：

学歴 (2件)：

学位 (2件)：

経歴 (12件)：

全件表示

委員歴 (15件)：

2013/04 - 2017/12 New Generation Computing (Ohmsha and Springer) Associate Editor-In-Chief
2011 - 2014 Asian Association for Foundations of Software (AAFS) Co-Chair
2001/11 - 2013/03 New Generation Computing (Ohmsha and Springer) Area Editor (Programming and Architecture分野)
2010 - Eighth Asian Symposium on Programming Languages and Systems (APLAS 2010, Shanghai, China, November-December 2010) プログラム委員長
2004/04 - 2008/03 コンピュータソフトウェア(日本ソフトウェア科学会機関誌) 編集委員長

全件表示

受賞 (12件)：

全件表示

所属学会 (5件)：

IEEE Computer Society , Association for Computing Machinary , 人工知能学会 , 情報処理学会 , 日本ソフトウェア科学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

上田 和紀