UEDA Kazunori 上田和紀

… Alternative Names

上田和紀ウエダカズノリ

Less

Researcher Number	10257206
Other IDs
External Links
Affiliation (Current)	2025: 早稲田大学, 理工学術院, 教授
Affiliation (based on the past Project Information) *help	2023: 早稲田大学, 理工学術院, 教授 2004 – 2021: 早稲田大学, 理工学術院, 教授 2011: 早稲田大学, 理工学術院情報理工学科, 教授 2010: 早大, 理工学術院, 教授 1997 – 2005: Waseda University, Science & Engineering, Professor, 理工学部, 教授 1995 – 1996: 早稲田大学, 理工学部, 助教授
Review Section/Research Field	Principal Investigator Software / Basic Section 60050:Software-related / 計算機科学 / Software / Medium-sized Section 60:Information science, computer engineering, and related fields Except Principal Investigator Science and Engineering / Software / Fundamental theory of informatics
Keywords	Principal Investigator ハイブリッドシステム / GHC / モデル検査 / 言語処理系 / 高水準モデリング言語 / グラフ書換え / 制約プログラミング / プログラミング言語 / LMNtal / DKLIC … More / concurrent logic programming / プログラム解析 / 最適化 / 並行論理プログラミング / コンパイラ / 並列処理 / 静的解析 / 発展可能検証系 / 発展可能処理系 / 先端ソフトウェア技術 / 先進ソフトウェア技術 / スペースフレーム / 継手・仕口 / 高水準モデリング / 造形パラダイム / 部品化・組合せ技術 / 3D印刷 / 並行プログラミング / サイバーフィジカルシステム / Optimization / Language Implementation / Concurrency / Graph Rewriting / Programming Languages / 多重集合書換え / 分散計算 / プログラム言語 / 並行計算 / computational resources / program analysis / distributed computation / declarative languages / 静的プログラム解析 / セキュリティ / KL1 / 計算資源 / 広域分散計算 / 宣言型言語 / optimization / constraint satisfaction / debugging / program diagnosis / mode analysis / mode system / モード / 論理プログラミング / 制約充足 / デバッグ / プログラム診断 / モード解析 / モード体系 / ソフトウェア進化 / 型体系 / 検証 / ハイプリッドシステム / システム検証 / 制約 / 高信頼計算 / モデリング言語 … More Except Principal Investigator 計算機システム / アルゴリズム / 並列分散処理 / 自然計算 / Modeling / Efficient and Stable Software Development / Information System / Computer System / Algorithm / 局所性 / 計算量 / モデル化 / ソフトウェア開発効率化・安定化 / 情報システム / distributed data structure / active programming / multi-agent system / strong mode system / algebraic specification language / evolutional pattern / open and distributed systems / 発展可能仕様記述 / 漸増的プログラム解析 / 構造的振る舞い記述モデル / プログラム自動修正 / モジュール合成法 / オブジェクト進化プロセス / CafeOBT / 形式的仕様記述 / 並行論理プログラムのモード解析 / 並行オブジェクトの振舞い / 環境適応 / 振舞い仕様 / システムの多面的記述 / 発展可能ソフトウェア / 分散データ構造 / 能動形プログラミング / マルチエージェントシステム / 強モード体系 / 形式仕様記述 / 代数仕様言語 / 進化パターン / 開放分散系 / 並列処理・分散処理 / 制約最適化問題 / SAT / 超分散 / 多体システム / 構成的材料工学 / ハイブリッドシステム / 構成的生物学 / 構成的アプローチ / 計算機科学 / 資源管理機構 / 計算モデル / プログラム言語 / ハイパーフォーマンス・コンピューティング / InTrigger / LMNtal / プロセス計算 / システム検証 / クラスターコンピューティング / ハイパフォーマンスコンピューティング / ハイパーフォーマンスコンピューティング / ソフトウェア学 / 分子機械 / 生体機能利用 / 自己組織化 / 情報基礎 / DNAコンピュータ / 階層グラフ書換え / 少数分子系 / 非線形科学 / バクテリアコンピュータ / 配列設計 / 自律計算 Less

強力なデータ構造と並行性をもつ高水準言語の解析・実装技法の多面的開拓Principal Investigator
- Principal Investigator
  
  上田和紀
- Project Period (FY)
  2023 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Waseda University
Developing highly functional 3D-printing technologies supported by advanced programming methodologiesPrincipal Investigator
- Principal Investigator
  
  Ueda Kazunori
- Project Period (FY)
  2018 – 2021
- Research Category
  
  Grant-in-Aid for Challenging Research (Exploratory)
- Review Section
  
  Medium-sized Section 60:Information science, computer engineering, and related fields
- Research Institution
  Waseda University
Evolution and development of high-level modeling languages integrating programming lanuguage technologiesPrincipal Investigator
- Principal Investigator
  
  Ueda Kazunori
- Project Period (FY)
  2018 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Waseda University
General-purpose high-level language with the notion of real numbers and timePrincipal Investigator
- Principal Investigator
  
  Kazunori Ueda
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Software
- Research Institution
  Waseda University
Deepening the implemenation technology of high-level modeling language implementations integrated with verifiersPrincipal Investigator
- Principal Investigator
  
  Ueda Kazunori
- Project Period (FY)
  2014 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Waseda University
Evolutionary development of a model checker compiler using verification technology and non-standard type systemsPrincipal Investigator
- Principal Investigator
  
  UEDA Kazunori
- Project Period (FY)
  2012 – 2014
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Software
- Research Institution
  Waseda University
Implementations of high-level modeling languages that integrate high-performance verifiersPrincipal Investigator
- Principal Investigator
  
  UEDA Kazunori
- Project Period (FY)
  2011 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Waseda University
Study of SAT-based constraint optimization problem solving and its parallel distributed processing
- Principal Investigator
  
  TAMURA Naoyuki
- Project Period (FY)
  2008 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  Kobe University
High-level hybrid constraint modeling language and its reliable implementationPrincipal Investigator
- Principal Investigator
  
  UEDA Kazunori
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Waseda University
Highly Scalable Software Construction Basis for Information Explosion Era
- Principal Investigator
  
  CHIKAYAMA Takashi
- Project Period (FY)
  2006 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  The University of Tokyo
計算機科学における離散と連続に関する調査と新しい展開
- Principal Investigator
  
  山下雅史
- Project Period (FY)
  2006
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Kyushu University
Putting Scalable and Unifying Programming Language Model LMNtal into Practical UsePrincipal Investigator
- Principal Investigator
  
  UEDA Kazunori
- Project Period (FY)
  2004 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Waseda University
構造的分子計算理論-自律的計算系の解析と設計のための基礎理論Principal Investigator
- Principal Investigator
  
  上田和紀, 横森貴
- Project Period (FY)
  2002 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Waseda University
Software Development based on Continuous Computing Resources
- Principal Investigator
  
  YUASA Taiichi
- Project Period (FY)
  2001 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Kyoto University
Wide-Area and Distributed Computation Paradigm Based on Concurrent Logic ProgrammingPrincipal Investigator
- Principal Investigator
  
  UEDA Kazunori
- Project Period (FY)
  1999 – 2001
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Waseda University
Research on Methodologies for Constructing Evolutionary Software
- Principal Investigator
  
  MIYAMOTO Eiichi
- Project Period (FY)
  1997 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Future University-Hakodate
  Hokkaido University
Applications of Strong Moding in Concurrent Logic ProgrammingPrincipal Investigator
- Principal Investigator
  
  UEDA Kazunori
- Project Period (FY)
  1995 – 1997
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Waseda University

[Book] Towards a Substrate Framework of Computation2014
- Author(s)
  Kazunori Ueda
- Total Pages
  26
- Publisher
  Concurrent Objects and Beyond (COB 2012)(To appear)
- Data Source
  KAKENHI-PROJECT-23300011
[Book] Towards a Substrate Framework of Computation, in Concurrent Objects and Beyond (COB 2012)2014
- Author(s)
  Kazunori Ueda
- Total Pages
  26
- Publisher
  Springer-Verlag
- Data Source
  KAKENHI-PROJECT-24650016
[Book] Towards a Substrate Framework of Computation, in Concurrent Objects and Beyond (COB 2012)2014
- Author(s)
  Kazunori Ueda
- Total Pages
  26
- Publisher
  Springer-Verlag
- Data Source
  KAKENHI-PROJECT-23300011
[Book] Concurrent Objects and Beyond, Gul Agha et al. (eds.), Lecture Notes in Computer Science 86652014
- Author(s)
  Kazunori Ueda et al.
- Total Pages
  447
- Publisher
  Springer Verlag
- Data Source
  KAKENHI-PROJECT-24650016
[Book] Concurrent Objects and Beyond (COB 2012), G. Agha et al. (eds.) （査読有）2013
- Author(s)
  Kazunori Ueda
- Total Pages
  26
- Publisher
  Towards a Substrate Framework of Computation
- Data Source
  KAKENHI-PROJECT-24650016
[Book] Concurrent Objects and Beyond (COB 2012), G. Agha et al. (eds.) （査読有）2013
- Author(s)
  Kazunori Ueda
- Total Pages
  26
- Publisher
  Towards a Substrate Framework of Computation
- Data Source
  KAKENHI-PROJECT-23300011
[Journal Article] Implementing the λGT Language: A Functional Language with Graphs as First-Class Data2023
- Author(s)
  Jin Sano and Kazunori Ueda
- Journal Title
  
  Proc. 16th International Conference on Graph Transformation (ICGT 2023), LNCS
  
  Volume: 13961 Pages: 263-277
- DOI
  10.1007/978-3-031-36709-0_14
- ISBN
  9783031367083, 9783031367090
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23K11057
[Journal Article] Interlocking 3D-printed bars, trusses and space frames to build arbitrarily large structures2022
- Author(s)
  Kazunori Ueda
- Journal Title
  
  engrxiv.org
  
  Volume: -
- DOI
  10.31224/2338
- Open Access
- Data Source
  KAKENHI-PROJECT-18K19788
[Journal Article] Engineering Grammar-based Type Checking for Graph Rewriting Languages2021
- Author(s)
  Naoki Yamamoto and Kazunori Ueda
- Journal Title
  
  Proc. Twelfth International Workshop on Graph Computation Models (GCM 2021)
  
  Volume: - Pages: 93-114
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18H03223
[Journal Article] Revisiting Graph Types in HyperLMNtal: A Modeling Language for Hypergraph Rewriting2021
- Author(s)
  Alimujiang Yasen and Kazunori Ueda
- Journal Title
  
  IEEE Access
  
  Volume: 9 Pages: 133449-133460
- DOI
  10.1109/access.2021.3112903
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03223
[Journal Article] Introducing Symmetry to Graph Rewriting Systems with Process Abstraction2019
- Author(s)
  Taichi Tomioka, Yutaro Tsunekawa and Kazunori Ueda
- Journal Title
  
  Proc. 12th International Conference on Graph Transformation, Lecture Notes in Computer Science
  
  Volume: 未定
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H03223
[Journal Article] Introducing Symmetry to Graph Rewriting Systems with Process Abstraction2019
- Author(s)
  Taichi Tomioka, Yutaro Tsunekawa and Kazunori Ueda
- Journal Title
  
  roc. 12th International Conference on Graph Transformation (ICGT 2019), Lecture Notes in Computer Science
  
  Volume: 11629 Pages: 3-20
- DOI
  10.1007/978-3-030-41131-2_8
- ISBN
  9783030411305, 9783030411312
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H03223
[Journal Article] Implementation of LMNtal Model Checkers: a Metaprogramming Approach2018
- Author(s)
  Yutaro Tsunekawa, Taichi Tomioka and Kazunori Ueda
- Journal Title
  
  The Journal of Object Technology
  
  Volume: 17
- NAID
  130007424871
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18H03223
[Journal Article] Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project2018
- Author(s)
  Kazunozi Ueda
- Journal Title
  
  Science of Computer Programming
  
  Volume: 164 Pages: 3-17
- DOI
  10.1016/j.scico.2017.06.002
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H03223
[Journal Article] Name Binding is Easy with Hypergraphs2018
- Author(s)
  Alimujiang Yasen and Kazunori Ueda
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E101.D Issue: 4 Pages: 1126-1140
- DOI
  10.1587/transinf.2017EDP7257
- NAID
  130006602304
- ISSN
  0916-8532, 1745-1361
- Language
  English
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03223
[Journal Article] Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project2017
- Author(s)
  Kazunori Ueda
- Journal Title
  
  Science of Computer Programming
  
  Volume: 印刷中
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26280024
[Journal Article] Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection2017
- Author(s)
  Kenichi Betsuno, Shota Matsumoto, and Kazunori Ueda
- Journal Title
  
  Proc. Sixth International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, Lecture Notes in Computer Science
  
  Volume: 10107 Pages: 17-30
- DOI
  10.1007/978-3-319-51738-4_2
- ISBN
  9783319517377, 9783319517384
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26280024, KAKENHI-PROJECT-15K12010
[Journal Article] Hypergraph Representation of Lambda-Terms2016
- Author(s)
  Alimujiang Yasen and Kazunori Ueda
- Journal Title
  
  Proc. 10th International Symposium on Theoretical Aspects of Software Engineering
  
  Volume: - Pages: 113-116
- DOI
  10.1109/tase.2016.25
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26280024
[Journal Article] Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic2016
- Author(s)
  Shota Matsumoto and Kazunori Ueda
- Journal Title
  
  Proc. 23rd International Symposium on Temporal Representation and Reasoning
  
  Volume: - Pages: 4-11
- DOI
  10.1109/time.2016.8
- NAID
  40021053484
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26280024, KAKENHI-PROJECT-15K12010
[Journal Article] グラフ書換え系のための効率的なグラフ正規化手法2016
- Author(s)
  宮原和大，上田和紀
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 33(1) Pages: 126-149
- NAID
  130005124827
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-26280024
[Journal Article] Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project2016
- Author(s)
  Kazunori Ueda
