UEDA, Kazunori

J-GLOBAL         Last updated: Jun 7, 2019 at 02:40
 
Avatar
Name
UEDA, Kazunori
E-mail
uedaueda.info.waseda.ac.jp
URL
http://www.ueda.info.waseda.ac.jp/~ueda/index-j.html
Affiliation
Waseda University
Section
Faculty of Science and Engineering School of Fundamental Science and Engineering
Job title
Professor
Degree
Doctor of Engineering
Research funding number
10257206

Research Areas

 
 

Education

 
 
 - 
1978
Faculty of Engineering, University of Tokyo
 
 
 - 
1986
Graduate School, Division of Engineering, University of Tokyo
 

Published Papers

 
階層グラフ書換えモデルに基づく統合プログラミング言語LMNtal
乾敦行,工藤晋太郎,原耕司,水野謙,加藤紀夫,上田和紀
コンピュータソフトウェア   25(1) 124-150   Jan 2008
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   Sep 2007
SATソルバMiniSatの並列化とそのチューニング手法
大村圭, 渋谷健介, 稲垣良一, 上田和紀
情報処理学会研究報告   2007(80) 31-36   Aug 2007
数式処理に基づくハイブリッドシステムにおけるZenonessの判定手法
大野善之,石井大輔,上田和紀
第5回ディペンダブルシステムワークショップ論文集   53-56   Jul 2007
モデル検査器SPINにおける状態空間の性質の調査
渋谷健介, 上田和紀
第5回ディペンダブルシステムワークショップ(DSW2007)論文集   9-12   Jul 2007

Books etc

 
人工知能学事典
人工知能学会編
共立出版   Dec 2005   
並行論理プログラムにおける逐次実行部分の抽出方法論
第3回プログラミングおよびプログラミング言語ワークショップ(PPL2001)/日本ソフトウェア科学会   2001   
Functional and Logic Programming-5th International Symposium on Functional and Logic Programming, FLOPS 2001
Lecture Notes in Computer Science 2024 Springer-Verlag   2001   
Linearity Analysis of Concurrent Logic Programs
Proc. International Workshop on Parallel and Distributed Computing for Symbolic and Irregular Applications, World Scientific   2000   
並行論理プログラムのプログラム空間に関する考察
2000年度人工知能学会全国大会(第14回)論文集   2000   

Conference Activities & Talks

 
SLIM
PPL2008   Mar 2008   

Research Grants & Projects

 
General-purpose high-level language with the notion of real numbers and time
Project Year: Apr 2015 - Mar 2018
Towards the foundations for computing and programming of cyber-physical systems, we studied language constructs and semantics of general-purpose high-level programming languages that allow us to represent and handle continuous quantities and the n...
Deepening the implemenation technology of high-level modeling language implementations integrated with verifiers
Project Year: Apr 2014 - Mar 2017
The goal of this research was to deepen the implementation technology of high-level modeling languages that support highly abstract and general data representation such as real numbers and graph structures. To achieve reliable simulation of hybri...
Evolutionary development of a model checker compiler using verification technology and non-standard type systems
Project Year: Apr 2012 - Mar 2015
Modeling and verification of various systems are expected to be important applications of non-procedural high-level languages. The Principal Investigator has long worked on the design and implementation of a modeling language based on graph rewri...
Implementations of high-level modeling languages that integrate high-performance verifiers
Project Year: Apr 2011 - Mar 2014
Modeling and verification technologies of natural, symbolic and cyber-physical systems are becoming increasingly important. The aim of this research was to demonstrate the viability of high-level modeling languages based on mathematical notions s...
Construction of Evolutionary Software
Project Year: 1997 - 2000