上田和紀 (Kazunori Ueda) - マイポータル

基本情報

所属: 早稲田大学理工学術院基幹理工学部教授

学位: 工学博士(1986年東京大学)
Doctor of Engineering

研究者番号: 10257206
J-GLOBAL ID: 200901023161066131
researchmap会員ID: 1000169702

外部リンク: http://www.ueda.info.waseda.ac.jp/~ueda/index-j.html

研究キーワード

研究分野

経歴

2010年 - 現在

エジプト日本科学技術大学客員教授
2007年 - 現在

早稲田大学理工学術院情報理工学科教授
2006年 - 2016年

国立情報学研究所客員教授
2011年 - 2012年

東京大学理学部非常勤講師
2003年 - 2007年

早稲田大学理工学部コンピュータ・ネットワーク工学科教授
1997年 - 2003年

早稲田大学理工学部情報学科教授
2000年 - 2001年

シンガポール国立大学計算機科学科客員研究員
1994年 - 2000年

東京大学理学部非常勤講師
1993年 - 1997年

早稲田大学理工学部情報学科助教授
1994年 - 1995年

茨城大学工学部非常勤講師
1983年 - 1993年

日本電気株式会社C&Cシステム研究所
1985年 - 1992年

日本電気株式会社より財団法人新世代コンピュータ技術開発機構に出向

学歴

- 1983年

東京大学, 工学系研究科, 情報工学専門課程
- 1978年

東京大学, 工学部, 計数工学科

主要な委員歴

2013年4月 - 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年3月

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年4月 - 2008年3月

コンピュータソフトウェア（日本ソフトウェア科学会機関誌）, 編集委員長
2001年1月 - 2004年12月

Theory and Practice of Logic Programming (Cambridge University Press), Area Editor (Design and Analysis of Languages and Systems分野)
2000年4月 - 2002年3月

人工知能学会, 理事
2001年

Fifth International Symposium on Functional and Logic Programming (FLOPS 2001, Tokyo, March 7-9, 2001), プログラム委員長 (Herbert Kuchen 氏と共同)
1998年4月 - 2000年3月

情報処理学会論文誌：プログラミング, 編集委員長
1992年10月 - 1999年11月

Journal of Logic Programming (North-Holland), Area Editor (Design and Analysis of Languages and Systems分野)
1997年

並列処理シンポジウム'97 (神戸), プログラム委員長
1997年

Asian Computing Science Conference (ASIAN'97、Kathmandu, Nepal, December 9-12, 1997), プログラム委員長（R.K. Shyamasunder氏と共同）
1991年

International Logic Programming Symposium (ILPS'91, San Diego, U.S.A.), プログラム委員長 (Vijay Saraswat 氏と共同)

もっとみる

主要な受賞

もっとみる

論文

259

Constraint-Based Modeling and Symbolic Simulation of Hybrid Systems with HydLa and HyLaGI.

Yunosuke Yamada, Masashi Sato, Kazunori Ueda

Cyber Physical Systems. Model-Based Design. CyPhy 2019, WESE 2019. Lecture Notes in Computer Science 11971 153-178 2020年2月査読有り
Smart SE: Smart Systems and Services Innovative Professional Education Program

Hironori Washizaki, Kenji Tei, Kazunori Ueda, Hayato Yamana, Yoshiaki Fukazawa, Shinichi Honiden, Shoichi Okazaki, Nobukazu Yoshioka, Naoshi Uchihira

2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC) 1113-1114 2020年査読有り
Declarative Semantics of the Hybrid Constraint Language HydLa.

Kazunori Ueda, Hiroshi Hosobe, Daisuke Ishii

CoRR abs/1910.12272 2019年査読有り
Introducing Symmetry to Graph Rewriting Systems with Process Abstraction

Taichi Tomioka, Yutaro Tsunekawa, Kazunori Ueda

Graph Transformation. ICGT 2019. Lecture Notes in Computer Science 11629 3-20 2019年査読有り
Generation of Efficient Obfuscated Code through Just-in-Time Compilation.

Muhammad Hataba, Ahmed El-Mahdy, Kazunori Ueda

IEICE Trans. Inf. Syst. 102-D(3) 645-649 2019年査読有り
Logic/Constraint Programming and Concurrency: The hard-won lessons of the Fifth Generation Computer project.

Kazunori Ueda

Sci. Comput. Program. 164 3-17 2018年査読有り筆頭著者
Implementation of LMNtal Model Checkers: a Metaprogramming Approach.

Yutaro Tsunekawa, Taichi Tomioka, Kazunori Ueda

J. Object Technol. 17(1) 1-28 2018年査読有り
Name Binding is Easy with Hypergraphs.

Alimujiang Yasen, Kazunori Ueda

IEICE Trans. Inf. Syst. 101-D(4) 1126-1140 2018年査読有り
Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection.

Kenichi Betsuno, Shota Matsumoto, Kazunori Ueda

Cyber Physical Systems. Design, Modeling, and Evaluation. CyPhy 2016. Lecture Notes in Computer Science 10107 17-30 2017年1月査読有り
Unification of Hypergraph \lambda -Terms.

Alimujiang Yasen, Kazunori Ueda

Topics in Theoretical Computer Science. TTCS 2017. Lecture Notes in Computer Science 10608 106-124 2017年査読有り
MEC: Network Optimized Multi-stage Erasure Coding for Scalable Storage Systems.

Hiroaki Akutsu, Takahiro Yamamoto, Kazunori Ueda, Hideo Saito

2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC) 292-300 2017年査読有り
Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic

Shota Matsumoto, Kazunori Ueda

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) 4-11 2016年10月査読有り
Implementation of LMNtal Model Checkers: a Metaprogramming Approach.

Yutaro Tsunekawa, Taichi Tomioka, Kazunori Ueda

First Workshop on Meta-Programming Techniques and Reflection (META'16), Amsterdam 2016年10月査読有り
グラフ書換え系のための効率的なグラフ正規化手法

宮原和大, 上田和紀

コンピュータソフトウェア 33(1) 1_126-1_149 2016年
グラフ書換え系のための効率的なグラフ正規化手法

宮原和大, 上田和紀

コンピュータソフトウェア 33(1) 126-149 2016年1月査読有り
Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project

Kazunori Ueda

Proc. 13th International Symposium on Functional and Logic Programming (FLOPS 2016) 1-11 2016年招待有り
Reliability and Failure Impact Analysis of Distributed Storage Systems with Dynamic Refuging

Hiroaki AKUTSU, Kazunori UEDA, Takeru CHIBA, Tomohiro KAWAGUCHI, Norio SHIMOZONO

IEICE Transactions on Information and Systems E99.D(9) 2259-2268 2016年査読有り
HyLaGI: Symbolic Implementation of a Hybrid Constraint Language HydLa

Shota Matsumoto, Fumihiko Kono, Teruya Kobayashi, Kazunori Ueda

Electronic Notes in Theoretical Computer Science 317 109-115 2015年11月査読有り
Reliability Analysis of Highly Redundant Distributed Storage Systems with Dynamic Refuging

Hiroaki Akutsu, Kazunori Ueda, Takeru Chiba, Tomohiro Kawaguchi, Norio Shimozono

2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing 261-268 2015年3月査読有り
非線形ハイブリッドシステムの可到達集合の精度保証

石井大輔, 上田和紀

計測と制御 53(12) 1086-1092 2014年12月査読有り

もっとみる

主要なMISC

SAT技術の進化と応用〜パズルからプログラム検証まで〜：7. SMTソルバーによるプログラム検証

石井大輔, 上田和紀

情報処理 57(8) 734-737 2016年7月招待有り
特集『論理と推論技術の展開』の編集にあたって

上田和紀, 新田克己, 細部博史

コンピュータソフトウェア 25(3) 1-1 2008年7月

もっとみる

書籍等出版物

AI事典第3版

(担当:分担執筆, 範囲:1.2「第五世代コンピュータ」(pp.4-5))

近代科学社 2019年12月
人工知能学大事典

(担当:分担執筆, 範囲:5-12「論理プログラミング」(pp.243-244))

共立出版 2017年7月
Programming Languages and Systems 8th Asian Symposium, APLAS 2010

Kazunori Ueda (ed.)

Lecture Notes in Computer Science 6461, Springer-Verlag 2010年
人工知能学事典

人工知能学会編

共立出版 2005年12月
Functional and Logic Programming-5th International Symposium on Functional and Logic Programming, FLOPS 2001

Herbert Kuchen and Kazunori Ueda (eds.)

Lecture Notes in Computer Science 2024, Springer-Verlag 2001年
Advances in Computing Science: ASIAN '97

R.K. Shyamasunder and Kazunori Ueda (eds.)

Lecture Notes in Computer Science 1345, Springer-Verlag 1997年
並列処理シンポジウムJSPP'97論文集

情報処理学会 1997年
楽しいプログラミング：記号の世界

中島秀之, 上田和紀

岩波書店 1992年
Logic Programming : Proceedings of the 1991 International Symposium

Vijay Saraswat and Kazunori Ueda (eds.)

The MIT Press 1991年
続・新しいプログラミング・パラダイム

井田哲雄, 田中二郎編, 上田和紀他共著 (担当:共著, 範囲:第1章 "並行プログラミングとGHC" (pp.1-34))

1990年11月
知的コンピュータシステム事典

(担当:分担執筆, 範囲:2.1.4(1) 「Concurrencyと並列性」)

産業調査会事典出版センター 1989年8月
並列論理型言語GHCとその応用

淵一博監修, 古川康一, 溝口文雄共編, 古川康一, 竹内彰一, 上田和紀, 他, 名共著 (担当:共著, 範囲:第3章 "GHCの基本" (pp.33-66)，第5章 "GHCによる全解探索" (pp.93-115)，付録 "GHCのProlog上の処理系" (pp.217-270))

1987年9月
プログラム言語 Ada: 基準文法書解説

上田和紀 (担当:共著, 範囲:pp.87-128)

bit 臨時増刊，共立出版 1981年10月

主要な講演・口頭発表等

言語をつくる

日本ソフトウェア科学会第35回大会 (August 29-31, 2018, 大阪大学) 2018年8月招待有り
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年3月招待有り
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年11月招待有り
LMNtal: a unifying declarative language

Third Workshop on Constraint Handling Rules (CHR 2006, July 2006, Venice, Italy) 2006年7月招待有り
Constraint-Based Concurrency and Beyond

Algebraic Process Calculi: The First Twenty Five Years and Beyond (August 1-5, 2005, Bertinoro, Italy) 2005年招待有り
LMNtal: a language model with links and membranes

Fifth Workshop on Membrane Computing (WMC5, June 2004, Milano, Italy) 2004年6月招待有り
Resource-Passing Concurrent Programming (advanced tutorial)

Seventeenth International Conference on Logic Programming (ICLP'01, Novermber-December 2001, Paphos, Cyprus) 2001年11月招待有り
Resource-Passing Concurrent Programming

Fourth International Symposium on Theoretical Aspects of Computer Software (TACS 2001, October 2001, Sendai, Japan) 2001年10月招待有り
Strong Moding in Concurrent Logic/Constraint Programming (advanced tutorial)

Twelfth International Conference on Logic Programming (ICLP'95, June 1995, Kanagawa, Japan) 1995年6月招待有り
Designing a Concurrent Programming Language

International Conference organized by the IPSJ to Commemorate the 30th Anniversary (InfoJapan'90, October 1990, Tokyo, Japan) 1990年10月招待有り
Paralleism in Logic Programming

IFIP 11th World Computer Congress 1989年8月招待有り
Theory and Practice of Concurrent Systems (panel)

Ehud Shapiro, William J. Dally, Geoffrey C. Fox, Carl Hewitt, Robin Milner, Kazunori Ueda, David H.D. Warren

International Conference on Fifth Generation Computer Systems 1988 (FGCS'88, November 1988, Tokyo, Japan) 1988年11月招待有り
Concurrent Logic Programming Languages (tutorial)

Fourth International Conference on Logic Programming (ICLP'87, May 1987, Melborne, Australia) 1987年招待有り
Guarded Horn Clauses

Workshop on Foundations of Logic and Functional Programming (December 1986, Trento, Italy) 1986年12月招待有り

もっとみる

所属学協会

Works(作品等)

制約概念に基づくハイブリッドシステムモデリング言語HydLa

2010年 - 現在コンピュータソフト
LMNtal: モデル検査機能と可視化環境を備えた階層グラフ書換え言語処理系

2002年 - 現在コンピュータソフト

共同研究・競争的資金等の研究課題

先進的プログラム構築方法論に支えられた高機能な3D印刷造形技術の開拓

科学研究費挑戦的研究（萌芽） 2018年6月 - 2021年3月
プログラミング言語技術との融合による高水準モデリング言語の進化と展開

科学研究費基盤研究（Ｂ） 2018年4月 - 2021年3月
実数と時間の概念を備えた汎用高水準プログラミング言語

科学研究費挑戦的萌芽研究 2015年4月 - 2018年3月
検証系を備えた高水準モデリング言語処理系の実装技術の深化

科学研究費基盤研究（Ｂ） 2014年4月 - 2017年3月
検証技術と非標準型体系を用いたモデル検査器コンパイラの進化的発展

科学研究費挑戦的萌芽研究 2012年4月 - 2015年3月
高性能検証系を統合した高水準モデリング言語処理系の構築

科学研究費基盤研究（Ｂ） 2011年4月 - 2014年3月
制約最適化問題のSAT変換による解法とその並列分散処理に関する研究

日本学術振興会科学研究費基盤研究（Ａ）基盤研究(A) 2008年 - 2012年

田村直之, 番原睦則, 平山勝敏, 井上克巳, 岩沼宏治, 鍋島英知, 山本泰生, 横尾真, 長谷川隆三, 藤田博, 越村三幸, 上田和紀
高水準ハイブリッド制約モデリング言語とその高信頼実装

日本学術振興会科学研究費基盤研究（Ｂ）基盤研究(B) 2008年 - 2011年

上田和紀, 石井大輔, 細部博史
情報爆発に対応する高度にスケーラブルなソフトウェア構成基盤

日本学術振興会科学研究費特定領域研究特定領域研究 2006年 - 2011年

近山隆, 湯淺太一, 上田和紀, 田浦健次朗, 遠藤敏夫, 横山大作, 馬谷誠二, 田浦健次朗, 遠藤敏夫, 横山大作
計算機科学における離散と連続に関する調査と新しい展開

科学研究費基盤研究（Ｃ） 2006年 - 2007年
構造的分子計算理論-自律的計算系の解析と設計のための基礎理論

科学研究費特定領域研究 2006年 - 2007年
スケーラブル統合プログラミング言語モデルLMNtalの実用化

日本学術振興会科学研究費基盤研究（Ｂ）基盤研究(B) 2004年 - 2007年

上田和紀, 加藤紀夫
構造的分子計算理論-自律的計算系の解析と設計のための基礎理論

科学研究費特定領域研究 2002年 - 2006年
計算連続体に基づくソフトウェア実現法

日本学術振興会科学研究費特定領域研究特定領域研究 2001年 - 2006年

湯淺太一, 近山隆, 上田和紀, 森眞一郎, 八杉昌宏, 小宮常康, 五島正裕
並行論理プログラミングに基づく広域分散計算パラダイムの構築

日本学術振興会科学研究費基盤研究（Ｃ）基盤研究(C) 1999年 - 2002年

上田和紀
発展可能ソフトウェアの構築方法論の研究

日本学術振興会科学研究費重点領域研究重点領域研究 1997年 - 2000年

宮本衛市, 玉井哲雄, 上田和紀, 荒木啓二郎, 富樫敦, 二木厚吉
広域情報の実時間アクセスのためのアーキテクチャとソフトウェア

並列・分散処理研究推進機構 1997年 - 2000年
並行論理プログラミングにおける静的モード体系の応用的側面に関する研究

日本学術振興会科学研究費基盤研究（C）基盤研究(C) 1995年 - 1998年

上田和紀
統合並列処理に関する研究

IPA（情報処理振興事業協会）創造的ソフトウェア育成事業 1996年 - 1997年

上田和紀

基本情報

研究キーワード

研究分野

経歴

学歴

主要な委員歴

主要な受賞

論文

主要なMISC

書籍等出版物

主要な講演・口頭発表等

所属学協会

Works(作品等)

共同研究・競争的資金等の研究課題

メニュー

共著者の一覧