- Journal Title
  
  Proc. 13th International Symposium on Functional and Logic Programming, Springer LNCS
  
  Volume: 9613 Pages: 1-11
- DOI
  10.1007/978-3-319-29604-3_1
- ISBN
  9783319296036, 9783319296043
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26280024
[Journal Article] HyLaGI: Symbolic Implementation of a Hybrid Constraint Language2015
- Author(s)
  Shota Matsumoto, Fumihiko Kono, Teruya Kobayashi and Kazunori Ueda
- Journal Title
  
  Electronic Notes in Theoretical Computer Science
  
  Volume: 317 Pages: 109-115
- DOI
  10.1016/j.entcs.2015.10.011
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-15K12010, KAKENHI-PROJECT-26280024
[Journal Article] Reduction of the Number of States and the Acceleration of LMNtal Parallel Model Checking2014
- Author(s)
  安田竜, 吉田健人, 上田和紀
- Journal Title
  
  Transactions of the Japanese Society for Artificial Intelligence
  
  Volume: 29 Issue: 1 Pages: 182-187
- DOI
  10.1527/tjsai.29.182
- NAID
  130003382429
- ISSN
  1346-0714, 1346-8030
- Language
  Japanese
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300011
[Journal Article] 非線形ハイブリッドシステムの可到達集合の精度保証2014
- Author(s)
  石井大輔, 上田和紀
- Journal Title
  
  計測と制御
  
  Volume: 53 Pages: 1086-1092
- NAID
  130005626615
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26280024
[Journal Article] Hyrose: A Symbolic Simulator of the Hybrid Constraint Language HydLa2013
- Author(s)
  松本翔太, 上田和紀
- Journal Title
  
  Computer Software
  
  Volume: 30 Issue: 4 Pages: 4_18-4_35
- DOI
  10.11309/jssst.30.4_18
- NAID
  10031196715
- ISSN
  0289-6540
- Language
  Japanese
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300011
[Journal Article] HyperLMNtal : An Extension of a Hierarchical Graph Rewriting Model2012
- Author(s)
  Kazunori Ueda and Seiji Ogawa
- Journal Title
  
  Künstliche Intelligenz
  
  Volume: Vol. 26, No. 1 Issue: 1 Pages: 27-36
- DOI
  10.1007/s13218-011-0162-3
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300011
[Journal Article] A High-Level Language for Hybrid Systems2012
- Author(s)
  K. Ueda, S. Matsumoto, A. Takeguchi, H. Hosobe, and D. Ishii. HydLa
- Journal Title
  
  In Logics for System Analysis Workshop (LfSA)
  
  Pages: 3-17
- URL
  http://www.ls.cs.cmu.edu/LfSA12/LfSA12.pdf
- Data Source
  KAKENHI-PROJECT-23300011
[Journal Article] An Interval-based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems2011
- Author(s)
  Daisuke Ishii, Kazunori Ueda, Hiroshi Hosebe
- Journal Title
  
  Int.J.Softw.Tools.Technol.Transfer
  
  Volume: Vol.13(未定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300013
[Journal Article] ハイブリッド制約言語HydLaの宣言的意味論2011
- Author(s)
  上田和紀, 細部博史, 石井大輔
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: Vol.28, No.1 Pages: 306-311
- NAID
  130004892168
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300013
[Journal Article] Concise Characteristic Function Representations in Coalitional Games Based on Agent Types2011
- Author(s)
  Suguru Ueda, Makoto Kitaki, Atsushi Iwasaki, Makoto Yokoo
- Journal Title
  
  Proc.of 22nd Int'l Joint Conf.on Artificial Intelligence (IJCAI 2011)
  
  Pages: 393-399
- NAID
  110008761623
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] ハイブリッドシステムモデリング言語HydLa処理系における実行アルゴリズム2011
- Author(s)
  渋谷俊,高田賢士郎,細部博史,上田和紀
- Journal Title
  
  コンピュータソフトウェア Vol.28, No.3(掲載決定)
- NAID
  40020657265
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300013
[Journal Article] An Interval-based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems2011
- Author(s)
  石井大輔, 上田和紀, 細部博史
- Journal Title
  
  Int.J.Softw.Tools.Technol.Transfer Vol.13(掲載決定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300013
[Journal Article] An Interval-based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems2011
- Author(s)
  石井大輔、上田和紀、細部博史
- Journal Title
  
  International Journal on Software Tools for Technology Transfer (STTT)
  
  Volume: 13 Issue: 5 Pages: 449-461
- DOI
  10.1007/s10009-011-0193-y
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-11J03810, KAKENHI-PROJECT-23300011
[Journal Article] ハイブリッド制約言語HydLaの宣言的意味論2011
- Author(s)
  上田和紀,細部博史,石井大輔
- Journal Title
  
  コンピュータソフトウェア Vol.28, No.1
  
  Pages: 306-311
- NAID
  130004892168
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300013
[Journal Article] MC-netsを用いた提携構造形成アルゴリズムの拡張:負の利得と外部性の導入2011
- Author(s)
  一村良, 長谷川隆人, 上田俊, 岩崎敦, 横尾真
- Journal Title
  
  電子情報通信学会論文誌
  
  Volume: Vol.J94-D No.11 Pages: 1707-1715
- NAID
  110008761622
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] LMNta1実行時処理系の並列モデル検査器への発展2011
- Author(s)
  後町将人, 堀泰祐, 上田和紀
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 28-4 Pages: 137-157
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300011
[Journal Article] ハイブリッドシステムモデリング言語HydLa処理系における実行アルゴリズム2011
- Author(s)
  渋谷俊, 高田賢士郎, 細部博史, 上田和紀
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: Vol.28, No.2(未定)
- NAID
  40020657265
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300013
[Journal Article] Evolution of the LMNtal Runtime to a Parallel Model Checker2011
- Author(s)
  後町将人, 堀泰祐, 上田和紀
- Journal Title
  
  Computer Software
  
  Volume: 28 Issue: 4 Pages: 137-157
- DOI
  10.11309/jssst.28.4_137
- NAID
  130004549234
- ISSN
  0289-6540
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300011
[Journal Article] An Execution Algorithm for the Hybrid System Modeling Language HydLa2011
- Author(s)
  渋谷俊, 高田賢士郎, 細部博史, 上田和紀
- Journal Title
  
  Computer Software
  
  Volume: 28 Issue: 3 Pages: 167-172
- DOI
  10.11309/jssst.28.3_167
- NAID
  130004892187
- ISSN
  0289-6540
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300011
[Journal Article] 分散制約最適化問題に基づく提携構造形成問題2011
- Author(s)
  上田俊, 岩崎敦, 横尾真, M.C.Silaghi, 平山勝敏, 松尾啓志
- Journal Title
  
  人工知能学会論文誌
  
  Volume: 26・1 Pages: 179-189
- NAID
  130007422581
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] 協力ゲームにおける特性関数のエージェントのタイプに基づく簡略表記法2011
- Author(s)
  上田俊, 北木真, 岩崎敦, 横尾真
- Journal Title
  
  電子情報通信学会論文誌
  
  Volume: Vol.J94-D No.11 Pages: 1716-1728
- NAID
  110008761623
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] A Compact Representation Scheme of Coalitional Games Based on Multi-Terminal Zero-Suppressed Binary Decision Diagrams (Best Paper Award)2011
- Author(s)
  Yuko Sakurai, Suguru Ueda, Atsushi Iwasaki, Shin-ichi Minato, Makoto Yokoo
- Journal Title
  
  Proc.of 14th Int'l Conf.on Principles and Practice of Multiagent Systems (PRIMA 2011)
  
  Pages: 4-18
- DOI
  10.1007/978-3-642-25044-6_4
- ISBN
  9783642250439, 9783642250446
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] Coalition Structure Generation based on Distributed Constraint Optimization2010
- Author(s)
  S.Ueda, A.Iwasaki, M.Yokoo, M.C.Silaghi, K.Hirayama, T.Matsui
- Journal Title
  
  24th AAAI Conf. on Artificial Intelligence (AAAI-2010)
  
  Pages: 197-203
- NAID
  130000455367
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] 強連結成分の性質を用いたOWCTYモデル検査アルゴリズムの高速化2010
- Author(s)
  川端聡基、小林史佳、上田和紀
- Journal Title
  
  人工知能学会論文誌 26(2)
  
  Pages: 341-346
- NAID
  130000455385
- Peer Reviewed
- Data Source
  KAKENHI-PLANNED-18049015
[Journal Article] 統合開発環境によるLMNtalモデル検査2010
- Author(s)
  綾野貴之、堀泰祐、岩澤宏希、小川誠司、上田和紀
- Journal Title
  
  コンピュータソフトウェア 27(4)
  
  Pages: 197-214
- NAID
  130004549194
- Peer Reviewed
- Data Source
  KAKENHI-PLANNED-18049015
[Journal Article] 統合開発環境によるLMNtalモデル検査2010
- Author(s)
  綾野貴之、堀泰祐、岩沢宏希、小川誠司、上田和紀
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 27-4 Pages: 197-214
- NAID
  130004549194
- Peer Reviewed
- Data Source
  KAKENHI-PLANNED-18049015
[Journal Article] 強連結成分の性質を用いたOWCTYモデル検査アルゴリズムの高速化2010
- Author(s)
  川端悟基、小林史佳、上田和紀
- Journal Title
  
  人工知能学会論文誌
  
  Volume: 26-2 Pages: 341-346
- NAID
  130000455385
- Peer Reviewed
- Data Source
  KAKENHI-PLANNED-18049015
[Journal Article] LMNtal as a Hierarchical Logic Programming Language2009
- Author(s)
  Kazunori Ueda
- Journal Title
  
  Theo-retical Computer Science 410(46)
  
  Pages: 4784-4800
- Peer Reviewed
- Data Source
  KAKENHI-PLANNED-18049015
[Journal Article] 論理・制約プログラミングと並行計算2008
- Author(s)
  上田和紀
- Journal Title
  
  コンピュータソフトウェア 25(3)
  
  Pages: 59-54
- NAID
  110006840401
- Peer Reviewed
- Data Source
  KAKENHI-PLANNED-18049015
[Journal Article] 階層グラフ書換えモデルに基づく統合プログラミング言語LMNtal2008
- Author(s)
  乾敦行、工藤晋太郎、原耕司、水野謙、加藤紀夫、上田和紀
- Journal Title
  
  コンピュータソフトウェア 25(1)
  
  Pages: 124-150
- NAID
  130004549094
- Peer Reviewed
- Data Source
  KAKENHI-PLANNED-18049015
[Journal Article] Encoding Distributed Process Calculi into LMNtaI2008
- Author(s)
  Ueda K.
- Journal Title
  
  Electronic Notes in Theoretical Computer Science Vol.209
  
  Pages: 187-200
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法2008
- Author(s)
  石井大輔, 上田和紀, 細部博史
- Journal Title
  
  情報処理学会論文誌数理モデル化と応用 1(1)
  
  Pages: 149-159
- NAID
  110006827845
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300013
[Journal Article] Encoding Distributed Process Calculi into LMNtal2008
- Author(s)
  Kazunori Ueda
- Journal Title
  
  Elec-tronic Notes in Theoretical Computer Science 209
  
  Pages: 187-200
- Peer Reviewed
- Data Source
  KAKENHI-PLANNED-18049015
[Journal Article] Encoding Distributed Process Calculi into LMNtal2008
- Author(s)
  Kazunori Ueda
- Journal Title
  
  Electronic Notes in Theoretical Computer Science 209
  
  Pages: 187-200
- Peer Reviewed
- Data Source
  KAKENHI-PLANNED-18049015
[Journal Article] LMNtal : The Unifying Programming Language Based on Hierarchical Graph Rewriting2008
- Author(s)
  Inui, A., Kudo, S., Hara, K., Mizuno, K., Kato, N., Ueda, K.
- Journal Title
  
  Computer Software Vol.25, No.1(in Japanese)
  
  Pages: 124-150
- NAID
  130004549094
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法2008
- Author(s)
  石井大輔,上田和紀,細部博史
- Journal Title
  
  情報処理学会論文誌数理モデル化と応用 Vol.1, No.1
  
  Pages: 149-159
- NAID
  110006827845
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300013
[Journal Article] 階層グラフ書換え言語LMNtalの処理系2008
- Author(s)
  村山敬, 工藤晋太郎, 櫻井健, 水野謙, 加藤紀夫, 上田和紀
- Journal Title
  
  コンピュータソフトウェア 25-2
  
  Pages: 47-77
- NAID
  130004549109
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] 階層グラフ書換えモデルに基づく統合プログラミング言語LMNtal2008
- Author(s)
  乾敦行, 工藤晋太郎, 原耕司, 水野謙, 加藤紀夫, 上田和紀
- Journal Title
  
  コンピュータソフトウェア 25-1
  
  Pages: 124-150
- NAID
  130004549094
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] LMNtal : The Unifying Programming Language Based on Hierarchical Implementation of the Hierarchical Graph Rewriting Language LMNtal2008
- Author(s)
  Murayama, K., Kudo, S., Sakurai, K., Mizuno, K., Kato, N., Ueda, K.
- Journal Title
  
  Computer Software Vol.25, No.2(in Japanese)
  
  Pages: 47-77
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] 階層グラフ書換えモデルに基づく統合プログラミング言語LMNtal2008
- Author(s)
  乾敦行、工藤晋太郎、原耕司、水野謙、加藤紀夫、上田和紀
- Journal Title
  
  コンピュータソフトウェア 25(1)
  
  Pages: 124-150
- NAID
  130004549094
- Peer Reviewed
- Data Source
  KAKENHI-PLANNED-18049015
[Journal Article] Encoding Distributed Process Calculi into LMNtal2008
- Author(s)
  Ueda, K.
