Concurrent Post
-
Faculty of Science and Engineering Graduate School of Fundamental Science and Engineering
Details of a Researcher
Updated on 2023/02/06
Faculty of Science and Engineering Graduate School of Fundamental Science and Engineering
Waseda Research Institute for Science and Engineering Concurrent Researcher
University of Tokyo Graduate School, Division of Engineering
University of Tokyo Faculty of Engineering
1986 東京大学 工学博士
Doctor of Engineering
エジプト日本科学技術大学客員教授
Waseda University Faculty of Science and Engineering
National Institute of Informatics
東京大学理学部 非常勤講師
Waseda University School of Science and Engineering
Waseda University School of Science and Engineering
シンガポール国立大学計算機科学科 客員研究員
The University of Tokyo Faculty of Science
Waseda University School of Science and Engineering
Ibaraki University
NEC Corporation
日本電気株式会社より財団法人新世代コンピュータ技術開発機構に出向
IEEE Computer Society
Association for Computing Machinary
人工知能学会
情報処理学会
日本ソフトウェア科学会
Software
Theory of informatics
logic and constraint programming
Hybrid Systems
Concurrency and Parallelism
Design and Implementation of Programming Languages
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.02 [Refereed]
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
44th IEEE Annual Computers, Software, and Applications Conference(COMPSAC) 1113 - 1114 2020 [Refereed]
Declarative Semantics of the Hybrid Constraint Language HydLa.
Kazunori Ueda, Hiroshi Hosobe, Daisuke Ishii
CoRR abs/1910.12272 2019 [Refereed]
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 [Refereed]
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 [Refereed]
Kazunori Ueda
Sci. Comput. Program. 164 3 - 17 2018 [Refereed]
Authorship:Lead author
Implementation of LMNtal Model Checkers: a Metaprogramming Approach.
Yutaro Tsunekawa, Taichi Tomioka, Kazunori Ueda
J. Object Technol. 17 ( 1 ) 1 - 28 2018 [Refereed]
Name Binding is Easy with Hypergraphs.
Alimujiang Yasen, Kazunori Ueda
IEICE Trans. Inf. Syst. 101-D ( 4 ) 1126 - 1140 2018 [Refereed]
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.01 [Refereed]
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 [Refereed]
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 [Refereed]
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 [Refereed]
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 [Refereed]
Optimized Canonical Labeling Algorithm for Graph Rewriting Systems
MIYAHARA Kazuhiro, UEDA Kazunori
Computer Software 33 ( 1 ) 1_126 - 1_149 2016
グラフ書換え系のための効率的なグラフ正規化手法
宮原 和大, 上田 和紀
コンピュータソフトウェア 33 ( 1 ) 126 - 149 2016.01 [Refereed]
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 [Refereed]
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.03 [Refereed]
Validated Interval Computation of Reachable Sets of Nonlinear Hybrid Systems
ISHII Daisuke, UEDA Kazunori
Journal of The Society of Instrument and Control Engineers 53 ( 12 ) 1086 - 1092 2014.12 [Refereed]
Towards a Substrate Framework of Computation
Kazunori Ueda
Concurrent Objects and Beyond, Lecture Notes in Computer Science 8665 341 - 366 2014 [Refereed] [Invited]
Authorship:Lead author
Reduction of the Number of States and the Acceleration of LMNtal Parallel Model Checking
Ryo YASUDA, Taketo YOSHIDA, Kazunori UEDA
Transactions of the Japanese Society for Artificial Intelligence 29 ( 1 ) 182 - 187 2014.01 [Refereed]
ハイブリッド制約言語HydLaの記号実行シミュレータHyrose 松本 翔太, 上田 和紀
松本 翔太, 上田 和紀
コンピュータソフトウェア 30 ( 4 ) 18 - 35 2013.11 [Refereed]
ハイブリッド制約言語プログラムのハイブリッドオートマトンへの変換アルゴリズム
竹口輝, 和田亮, 松本翔太, 細部博史, 上田和紀
日本ソフトウェア科学会第29回大会論文集 ( 2A-3 ) 1 - 10 2012.08
HydLa: A High-Level Language for Hybrid Systems (short paper)
Kazunori Ueda, Shota Matsumoto, Akira Takeguchi, Hiroshi Hosobe, Daisuke Ishii
Proceedings of the 2nd Workshop on Logics for System Analysis (LfSA2012) at CAV2012 3 - 17 2012.07 [Refereed]
HyperLMNtal: An Extension of a Hierarchical Graph Rewriting Model
Kazunori Ueda, Seiji Ogawa
KI - Künstliche Intelligenz 26 ( 1 ) 27 - 36 2012.02 [Refereed]
LMNtal実行時処理系の並列モデル検査器への発展
後町 将人, 堀 泰祐, 上田 和紀
コンピュータ ソフトウェア 28 ( 4 ) 137 - 157 2011.11 [Refereed]
An Interval-Based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems
Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe
International Journal on Software Tools for Technology Transfer 13 ( 5 ) 449 - 461 2011.10 [Refereed]
ハイブリッドシステムモデリング言語HydLaの実装
松本翔太, 櫻庭翔, 高田賢士郎, 細部博史, 上田和紀
日本ソフトウェア科学会第28回大会論文集 ( 6.00E-04 ) 1 - 11 2011.09
An Execution Algorithm for the Hybrid System Modeling Language HydLa
28 ( 3 ) 167 - 172 2011.07 [Refereed]
ハイブリッドシステムモデリング言語HydLaの数式処理実行系
高田賢士郎, 渋谷俊, 細部博史, 上田和紀
情報処理学会第73回全国大会講演論文集 247 - 248 2011.03
Speedup of OWCTY Model Checking Algorithm Using Strongly Connected Components
Toshiki KAWABATA, Fumiyoshi KOBAYASHI, Kazunori UEDA
Transactions of the Japanese Society for Artificial Intelligence 26 ( 2 ) 341 - 346 2011 [Refereed]
ハイブリッド制約言語HydLaの宣言的意味論(レター論文)
Kazunori Ueda, Hiroshi Hosobe, Daisuke Ishii
Computer Software 28 ( 1 ) 306 - 311 2011.01 [Refereed]
Authorship:Lead author
統合開発環境によるLMNtalモデル検査
綾野 貴之, 堀 泰祐, 岩澤 宏希, 小川 誠司, 上田 和紀
コンピュータソフトウェア 27 ( 4 ) 197 - 214 2010.11 [Refereed]
ハイブリッド制約言語HydLaの宣言的意味論
上田和紀, 細部博史, 石井大輔
日本ソフトウェア科学会第27回大会論文集 ( 4A-3 ) 1 - 6 2010.09
ハイブリッドシステムモデリング言語HydLa処理系における実行アルゴリズム
渋谷俊, 高田賢士郎, 上田和紀, 細部博史
日本ソフトウェア科学会第27回大会論文集 ( 1B-2 ) 1 - 6 2010.09
ハイブリッドシステムモデリング言語HydLa処理系の実行アルゴリズムの検討
渋谷俊, 高田賢士郎, 上田和紀, 細部博史
第8回ディペンダブルシステムワークショップ(DSW2010)論文集 ( 8月2日 ) 1 - 4 2010.07
ハイブリッドシステムモデリング言語HydLaの区間制約に基づく全解シミュレーション実行処理系
大谷順司, 廣瀬賢一, 石井大輔, 細部博史, 上田和紀
情報処理学会創立50周年記念(第72回)全国大会論文集 145 - 146 2010.03
An Interval-based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems
Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe
Proceedings of the Workshop on Verified Software: Theory, Tools, and Experiments (VSTTE2009) ( 4 ) 1 - 9 2009.11 [Refereed]
Interval-based Solving of Hybrid Constraint Systems
Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe, Alexandre Goldsztejn
Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS2009) 144 - 149 2009.09 [Refereed]
制約階層によるハイブリッドシステムのモデリング手法
廣瀬賢一, 大谷順司, 石井大輔, 細部博史, 上田和紀
日本ソフトウェア科学会第26回大会論文集 ( 2D-2 ) 1 - 10 2009.09
Simulation of Hybrid Systems based on Hierarchical Interval Constraints (poster)
Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe
Proceedings of the 2nd International Conference on Simulation Tools and Techniques (SIMUTools2009) ( 37 ) 1 - 2 2009.03 [Refereed]
c-sat: A Parallel SAT Solver for Clusters
Kei Ohmura, Kazunori Ueda
Theory and Applications of Satisfiability Testing - SAT 2009, Lecture Notes in Computer Science 5584 524 - 537 2009 [Refereed]
Kazunori Ueda, Takayuki Ayano, Taisuke Hori, Hiroki Iwasawa, Seiji Ogawa
Theoretical Aspects of Computing - ICTAC 2009, Lecture Notes in Compter Science 5684 349 - 355 2009 [Refereed]
微分制約論理式によるハイブリッドシステムのモデリングと検証
石井大輔, 上田和紀, 細部博史
電子情報通信学会コンカレント工学研究会(CST), 信学技報 108 ( 415 ) 67 - 70 2009.01
制約概念に基づくハイブリッドシステムモデリング言語HydLa
上田和紀, 石井大輔, 細部博史
第5回システム検証の科学技術シンポジウム(SSV2008)予稿集 1 - 6 2008.11
ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法
石井大輔, 上田和紀, 細部博史
情報処理学会論文誌:数理モデル化と応用 1 ( 1 ) 149 - 159 2008.09 [Refereed]
区間演算を用いたODE Solverにおける任意精度演算の導入とパラメタ最適化
廣瀬 賢一, 石井 大輔, 上田 和紀
情報科学技術フォーラム講演論文集 7 ( 1 ) 75 - 78 2008.08
論理・制約プログラミングと並行計算
上田 和紀
コンピュータソフトウェア 25 ( 3 ) 49 - 54 2008.08 [Refereed]
Authorship:Lead author
ハイブリッドシステムの高信頼シミュレーションへの区間ニュートン法の適用
石井大輔, 上田和紀, 細部博史
第6回ディペンダブルシステムワークショップ(DSW2008)論文集 101 - 104 2008.07
階層グラフ書換え言語LMNtalの処理系
村山 敬, 工藤 晋太郎, 櫻井 健, 水野 謙, 加藤 紀夫, 上田 和紀
コンピュータソフトウェア 25 ( 2 ) 47 - 77 2008.05 [Refereed]
ハイブリッドシステムの高信頼性シミュレーションのための区間に基づく制約伝播手法
石井大輔, 上田和紀, 細部博史
情報処理学会研究報告:数理モデル化と問題解決(MPS) 68 133 - 136 2008.03
数式処理・quantifier eliminationを用いたハイブリッドシステムのZeno状態の導出手法
大野 善之, 石井 大輔, 上田 和紀
人工知能学会全国大会論文集 1D1-3 2008
階層グラフ書換えモデルに基づく統合プログラミング言語LMNtal
乾敦行, 工藤晋太郎, 原耕司, 水野謙, 加藤紀夫, 上田和紀
コンピュータソフトウェア 25 ( 1 ) 124 - 150 2008.01 [Refereed]
ハイブリッド並行制約プログラミングにおける分岐を含む軌道の区間包囲の求解手法
石井大輔, 上田和紀, 細部博史
日本ソフトウェア科学会第24回大会論文集 ( 6C-1 ) 1 - 6 2007.09
A Branching Approach to the Interval-based Evaluation of Ask Constraints in Hybrid CCP
Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe
Proc. CP 2007 Doctoral Programme, the 13th Int. Conf. on Principles and Practice of Constraint Programming (CP2007) 49 - 54 2007.09
モデル検査器SPINにおける状態空間の性質の調査
渋谷健介, 上田和紀
第5回ディペンダブルシステムワークショップ(DSW2007)論文集 9 - 12 2007.07
数式処理に基づくハイブリッドシステムにおけるZenonessの判定手法
大野善之, 石井大輔, 上田和紀
第5回ディペンダブルシステムワークショップ論文集 53 - 56 2007.07
An Interval-based Approximation Method for Discrete Changes in Hybrid cc
Daisuke Ishii, Kazunori Ueda, Hroshi Hosobe
Trends in Constraint Programming 245 - 255 2007.05 [Refereed]
階層グラフ可視化ツール"UNYO-UNYO"(うにょうにょ)の設計と実装
中野敦, 上田和紀
第9回プログラミングおよびプログラミング言語ワークショップ (PPL2007) 2007.03
純粋λ計算の階層グラフ書換えへのエンコーディング
上田和紀
第9回プログラミングおよびプログラミング言語ワークショップ (PPL2007) 221 - 232 2007.03
Hierarchical graph rewriting as a unifying model of concurrency
Kazunori Ueda
LIX Colloquium on Emerging Trends in Concurrency Theory 2006.11 [Invited]
後継関数を持つリスト型非線形再帰プログラムに対する再帰除去法
市川祐輔, 上田和紀
情報科学技術レターズ 6 9 - 12 2006.09 [Refereed]
分散プロセス計算のLMNtalへのエンコーディング
上田和紀
日本ソフトウェア科学会第23回大会論文集 1A - 4 2006.09
Hybrid cc における区間計算に基づいた離散変化処理方式
石井大輔, 上田和紀, 細部博史
日本ソフトウェア科学会第23回大会論文集 1A - 1 2006.09
An Interval-based Approximation Method for Discrete Changes in Hybrid cc
Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe
Third International Workshop on Interval Analysis, Constraint Propagation and Applications (IntCP'06) 38 - 51 2006.09 [Refereed]
Constraint-Based Concurrency and Beyond
Kazunori Ueda
Electronic Notes in Theoretical Computer Science 162 327 - 331 2006.09
LMNtal as a Unifying Declarative Language
Kazunori Ueda, Norio Kato, Koji Hara, Ken Mizuno
Third Workshop on Constraint Handling Rules (CHR 2006) 1 - 15 2006.07 [Invited]
Logic Programming and Concurrency: a Personal Perspective
Kazunori Ueda
The ALP NewsLetter 19 ( 2 ) 2006.05 [Invited]
アセンブリプログラムの構造を利用したキャッシュヒント自動付加
稲垣良一, 上田和紀
先進的計算基盤システムシンポジウム (SACSIS2006) 59 - 66 2006.05
階層グラフ書き換え言語LMNtal処理系とその応用例
乾敦行, 原耕司, 水野謙, 上田和紀
第8回プログラミングおよびプログラミング言語ワークショップ (PPL2006) 119 - 133 2006.03
非決定的LMNtalとその検証への応用
水野謙, 上田和紀
第8回プログラミングおよびプログラミング言語ワークショップ (PPL2006) 2006.03
OCamlによるLMNtal実行時処理系 OCaMNtalの実装
工藤晋太郎, 乾敦行, 櫻井健, 上田和紀
第8回プログラミングおよびプログラミング言語ワークショップ (PPL2006) 2006.03
LMNtal as a unifying declarative language: Live demonstration
Kazunori Ueda, Norio Kato, Koji Hara, Ken Mizuno
LOGIC PROGRAMMING, PROCEEDINGS 4079 457 - 458 2006 [Refereed]
LMNtalコンパイラにおける並び替えとグループ化を用いた命令列の最適化
櫻井健, 加藤紀夫, 水野謙, 上田和紀
第4回情報科学技術フォーラム (FIT2005) A-014 ( 第一分冊 ) 33 - 36 2005.09
JP ドメインにおける茶筌を用いた中国語ページの抽出
魏小比, 内藤一兵衛, 上田和紀
第4回情報科学技術フォーラム (FIT2005) ( 第二分冊 ) 179 - 182 2005.09
数式処理システムMathematica上における再帰除去システム
市川祐輔, 二村良彦, 上田和紀
第4回情報科学技術フォーラム (FIT2005) A-022 ( 第一分冊 ) 53 - 54 2005.09
キャッシュヒント自動付加を用いたソフトウェア高速化
稲垣良一, 上田和紀
第4回情報科学技術フォーラム (FIT2005) B-030 ( 第一分冊 ) 161 - 162 2005.09
LMNtal処理系におけるグラフ構造の複製・破棄および比較機能の設計と実装
工藤晋太郎, 上田和紀, 加藤紀夫
情報科学技術レターズ LA-003 9 - 12 2005.09 [Refereed]
階層グラフ書換え言語LMNtal処理系における非同期実行の実現
水野謙, 加藤紀夫, 原耕司, 上田和紀
日本ソフトウエア科学会第22回大会講演論文集 3A - 4 2005.09
Constraint-Based Concurrency and Beyond
Kazunori Ueda
Proc. Workshop on Algebraic Process Calculi, The First Twenty Years 227 - 230 2005.08 [Invited]
確率モデル遺伝的アルゴリズムEHBSAにおける戦略、パラメータの調査
酒井大輔, 上田和紀
人工知能学会全国大会(第19回)論文集 2F1 - 02 2005.06
Itanium2プロセッサにおけるキャッシュヒント自動付加手法
稲垣良一, 上田和紀
先進的計算基盤シンポジウム SACSIS2005 218 - 219 2005.05
21世紀COEプロジェクト「プロダクティブICTアカデミア」
上田和紀, 大石進一, 甲藤二郎, 中島達夫, 村岡洋一, 山名早人
情報処理 46 ( 4 ) 410 - 416 2005.04
並列論理型言語のコンパイル技法
上田和紀
情報処理学会第67回全国大会特別セッション(6) 2005.03
LMNtalを用いた分散処理の実現
中島求, 加藤紀夫, 水野謙, 上田和紀
第8回 プログラミングおよび応用のシステムに関するワークショップ (SPA2005) 2005.03
小規模制御系向けLMNtal処理系の設計と実装
矢島伸吾, 加藤紀夫, 上田和紀
第7回プログラミングおよびプログラミング言語ワークショップ (PPL2005) 41 - 41 2005.03
階層グラフ書き換えによるプロトコル検証
圷弘明, 加藤紀夫, 上田和紀
第7回プログラミングおよびプログラミング言語ワークショップ (PPL2005) 41 - 41 2005.03
プログラムと対称性
上田和紀
夏のプログラミングシンポジウム「アッと驚くプログラミング」報告集 69 - 74 2005.01
20世紀の名著名論 - C. A. R. Hoare: Communicating Sequential Processes
上田和紀
情報処理 46 ( 1 ) 66 - 66 2005.01
言語モデルLMNtalの操作的意味論の設計
加藤紀夫, 水野謙, 上田和紀
日本ソフトウェア科学会第21回大会論文集 153 - 163 2004.09
LMNtal分散処理系の設計と実装
中島求, 加藤紀夫, 水野謙, 上田和紀
日本ソフトウェア科学会第21回大会論文集 149 - 153 2004.09
LMNtal処理系および他言語インタフェースの設計と実装
原耕司, 水野謙, 矢島伸吾, 永田貴彦, 中島求, 加藤紀夫, 上田和紀
情報処理学会第50回プログラミング研究会 (SWoPP2004) 2004.07
SATソルバzchaffのMPIによる並列化
大橋智昭, 稲垣良一, 上田和紀
情報処理学会研究報告 2004-HPC99-5 (SWoPP2004) 25 - 30 2004.07
階層グラフ書換え言語における並行プロセスの型推論
加藤紀夫, 上田和紀
情報処理学会第50回プログラミング研究会 (SWoPP2004) 2004.07
SMPクラスタにおける効率的なMPI集団通信関数の実装
稲垣良一, 上田和紀
先進的計算基盤システムシンポジウム SACSIS2003 171 - 172 2004.05
SATソルバzchaffのMPIによる並列化
大橋智昭, 上田和紀
先進的計算基盤シンポジウム SACSIS2004 LNCS 3365, Springer-Verlag 147 - 148 2004.05
UEDA Kazunori, KATO Norio, Kazunori Ueda, Norio Kato, Dept. of Computer Science Waseda University:CREST Japan Science and Technology Corporation., Dept. of Computer Science Waseda University
Computer Software 21 ( 2 ) 126 - 142 2004.03
制約に基づくアニメーション作成環境 Grifon
石井大輔, 中村好一, 大野太郎, 若槻聡一郎, 上田和紀
情報処理学会第66回全国大会 1J - 2 2004.03
制約に基づくアニメーション作成環境 Grifon におけるデータ構造の階層化
中村好一, 石井大輔, 大野太郎, 若槻総一郎, 上田和紀
情報処理学会第66回全国大会 1J - 1 2004.03
LMNtalルールコンパイラにおける内部命令の設計
水野謙, 永田貴彦, 加藤紀夫, 上田和紀
情報処理学会第66回全国大会 5G - 2 2004.03
LMNtalにおけるルールセット不変性の検査
圷弘明, 加藤紀夫, 上田和紀
第6回プログラミングおよびプログラミング言語ワークショップ (PPL2004) 211 - 216 2004.03
並行言語モデルLMNtalにおけるプロセス構造の解析
加藤紀夫, 上田和紀
第6回プログラミングおよびプログラミング言語ワークショップ (PPL2004) 217 - 222 2004.03
LMNtal: A language model with links and membranes
K Ueda, N Kato
Proc. Fifth Int. Workshop on Membrane Computing (WMC 2004), Lecture Notes in Computer Science 3365 110 - 125 2004 [Refereed] [Invited]
The language model LMNtal
K Ueda, N Kato
Logic Programming. ICLP 2003. Lecture Notes in Computer Science 2916 517 - 518 2003.12 [Refereed]
Authorship:Lead author
Teaching (Constraint) Logic Programming
Kazunori Ueda
Panel at Nineteenth Int. Conf. on Logic Programming (ICLP'03) http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/ newsletter/nav/short.html 2003.12 [Invited]
LMNtalプロセスの振舞いの定式化
加藤紀夫, 上田和紀
日本ソフトウェア科学会第20回大会論文集 16-20 16 - 20 2003.09
人工知能学会2002年度全国大会ベストプレゼンテーション賞
網代育大, 上田和紀
人工知能学会 (発表題目「反復深化A*探索によるもっともらしいプログラムの効率的生成」) 2003.04
KLIC処理系におけるUNIXプロセス間通信を利用した例外処理の実装
金木佑介, 加藤紀夫, 上田和紀
第6回プログラミングおよび応用のシステムに関するワークショップ (SPA2003) http://spa.jssst.or.jp/2003/program/ 2003.03
LMNtalプロトタイプ処理系の設計と実装
日本ソフトウェア科学会第20回大会論文集 21-25 2003
LMNtalプロセスの振舞いの定式化
日本ソフトウェア科学会第20回大会論文集 16-20 2003
KLIC処理系におけるUNIXプロセス間通信を利用した例外処理の実装
第6回プログラミングおよび応用のシステムに関するワークショップ (SPA2003)、日本ソフトウェア科学会 2003
Programming with Logical Links: Design of the LMNtal language
Kazunori Ueda, Norio Kato
Proc. 3rd Asian Workshop on Programming Languages and Systems (APLAS 2002) pp.115-126 115 - 126 2002.11
分散言語処理系DKLIC の設計と実装
高山啓, 松村量, 高木祐介, 加藤紀夫, 上田和紀
日本ソフトウェア科学会第19回大会論文集 5F - 1 2002.09
モード制約の漸近的一様補強による並行論理プログラムのoccurs-check解析
加藤紀夫, 上田和紀
日本ソフトウェア科学会第19回大会論文集 5F - 2 2002.09
GHCからLMNtalへ
上田和紀
情報処理学会 2002年度 夏のプログラミングシンポジウム http://www.ipsj.or.jp/prosym/sprosym/program/LMNtal-prosym.pdf 2002.09
20世紀の名著名論 - J. A. Robinson: A Machine-Oriented Logic Based on the Resolution Principle
上田和紀
情報処理 43 ( 7 ) 792 - 792 2002.07
反復深化A*探索によるもっともらしいプログラムの効率的な生成
網代育大, 上田和紀
人工知能学会全国大会(第17回)論文集 1E3-02 1E3 - 02 2002.06
反復深化A*探索によるもっともらしいプログラムの効率的な生成
人工知能学会全国大会(第17回)論文集 1E3-02 2002
Programming with Logical Links
日本ソフトウェア科学会第19回大会論文集 2002
モード制約の漸近的一様補強による並行論理プログラムのoccurs-check解析
日本ソフトウェア科学会第19回大会論文集 2002
Programming with Logical Links: Design of the LMNtal language
Proc. 3rd Asian Workshop on Programming Languages and Systems (APLAS 2002) pp.115-126 2002
Sequentiality analysis for concurrent logic programs
N Kato, K Ueda
6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XI, PROCEEDINGS Vol.11, pp.329-336 329 - 336 2002
A pure meta-interpreter for flat GHC, a concurrent constraint language
K Ueda
COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I 2407 138 - 161 2002 [Refereed] [Invited]
Sequentiality analysis for concurrent logic programs
N Kato, K Ueda
6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XI, PROCEEDINGS Vol.11, pp.329-336 329 - 336 2002 [Refereed]
Programming with Logical Links
上田和紀, 加藤紀夫
日本ソフトウェア科学会第19回大会論文集 3A - 1 2002
Optimizing Compilation of Concurrent Logic Programs Directed by Interface Analysis
Proc. Second Asian Workshop on Programming Languages and Systems pp.237-250 2001.12
Optimizing Compilation of Concurrent Logic Programs Directed by Interface Analysis
Proc. Second Asian Workshop on Programming Languages and Systems pp.237-250 2001.12
Resource-Passing Concurrent Programming
Proc. Second Asian Workshop on Programming Languages and Systems, KAIST, Daejeon, Korea pp.313-328 2001.12
人工知能とソフトウェア文化
人工知能学会誌/人工知能学会 16;6 2001.11
インタフェースに基づく並行論理プログラム最適化コンパイラの構成法
情報処理学会第36回プログラミング研究会 2001.10
Resource-Passing Concurrent Programming
Proc. Fourth Int. Symp. on Theoretical Aspects of Computer Software, Kobayashi, N. and Pierce, B. (Eds.), Springer-Verlag LNCS 2215, pp.95-126 2001.10 [Refereed] [Invited]
日本ソフトウェア科学会第18回大会講演論文集
日本ソフトウェア科学会 2001.09
計算連続体に基づくソフトウェア実現法の提案
日本ソフトウェア科学会第18回大会講演論文集/日本ソフトウェア科学会 2001.09 [Refereed]
インタフェースに基づく並行論理プログラム最適化コンパイラの構成法
日本ソフトウェア科学会第18回大会講演論文集/日本ソフトウェア科学会 2001.09
制約の局所性に基づく並行論理プログラム自動修正系 Kima の最適化
日本ソフトウェア科学会第18回大会講演論文集/日本ソフトウェア科学会 2001.09
制約の局所性に基づく並行論理プログラム自動修正系 Kima の最適化
日本ソフトウェア科学会第18回大会講演論文集/日本ソフトウェア科学会 2001.09
インタフェースに基づく並行論理プログラム最適化コンパイラの構成法
日本ソフトウェア科学会第18回大会講演論文集/日本ソフトウェア科学会 2001.09
計算連続体に基づくソフトウェア実現法の提案
日本ソフトウェア科学会第18回大会講演論文集/日本ソフトウェア科学会 2001.09
日本ソフトウェア科学会第18回大会講演論文集
日本ソフトウェア科学会 2001.09
MPIによるGIMP並列化
並列処理シンポジウム (JSPP2001) 論文集,情報処理学会 pp.123-124 2001.06
日本ソフトウェア科学会第5回論文賞(論文題目“自己調整二分木の並列操作”)
日本ソフトウェア科学会 2001.05
dklic: KL1による分散KL1言語処理系の実装
第4回プログラミングおよび応用のシステムに関するワークショップ (SPA2001),日本ソフトウェア科学会 2001.03
並列KLIC処理系上での配列演算の最適化
情報処理学会論文誌:プログラミング 42;SIG 3(PRO 10), pp.1-13 2001.03 [Refereed]
並行論理プログラムにおける逐次実行部分の抽出方法論
第3回プログラミングおよびプログラミング言語ワークショップ (PPL2001),日本ソフトウェア科学会 pp.2-13 2001.03
dklic: KL1による分散KL1言語処理系の実装
第4回プログラミングおよび応用のシステムに関するワークショップ (SPA2001),日本ソフトウェア科学会 2001.03
並列KLIC処理系上での配列演算の最適化
情報処理学会論文誌:プログラミング 42;SIG 3(PRO 10), pp.1-13 2001.03
TECO
bit/共立出版 33;2, pp.48-54 2001.02
Resource-Passing Concurrent Programming
Proc. Second Asian Workshop on Programming Languages and Systems pp.313-328 2001
A Close Look at Constraint-Based Concurrency
Proc. 17th Int. Conf. on Logic Programming, Philippe Codognet (ed.), Springer-Verlag LNCS 2237, p.9 2001 [Invited]
Functional and Logic Programming-5th International Symposium on Functional and Logic Programming (FLOPS 2001)
Springer-Verlag Lecture Notes in Computer Science 2024 2001
シンガポール国立大学
人工知能学会誌 16;1, pp.169-170 2001.01
Crosoeは成功するか? - 私はCrusoeを使いたい
情報処理 41;9 2000.09
Kima -- an Automated Error Correction System for Concurrent Logic Programs
Proc. Fourth International Workshop on Automated Debugging (AADEBUG 2000) http://www.irisa.fr/lande/ducasse/ aadebug2000/proceedings.html 2000.09 [Refereed]
並行論理プログラムのプログラム空間に関する考察
2000年度人工知能学会全国大会(第14回)論文集 pp.449-452 2000.07
Linearity Analysis of Concurrent Logic Programs
K Ueda
Proc. International Workshop on Parallel and Distributed Computing for Symbolic and Irregular Applications, Ito, T. and Yuasa, T. (eds.), World Scientific pp.253-270 253 - 270 2000.05
第五世代核言語ができるまで
第3回システムおよびプログラミングの応用に関するワークショップ (SPA2000) 2000.03 [Invited]
共有オブジェクト空間を用いた分散プログラミング支援ミドルウェア SOR (Shared Object Repository) とその応用例の紹介
情報処理学会第60回全国大会講演論文集(1) 1ZB-05, pp.313-314 2000.03
並行論理プログラム自動修正系 kima における誤り検出率の向上とその効果
情報処理学会第60回全国大会講演論文集(1) 2V-06, pp.283-284 2000.03
並行論理プログラムの静的 Occur-checker の設計と実装
情報処理学会第60回全国大会講演論文集(1) 2V-05, pp.281-282 2000.03
Java 仮想機械上で動作する分散 KL1 言語処理系の実装
情報処理学会第60回全国大会講演論文集(1) 2H-01, pp.13-14 2000.03
存在価値のある研究会を目指して—プログラミング研究会の試み—
情報処理学会第60回全国大会記念セッション・イベント報告集 pp.127-130 2000.03
並行論理型言語における同期ポイントの移動の安全性について
情報処理学会論文誌:プログラミング 41 ( SIG 2(PRO 6) ) 13 - 28 2000.03 [Refereed]
共有オブジェクト空間を用いた分散プログラミング支援ミドルウェアSOR(Shared Object Repository)とその応用例の紹介
情報処理学会第60回全国大会講演論文集(1) /,1ZB-05,313-314 2000
並行論理プログラム自動修正系kimaにおける誤り検出率の向上とその効果
情報処理学会第60回全国大会講演論文集(1) /,2V-06,283-284 2000
並行論理プログラムの静的Occur-checkerの設計と実装
情報処理学会第60回全国大会講演論文集(1) /,2V-05,281-282 2000
Java仮想機械上で動作する分散KL1言語処理系の実装
情報処理学会第60回全国大会講演論文集(1) /,2H-01,13-14 2000
Linearity Analysis of Concurrent Logic Programs
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 ) 78 - 83 1999.09 [Refereed]
Authorship:Lead author
全文検索システムVernoのアーキテクチャの設計
第2回インターネットテクノロジワークショップ (WIT'99) 論文集 pp.163-170 1999.08
分散KL1言語処理系の設計と実装
並列処理シンポジウム(JSPP'99)論文集 p.207 1999.06
KLIC並列処理系における配列演算の最適化
並列処理シンポジウム(JSPP'99)論文集 p.208 1999.06
Concurrent Logic/Constraint Programming: The Next 10 Years
The Logic Programming Paradigm: A 25-Year Perspective, K. R. Apt, V. W. Marek, M. Truszczynski, and D. S. Warren (eds.), Springer-Verlag pp.53-71 1999.04 [Refereed] [Invited]
KLIC へのデータ並列処理機能の導入について
情報処理学会第58回全国大会講演論文集/情報処理学会 4N-02 1999.03
汎用並列組合せ最適化パッケージの構想
情報処理学会第58回全国大会講演論文集/情報処理学会 3K-02 1999.03
WWW全文検索システムVernoのアーキテクチャ
情報処理学会第58回全国大会講演論文集/情報処理学会 4T-07 1999.03
オブジェクト共有空間を利用した分散プログラミング支援フレームワークSOR
第2回プログラミングおよび応用のシステムに関するワークショップ(SPA'99)/日本ソフトウェア科学会 http://www.softlab.is.tsukuba.ac.jp/ spa99proc/ 1999.03
WWW全文検索システムVernoのアーキテクチャ
情報処理学会第58回全国大会講演論文集/情報処理学会 4T-07 1999.03 [Refereed]
WWW全文検索システムVernoのデータベース
情報処理学会第58回全国大会講演論文集/情報処理学会 4T-06 1999.03
並行論理プログラムの参照数解析
情報処理学会論文誌:プログラミング/情報処理学会 40;SIG1(PRO2),p.60 1999.02
Linearity Analysis of Concurrent Logic Programs
Electronic Notes in Theoretical Computer Science 30;2 1999
Authorship:Lead author
全文検索システムVernoのアーキテクチャの設計
第2回インターネットテクノロジワークショップ(WIT'99)論文集/日本ソフトウェア科学会 /,163-170 1999
WWW全文検索システムVernoのデータベース
情報処理学会第58回全国大会講演論文集/情報処理学会 4T-06 1999
KLICへのデータ並列処理機能の導入について
情報処理学会第58回全国大会講演論文集/情報処理学会 4N-02 1999
汎用並列組合せ最適化パッケージの構想
情報処理学会第58回全国大会講演論文集/情報処理学会 3K-02 1999
オブジェクト共有空間を利用した分散プログラミング支援フレームワークSOR
第2回プログラミングおよび応用のシステムに関するワークショップ(SPA'99)/日本ソフトウェア科学会 http://www.softlab.is.tsukuba.ac.jp/ spa99proc/ 1999
ハードウェアの進歩とソフトウェアの進歩
bit別冊「はじめての並列プログラミング」/共立出版 p.100 1998.05
Bookガイド - プログラミング言語編
bit/共立出版 30;4, pp.56-64 1998.04
分散型WWW全文収集ロボットIron33
情報処理学会第56回全国大会論文集 1998.03
学習型WWW全文検索エンジンVerno
情報処理学会第56回全国大会論文集 1998.03
自己調整二分木の並列操作
日本ソフトウェア科学会第15回大会論文集 173 - 176 1998
Authorship:Lead author
Error-correcting source code
Y Ajiro, K Ueda, K Cho
Principles and Practice of Constraint Programming - CP98, Lecture Notes in Computer Science 1520 40 - 54 1998 [Refereed]
静的解析と制約充足によるプログラム自動デバッグ
コンピュータソフトウェア 15 ( 1 ) 54 - 58 1998.01 [Refereed]
Optimizing KLIC Generic Objects by Static Analysis
Kazunori Ueda, Ryoji Tsuchiyama
Proc. 11th Int. Conf. on Applications of Prolog/Prolog Association of Japan 27 - 33 1998
Authorship:Lead author
Constraint-Based Automated Debugging
Dagstuhl Seminar (9741) on Concurrent Constraint Programming: The Next Ten Years, Schloss Dagstuhl, Germany 1997.10
静的解析と制約充足によるプログラム自動デバッグ
日本ソフトウェア科学会第14回大会論文集 pp.533-536 1997.10
見込み計算を用いたニュースリーダの応答性改善法
情報処理学会論文誌 38;6,pp.1235-1243 1997.06 [Refereed]
制約に基づく解析による並行論理プログラムの自動デバッグ
人工知能学会全国大会論文集 pp.205-208 1997.06
Diagnosis of Concurrent Logic Programs
Dagstuhl Seminar (9704) on High-Level Concurrent Languages (Schloss Dagstuhl, Germany) 1997.01
制約概念に基づくプログラム解析・診断・デバッグ-並行論理型言語への適用
日本ソフトウェア科学会大会論文集/日本ソフトウェア科学会 1996.09
Diagnosing Non-Well-Moded Concurrent Logic Programs
Proc. 1996 Joint Conference and Symposium on Logic Programming (Michael Maher (Ed.))/The MIT Press 215-229 1996.09 [Refereed]
並列計算機システムFOLON上へのPVMの移植と評価
情報処理学会研究報告/情報処理学会 96;80 (96-ARC-119) 1996.08
並行論理プログラムのモード解析手法を用いた静的診断
人工知能学会全国大会論文集/人工知能学会 1996.06
モード誤りをもつ並行論理プログラムの静的デバッグ手法
1996年並列処理シンポジウム論文集/情報処理学会 1996.06 [Refereed]
Experiences with Strong Moding in Concurrent Logic/Constraint Programming
K Ueda
Proc. International Workshop on Parallel Symbolic Languages and Systems (T. Ito, R. H. Halstead, C. Queinnec (Eds.)), Lecture Notes in Computer Science 1068/Springer-Verlag 1068 134 - 153 1996.04
並列計算機システムFOLONの通信ライブラリの設計と評価
情報処理学会研究報告/情報処理学会 96;23 (93-ARC-117) 1996.03
プログラムを書こう,プログラムを読もう
bit/共立出版 28;1 1996.01
見込み計算を用いたネットワークニュースリーダの応答性改善法
インタラクティブ・システムとソフトウェアIII(田中二郎編)/近代科学社 1995.11
Experiences with Strong Moding in Concurrent Logic/Constraint Programming
International Workshop on Parallel Symbolic Languages andSystems (PSLS'95, Beaune, France) 1995.10
Strong Moding in Concurrent Logic/Constraint Programming
Twelfth International Conference on Logic Programming (ICLP'95, Kanagawa, Japan) 1995.06 [Invited]
The Mode System of Moded Flat GHC
Kazunori Ueda
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 Society 259 - 274 1994
Moded Flat GHC and Its Message-Oriented Implementation Technique
Kazunori Ueda, Masao Morita
New Generation Computing 13 ( 1 ) 3 - 43 1994 [Refereed]
Authorship:Lead author
Design and Evolution of the Concurrent Programming Language GHC
早稲田大学理工学部紀要 57 1 - 16 1994 [Refereed] [Invited]
Moded Flat GHC for Data-Parallel Programming
Proc. FGCS'94 Workshop on Parallel Logic Programming, ICOT, Tokyo 27-35 1994 [Refereed]
Authorship:Lead author
Message-Oriented Parallel Implementation of Moded Flat GHC
K. Ueda, M. Morita
New Generation Computing 11 ( 3-4 ) 323 - 341 1993 [Refereed]
Authorship:Lead author
The Fifth Generation Project : Personal Perspectives
Commun. ACM 36/3,65-76 1993 [Refereed] [Invited]
第五世代コンピュータ技術の開花と結実に向けて
ICOTジャーナル 34/,40-68 1993
理論と実際のギャップ:並列プログラミング
情報処理 34/7,845-847 1993
理論は実践を導けるか,実践は理論を生かせるか?
情報処理 33/3,272-289 1992
Message-Oriented Parallel Implementation of Moded Flat GHC
K. Ueda, M. Morita
FIFTH GENERATION COMPUTER SYSTEMS 1992, VOLS 1 AND 2 799 - 808 1992 [Refereed]
Authorship:Lead author
Design of the Kernel Language for the Parallel Inference Machine
K. Ueda, T. Chikayama
Computer Journal 33 ( 6 ) 494 - 500 1990.12 [Refereed]
Designing a Concurrent Programming Language
Proceedings of an International Conference organized by the IPSJ to Commemorate the 30th Anniversary (Into-Japan'90), Information Processing Society of Japan 87-94 1990 [Invited]
A New Implementation Technique for Flat GHC
K. Ueda, M. Morita
Logic Programming: Proceedings of the Seventh International Conference 3 - 17 1990 [Refereed]
Authorship:Lead author
Theory and Practice of Concurrent Systems
ICOT Journal, Institute for New Generation Computer Techmology, Tokyo 2-42 1989
並列論理型言語GHCとそのプログラミング技術
人工知能学会誌 4/3,258-264 1989
Parallelism in Logic Programming
Kazunori Ueda
Information Processing 89, Ritter, G. X. (ed. ), North-Holland 957 - 964 1989 [Refereed] [Invited]
Authorship:Lead author
Theory and Practice of Concurrent Systems
ICOT Journal, Institute for New Generation Computer Techmology, Tokyo /23,2-42 1989
並列プログラミングとGHC
bit 20 ( 10 ) 83 - 98 1988.10
Guarded Horn Clauses: A Parallel Logic Programming Language with the Concept of a Guard
Kazunori Ueda
Programming of Future Generation Computers, Nivat, M. and Fuchi, K. (eds. ), North-Holland, Amsterdam 441 - 456 1988.08
GHC - A Language for a New Age of Parallel Programming
K. Furukawa, K. Ueda
Foundations of Software Technology and Theoretical Computer Science. FSTTCS 1988. Lecture Notes in Computer Science 338 364 - 376 1988 [Refereed] [Invited]
Theory and Practice of Concurrent Systems : The Role of Kernel Language in the FGCS Project
Proc. Int. Conf. on Fifth Generation Computer Systems 1988, ICOT 165-166 1988 [Invited]
Transformation Rules for GHC Programs
Kazunori Ueda, Koichi Furukawa
Proc. Int. Conf. on Fifth Generation Computer Systems 1988, ICOT, Tokyo 582-591 1988 [Refereed]
Guarded Horn Clauses(用語解説)
人工知能学会誌 3/1,119 1988
Concurrent Prolog : Collected Papers (Volume1)
The MIT Press, Cambridge, Mass. , /,140-156 1987
並列プログラミング言語GHCの設計思想
bit 19 ( 12 ) 4 - 14 1987
並列プログラミングへのアプローチ
上田 和紀
通信工業 27/3,10-16 1987
Making Exhaustive Search Programs Deterministic
K. Ueda
New Generation Computing 5 ( 1 ) 29 - 44 1987 [Refereed]
Making Exhaustive Search Programs Deterministic, Part II
Kazunori Ueda
Proc. Fourth Int. Conf. on Logic Programming, The MIT Press, Cambridge, Mass. 356-375 1987 [Refereed]
情報処理 27 ( 9 ) 995 - 1004 1986.09 [Invited] [Domestic journal]
Authorship:Lead author, Corresponding author
Introduction to Guarded Horn Clauses
Kazunori Ueda
NEC Research and Development 84 6 - 13 1986
Guarded Horn Clauses and Experiences with Parallel Logic Programming
Tanaka, Jiro, Ueda, Kazunori, Miyazaki, Toshihiko, Takeuchi, Akikazu, Matsumoto, Yuji, Furukawa, Koichi
1986 Proc. Fall Joint Computer Conferences, IEEE Computer Society 948-954 1986
Guarded Horn Clauses
Kazunori Ueda
D.Eng. Thesis, University of Tokyo 1986
Making Exhaustive Search Programs Deterministic
Kazunori Ueda
Third International Conference on Logic Programming. ICLP 1986. Lecture Notes in Computer Science 225 270 - 282 1986 [Refereed]
Authorship:Lead author
Concurrent Prolog Compiler on Top of Prolog
Proc. 1985 Symp. on Logic Programming, IEEE Computger Society 119-126 1985 [Refereed]
Mandala : A Logic Based Knowledge Programming System
Koichi Furukawa, Akikazu Takeuchi, Susumu Kunifuji, Hideki Yasukawa, Masaru Ohki, Kazunori Ueda
Proc. Int. Conf. on Fifth Generation Computer Systems ICOT, Tokyo 613 - 622 1984 [Refereed]
What Is a Variable in Prolog?
Nakashima, H, Tomura, S, Ueda, K
Proc. Int. Conf. on Fifth Generation Computer Systems 1984, ICOT, Tokyo 327 - 332 1984 [Refereed]
Efficient Stream/Array Processing in Logic Programming Languages
Kazunori Ueda, Takashi Chikayama
Proc. Int. Conf. on Fifth Generation Computer Systems 1984, ICOT, Tokyo 317 - 326 1984 [Refereed]
NAKASHIMA HIDEYUKI, UEDA KAZUNORI, TOMURA SATORU
情報処理学会論文誌 24 ( 6 ) 745 - 753 1983 [Refereed]
Binary Decision Treeによる多重分光画像の高速処理
計測自動制御学会論文集 5/4,486-491 1979 [Refereed]
AI事典 第3版
( Part: Contributor, 1.2「第五世代コンピュータ」(pp.4-5))
近代科学社 2019.12
人工知能学大事典
( Part: Contributor, 5-12「論理プログラミング」(pp.243-244))
共立出版 2017.07
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
Lecture Notes in Computer Science 2024, Springer-Verlag 2001
Advances in Computing Science: ASIAN '97
Lecture Notes in Computer Science 1345, Springer-Verlag 1997
並列処理シンポジウムJSPP'97論文集
情報処理学会 1997
楽しいプログラミング:記号の世界
中島秀之, 上田和紀
岩波書店 1992
Logic Programming : Proceedings of the 1991 International Symposium
The MIT Press 1991
続・新しいプログラミング・パラダイム
井田哲雄, 田中二郎編, 上田和紀他共著( Part: Joint author, 第1章 "並行プログラミングとGHC" (pp.1-34))
1990.11
知的コンピュータシステム事典
( Part: Contributor, 2.1.4(1) 「Concurrencyと並列性」)
産業調査会 事典出版センター 1989.08
並列論理型言語GHCとその応用
淵一博監修, 古川康一, 溝口文雄共編, 古川康一, 竹内彰一, 上田和紀, 他, 名共著( Part: Joint author, 第3章 "GHCの基本" (pp.33-66),第5章 "GHCによる全解探索" (pp.93-115),付録 "GHCのProlog上の処理系" (pp.217-270))
1987.09
プログラム言語 Ada: 基準文法書解説
上田 和紀( Part: Joint author, pp.87-128)
bit 臨時増刊,共立出版 1981.10
SAT Evolution and Applications:7. Program Verification Using SMT Solvers
石井 大輔, 上田 和紀
情報処理 57 ( 8 ) 734 - 737 2016.07 [Invited]
Article, review, commentary, editorial, etc. (scientific journal)
特集『論理と推論技術の展開』の編集にあたって
上田和紀, 新田克己, 細部博史
コンピュータソフトウェア 25 ( 3 ) 1 - 1 2008.07
Article, review, commentary, editorial, etc. (scientific journal)
Cooperation of Validated Numerics and Symbolic Formula Manipulation in Simulation of Hybrid Systems
115 ( 420 ) 93 - 98 2016.01
Evaluation of Large-scale Graph Rewriting Model Checking Using Hash Compaction
YOSHIDA Taketo, ONUMA Masaru, UEDA Kazunori
IEICE technical report. Dependable computing 114 ( 156 ) 9 - 16 2014.07
Parallel Methods for Constraint Solving and Combinatorial Optimization
Philippe Codognet, Kazunori Ueda, Hiroshi Hosobe
NII Shonan Meeting Report ( 12-May ) 2012.05
Article, review, commentary, editorial, etc. (international conference proceedings)
KOBAYASHI Fumiyoshi, UEDA Kazunori
71 23 - 24 2009.03
Franco-Japanese research collaboration on constraint programming
BENHAMOU Frederic, CEBERIO Martine, CODOGNET Philippe, HOSOBE Hiroshi, JERMANN Christophe, SATOH Ken, UEDA Kazunori
Progress in informatics : PI 3 59 - 65 2006.04
萩谷昌己,横森貴共編:DNAコンピュータ,培風館 (2001)
上田和紀
人工知能学会誌 18 ( 1 ) 102 - 102 2003.01
Authorship:Lead author
Book review, literature introduction, etc.
Concurrent Operations on Splay Trees
UEDA Kazunori, Kazunori Ueda, Dept.of Information and Computer Science Waseda University
16 ( 5 ) 478 - 483 1999.09
プログラミング言語の新潮流
井田哲雄, 稲垣康善, 上田和紀, 米澤明憲, 筧捷彦
コンピュータソフトウェア 6 ( 3 ) 76 - 87 1989.07
Article, review, commentary, editorial, etc. (scientific journal)
上田 和紀, Kazunori Ueda, (財)新世代コンピュータ技術開発機構
コンピュータソフトウェア = Computer software 4 ( 4 ) 387 - 390 1987.10
制約概念に基づくハイブリッドシステムモデリング言語HydLa
Software
LMNtal: モデル検査機能と可視化環境を備えた階層グラフ書換え言語処理系
Software
フェロー
2016 日本ソフトウェア科学会
フェロー
2015 情報処理学会
基礎研究賞
2011 日本ソフトウェア科学会
日本ソフトウェア科学会第5回論文賞
2001
日本ソフトウェア科学会第4回論文賞
2000
第7回日本IBM科学賞
1993
第3回元岡賞
1988
功労賞
2010 日本ソフトウェア科学会
人工知能学会2002年度全国大会ベストプレゼンテーション賞
2003
日本ソフトウェア科学会第19回高橋奨励賞
2002
情報処理学会第30回全国大会学術奨励賞
1985
日本ソフトウェア科学会第2回高橋奨励賞
1985
先進的プログラム構築方法論に支えられた高機能な3D印刷造形技術の開拓
科学研究費挑戦的研究(萌芽)
Project Year :
プログラミング言語技術との融合による高水準モデリング言語の進化と展開
科学研究費基盤研究(B)
Project Year :
General-purpose high-level language with the notion of real numbers and time
Project Year :
Deepening the implemenation technology of high-level modeling language implementations integrated with verifiers
Project Year :
Evolutionary development of a model checker compiler using verification technology and non-standard type systems
Project Year :
Implementations of high-level modeling languages that integrate high-performance verifiers
Project Year :
Study of SAT-based constraint optimization problem solving and its parallel distributed processing
Project Year :
High-level hybrid constraint modeling language and its reliable implementation
Project Year :
Highly Scalable Software Construction Basis for Information Explosion Era
Project Year :
計算機科学における離散と連続に関する調査と新しい展開
科学研究費基盤研究(C)
Project Year :
Putting Scalable and Unifying Programming Language Model LMNtal into Practical Use
Project Year :
構造的分子計算理論-自律的計算系の解析と設計のための基礎理論
科学研究費特定領域研究
Project Year :
Software Development based on Continuous Computing Resources
Project Year :
Wide-Area and Distributed Computation Paradigm Based on Concurrent Logic Programming
Project Year :
Research on Methodologies for Constructing Evolutionary Software
Project Year :
Architecture and Software for Real-time Access to Global Information
Project Year :
Applications of Strong Moding in Concurrent Logic Programming
Project Year :
Integrated Parallel Processing
Project Year :
言語をつくる
[Invited]
日本ソフトウェア科学会第35回大会 (August 29-31, 2018, 大阪大学)
Presentation date: 2018.08
Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project
[Invited]
Thirteenth International Symposium on Functional and Logic Programming (FLOPS 2016, March 4-6, 2016, Kochi, Japan)
Presentation date: 2016.03
Hierarchical graph rewriting as a unifying model and language of concurrency
[Invited]
LIX Colloquium on Emerging Trends in Concurrency Theory (November 2006, Ecole Polytechnique de Paris, France)
Presentation date: 2006.11
LMNtal: a unifying declarative language
[Invited]
Third Workshop on Constraint Handling Rules (CHR 2006, July 2006, Venice, Italy)
Presentation date: 2006.07
Constraint-Based Concurrency and Beyond
[Invited]
Algebraic Process Calculi: The First Twenty Five Years and Beyond (August 1-5, 2005, Bertinoro, Italy)
Presentation date: 2005
LMNtal: a language model with links and membranes
[Invited]
Fifth Workshop on Membrane Computing (WMC5, June 2004, Milano, Italy)
Presentation date: 2004.06
Resource-Passing Concurrent Programming (advanced tutorial)
[Invited]
Seventeenth International Conference on Logic Programming (ICLP'01, Novermber-December 2001, Paphos, Cyprus)
Presentation date: 2001.11
Resource-Passing Concurrent Programming
[Invited]
Fourth International Symposium on Theoretical Aspects of Computer Software (TACS 2001, October 2001, Sendai, Japan)
Presentation date: 2001.10
Strong Moding in Concurrent Logic/Constraint Programming (advanced tutorial)
[Invited]
Twelfth International Conference on Logic Programming (ICLP'95, June 1995, Kanagawa, Japan)
Presentation date: 1995.06
Designing a Concurrent Programming Language
[Invited]
International Conference organized by the IPSJ to Commemorate the 30th Anniversary (InfoJapan'90, October 1990, Tokyo, Japan)
Presentation date: 1990.10
Paralleism in Logic Programming
[Invited]
IFIP 11th World Computer Congress
Presentation date: 1989.08
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 [Invited]
International Conference on Fifth Generation Computer Systems 1988 (FGCS'88, November 1988, Tokyo, Japan)
Presentation date: 1988.11
Concurrent Logic Programming Languages (tutorial)
[Invited]
Fourth International Conference on Logic Programming (ICLP'87, May 1987, Melborne, Australia)
Presentation date: 1987
Guarded Horn Clauses
[Invited]
Workshop on Foundations of Logic and Functional Programming (December 1986, Trento, Italy)
Presentation date: 1986.12
Teaching (Constraint) Logic Programming
G. Gupta, M.V. Hermenegildo, U. Nillson, P. Stuckey, K. Ueda [Invited]
Ninteenth International Conference on Logic Programming (ICLP'03, December 2003, Mumbai, India)
Presentation date: 2003.12
The Future of Logic Programming (panel)
International Logic Programming Symposium (ILPS'91, San Diego, U.S.A.)
Presentation date: 1991.11
2007 石井 大輔
リンクつき階層多重集合に基づく統合プログラミング言語モデルLMNtal
2004 加藤 紀夫
並行制約プログラミングに基づく広域分散計算パラダイムの構築
シンガポール シンガポール国立大学
Computer Science and Engineering Laboratory C [S Grade]
School of Fundamental Science and Engineering
2022 fall semester
Computer Science and Engineering Laboratory C
School of Fundamental Science and Engineering
2022 fall semester
Communications and Computer Engineering Laboratory B [S Grade]
School of Fundamental Science and Engineering
2022 spring semester
Communications and Computer Engineering Laboratory B
School of Fundamental Science and Engineering
2022 spring semester
Communications and Computer Engineering Laboratory A [S Grade]
School of Fundamental Science and Engineering
2022 fall semester
Communications and Computer Engineering Laboratory A
School of Fundamental Science and Engineering
2022 fall semester
Bachelor Thesis B (Spring Semester)
School of Fundamental Science and Engineering
2022 spring semester
Bachelor Thesis B (Spring Semester)
School of Fundamental Science and Engineering
2022 spring semester
Computer Science and Engineering Laboratory
School of Fundamental Science and Engineering
2022 fall semester
Computer Science and Engineering Laboratory
School of Fundamental Science and Engineering
2022 fall semester
Communications and Computer Engineering Laboratory
School of Fundamental Science and Engineering
2022 fall semester
Graduation Thesis B (Spring) [S Grade]
School of Fundamental Science and Engineering
2022 spring semester
Computer Science and Communications Engineering Laboratory A
School of Fundamental Science and Engineering
2022 fall semester
Computer Science and Communications Engineering Laboratory A [S Grade]
School of Fundamental Science and Engineering
2022 fall semester
Computer Science and Communications Engineering Laboratory B
School of Fundamental Science and Engineering
2022 spring semester
Introduction to Computers and Networks
School of Fundamental Science and Engineering
2022 spring semester
Graduation Thesis A (Fall) [S Grade]
School of Fundamental Science and Engineering
2022 fall semester
Master's Thesis (Department of Computer Science and Communications Engineering)
Graduate School of Fundamental Science and Engineering
2022 full year
Advanced Project Study(Spring)
Graduate School of Fundamental Science and Engineering
2022 spring semester
Special Laboratory B in Computer Science and Communications Engineering
Graduate School of Fundamental Science and Engineering
2022 fall semester
Special Laboratory A in Computer Science and Communications Engineering
Graduate School of Fundamental Science and Engineering
2022 spring semester
Research on Parallel Knowledge Information Processing
Graduate School of Fundamental Science and Engineering
2022 full year
Seminar on Parallel Knowledge Information Processing D
Graduate School of Fundamental Science and Engineering
2022 fall semester
Seminar on Parallel Knowledge Information Processing C
Graduate School of Fundamental Science and Engineering
2022 spring semester
Seminar on Parallel Knowledge Information Processing B
Graduate School of Fundamental Science and Engineering
2022 fall semester
Seminar on Parallel Knowledge Information Processing A
Graduate School of Fundamental Science and Engineering
2022 spring semester
Advanced Project Study(Autumn)
Graduate School of Fundamental Science and Engineering
2022 fall semester
Research on Parallel Knowledge Information Processing
Graduate School of Fundamental Science and Engineering
2022 full year
Master's Thesis (Department of Computer Science and Communications Engineering)
Graduate School of Fundamental Science and Engineering
2022 full year
Research on Parallel Knowledge Information Processing
Graduate School of Fundamental Science and Engineering
2022 full year
Seminar on Parallel Knowledge Information Processing D
Graduate School of Fundamental Science and Engineering
2022 fall semester
Seminar on Parallel Knowledge Information Processing C
Graduate School of Fundamental Science and Engineering
2022 spring semester
Seminar on Parallel Knowledge Information Processing B
Graduate School of Fundamental Science and Engineering
2022 fall semester
Seminar on Parallel Knowledge Information Processing A
Graduate School of Fundamental Science and Engineering
2022 spring semester
Special Laboratory B in Computer Science and Communications Engineering
Graduate School of Fundamental Science and Engineering
2022 fall semester
Special Laboratory A in Computer Science and Communications Engineering
Graduate School of Fundamental Science and Engineering
2022 spring semester
Special Seminar B in Computer Science and Communications Engineering
Graduate School of Fundamental Science and Engineering
2022 fall semester
Special Seminar A in Computer Science and Communications Engineering
Graduate School of Fundamental Science and Engineering
2022 spring semester
Research on Parallel Knowledge Information Processing
Graduate School of Fundamental Science and Engineering
2022 full year
Computer Science and Engineering Laboratory B [S Grade]
School of Fundamental Science and Engineering
2022 spring semester
Computer Science and Engineering Laboratory B
School of Fundamental Science and Engineering
2022 spring semester
Bachelor Thesis B(Spring Semester)
School of Fundamental Science and Engineering
2022 spring semester
Computer Science and Engineering Laboratory A (2)
School of Fundamental Science and Engineering
2022 fall semester
Computer Science and Engineering Laboratory A [S Grade]
School of Fundamental Science and Engineering
2022 fall semester
Bachelor Thesis B(Spring Semester)
School of Fundamental Science and Engineering
2022 spring semester
New Generation Computing (Ohmsha and Springer) Associate Editor-In-Chief
Asian Association for Foundations of Software (AAFS) Co-Chair
New Generation Computing (Ohmsha and Springer) Area Editor (Programming and Architecture分野)
Eighth Asian Symposium on Programming Languages and Systems (APLAS 2010, Shanghai, China, November-December 2010) プログラム委員長
コンピュータソフトウェア(日本ソフトウェア科学会機関誌) 編集委員長
Theory and Practice of Logic Programming (Cambridge University Press) Area Editor (Design and Analysis of Languages and Systems分野)
人工知能学会 理事
Fifth International Symposium on Functional and Logic Programming (FLOPS 2001, Tokyo, March 7-9, 2001) プログラム委員長 (Herbert Kuchen 氏と共同)
情報処理学会論文誌:プログラミング 編集委員長
Journal of Logic Programming (North-Holland) Area Editor (Design and Analysis of Languages and Systems分野)
並列処理シンポジウム'97 (神戸) プログラム委員長
Asian Computing Science Conference (ASIAN'97、Kathmandu, Nepal, December 9-12, 1997) プログラム委員長 (R.K. Shyamasunder氏と共同)
International Logic Programming Symposium (ILPS'91, San Diego, U.S.A.) プログラム委員長 (Vijay Saraswat 氏と共同)
日本ソフトウェア科学会 理事
情報処理学会 プログラミング研究会 主査
Citation count denotes the number of citations in papers published for a particular year.