- Journal Title
  
  Electronic Notes in Theoretical Computer Science 209
  
  Pages: 187-200
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] 階層グラフ書換え言語LMNtalの処理系2008
- Author(s)
  村山敬、工藤晋太郎、櫻井健、水野謙、加藤紀夫、上田和紀
- Journal Title
  
  コンピュータソフトウェア 25(2)
  
  Pages: 47-77
- NAID
  130004549109
- Peer Reviewed
- Data Source
  KAKENHI-PLANNED-18049015
[Journal Article] 階層グラフ書換えモデルに基づく統合プログラミング言語LMNtal2007
- Author(s)
  乾敦行, 工藤晋太郎, 原耕司, 水野謙, 加藤紀夫, 上田和紀
- Journal Title
  
  コンピュータソフトウェア Vol.24(accepted for publication)
- NAID
  130004549094
- Data Source
  KAKENHI-PROJECT-14085205
[Journal Article] 純粋λ計算の階層グラフ書換えへのエンコーディング2007
- Author(s)
  上田和紀
- Journal Title
  
  第9回プログラミングおよびプログラミング言語ワークショップ(PPL2007)
  
  Pages: 221-232
- Data Source
  KAKENHI-PROJECT-14085205
[Journal Article] 純粋λ計算の階層グラフ書換えへのエンコーディング2007
- Author(s)
  上田和紀
- Journal Title
  
  第9回プログラミングおよびプログラミング言語ワークショップ(PPL2007)
  
  Pages: 221-232
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] 階層グラフ書換えモデルに基づく統合プログラミング言語LMNtal2007
- Author(s)
  乾敦行, 工藤晋太郎, 原耕司, 水野謙, 加藤紀夫, 上田和紀
- Journal Title
  
  コンピューターソフトウェア Vol.24(accepted for publication)
- NAID
  130004549094
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] Logic Programming and Concurrency : a Personal Perspective2006
- Author(s)
  Kazunori Ueda
- Journal Title
  
  The ALP Newsletter Vol.19, No.2
- Data Source
  KAKENHI-PROJECT-14085205
[Journal Article] Logic Programming and Concurrency : a Personal Perspective2006
- Author(s)
  Kazunori Ueda
- Journal Title
  
  The ALP Newsletter Vol. 19, NO. 2
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] Constraint-Based Concurrency and Beyond2006
- Author(s)
  Kazunori Ueda
- Journal Title
  
  Electronic Notes in Theoretical Computer Science Vol.162
  
  Pages: 327-331
- Data Source
  KAKENHI-PROJECT-14085205
[Journal Article] LMNtal as a Unifying Declarative Language2006
- Author(s)
  kazunori Ueda, Norio Kato, Koji Hara, Ken Mizuno
- Journal Title
  
  Proc. Third Workshop on Constraint Handing Rules (CHR2006)
  
  Pages: 1-15
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] Constraint-Based Concurrency and Beyond2006
- Author(s)
  Ueda, K
- Journal Title
  
  Electronic Notes in Theoretical Computer Science Vol.162
  
  Pages: 227-231
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] Logic Programming and Concurrency : a Personal Perspective2006
- Author(s)
  Ueda, K
- Journal Title
  
  The ALP NewsLetter(available online) Vol.19, No.2
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] LMNtal as a Unifying Declarative Language2006
- Author(s)
  Kazunori Ueda, Norio Kato, Koji Hara, Ken Mizuno
- Journal Title
  
  Proc. Third Workshop on Constraint Handling Rules (CHR 2006)
  
  Pages: 1-15
- Data Source
  KAKENHI-PROJECT-14085205
[Journal Article] Logic Programming and Concurrency:a Personal Perspective2006
- Author(s)
  Ueda, K.
- Journal Title
  
  The ALP News Letter(on line) 19-2
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] 分散プロセス計算のLMNtalへのエンコーディング2006
- Author(s)
  上田和紀
- Journal Title
  
  日本ソフトェア科学会第23回大会論文集
- Data Source
  KAKENHI-PROJECT-14085205
[Journal Article] Constratint-Based Concurrency and Beyond2006
- Author(s)
  Kazunori Ueda
- Journal Title
  
  Electronic Notes in Theoretical Computer Science Vol. 162
  
  Pages: 327-331
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] 分散プロセス計算のLMNtalへのエンコーディング2006
- Author(s)
  上田和紀
- Journal Title
  
  日本ソフトウェア科学会第23回大会論文集
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] Constraint-Based Concurrency and Beyond2006
- Author(s)
  Ueda, K.
- Journal Title
  
  Electronic Notes in Theoretical Computer Science 162
  
  Pages: 227-231
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] LMNtal as a Unifying Declarative Language : Live Demonstration2006
- Author(s)
  kazunori Ueda, Norio Kato, Koji Hara, Ken Mizuno azunori
- Journal Title
  
  Proc. 22nd Int. Conf. on Logic Programming (ICLP'06) LNCS 4079
  
  Pages: 457-458
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] 階層グラフ書き換え言語LMNtal処理系とその応用例2006
- Author(s)
  乾敦行, 原耕司, 水野謙, 上田和紀
- Journal Title
  
  第8回プログラミングおよびプログラミング言語ワークショップ(PPL2006)
- Data Source
  KAKENHI-PROJECT-14085205
[Journal Article] LMNtal : a Language Model with Links and Membranes2005
- Author(s)
  Kazunori Ueda, Norio Kato
- Journal Title
  
  Proc. Fifth Workshop on Membrane Computing, Lecture Notes in Computer Science 3365
  
  Pages: 110-125
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] LMNtal処理系におけるグラフ構造の操作機能の設計と実装2005
- Author(s)
  工藤晋太郎, 加藤紀夫, 上田和紀
- Journal Title
  
  情報科学技術レターズ 4
  
  Pages: 9-12
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] LMNtal: a Language Model with Links and Membranes2005
- Author(s)
  Kazunori Ueda, Norio Kato
- Journal Title
  
  Lecture Notes in Computer Science, Springer-Verlag 3365
- Data Source
  KAKENHI-PROJECT-14085205
[Journal Article] LMNtalを用いた分散処理の実現2005
- Author(s)
  中島求, 加藤紀夫, 水野謙, 上田和紀
- Journal Title
  
  第8回プログラミングおよび応用のシステムに関するワークショップ(SPA2005) 3月
- Data Source
  KAKENHI-PROJECT-14085205
[Journal Article] 階層グラフ書換え言語LMNtal処理系における非同期実行の実現2005
- Author(s)
  水野謙, 加藤紀夫, 原耕司, 上田和紀
- Journal Title
  
  日本ソフトウエア科学会第22回大会講演論文集
- NAID
  130004638866
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] LMNtalコンパイラにおける並び替えとグループ化を用いた命令列の最適化2005
- Author(s)
  櫻井健, 加藤紀夫, 水野謙, 上田和紀
- Journal Title
  
  第4回情報科学技術フォーラム(FIT2005) 第一分冊
  
  Pages: 33-36
- Data Source
  KAKENHI-PROJECT-14085205
[Journal Article] LMNtal:a Language Model with Links and Membranes2005
- Author(s)
  Ueda, K. and Kato, N
- Journal Title
  
  Lecture Notes in Computer Science 3365
  
  Pages: 110-125
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] 階層グラフ書換え言語LMNtal処理系における非同期実行の実現2005
- Author(s)
  水野謙, 加藤紀夫, 原耕司, 上田和紀
- Journal Title
  
  日本ソフトウエア科学会第22回大会講演論文集 3A-4
- NAID
  130004638866
- Data Source
  KAKENHI-PROJECT-14085205
[Journal Article] LMNtal : a language model with links and membranes.2005
- Author(s)
  K.Ueda, N.Kato
- Journal Title
  
  Proc.Fifth Int.Workshop on Membrane Computing(WMC 2004)(LNCS, Springer)
  
  Pages: 110-125
- Data Source
  KAKENHI-PROJECT-14085205
[Journal Article] LMNtal処理系におけるグラフ構造の操作機能の設計と実装2005
- Author(s)
  工藤晋太郎, 加藤紀夫, 上田和紀
- Journal Title
  
  情報科学技術レターズ
  
  Pages: 9-12
- Data Source
  KAKENHI-PROJECT-14085205
[Journal Article] LMNtal処理系におけるグラフ構造の操作機能の設計と実装2005
- Author(s)
  工藤晋太郎, 加藤紀夫, 上田和紀
- Journal Title
  
  第4回情報科学技術フォーラム(FIT2005)情報科学技術レターズ
  
  Pages: 9-12
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] a Language Model with Links and Memranes2005
- Author(s)
  Ueda, K, Kato, N. LMNtal
- Journal Title
  
  Lecture Notes in Computer Science Vol.3365
  
  Pages: 110-125
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] プログラムと対称性2005
- Author(s)
  上田和紀
- Journal Title
  
  夏のプログラミングシンポジウム「アッと驚くプログラミング」報告集
  
  Pages: 69-74
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] 階層グラフ書き換え言語LMNtal処理系とその応用例2005
- Author(s)
  乾敦行, 原耕司, 水野謙, 上田和紀
- Journal Title
  
  第8回プログラミングおよびプログラミング言語ワークショップ論文集
  
  Pages: 120-133
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] Constraint-Based Concurrency and Beyond2005
- Author(s)
  Kazunori Ueda
- Journal Title
  
  Proc. Workshop on Algebraic Process Calculi, The First Twenty Years, BRICS Notes Series(PA'05), Aceto, L. and Gordon, A.D.(eds.) NS-05-3
  
  Pages: 227-230
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] LMNtalを用いた分散処理の実現2005
- Author(s)
  中島求, 加藤紀夫, 水野謙, 上田和紀
- Journal Title
  
  第8回プログラミングおよび応用のシステムに関するワークショップ(SPA 2005)
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] LMNtal : a Language Model with Links and Membranes2005
- Author(s)
  Kazunori Ueda, Norio Kato
- Journal Title
  
  Proc.Fifth Workshop on Membrane Computing, Lecture Notes in Computer Science 3365
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] Constraint-Based Concurrency and Beyond2005
- Author(s)
  K.Ueda
- Journal Title
  
  Proc.Workshop on Algebraic Process Calculi, The First Twenty Years(PA'05), BRICS Notes Series NS-05-3
  
  Pages: 227-230
- Data Source
  KAKENHI-PROJECT-14085205
[Journal Article] LMNtalコンパイラにおける並び替えとグループ化を用いた命令列の最適化2005
- Author(s)
  櫻井健, 加藤紀夫, 水野謙, 上田和紀
- Journal Title
  
  第4回情報科学技術フォーラム(FIT2005) 第一分冊
  
  Pages: 33-36
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] Design and Implementation of Operation Constructs of Graph Structures in the LMNtal System2005
- Author(s)
  Kudo, S. Kato, N., Ueda, K.
- Journal Title
  
  Information Technology Letters Vol.4
  
  Pages: 9-12
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] プログラムと対称性2005
- Author(s)
  上田和紀
- Journal Title
  
  夏のプログラミングシンポジウム「アッと驚くプログラミング」
  
  Pages: 69-74
- Data Source
  KAKENHI-PROJECT-14085205
[Journal Article] SATソルバzchaffのMPIによる並列化2004
- Author(s)
  大橋智昭, 稲垣良一, 上田和紀
- Journal Title
  
  情報処理学会研究報告,2004-HPC99-5(SWoPP2004)
  
  Pages: 25-30
- NAID
  110002914106
- Data Source
  KAKENHI-PROJECT-14085205
[Journal Article] SATソルバzchaffのMPIによる並列化2004
- Author(s)
  大橋智昭, 上田和紀
- Journal Title
  
  先進的計算基盤シンポジウムSACSIS2004
  
  Pages: 147-148
- NAID
  110002914106
- Data Source
  KAKENHI-PROJECT-14085205
[Journal Article] LMNtal: a language model with links and membranes2004
- Author(s)
  Kazunori Ueda, Norio Kato
- Journal Title
  
  Proc.Fifth Workshop on Membrane Computing
  
  Pages: 65-79
- Data Source
  KAKENHI-PROJECT-14085205
[Journal Article] LMNtal処理系および他言語インタフェースの設計と実装2004
- Author(s)
  原, 水野, 矢島, 永田, 中島, 加藤, 上田
- Journal Title
  
  情報処理学会第50回プログラミング研究会(SWoPP2004) 7月
- NAID
  110002768705
- Data Source
  KAKENHI-PROJECT-14085205
[Journal Article] 言語モデルLMNtal2004
- Author(s)
  上田和紀, 加藤紀夫
- Journal Title
  
  コンピュータソフトウェア 21巻・2号
  
  Pages: 44-60
- NAID
  110003743161
- Data Source
  KAKENHI-PROJECT-13224050
[Journal Article] 言語モデルLMNtalの操作的意味論の設計2004
- Author(s)
  加藤紀夫, 水野謙, 上田和紀
- Journal Title
  
  日本ソフトウェア科学会第21回大会論文集
  
  Pages: 159-163
- NAID
  40022143215
- Data Source
  KAKENHI-PROJECT-14085205
[Journal Article] 階層グラフ書換え言語における並行プロセスの型推論2004
- Author(s)
  加藤紀夫, 上田和紀
- Journal Title
  
  情報処理学会第50回プログラミング研究会(SWoPP2004) 7月
- NAID
  110002768703
- Data Source
  KAKENHI-PROJECT-14085205
[Journal Article] 言語モデルLMNtalの操作的意味論の設計2004
- Author(s)
  加藤紀夫, 水野謙, 上田和紀
- Journal Title
  
  日本ソフトウェア科学会第21回大会論文集
  
  Pages: 159-163
- NAID
  130005006595
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] 言語モデルLMNtal2004
- Author(s)
  上田和紀, 他
- Journal Title
  
  コンピュータソフトウェア 21巻・2号
  
  Pages: 44-60
- NAID
  110003743161
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-13224050
[Journal Article] LMNtal分散処理系の設計と実装2004
- Author(s)
  中島求, 加藤紀夫, 水野謙, 上田和紀
- Journal Title
  
  日本ソフトウェア科学会第21回大会論文集
  
  Pages: 149-153
- NAID
  130005006593
- Data Source
  KAKENHI-PROJECT-14085205
[Journal Article] LMNtal : a language model with links and membranes2004
- Author(s)
  Kazunori Ueda, Norio Kato
- Journal Title
  
  Proc.Fifth Workshop on Membrane Computing
  
  Pages: 65-79
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] The Language Model LMNtal.2004
- Author(s)
  Kazunori Ueda, et al.
- Journal Title
  
  Computer Software Vol.21 No.2
  
  Pages: 44-60
- NAID
  110003743161
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-13224050
[Journal Article] LMNtal分散処理系の設計と実装2004
- Author(s)
  中島求, 加藤紀夫, 水野謙, 上田和紀
- Journal Title
  
  日本ソフトウェア科学会第21回大会論文集
  
  Pages: 149-153
- NAID
  130005006593
- Data Source
  KAKENHI-PROJECT-16300009
[Journal Article] 階層グラフ書換え言語における並行プロセスの型推論2004
- Author(s)
  加藤紀夫, 上田和紀
- Journal Title
  
  情報処理学会第50回プログラミング研究会(SWoPP2004)
- NAID
  110002768703
- Data Source
  KAKENHI-PROJECT-13224050
[Journal Article] 後継関数を持つリスト型非線形再帰プログラムに対する再帰除去法2000
- Author(s)
  市川祐輔, 上田和紀
- Journal Title
  
  情報科学技術レターズ Vol.6
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] token passingを用いたグラフ型検査2024
- Author(s)
  山田啓太，山本直輝，上田和紀
- Organizer
  情報処理学会第86回全国大会，2A-05
- Data Source
  KAKENHI-PROJECT-23K11057
[Presentation] グラフ書換え言語におけるグラフ操作の軽量かつ静的な型検査2023
- Author(s)
  山本直輝，上田和紀
- Organizer
  日本ソフトウェア科学会第40回大会講演論文集，34-R-S
- Data Source
  KAKENHI-PROJECT-23K11057
[Presentation] λGT: A Functional Language with Graphs as First-Class Data2023
- Author(s)
  Kazunori Ueda, Jin Sano
- Organizer
  The 6th Workshop on New Ideas and Emerging Results in Programming Languages and Systems (APLAS 2023 NIER)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K11057
[Presentation] 再帰的なグラフパターンに基づく反復パターンマッチングの効率化手法2023
- Author(s)
  白井涼也，今川連，山本直輝，上田和紀
- Organizer
  日本ソフトウェア科学会第40回大会講演論文集，14-R-S
- Data Source
  KAKENHI-PROJECT-23K11057
[Presentation] Encoding MELL Cut Elimination into a Hierarchical Graph Rewriting Language2023
- Author(s)
  Kento Takyu and Kazunori Ueda
- Organizer
  The 21st Asian Symposium on Programming Languages and Systems (APLAS 2023) (poster)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K11057
[Presentation] グラフ書き換え言語LMNtalにおけるパーサコンビネータ実装手法2022
- Author(s)
  山田啓太, 上田和紀
- Organizer
  第24回プログラミングおよびプログラミング言語ワークショップ
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] グラフ書換え言語LMNtalにおける閉包計算のマッチング最適化2022
- Author(s)
  今川連, 上田和紀
- Organizer
  第24回プログラミングおよびプログラミング言語ワークショップ
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] 参照を用いたデータ構造の形状のユーザ定義の型に基づく型検査2022
- Author(s)
  佐野仁, 上田和紀
- Organizer
  第24回プログラミングおよびプログラミング言語ワークショップ
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] HyperLMNtalを用いたG-Machineの実装2021
- Author(s)
  佐野仁，上田和紀
- Organizer
  第23回プログラミングおよびプログラミング言語ワークショップ
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] 差分制約を含んだ時間オートマトンモデルのLMNtalによる状態空間構築2021
- Author(s)
  橋本彩美，上田和紀
- Organizer
  2021年度人工知能学会全国大会
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] グラフ書き換え言語LMNtalにおける非連結サブグラフパターンマッチング高速化手法2021
- Author(s)
  中田昌輝，上田和紀
- Organizer
  第23回プログラミングおよびプログラミング言語ワークショップ
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] 定理証明支援系Coqによるグラフ書換え言語の性質証明2021
- Author(s)
  山本直輝，上田和紀
- Organizer
  日本ソフトウェア科学会第38回大会
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] パラメタ付きモデルの到達可能性解析に基づくハイブリッドシステムモデリングツールの性能評価2021
- Author(s)
  秦国大，上田和紀
- Organizer
  2021年度人工知能学会全国大会
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] ハイパーグラフ書き換え系への構文駆動でcompositionalな構文・意味論の提案2021
- Author(s)
  佐野仁, 上田和紀
- Organizer
  日本ソフトウェア科学会第38回大会
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] 情報可視化やインタラクションのためのライブラリ Siv3D の機能強化と C++17, C++20 への対応2021
- Author(s)
  鈴木遼，上田和紀，坂井滋和
- Organizer
  日本ソフトウェア科学会第38回大会
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] グラフ書換え言語における数値制約を伴う型の静的型検査2020
- Author(s)
  山本直輝，上田和紀
- Organizer
  日本ソフトウェア科学会第37回大会
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] 制約に基づくハイブリッドシステムモデリング言語HydLaの宣言的意味論の拡張2020
- Author(s)
  山田悠之介，上田和紀
- Organizer
  2020年度人工知能学会全国大会
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] グラフ書き換えモデル検査におけるグラフ自己同型に基づく効率的なSymmetry Reduction手法2020
- Author(s)
  恒川雄太郎，上田和紀
- Organizer
  2020年度人工知能学会全国大会
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] グラフ書き換え言語 LMNtal による時間オートマトンのゾーングラフ構築2020
- Author(s)
  橋本彩美，恒川雄太郎，上田和紀
- Organizer
  日本ソフトウェア科学会第37回大会
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] Capability Typing for HyperLMNtal2020
- Author(s)
  Stefan Walter, Kazunori Ueda
- Organizer
  18th Asian Symposium on Programming Languages and Systems
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] LMNtalにおける部分グラフのリサイクルを行うコンパイル時最適化2020
- Author(s)
  白石篤至，恒川雄太郎，上田和紀
- Organizer
  第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020)
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] 階層グラフ書き換え言語LMNtalにおける継続の概念の提案と実装2020
- Author(s)
  横井駿平，山本直輝，上田和紀
- Organizer
  第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020)
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] Dynamic Reduction of Guarded Constraints for the Hybrid Systems Modeling Language HydLa2019
- Author(s)
  堀内貴文，上田和紀
- Organizer
  2019年度人工知能学会全国大会（第33回）
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] グラフの内包記法の実現に向けたLMNtalにおけるメッシュ構造の定義検討2019
- Author(s)
  田村滉明, 上田和紀, 冨岡太一
- Organizer
  第21回プログラミングおよびプログラミング言語ワークショップ（PPL2019）
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] ハイブリッドシステムモデリング言語HydLaを用いたDAEシステムの解析2019
- Author(s)
  渋井隆弘，上田和紀
- Organizer
  情報処理学会第81回全国大会
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] グラフ書き換えモデル検査器SLIMへの差分適用グラフ正規化手法の実装2019
- Author(s)
  恒川雄太郎，上田和紀
- Organizer
  日本ソフトウェア科学会第36回大会
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] グラフ書換え言語における静的型体系LMNtal ShapeTypeの再定式化と拡張2019
- Author(s)
  山本直輝, 上田和紀
- Organizer
  第21回プログラミングおよびプログラミング言語ワークショップ（PPL2019）
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] グラフ書換え言語におけるグラフ操作の静的型検査2019
- Author(s)
  山本直輝，上田和紀
- Organizer
  日本ソフトウェア科学会第36回大会
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] ハイブリッド制約処理系HyLaGIへの共通部分式除去を用いた式の簡約の導入2019
- Author(s)
  山田悠之介, 上田和紀
- Organizer
  第21回プログラミングおよびプログラミング言語ワークショップ（PPL2019）
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] 対称性の高い大規模ICTシステム更新に対する効率的な更改手順の自動計画手法2019
- Author(s)
  桑原拓也，恒川雄太郎，齋藤諒人，上田和紀
- Organizer
  電子情報通信学会情報通信マネジメント研究会
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] ハイブリッド制約処理系HyLaGIにおける分枝限定法を用いた離散変化時刻導出手法2019
- Author(s)
  佐藤柾史, 上田和紀
- Organizer
  第21回プログラミングおよびプログラミング言語ワークショップ（PPL2019）
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] ハイブリッド制約処理系HyLaGIにおける分枝限定法を用いた離散変化時刻導出手法2019
- Author(s)
  佐藤柾史，上田和紀
- Organizer
  2019年度人工知能学会全国大会（第33回）
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] Grammar-based Static Type Checking for Graph Rewriting2019
- Author(s)
  Naoki Yamamoto and Kazunori Ueda
- Organizer
  17th Asian Symposium on Programming Languages and Systems (APLAS 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] Introducing Negation and Universal Quantification into the Graph Rewriting Language LMNtal2018
- Author(s)
  Ryoto Saito and Kazunori Ueda
- Organizer
  16th Asian Symposium on Programming Languages and Systems (APLAS2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] ハイブリッド制約言語HydLaにおける非線形常微分方程式の表現とその記号付き精度保証計算2018
- Author(s)
  増田健太，上田和紀
- Organizer
  2018年度人工知能学会全国大会
- Data Source
  KAKENHI-PROJECT-15K12010
[Presentation] 実行パスの動的解析によるハイブリッドシステム処理系HyLaGIの最適化2018
- Author(s)
  佐藤柾史, 上田和紀
- Organizer
  日本ソフトウェア科学会第35回大会
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] 言語をつくる2018
- Author(s)
  上田和紀
- Organizer
  日本ソフトウェア科学会第35回大会
- Invited
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] 制約階層に基づくハイブリッドシステムモデリング言語HydLaの静的誤り検出手法2018
- Author(s)
  小山峻平，上田和紀
- Organizer
  情報処理学会第80回全国大会
- Data Source
  KAKENHI-PROJECT-15K12010
[Presentation] 純粋型なし・型付きラムダ計算の実用的かつ高機能なインタプリタの実装2018
- Author(s)
  Naoki Yamamoto, Kazunori Ueda
- Organizer
  日本ソフトウェア科学会第35回大会
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] ハイブリッドシステム解析器HyLaGIにおける非線形常微分方程式の精度保証計算2018
- Author(s)
  増田健太，松本翔太，上田和紀
- Organizer
  情報処理学会第80回全国大会
- Data Source
  KAKENHI-PROJECT-15K12010
[Presentation] 階層グラフ書換え言語LMNtalの否定表現の拡張と全称量化の実現2018
- Author(s)
  齋藤諒人, 上田和紀
- Organizer
  日本ソフトウェア科学会第35回大会
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] ハイブリッドシステムモデリング言語HydLaにおける変数と制約階層の動的生成記法の設計と実装2018
- Author(s)
  佐藤柾史，上田和紀
- Organizer
  2018年度人工知能学会全国大会（第32回）
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] Implementation of Effective Symmetry Reduction for a Model Checker based on Graph Rewriting2018
- Author(s)
  Yutaro Tsunekawa and Kazunori Ueda
- Organizer
  16th Asian Symposium on Programming Languages and Systems (APLAS2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] ハイブリッド制約言語HydLaにおける非線形常微分方程式の表現とその記号付き精度保証計算2018
- Author(s)
  増田健太，上田和紀
- Organizer
  2018年度人工知能学会全国大会（第32回）
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] グラフ書き換え言語LMNtalによる容易に拡張可能なモデル検査器の実装2018
- Author(s)
  恒川雄太郎，上田和紀
- Organizer
  2018年度人工知能学会全国大会（第32回）
- Data Source
  KAKENHI-PROJECT-18H03223
[Presentation] ハイブリッドシステムモデリング言語HydLaにおける変数と制約階層の動的生成記法の設計と実装2018
- Author(s)
  佐藤柾史，上田和紀
- Organizer
  2018年度人工知能学会全国大会
- Data Source
  KAKENHI-PROJECT-15K12010
[Presentation] 制約に基づいたパラメトリックハイブリッドシステムの精度保証シミュレーション2017
- Author(s)
  松本翔太，別納健市，増田健太，上田和紀
- Organizer
  2017年度人工知能学会全国大会
- Data Source
  KAKENHI-PROJECT-15K12010
[Presentation] グラフ書換え言語LMNtalの実行時処理系SLIMにおける制約付き部分グラフ探索の高速化2017
- Author(s)
  柳川峻広, 上田和紀
- Organizer
  第19回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  笛吹市
- Year and Date
  2017-03-08
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] メタインタプリタを用いた容易に拡張可能なモデル検査器の実装2017
- Author(s)
  恒川雄太郎, 上田和紀
- Organizer
  第19回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  笛吹市
- Year and Date
  2017-03-09
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] グラフ照合のキャッシュ化による階層グラフ書換え言語LMNtalの高速化2017
- Author(s)
  松澤望，上田和紀
- Organizer
  第19回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  笛吹市
- Year and Date
  2017-03-09
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] High-Level Programming Languages and Systems for Cyber-Physical Systems2017
- Author(s)
  Kazunori Ueda
- Organizer
  Summer School of Cyber-Physical Systems
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K12010
[Presentation] 多数の離散変化をともなうハイブリッドシステムに対する不変条件を用いた解析2016
- Author(s)
  別納健市，松本翔太，若槻祐彰，上田和紀
- Organizer
  情報処理学会第78回全国大会
- Place of Presentation
  慶應義塾大学
- Year and Date
  2016-03-10
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] 階層グラフ書換え言語LMNtalを基にした安全なメモリ操作を行うCプログラムの生成2016
- Author(s)
  冨岡太一　上田和紀
- Organizer
  日本ソフトウェア科学会第33回大会
- Place of Presentation
  仙台市
- Year and Date
  2016-09-08
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] Hypergraph Representation of λ-Terms2016
- Author(s)
  Alimujiang Yasen and Kazunori Ueda
- Organizer
  10th International Symposium on Theoretical Aspects of Software Engineering (TASE 2016)
- Place of Presentation
  上海
- Year and Date
  2016-07-17
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] Hypergraph Representation of Lambda-Terms2016
- Author(s)
  Alimujiang Yasen and Kazunori Ueda
- Organizer
  10th International Symposium on Theoretical Aspects of Software Engineering
- Place of Presentation
  Shanghai, China
- Year and Date
  2016-07-18
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] Implementation of LMNtal Model Checkers: a Metaprogramming Approach2016
- Author(s)
  Yutaro Tsunekawa, Taichi Tomioka and Kazunori Ueda
- Organizer
  First Workshop on Meta-Programming Techniques and Reflection (META'16)
- Place of Presentation
  Amsterdam, The Netherlands
- Year and Date
  2016-10-30
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] ハイブリッド制約処理系HyLaGIにおけるLTLモデル検査2016
- Author(s)
  若槻祐彰松本翔太上田和紀
- Organizer
  2016年度人工知能学会全国大会
- Place of Presentation
  北九州
- Year and Date
  2016-06-06
- Data Source
  KAKENHI-PROJECT-15K12010
[Presentation] ハイブリッドシステムモデリング言語HydLaにおけるモデリングエラーの体系化2016
- Author(s)
  小山峻平松本翔太上田和紀
- Organizer
  2016年度人工知能学会全国大会
- Place of Presentation
  北九州市
- Year and Date
  2016-06-06
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] ハイブリッドシステムモデリング言語HydLaにおけるモデリングエラーの体系化2016
- Author(s)
  小山峻平松本翔太上田和紀
- Organizer
  2016年度人工知能学会全国大会
- Place of Presentation
  北九州
- Year and Date
  2016-06-06
- Data Source
  KAKENHI-PROJECT-15K12010
[Presentation] パラメタを含むハイブリッドシステムに対するアフィン演算を用いた記号シミュレーション2016
- Author(s)
  松本翔太　上田和紀
- Organizer
  日本ソフトウェア科学会第33回大会
- Place of Presentation
  仙台
- Year and Date
  2016-09-08
- Data Source
  KAKENHI-PROJECT-15K12010
[Presentation] パラメタを含むハイブリッドシステムに対するアフィン演算を用いた記号シミュレーション2016
- Author(s)
  松本翔太　上田和紀
- Organizer
  日本ソフトウェア科学会第33回大会
- Place of Presentation
  仙台市
- Year and Date
  2016-09-08
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] 多数の離散変化をともなうハイブリッドシステムに対する不変条件を用いた解析2016
- Author(s)
  別納健市，松本翔太，若槻祐彰，上田和紀
- Organizer
  情報処理学会第78回全国大会
- Place of Presentation
  慶應義塾大学，横浜
- Year and Date
  2016-03-10
- Data Source
  KAKENHI-PROJECT-15K12010
[Presentation] Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection2016
- Author(s)
  Kenichi Betsuno, Shota Matsumoto, and Kazunori Ueda
- Organizer
  Sixth International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems
- Place of Presentation
  Pittsburg, USA
- Year and Date
  2016-10-06
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] Generating Memory-safe C Programs from Hierarchical Graph Rewriting Language LMNtal2016
- Author(s)
  Taichi Tomioka and Kazunori Ueda
- Organizer
  14th Asian Symposium on Programming Languages and Systems
- Place of Presentation
  Hanoi, Vietnam
- Year and Date
  2016-11-22
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] グラフ書き換え言語LMNtalにおける第一級書き換え規則の設計と実装2016
- Author(s)
  恒川雄太郎，上田和紀
- Organizer
  第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016)
- Place of Presentation
  岡山県玉野市
- Year and Date
  2016-03-07
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic2016
- Author(s)
  Shota Matsumoto and Kazunori Ueda
- Organizer
  23rd International Symposium on Temporal Representation and Reasoning
- Place of Presentation
  Copenhagen, Denmark
- Year and Date
  2016-10-17
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] ハイブリッドシステムのシミュレーションにおける精度保証数値計算と数式処理との連携2016
- Author(s)
  松本翔太，上田和紀
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会 (SS2015-60)
- Place of Presentation
  金沢
- Year and Date
  2016-01-25
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] ハイブリッドシステムのシミュレーションにおける精度保証数値計算と数式処理との連携2016
- Author(s)
  松本翔太，上田和紀
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会 (SS2015-60)
- Place of Presentation
  早稲田大学，東京
- Year and Date
  2016-01-25
- Data Source
  KAKENHI-PROJECT-15K12010
[Presentation] ハイブリッド制約処理系HyLaGIの並列化2016
- Author(s)
  伊藤剛史，松本翔太，上田和紀
- Organizer
  情報処理学会第78回全国大会
- Place of Presentation
  慶應義塾大学
- Year and Date
  2016-03-11
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] 多数の離散変化をともなうハイブリッドシステムに対するループ検出を用いた解析2016
- Author(s)
  別納健市松本翔太若槻祐彰上田和紀
- Organizer
  2016年度人工知能学会全国大会
- Place of Presentation
  北九州
- Year and Date
  2016-06-06
- Data Source
  KAKENHI-PROJECT-15K12010
[Presentation] ハイブリッド制約処理系HyLaGIにおけるLTLモデル検査2016
- Author(s)
  若槻祐彰松本翔太上田和紀
- Organizer
  2016年度人工知能学会全国大会
- Place of Presentation
  北九州市
- Year and Date
  2016-06-06
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] 多数の離散変化をともなうハイブリッドシステムに対するループ検出を用いた解析2016
- Author(s)
  別納健市松本翔太若槻祐彰上田和紀
- Organizer
  2016年度人工知能学会全国大会
- Place of Presentation
  北九州市
- Year and Date
  2016-06-06
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] グラフ書換えに基づくモデル記述言語LMNtalによるLMNtalモデル検査器の実装2016
- Author(s)
  恒川雄太郎　冨岡太一　上田和紀
- Organizer
  日本ソフトウェア科学会第33回大会
- Place of Presentation
  仙台市
- Year and Date
  2016-09-07
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] ハイブリッドシステムモデリング言語HydLaにおける静的検証2016
- Author(s)
  小山峻平，松本翔太，上田和紀
- Organizer
  第14回ディペンダブルシステムワークショップ (DSW 2016)
- Place of Presentation
  函館
- Year and Date
  2016-12-14
- Data Source
  KAKENHI-PROJECT-15K12010
[Presentation] ハイブリッドシステムモデリング言語HydLaにおける静的検証2016
- Author(s)
  小山峻平，松本翔太，上田和紀
- Organizer
  第14回ディペンダブルシステムワークショップ (DSW 2016)
- Place of Presentation
  函館市
- Year and Date
  2016-12-14
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] The exciting time and hard-won lessons of the Fifth Generation Computer Project2016
- Author(s)
  Kazunori Ueda
- Organizer
  Thirteenth International Symposium on Functional and Logic Programming (FLOPS 2016)
- Place of Presentation
  高知工科大学，高知
- Year and Date
  2016-03-04
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] グラフ書換え言語 LMNtal のビジュアルプログラミング環境の開発2016
- Author(s)
  松澤望，上田和紀
- Organizer
  第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016)
- Place of Presentation
  岡山県玉野市
- Year and Date
  2016-03-07
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] グラフ書換え系における静的グラフ型検査2015
- Author(s)
  吉元佑介，上田和紀
- Organizer
  日本ソフトウェア科学会第32回大会
- Place of Presentation
  早稲田大学，東京
- Year and Date
  2015-09-09
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] ハイブリッド制約処理系HyLaGIによる微小誤差を用いたモデル解析2015
- Author(s)
  若槻祐彰，松本翔太，伊藤剛史，和田努，上田和紀
- Organizer
  日本ソフトウェア科学会第32回大会
- Place of Presentation
  早稲田大学，東京
- Year and Date
  2015-09-11
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] ハイブリッド制約処理系HyLaGIによる微小誤差を用いたモデル解析2015
- Author(s)
  若槻祐彰，松本翔太，伊藤剛史，和田努，上田和紀
- Organizer
  日本ソフトウェア科学会第32回大会
- Place of Presentation
  早稲田大学，東京
- Year and Date
  2015-09-11
- Data Source
  KAKENHI-PROJECT-15K12010
[Presentation] Typing graphs and graph rewriting2015
- Author(s)
  Kazunori Ueda and Yusuke Yoshimoto
- Organizer
  APLAS 2015 Workshop on New Ideas and Emerging Results of Programming Languages and Systems
- Place of Presentation
  POSTECH, Pohang, Korea
- Year and Date
  2015-11-29
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] ハイブリッド制約言語HydLa処理系における数式処理と区間計算を組み合わせたシミュレーション実行2015
- Author(s)
  和田努，松本翔太，上田和紀
- Organizer
  2015年度人工知能学会全国大会
- Place of Presentation
  公立はこだて未来大学
- Year and Date
  2015-05-30
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] グラフ書換え言語LMNtalへのShape Typeの導入と実装2015
- Author(s)
  吉元佑介, 上田和紀
- Organizer
  第17回プログラミングおよびプログラミング言語ワークショップ（PPL2015）
- Place of Presentation
  愛媛県松山市
- Year and Date
  2015-03-04
- Data Source
  KAKENHI-PROJECT-24650016
[Presentation] Hyrose: A Symbolic Implementation of Hybrid Constraint Language HydLa2014
- Author(s)
  Shota Matsumoto, Kazunori Ueda
- Organizer
  The 12th Asian Symposium on Programming Languages and Systems (APLAS 2014)
- Place of Presentation
  National Univeristy of Singapore
- Year and Date
  2014-11-17
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] A Hybrid Constraint Language HydLa and Its Implementation.2014
- Author(s)
  Kazunori Ueda
- Organizer
  Halmstad Colloquium
- Place of Presentation
  Halmstad University, Sweden
- Year and Date
  2014-03-11
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] フェーズ間の制約差分情報および制約-変数間の依存関係を用いたHydLa処理系の最適化2014
- Author(s)
  小林輝哉，河野文彦，松本翔太，上田和紀
- Organizer
  2014年度人工知能学会全国大会
- Place of Presentation
  愛媛県県民文化会館
- Year and Date
  2014-05-15
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] Implementing a subset of Lambda Prolog in HyperLMNtal2014
- Author(s)
  Alimujiang Yasen, Kazunori Ueda
- Organizer
  日本ソフトウェア科学会第31回大会
- Place of Presentation
  名古屋大学東山キャンパス
- Year and Date
  2014-09-10
- Data Source
  KAKENHI-PROJECT-24650016
[Presentation] ハイブリッド制約言語HydLaを用いたハイブリッドシステムの解析2014
- Author(s)
  松本翔太，河野文彦，上田和紀
- Organizer
  2014年度人工知能学会全国大会
- Place of Presentation
  愛媛県県民文化会館
- Year and Date
  2014-05-14
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] Implementing L-lambda in HyperLMNtal2014
- Author(s)
  Alimujiang Yasen, Kazunori Ueda
- Organizer
  12th Asian Symposium on Programming Languages and Systems (APLAS 2014)
- Place of Presentation
  National Univeristy of Singapore
- Year and Date
  2014-11-17
- Data Source
  KAKENHI-PROJECT-24650016
[Presentation] パターン定義によるマッチングを導入したグラフ書換え言語とその実装2014
- Author(s)
  奈良耕太，上田和紀
- Organizer
  日本ソフトウェア科学会第31回大会
- Place of Presentation
  名古屋大学東山キャンパス
- Year and Date
  2014-09-08
- Data Source
  KAKENHI-PROJECT-24650016
[Presentation] Hash Compaction を利用したグラフ書換え系モデル検査の大規模化とその評価2014
- Author(s)
  吉田健人，小沼　賢，上田和紀
- Organizer
  電子情報通信学会ディペンダブルコンピューティング研究会
- Place of Presentation
  朱鷺メッセ・新潟コンベンションセンター
- Year and Date
  2014-07-29
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] 数式処理に基づくハイブリッドシステムシミュレータHyroseの大規模モデルシミュレーションに向けた拡張2014
- Author(s)
  河野文彦，小林輝哉，松本翔太，上田和紀
- Organizer
  日本ソフトウェア科学会第31回大会
- Place of Presentation
  名古屋大学東山キャンパス
- Year and Date
  2014-09-10
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] ハイブリッド制約処理系 Hyrose における区間ニュートン法を用いたシミュレーション実行2014
- Author(s)
  和田努，松本翔太，上田和紀
- Organizer
  第12回ディペンダブルシステムワークショップ (DSW 2014)
- Place of Presentation
  静岡県熱海市
- Year and Date
  2014-12-17
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] ハイブリッド制約処理系Hyroseにおける無矛盾性判定の並列化による高速化2014
- Author(s)
  伊藤剛史，松本翔太，上田和紀
- Organizer
  第12回ディペンダブルシステムワークショップ (DSW 2014)
- Place of Presentation
  静岡県熱海市
- Year and Date
  2014-12-17
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] ハイブリッド制約処理系HyroseにおけるLTLモデル検査手法の提案2014
- Author(s)
  若槻祐彰，松本翔太，上田和紀
- Organizer
  第12回ディペンダブルシステムワークショップ (DSW 2014)
- Place of Presentation
  静岡県熱海市
- Year and Date
  2014-12-17
- Data Source
  KAKENHI-PROJECT-26280024
[Presentation] 制約の静的解析を用いたHydLa処理系の最適化2013
- Author(s)
  河野文彦, 松本翔太, 上田和紀
- Organizer
  2013年度人工知能学会全国大会論文集
- Year and Date
  2013-06-05
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] Formalization of the Graph Rewriting Operations of LMNtal by Coq2013
- Author(s)
  Yuuki Shinobu, Yoshinori Tanabe, Kazunori Ueda
- Organizer
  11th Asian Symposium on Programming Languages and Systems
- Year and Date
  2013-12-10
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] LMNtalにおけるグラフ書換え操作のCoqによる形式化2013
- Author(s)
  信夫裕貴, 田辺良則, 上田和紀
- Organizer
  日本ソフトウェア科学会第30回大会
- Year and Date
  2013-09-13
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] Encoding type systems into HyperLMNtal2013
- Author(s)
  Alimujiang Yasen, 上田和紀
- Organizer
  日本ソフトウェア科学会第30回大会
- Year and Date
  2013-09-11
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] ハイブリッド制約言語HydLaの対話的な実行方式の実装2013
- Author(s)
  和田亮, 松本翔太, 上田和紀
- Organizer
  第11回ディペンダブルシステムワークショップ
- Year and Date
  2013-12-16
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] グラフ書換え系におけるグラフ構造の効率的な一意バイト列生成手法2013
- Author(s)
  宮原和大, 上田和紀
- Organizer
  日本ソフトウェア科学会第30回大会
- Year and Date
  2013-09-13
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] ハイブリッドシステム制約言語 HydLaの数式処理実行系へのアフィン演算の導入2013
- Author(s)
  松本翔太, 上田和紀
- Organizer
  日本ソフトウェア科学会第30回大会
- Year and Date
  2013-09-12
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] Optimized Canonical Graph Labeling Algorithm for Graph Rewriting Systems2013
- Author(s)
  Kazuhiro Miyahara and Kazunori Ueda
- Organizer
  11th Asian Symposium on Programming Languages and Systems (APLAS 2013)
- Year and Date
  2013-12-10
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] ハイブリッド制約言語プログラムのハイブリッドオートマトンへの変換アルゴリズム2012
- Author(s)
  竹口輝, 和田亮, 松本翔太, 細部博史, 上田和紀
- Organizer
  日本ソフトウェア科学会第29回大会論文集
- Place of Presentation
  東京
- Year and Date
  2012-08-22
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] ハイブリッド制約言語HydLaの記号実行シミュレータHyrose2012
- Author(s)
  松本翔太, 上田和紀
- Organizer
  日本ソフトウェア科学会第29回大会論文集5C-4
- Place of Presentation
  東京
- Year and Date
  2012-08-24
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] LMNtal によるBigraphのエンコードおよびモデル検査の実現2012
- Author(s)
  目黒学, 宮原和大, 上田和紀
- Organizer
  第10回ディペンダブルシステムワークショップ(DSW2012)
- URL
  https://sites.google.com/site/jssstdsw/dsw2012
- Place of Presentation
  神戸
- Year and Date
  2012-12-11
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] Hybrid Constraint Language HydLa and Its Implementation2012
- Author(s)
  Shota Matsumoto, Akira Takeguchi, Kazunori Ueda and Hiroshi Hosobe
- Organizer
  The 15th International Conference on Hybrid Systems : Computation and Control (HSCC 2012)
- Place of Presentation
  Beijing
- Year and Date
  2012-04-17
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] 複数の計算モデルをサポートするモデル検査器の実現2012
- Author(s)
  目黒学, 谷口直輝, 上田和紀
- Organizer
  日本ソフトウェア科学会第29回大会論文集
- Place of Presentation
  東京
- Year and Date
  2012-08-24
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] 基数制約の概念を持つSATソルバの設計と評価2011
- Author(s)
  山根裕二, 徐暁雋, 上田和紀
- Organizer
  2011年度人工知能学会全国大会
- Place of Presentation
  盛岡(岩手県)
- Year and Date
  2011-06-03
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] Explicit-time methodによるモデル検査器SLIMにおけるリアルタイムモデル検査2011
- Author(s)
  清水涼子, 川端聡基, 上田和紀
- Organizer
  日本ソフトウェア科学会大会第28回大会論文集
- Place of Presentation
  那覇
- Year and Date
  2011-09-28
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] 階層グラフ書換えモデルを拡張したHyperLMNta1の実現2011
- Author(s)
  小川誠司, 目黒学, 上田和紀
- Organizer
  2011年度人工知能学会全国大会
- Place of Presentation
  盛岡(岩手県)
- Year and Date
  2011-06-02
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] 階層グラフ書換えモデルを拡張したHyperLMNtalの実現2011
- Author(s)
  小川誠司, 目黒学, 上田和紀
- Organizer
  2011年度人工知能学会全国大会(第25回)論文集
- Place of Presentation
  盛岡
- Year and Date
  2011-06-01
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] ハイブリッドシステムモデリング言語HydLaの処理系による非決定性の扱い2011
- Author(s)
  松本翔太,高田賢士郎,細部博史,上田和紀
- Organizer
  第13回プログラミングおよびプログラミング言語ワークショップ(PPL2011)
- Place of Presentation
  札幌
- Year and Date
  2011-03-09
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] ハイブリッドシステムモデリング言語HydLaを用いたシステム解析2011
- Author(s)
  竹口輝, 松本翔太, 上田和紀
- Organizer
  ディペンダブルシステムワークショップ&シンポジウム(DSW & DSS 2011)
- Place of Presentation
  京都工芸繊維大学(京都府)
- Year and Date
  2011-12-14
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] HyperLMNta1 : An Extension of a Hierarchical Graph Rewriting Model2011
- Author(s)
  Manabu Meguro, Seiji Ogawa, Kazunori Ueda
- Organizer
  The Ninth Asian Symposium on Programming Languages and Systems (APLAS 2011)
- Place of Presentation
  Kenting (Taiwan)
- Year and Date
  2011-12-06
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] 並列モデル検査器SLIM上でのΔ-marking手法の実装と評価2011
- Author(s)
  川端聡基, 上田和紀
- Organizer
  ディペンダブルシステムワークショップ&シンポジウム(DSW & DSS 2011
- Place of Presentation
  京都工芸繊維大学(京都府)
- Year and Date
  2011-12-14
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] Simulation with Guaranteed Accuracy Using Hybrid System Modeling Language HydLa2011
- Author(s)
  K.Sakuraba, K.Ueda, H.Hosobe, S.Shibuya, S.Matsumoto
- Organizer
  The Ninth Asian Symposium on Programming Languages and Systems (APLAS 2011)
- Place of Presentation
  Kenting (Taiwan)
- Year and Date
  2011-12-06
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] Explicit-time methodによるモデル検査器SLIMにおけるリアルタイムモデル検査2011
- Author(s)
  清水涼子, 川端聡基, 上田和紀
- Organizer
  日本ソフトウェア科学会大会第28回大会
- Place of Presentation
  那覇(沖縄県)
- Year and Date
  2011-09-28
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] 階層グラフ書換え言語LMNtalにおける管理アトムの処理2011
- Author(s)
  目黒学, 中川遼平, 上田和紀
- Organizer
  第13回プログラミングおよびプログラミング言語ワークショップ(PPL2011)
- Place of Presentation
  北海道札幌市定山渓ビューホテル
- Year and Date
  2011-03-09
- Data Source
  KAKENHI-PLANNED-18049015
[Presentation] ハイブリッドシステムモデリング言語HydLaの数式処理実行系2011
- Author(s)
  高田賢士郎, 渋谷俊, 細部博史, 上田和紀
- Organizer
  情報処理学会第73回全国大会
- Place of Presentation
  東工大大岡山キャンパス
- Year and Date
  2011-03-02
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] ハイブリッドシステムモデリング言語HydLaの実装2011
- Author(s)
  松本翔太, 桜庭翔, 高田賢士郎, 細部博史, 上田和紀
- Organizer
  日本ソフトウェア科学会大会第28回大会
- Place of Presentation
  那覇(沖縄県)
- Year and Date
  2011-09-29
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] 基数制約に対応するクラスタ向け並列SATソルバとその評価2011
- Author(s)
  徐暁雋, 山根裕二, 上田和紀
- Organizer
  2011年並列/分散/協調処理に関する『鹿児島』サマー・ワークショップ
- Place of Presentation
  鹿児島(鹿児島県)
- Year and Date
  2011-07-28
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] ハイブリッドシステムモデリング言語HydLaを用いたシステム解析2011
- Author(s)
  竹口輝, 松本翔太, 上田和紀
- Organizer
  ディペンダブルシステムワークショップ&シンポジウム(DSW&DSS2011)論文集
- Place of Presentation
  京都
- Year and Date
  2011-12-14
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] ハイブリッドシステムモデリング言語HydLaの数式処理実行系2011
- Author(s)
  高田賢士郎,渋谷俊,細部博史,上田和紀
- Organizer
  情報処理学会第73回全国大会
- Year and Date
  2011-03-02
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] ハイブリッド制約言語HydLaの宣言的意味論2010
- Author(s)
  上田和紀,細部博史,石井大輔
- Organizer
  日本ソフトウェア科学会第27回大会
- Place of Presentation
  津田塾大学
- Year and Date
  2010-09-14
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] ハイブリッドシステムモデリング言語HydLa処理系の実行アルゴリズムの検討2010
- Author(s)
  渋谷俊,高田賢士郎,上田和紀,細部博史
- Organizer
  第8回ディペンダブルシステムワークショップ
- Place of Presentation
  函館
- Year and Date
  2010-07-22
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] ハイブリッドシステムモデリング言語HydLaの統合処理系2010
- Author(s)
  高田賢士郎,廣瀬賢一,大谷順司,石井大輔,細部博史,上田和紀
- Organizer
  第12回プログラミングおよびプログラミング言語ワークショップ(PPL'10)
- Place of Presentation
  香川県琴平温泉
- Year and Date
  2010-03-04
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] ハイブリッドシステムモデリング言語HydLa処理系における実行アルゴリズム2010
- Author(s)
  渋谷俊,高田賢士郎,細部博史,上田和紀
- Organizer
  日本ソフトウェア科学会第27回大会
- Place of Presentation
  津田塾大学
- Year and Date
  2010-09-13
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] ハイブリッドシステムモデリング言語HydLa処理系の実行アルゴリズムの検討2010
- Author(s)
  渋谷俊, 高田賢士郎, 上田和紀
- Organizer
  第8回ディペンダブルシステムワークショップ論文集
- Place of Presentation
  函館
- Year and Date
  2010-07-22
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] ハイブリッドシステムモデリング言語 HydLa の統合処理系2010
- Author(s)
  高田賢士郎, 廣瀬賢一, 大谷順司, 石井大輔, 細部博史, 上田和紀
- Organizer
  第12回プログラミングおよびプログラミング言語ワークショップ(PPL'10)
- Place of Presentation
  香川県琴平温泉
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] LMNtal実行時処理系の並列モデル検査器への展開2010
- Author(s)
  後町将人, 堀泰祐, 上田和紀
- Organizer
  日本ソフトウェア科学会第27回大会
- Place of Presentation
  東京都津田塾大学
- Data Source
  KAKENHI-PLANNED-18049015
[Presentation] ハイブリッドシステムモデリング言語 HydLa の区間制約に基づく全解シミュレーション実行処理系2010
- Author(s)
  大谷順司, 廣瀬賢一, 石井大輔, 細部博史, 上田和紀
- Organizer
  情報処理学会創立50周年記念(第72回)全国大会
- Place of Presentation
  東京大学
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] 強連結成分の性質を用いたOWCTYモデル検査アルゴリズムの高速化2010
- Author(s)
  川端聡基, 小林史佳, 上田和紀
- Organizer
  2010年度人工知能学会全国大会(第24回)
- Place of Presentation
  長崎県長崎市長崎ブリックホール
- Data Source
  KAKENHI-PLANNED-18049015
[Presentation] ハイブリッドシステムモデリング言語HydLa処理系における実行アルゴリズム2010
- Author(s)
  渋谷俊, 高田賢士郎, 細部博史, 上田和紀
- Organizer
  日本ソフトウェア科学会第27回大会論文集
- Place of Presentation
  津田塾大学
- Year and Date
  2010-09-13
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] 強連結成分の特性を用いた並列モデル検査アルゴリズムSCC-OWCTYの設計と評価2010
- Author(s)
  川端聡基, 小林史佳, 上田和紀
- Organizer
  2010年並列/分散/協調処理に関する『金沢』サマー・ワークショップSWOPP 金沢2010
- Place of Presentation
  金沢市文化ホール
- Year and Date
  2010-08-04
- Data Source
  KAKENHI-PLANNED-18049015
[Presentation] LMNtal検証ビジュアルツールLaViT2010
- Author(s)
  綾野貴之, 上田和紀
- Organizer
  第8回ディペンダブルシステムワークショップ論文集
- Place of Presentation
  北海道函館市函館大沼プリンスホテル
- Year and Date
  2010-07-20
- Data Source
  KAKENHI-PLANNED-18049015
[Presentation] LMNtalモデル検査器における状態爆発対策2010
- Author(s)
  後町将人, 上田和紀
- Organizer
  2010年並列/分散/協調処理に関する『金沢』サマー・ワークショップSWOPP 金沢2010
- Place of Presentation
  石川県金沢市石川県金沢市金沢市文化ホール
- Year and Date
  2010-08-04
- Data Source
  KAKENHI-PLANNED-18049015
[Presentation] ハイブリッドシステムモデリング言語HydLaの区間制約に基づく全解シミュレーション実行処理系2010
- Author(s)
  大谷順司,廣瀬賢一,石井大輔,細部博史,上田和紀
- Organizer
  情報処理学会創立50周年記念(第72回)全国大会
- Place of Presentation
  東京大学
- Year and Date
  2010-03-09
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] ハイブリッド制約言語HydLaの宣言的意味論2010
- Author(s)
  上田和紀, 細部博史, 石井大輔
- Organizer
  日本ソフトウェア科学会第27回大会論文集
- Place of Presentation
  津田塾大学
- Year and Date
  2010-09-14
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] 不確実値を持つハイブリッドシステムの高信頼なシミュレーション手法2009
- Author(s)
  大谷順司,廣瀬賢一,石井大輔,上田和紀
- Organizer
  第6回ディペンダブルシステムシンポジウム
- Place of Presentation
  大阪大学
- Year and Date
  2009-12-15
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] An Interval-based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems2009
- Author(s)
  Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe
- Organizer
  Workshop on Verified Software : Theory, Tools, and Experiments(VSTTE'09)
- Place of Presentation
  オランダ・アイントホーフェン
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] A Parallel SAT Solver for Clusters2009
- Author(s)
  K. Ohmura, K. Ueda
- Organizer
  12th Int' l Conf. on Theory and Applications of Satisfiability Testing
- Place of Presentation
  Swansea(Wales)
- Year and Date
  2009-07-03
- Data Source
  KAKENHI-PROJECT-20240003
[Presentation] 微分制約論理式によるハイブリッドシステムのモデリングと検証2009
- Author(s)
  石井大輔,上田和紀,細部博史
- Organizer
  電子情報通信学会コンカレント工学研究会
- Place of Presentation
  横浜
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] 制約概念に基づくハイブリッドシステムモデリング言語HydLaの実装2009
- Author(s)
  廣瀬賢一,大谷順司,石井大輔,細部博史,上田和紀
- Organizer
  第11回プログラミングおよびプログラミング言語ワークショップ(PPL2009)
- Place of Presentation
  高山
- Year and Date
  2009-03-10
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] Simulation of Hybrid Systems based on Hierarchical Interval Constraints2009
- Author(s)
  石井大輔, 上田和紀, 細部博史
- Organizer
  2nd International Conference on Simulation Tools and Techniques (SIMUTools'09)
- Place of Presentation
  ローマ
- Year and Date
  2009-03-04
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] c-sat : A Parallel SAT Solver for Clusters2009
- Author(s)
  K.Ohmura, K.Ueda
- Organizer
  12th Int' l Conf on Theory and Applications of Satisfiability Testing (SAT 2009)
- Place of Presentation
  Swansea (Wales).
- Year and Date
  2009-07-03
- Data Source
  KAKENHI-PROJECT-20240003
[Presentation] Alexandre Goldsztejn, Interval-based Solving of Hybrid Constraint Systems2009
- Author(s)
  石井大輔, 上田和紀, 細部博史
- Organizer
  The 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'09)
- Place of Presentation
  スペイン・サラゴサ
- Year and Date
  2009-09-17
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] 制約概念に基づくハイブリッドシステムモデリング言語HydLaの実装2009
- Author(s)
  廣瀬賢一, 大谷順司, 石井大輔, 細部博史, 上田和紀
- Organizer
  第11回プログラミングおよびプログラミング言語ワークショップ(PPL2009)
- Place of Presentation
  岐阜県・高山市
- Year and Date
  2009-03-10
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] 制約階層によるハイブリッドシステムのモデリング手法2009
- Author(s)
  廣瀬賢一,大谷順司,石井大輔,細部博史,上田和紀
- Organizer
  日本ソフトウェア科学会第26回大会
- Place of Presentation
  島根大学
- Year and Date
  2009-09-16
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Un-derstanding Nondeterministic Systems2009
- Author(s)
  Kazunori Ueda, Takayuki Ayano, Taisuke Hori, Hiroki Iwasawa, Seiji Ogawa
- Organizer
  International Colloquium on Theoret-ical Aspects of Computing, 349-355
- Data Source
  KAKENHI-PLANNED-18049015
[Presentation] An Interval-based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems2009
- Author(s)
  石井大輔, 上田和紀, 細部博史
- Organizer
  Workshop on Verified Software : Theory, Tools, and Experiments (VSTTE'09)
- Place of Presentation
  オランダ・アイントホーフェン
- Year and Date
  2009-11-02
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] c-sat : A Parallel SAT Solver for Clusters2009
- Author(s)
  Kei Ohmura, Kazunori Ueda
- Organizer
  International Conference on Theory and Applications of Satisfiability Testing, 524-537
- Data Source
  KAKENHI-PLANNED-18049015
[Presentation] Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems2009
- Author(s)
  Kazunori Ueda
- Organizer
  Sixth International Colloquium on Theoretical Aspects of Computing(ICTAC 2009)
- Place of Presentation
  Kuala Lumpur, Malaysia
- Year and Date
  2009-08-20
- Data Source
  KAKENHI-PLANNED-18049015
[Presentation] Simulation of Hybrid Systems based on Hierarchical Interval Constraints2009
- Author(s)
  D. Ishii, K. Ueda, H. Hosobe
- Organizer
  2nd International Conference on Simulation Tools and Techniques (SIMUTools'09)
- Place of Presentation
  イタリア・ローマ
- Year and Date
  2009-03-04
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] Interval-based Solving of Hybrid Constraint Systems2009
- Author(s)
  Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe, Alexandre Goldsztejn
- Organizer
  The 3rd IFAC Conference on Analysis and Design of Hybrid Systems(ADHS'09)
- Place of Presentation
  スペイン・サラゴサ
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting2008
- Author(s)
  Kazunori Ueda
- Organizer
  19th Int. Conf. on Rewriting Techniques and Applications
- Place of Presentation
  Hagenberg
- Data Source
  KAKENHI-PLANNED-18049015
[Presentation] ハイブリッドシステムの高信頼シミュレーションへの区間ニュートン法の適用2008
- Author(s)
  石井大輔,上田和紀,細部博史
- Organizer
  第6回ディペンダブルシステムワークショップ(DSW'08summer)
- Place of Presentation
  函館
- Year and Date
  2008-07-03
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] 制約概念に基づくハイブリッドシステムモデリング言語2008
- Author(s)
  上田和紀,石井大輔,細部博史
- Organizer
  日本ソフトウェア科学会第25回大会
- Place of Presentation
  筑波大学
- Year and Date
  2008-09-11
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] 制約概念に基づくハイブリッドシステムモデリング言語HydLa2008
- Author(s)
  上田和紀,石井大輔,細部博史
- Organizer
  第5回システム検証の科学技術シンポジウム(SSV'08)
- Place of Presentation
  筑波大学
- Year and Date
  2008-11-17
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] ハイブリッドシステムの高信頼シミュレーションへの区間ニュートン法の適用2008
- Author(s)
  石井大輔, 上田和紀, 細部博史
- Organizer
  第6回ディペンダブルシステムワークシヨツプ(DSW' 08summer)
- Place of Presentation
  北海道・函館
- Year and Date
  2008-07-03
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] 制約概念に基づくハイブリッドシステムモデリング言語2008
- Author(s)
  上田和紀, 石井大輔, 細部博史
- Organizer
  日本ソフトウェア科学会第25回大会
- Place of Presentation
  東京・筑波大学
- Year and Date
  2008-09-11
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] 数式処理・Quantifier Eliminationを用いたハイブリッドシステムのZeno状態の導出手法2008
- Author(s)
  大野善之,石井大輔,上田和紀
- Organizer
  人工知能学会第22回全国大会
- Place of Presentation
  旭川
- Year and Date
  2008-06-11
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] 区間演算を用いたODE Solver における任意精度演算の導入とパラメタ最適化2008
- Author(s)
  廣瀬賢一, 石井大輔, 上田和紀
- Organizer
  FIT2008 第7回情報科学技術フォーラム
- Place of Presentation
  慶応義塾大学
- Year and Date
  2008-09-03
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] 数式処理・Quantifier Eliminationを用いたハイブリッドシステムのZeno状態の導出手法2008
- Author(s)
  大野善之, 石井大輔, 上田和紀
- Organizer
  人工知能学会第22回全国大会
- Place of Presentation
  北海道・旭川市
- Year and Date
  2008-06-11
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] Towards a Turing Machine for the 21st Century : Unifying Diverse Models of Computation2008
- Author(s)
  Kazunori Ueda
- Organizer
  Egypt-Japan University of Science and Technology(E-JUST) First Symposium
- Place of Presentation
  Alexandria(Egypt)(招特待講演)
- Year and Date
  2008-11-01
- Data Source
  KAKENHI-PLANNED-18049015
[Presentation] Encoding the Pure Lambda Calculus into Hierarchical Graph Re-writing2008
- Author(s)
  Kazunori Ueda
- Organizer
  International Conference on Rewriting Techniques and Applications, 392-408
- Data Source
  KAKENHI-PLANNED-18049015
[Presentation] Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting2008
- Author(s)
  Kazunori Ueda
- Organizer
  19th International Conference on Rewriting Techniques and Applications
- Place of Presentation
  Hagenberg(Austria)
- Year and Date
  2008-07-01
- Data Source
  KAKENHI-PLANNED-18049015
[Presentation] 制約概念に基づくハイブリッドシステムモデリング言語HydLa2008
- Author(s)
  上田和紀, 石井大輔, 細部博史
- Organizer
  第5回システム検証の科学技術シンポジウム(SSV'08)
- Place of Presentation
  筑波・筑波大学
- Year and Date
  2008-11-17
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] 区間演算を用いたODE Solverにおける任意精度演算の導入とパラメタ最適化2008
- Author(s)
  廣瀬賢一,石井大輔,上田和紀
- Organizer
  FIT2008 第7 回情報科学技術フォーラム
- Place of Presentation
  慶応義塾大学
- Year and Date
  2008-09-03
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting2007
- Author(s)
  Ueda, K.
- Organizer
  Ninth Workshop on Programming and Programming Languages (PPL2007)
- Place of Presentation
  Kaga, Japan
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] 階層グラフ可視化ツール"UNYO-UNYO"(うにょうにょ)の設計と実装2007
- Author(s)
  中野敦, 上田和紀
- Organizer
  第9回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  加賀市
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] 純粋λ計算の階層グラフ書換えへのエンコーディング2007
- Author(s)
  上田和紀
- Organizer
  第9回プログラミングおよびプログラミング言語ワークショップ(PPL2007)
- Place of Presentation
  加賀市
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] LMNtal as a Unifying Declarative Language2006
- Author(s)
  Ueda, K., Kato, N., Hara, K. and Mizuno, K.
- Organizer
  Third workshop on Constraint Handling Rules(CHR 2006)
- Place of Presentation
  Venezia,Italy
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] 非決定的LMNtalとその検証への応用2006
- Author(s)
  水野謙, 上田和紀
- Organizer
  第8回プログラミングおよびプログラミング言語ワークショップ(PPL2006)
- Place of Presentation
  大津市
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] 0CamlによるLMNtal実行時処理系0CaMNtalの実装2006
- Author(s)
  工藤晋太郎, 乾敦行, 櫻井健, 上田和紀
- Organizer
  第8回プログラミングおよびプログラミング言語ワークショップ(PPL2006)
- Place of Presentation
  大津市
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] Hierarchical Graph Rewriting as a Unifying Model of Concurrency2006
- Author(s)
  Ueda, K.
- Organizer
  LIX Colloquium on Emerging Trends in Concurrency Theory
- Place of Presentation
  Paris, France
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] LMNtal as a Unifying Declarative Language : Live Demonstration2006
- Author(s)
  Ueda, K., Kato, N., Hara, K., Mizuno, K.
- Organizer
  22nd Int. Conf. on Logic Programming(ICLP'06)
- Place of Presentation
  Seattle, USA
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] 分散プロセス計算のLMNtalへのエンコーディング2006
- Author(s)
  上田和紀
- Organizer
  日本ソフトウェア科学会第23回大会
- Place of Presentation
  文京区
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] LMNtal as a Unifying Declarative Language2006
- Author(s)
  Ueda, K., Kato, N., Hara, K., Mizuno, K.
- Organizer
  Third workshop on Constraint Handling Rules(CHR 2006)
- Place of Presentation
  Venezia, Italy
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] LMNtal as a Unifying Declarative Language: Live Demonstration2006
- Author(s)
  Ueda, K., Kato, N., Hara, K. and Mizuno, K.
- Organizer
  22nd Int. Conf.on Logic Programming (ICLP'06)
- Place of Presentation
  Seattle,USA
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] 階層グラフ書き換え言語LMNtal処理系とその応用例2006
- Author(s)
  乾敦行, 原耕司, 水野謙, 上田和紀
- Organizer
  第8回プログラミングおよびプログラミング言語ワークショップ(PPL2006)
- Place of Presentation
  大津市
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] Hierarchical graph rewriting as a unifying model of concurrency2006
- Author(s)
  Ueda, K.
- Organizer
  LIX Colloquium on Emerging Trends in Concurrency Theory
- Place of Presentation
  Paris,France
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] LMNtalを用いた分散処理の実現2005
- Author(s)
  中島求, 加藤紀夫, 水野謙, 上田和紀
- Organizer
  第8回プログラミングおよび応用のシステムに関するワークショップ(SPA 2005)
- Place of Presentation
  渋川市
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] プログラムと対称性2005
- Author(s)
  上田和紀
- Organizer
  夏のプログラミングシンポジウム「アッと驚くプログラミング」, 情報処理学会
- Place of Presentation
  函館市
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] 階層グラフ書き換えによるプロトコル検証2005
- Author(s)
  圷弘明, 加藤紀夫, 上田和紀
- Organizer
  第7回プログラミングおよびプログラミング言語ワークショップ(PPL2005)
- Place of Presentation
  群馬県水上町
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] 階層グラフ書換え言語LMNtal処理系における非同期実行の実現2005
- Author(s)
  水野謙, 加藤紀夫, 原耕司, 上田和紀
- Organizer
  日本ソフトウェア科学会第22回大会
- Place of Presentation
  仙台市
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] Constraint-Based Concurrency and Beyond2005
- Author(s)
  Ueda, K.
- Organizer
  Workshop on Algebraic Process Calculi, The First Twenty Years(PA'05)
- Place of Presentation
  Bertinolo,Italy
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] LMNtalコンパイラにおける並び替えとグループ化を用いた命令列の最適化2005
- Author(s)
  櫻井健, 加藤紀夫, 水野謙, 上田和紀
- Organizer
  第4回情報科学技術フォーラム(FIT2005)
- Place of Presentation
  文京区
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] 小規模制御系向けLMNtal処理系の設計と実装2005
- Author(s)
  矢島伸吾, 加藤紀夫, 上田和紀
- Organizer
  第7回プログラミングおよびプログラミング言語ワークショップ(PPL2005)
- Place of Presentation
  群馬県水上町
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] Programs and Symmetry2005
- Author(s)
  Ueda, K.
- Organizer
  The Summer Programming Symposium 2005, IPSJ
- Place of Presentation
  Hakodate, Japan
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] Constraint-Based Concurrency and Beyond2005
- Author(s)
  Ueda, K
- Organizer
  Workshop on Algebraic Process Calculi, The First Twenty Years(PA'05)
- Place of Presentation
  Bertinolo, Italy
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] LMNtal分散処理系の設計と実装2004
- Author(s)
  中島求, 加藤紀夫, 水野謙, 上田和紀
- Organizer
  日本ソフトウェア科学会第21回大会
- Place of Presentation
  目黒区
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] 階層グラフ書換え言語における並行プロセスの型推論2004
- Author(s)
  加藤紀夫, 上田和紀
- Organizer
  情報処理学会第50回プログラミング研究会
- Place of Presentation
  青森市
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] LMNtal:a Language Model with Links and Membranes2004
- Author(s)
  Ueda, K. and Kato, N.
- Organizer
  Fifth Workshop on Membrane Computing
- Place of Presentation
  Milano,Italy
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] 言語モデルLMNtalの操作的意味論の設計2004
- Author(s)
  加藤紀夫, 水野謙, 上田和紀
- Organizer
  日本ソフトウェア科学会第21回大会
- Place of Presentation
  目黒区
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] LMNtal処理系および他言語インタフェースの設計と実装2004
- Author(s)
  原耕司, 水野謙, 矢島伸吾, 永田貴彦, 中島求, 加藤紀夫, 上田和紀
- Organizer
  情報処理学会第50回プログラミング研究会
- Place of Presentation
  青森市
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] a Language Model with Links and Membranes2004
- Author(s)
  Ueda, K., Kato, N., LMNtal
- Organizer
  Fifth Workshop on Membrane Computing
- Place of Presentation
  Milano, Italy
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16300009
[Presentation] 文脈に依存したグラフ書き換え系の設計と実装
- Author(s)
  奈良耕太，上田和紀
- Organizer
  第16回プログラミングおよびプログラミング言語ワークショップ（PPL2014
- Place of Presentation
  阿蘇
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] Formalization of the Graph Rewriting Operations of LMNtal by Coq
- Author(s)
  Yuuki Shinobu, Yoshinori Tanabe, Kazunori Ueda
- Organizer
  11th Asian Symposium on Programming Languages and Systems (APLAS 2013)
- Place of Presentation
  Melbourne, Australia
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] Formalization of the Graph Rewriting Operations of LMNtal by Coq
- Author(s)
  Yuuki Shinobu, Yoshinori Tanabe, Kazunori Ueda
- Organizer
  11th Asian Symposium on Programming Languages and Systems (APLAS 2013)
- Place of Presentation
  Melbourne, Australia
- Data Source
  KAKENHI-PROJECT-24650016
[Presentation] LMNtal 並列モデル検査における状態生成数削減及び高速化
- Author(s)
  安田竜，上田和紀，吉田健人
- Organizer
  2013年度人工知能学会全国大会
- Place of Presentation
  富山
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] LMNtalにおけるグラフ書換え操作のCoqによる形式化
- Author(s)
  信夫裕貴，田辺良則，上田和紀
- Organizer
  日本ソフトウェア科学会第30 回大会(JSSST2013)
- Place of Presentation
  東京大学本郷
- Data Source
  KAKENHI-PROJECT-24650016
[Presentation] 制約の静的解析を用いたHydLa処理系の最適化
- Author(s)
  河野文彦，松本翔太，上田和紀
- Organizer
  2013年度人工知能学会全国大会
- Place of Presentation
  富山
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] LMNtalによるBigraphのエンコードおよびモデル検査の実現
- Author(s)
  目黒学, 宮原和大, 上田和紀
- Organizer
  第10回ディペンダブルシステムワークショップ (DSW 2012)
- Place of Presentation
  神戸
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] LMNtalコンパイラの検証に向けたグラフ書き換え操作の形式化
- Author(s)
  信夫裕貴, 上田和紀
- Organizer
  第15回プログラミングおよびプログラミング言語ワークショップ（PPL2013）
- Place of Presentation
  会津若松
- Data Source
  KAKENHI-PROJECT-24650016
[Presentation] SLIMの階層グラフのためのキャッシュコンシャスかつ効率的なデータ構造
- Author(s)
  吉田健人, 上田和紀
- Organizer
  第15回プログラミングおよびプログラミング言語ワークショップ（PPL2013)
- Place of Presentation
  会津若松
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] Encoding type systems into HyperLMNtal
- Author(s)
  Alimujiang Yasen, Kazunori Ueda
- Organizer
  日本ソフトウェア科学会第30回大会(JSSST2013)
- Place of Presentation
  東京
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] 動的に変化するグラフのための効率的な一意エンコード生成手法
- Author(s)
  宮原和大, 上田和紀
- Organizer
  第15回プログラミングおよびプログラミング言語ワークショップ（PPL2013)
- Place of Presentation
  会津若松
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] Optimized Canonical Graph Labeling Algorithm for Graph Rewriting Systems
- Author(s)
  Kazuhiro Miyahara and Kazunori Ueda
- Organizer
  11th Asian Symposium on Programming Languages and Systems (APLAS 2013)
- Place of Presentation
  Melbourne, Australia
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] HydLa: A High-Level Language for Hybrid Systems
- Author(s)
  Kazunori Ueda, Shota Matsumoto, Akira Takeguchi, Hiroshi Hosobe, Daisuke Ishii
- Organizer
  Second Workshop on Logics for System Analysis (LfSA 2012)（査読有）
- Place of Presentation
  Berkeley, CA, USA
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] Literal Block Distanceに基づく学習節共有を行う並列SATソルバGlucans
- Author(s)
  徐暁雋，松本翔太，上田和紀
- Organizer
  2013年度人工知能学会全国大会
- Place of Presentation
  富山
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] グラフ書換え系におけるグラフ構造の効率的な一意バイト列生成手法
- Author(s)
  宮原和大，上田和紀
- Organizer
  日本ソフトウェア科学会第30回大会(JSSST2013)
- Place of Presentation
  東京
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] 複数の計算モデルをサポートするモデル検査器の実現
- Author(s)
  目黒学，谷口直輝，上田和紀
- Organizer
  日本ソフトウェア科学会第29回大会
- Place of Presentation
  東京
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] LMNtal処理系SLIMのマルチスレッド化による最短経路問題のデータ並列求解
- Author(s)
  青山龍一，上田和紀
- Organizer
  先進的計算基盤システムシンポジウム SACSIS2013
- Place of Presentation
  仙台
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] Encoding type systems into HyperLMNtal
- Author(s)
  Alimujiang Yasen, 上田和紀
- Organizer
  日本ソフトウェア科学会第30 回大会(JSSST2013)
- Place of Presentation
  東京大学本郷
- Data Source
  KAKENHI-PROJECT-24650016
[Presentation] ハイブリッドシステム制約言語HydLaの数式処理実行系へのアフィン演算の導入
- Author(s)
  松本翔太，上田和紀
- Organizer
  日本ソフトウェア科学会第30回大会(JSSST2013)
- Place of Presentation
  東京
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] ハイブリッド制約言語HydLaの記号実行シミュレータHyrose
- Author(s)
  松本翔太，上田和紀
- Organizer
  日本ソフトウェア科学会第29回大会
- Place of Presentation
  東京
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] LMNtal並列モデル検査における状態生成数削減及び高速化
- Author(s)
  安田竜, 上田和紀
- Organizer
  第15回プログラミングおよびプログラミング言語ワークショップ（PPL2013)
- Place of Presentation
  会津若松
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] ハイブリッド制約言語HydLaの対話的な実行方式の実装
- Author(s)
  和田亮，松本翔太，上田和紀
- Organizer
  第11回ディペンダブルシステムワークショップ (DSW 2013)
- Place of Presentation
  熱海
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] A Hybrid Constraint Language HydLa and Its Implementation
- Author(s)
  Kazunori Ueda
- Organizer
  Halmstad Colloquium
- Place of Presentation
  Halmstad, Sweden
- Invited
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] LMNtal実行時処理系SLIMにおけるグラフ構造探索の計算量改善
- Author(s)
  青山龍一，上田和紀
- Organizer
  第16回プログラミングおよびプログラミング言語ワークショップ（PPL2014
- Place of Presentation
  阿蘇
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] LMNtal処理系SLIMのマルチスレッド化による最短経路問題のデータ並列求解
- Author(s)
  青山龍一, 上田和紀
- Organizer
  第15回プログラミングおよびプログラミング言語ワークショップ（PPL2013)
- Place of Presentation
  会津若松
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] ハイブリッド制約言語プログラムのハイブリッドオートマトンへの変換アルゴリズム
- Author(s)
  竹口輝，和田亮，松本翔太，細部博史，上田和紀
- Organizer
  日本ソフトウェア科学会第29回大会
- Place of Presentation
  東京
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] Hybrid Constraint Language HydLa and Its Implementation
- Author(s)
  Shota Matsumoto, Akira Takeguchi, Kazunori Ueda, Hiroshi Hosobe
- Organizer
  15th International Conference on Hybrid Systems: Computation and Control (HSCC 2012)（査読有）
- Place of Presentation
  北京、中国
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] LMNtalにおけるグラフ書換え操作のCoqによる形式化
- Author(s)
  信夫裕貴，田辺良則，上田和紀
- Organizer
  日本ソフトウェア科学会第30回大会(JSSST2013)
- Place of Presentation
  東京
- Data Source
  KAKENHI-PROJECT-23300011

1. ISHII Daisuke (00454025)

# of Collaborated Projects: 4 results

# of Collaborated Products: 38 results
2. HOSOBE Hiroshi (60321577)

# of Collaborated Projects: 3 results

# of Collaborated Products: 43 results
3. CHIKAYAMA Takashi (40272380)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
4. YUASA Taiichi (60158326)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. TAURA Kenjiro (90282714)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. ENDO Toshio (80396788)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
7. YOKOYAMA Daisaku (80345272)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
8. TANABE Yoshinori (60443199)

# of Collaborated Projects: 2 results

# of Collaborated Products: 4 results
9. MATSUMOTO Shota

# of Collaborated Projects: 2 results

# of Collaborated Products: 32 results
10. UMATANI Seiji (40378831)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. TAMURA Naoyuki (60207248)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. BANBARA Mutsunori (80290774)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. HIRAYAMA Katsutoshi (00273813)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
14. INOUE Katsumi (10252321)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. IWANUMA Koji (30176557)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. NABESHIMA Hidetomo (10334848)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. YAMAMOTO Yoshitaka (30550793)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. YOKOO Makoto (20380678)

# of Collaborated Projects: 1 results

# of Collaborated Products: 6 results
19. HASEGAWA Ryuzo (20274483)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
20. FUJITA Hiroshi (70284552)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. KISHIMURA Miyuki (30274492)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. MIYAMOTO Eiichi (00001173)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. TAMAI Tetsuo (60217172)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
24. ARAKI Keijiro (40117057)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
25. TOGASHI Atsushi (20172140)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
26. FUTATSUGI Kokichi (50251971)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
27. MORI Shinichiro (20243058)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
28. YASUGI Masahiro (30273759)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
29. KOMIYA Tsuneyasu (80283638)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
30. KATO Norio (40350467)

# of Collaborated Projects: 1 results

# of Collaborated Products: 35 results
31. 横森貴 (60139722)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
32. 榊原康文 (10287427)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
33. 小林聡 (50251707)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
34. 鈴木泰寛 (50292983)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
35. 楠元範明 (60277861)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
36. 山下雅史 (00135419)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
37. 萩谷昌巳 (30156252)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
38. 渡辺治 (80158617)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
39. 山村雅幸 (00220442)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
40. 増澤利光 (50199692)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
41. 五島正裕 (90283639)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
42. 山本直輝 (50960308)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
43. TAHA Walid

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

UEDA Kazunori 上田 和紀

上田 和紀 ウエダ カズノリ

Research Projects

Research Products

Co-Researchers

強力なデータ構造と並行性をもつ高水準言語の解析・実装技法の多面的開拓Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Developing highly functional 3D-printing technologies supported by advanced programming methodologiesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Evolution and development of high-level modeling languages integrating programming lanuguage technologiesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

General-purpose high-level language with the notion of real numbers and timePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Deepening the implemenation technology of high-level modeling language implementations integrated with verifiersPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Evolutionary development of a model checker compiler using verification technology and non-standard type systemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Implementations of high-level modeling languages that integrate high-performance verifiersPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Study of SAT-based constraint optimization problem solving and its parallel distributed processing

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

High-level hybrid constraint modeling language and its reliable implementationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Highly Scalable Software Construction Basis for Information Explosion Era

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

計算機科学における離散と連続に関する調査と新しい展開

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Putting Scalable and Unifying Programming Language Model LMNtal into Practical UsePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

構造的分子計算理論-自律的計算系の解析と設計のための基礎理論Principal Investigator

Principal Investigator

Project Period (FY)

UEDA Kazunori 上田和紀

上田和紀ウエダカズノリ