• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

上田 和紀  UEDA Kazunori

ORCIDORCID連携する *注記
研究者番号 10257206
その他のID
外部サイト
所属 (現在) 2025年度: 早稲田大学, 理工学術院, 教授
所属 (過去の研究課題情報に基づく) *注記 2023年度: 早稲田大学, 理工学術院, 教授
2004年度 – 2021年度: 早稲田大学, 理工学術院, 教授
2011年度: 早稲田大学, 理工学術院情報理工学科, 教授
2010年度: 早大, 理工学術院, 教授
1997年度 – 2005年度: 早稲田大学, 理工学部, 教授
1995年度 – 1996年度: 早稲田大学, 理工学部, 助教授
審査区分/研究分野
研究代表者
ソフトウエア / 小区分60050:ソフトウェア関連 / 計算機科学 / ソフトウェア / 中区分60:情報科学、情報工学およびその関連分野
研究代表者以外
理工系 / ソフトウエア / 情報学基礎
キーワード
研究代表者
ハイブリッドシステム / GHC / モデル検査 / 言語処理系 / 高水準モデリング言語 / グラフ書換え / 制約プログラミング / プログラミング言語 / LMNtal / DKLIC … もっと見る / 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 / モード / 論理プログラミング / 制約充足 / デバッグ / プログラム診断 / モード解析 / モード体系 / ソフトウェア進化 / 型体系 / 検証 / ハイプリッドシステム / システム検証 / 制約 / 高信頼計算 / モデリング言語 … もっと見る
研究代表者以外
計算機システム / アルゴリズム / 並列分散処理 / 自然計算 / 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コンピュータ / 階層グラフ書換え / 少数分子系 / 非線形科学 / バクテリアコンピュータ / 配列設計 / 自律計算 隠す
  • 研究課題

    (17件)
  • 研究成果

    (341件)
  • 共同研究者

    (43人)
  •  強力なデータ構造と並行性をもつ高水準言語の解析・実装技法の多面的開拓研究代表者

    • 研究代表者
      上田 和紀
    • 研究期間 (年度)
      2023 – 2025
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      早稲田大学
  •  先進的プログラム構築方法論に支えられた高機能な3D印刷造形技術の開拓研究代表者

    • 研究代表者
      上田 和紀
    • 研究期間 (年度)
      2018 – 2021
    • 研究種目
      挑戦的研究(萌芽)
    • 審査区分
      中区分60:情報科学、情報工学およびその関連分野
    • 研究機関
      早稲田大学
  •  プログラミング言語技術との融合による高水準モデリング言語の進化と展開研究代表者

    • 研究代表者
      上田 和紀
    • 研究期間 (年度)
      2018 – 2020
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      早稲田大学
  •  実数と時間の概念を備えた汎用高水準プログラミング言語研究代表者

    • 研究代表者
      上田 和紀
    • 研究期間 (年度)
      2015 – 2017
    • 研究種目
      挑戦的萌芽研究
    • 研究分野
      ソフトウェア
    • 研究機関
      早稲田大学
  •  検証系を備えた高水準モデリング言語処理系の実装技術の深化研究代表者

    • 研究代表者
      上田 和紀
    • 研究期間 (年度)
      2014 – 2016
    • 研究種目
      基盤研究(B)
    • 研究分野
      ソフトウェア
    • 研究機関
      早稲田大学
  •  検証技術と非標準型体系を用いたモデル検査器コンパイラの進化的発展研究代表者

    • 研究代表者
      上田 和紀
    • 研究期間 (年度)
      2012 – 2014
    • 研究種目
      挑戦的萌芽研究
    • 研究分野
      ソフトウエア
    • 研究機関
      早稲田大学
  •  高性能検証系を統合した高水準モデリング言語処理系の構築研究代表者

    • 研究代表者
      上田 和紀
    • 研究期間 (年度)
      2011 – 2013
    • 研究種目
      基盤研究(B)
    • 研究分野
      ソフトウエア
    • 研究機関
      早稲田大学
  •  制約最適化問題のSAT変換による解法とその並列分散処理に関する研究

    • 研究代表者
      田村 直之
    • 研究期間 (年度)
      2008 – 2011
    • 研究種目
      基盤研究(A)
    • 研究分野
      ソフトウエア
    • 研究機関
      神戸大学
  •  高水準ハイブリッド制約モデリング言語とその高信頼実装研究代表者

    • 研究代表者
      上田 和紀
    • 研究期間 (年度)
      2008 – 2010
    • 研究種目
      基盤研究(B)
    • 研究分野
      ソフトウエア
    • 研究機関
      早稲田大学
  •  情報爆発に対応する高度にスケーラブルなソフトウェア構成基盤

    • 研究代表者
      近山 隆
    • 研究期間 (年度)
      2006 – 2010
    • 研究種目
      特定領域研究
    • 審査区分
      理工系
    • 研究機関
      東京大学
  •  計算機科学における離散と連続に関する調査と新しい展開

    • 研究代表者
      山下 雅史
    • 研究期間 (年度)
      2006
    • 研究種目
      基盤研究(C)
    • 研究分野
      情報学基礎
    • 研究機関
      九州大学
  •  スケーラブル統合プログラミング言語モデルLMNtalの実用化研究代表者

    • 研究代表者
      上田 和紀
    • 研究期間 (年度)
      2004 – 2006
    • 研究種目
      基盤研究(B)
    • 研究分野
      ソフトウエア
    • 研究機関
      早稲田大学
  •  構造的分子計算理論-自律的計算系の解析と設計のための基礎理論研究代表者

    • 研究代表者
      上田 和紀, 横森 貴
    • 研究期間 (年度)
      2002 – 2006
    • 研究種目
      特定領域研究
    • 審査区分
      理工系
    • 研究機関
      早稲田大学
  •  計算連続体に基づくソフトウェア実現法

    • 研究代表者
      湯淺 太一
    • 研究期間 (年度)
      2001 – 2005
    • 研究種目
      特定領域研究
    • 審査区分
      理工系
    • 研究機関
      京都大学
  •  並行論理プログラミングに基づく広域分散計算パラダイムの構築研究代表者

    • 研究代表者
      上田 和紀
    • 研究期間 (年度)
      1999 – 2001
    • 研究種目
      基盤研究(C)
    • 研究分野
      計算機科学
    • 研究機関
      早稲田大学
  •  発展可能ソフトウェアの構築方法論の研究

    • 研究代表者
      宮本 衛市
    • 研究期間 (年度)
      1997 – 1999
    • 研究種目
      重点領域研究
    • 研究機関
      公立はこだて未来大学
      北海道大学
  •  並行論理プログラミングにおける静的モード体系の応用的側面に関する研究研究代表者

    • 研究代表者
      上田 和紀
    • 研究期間 (年度)
      1995 – 1997
    • 研究種目
      基盤研究(C)
    • 研究分野
      計算機科学
    • 研究機関
      早稲田大学

すべて 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2000 その他

すべて 雑誌論文 学会発表 図書

  • [図書] Towards a Substrate Framework of Computation2014

    • 著者名/発表者名
      Kazunori Ueda
    • 総ページ数
      26
    • 出版者
      Concurrent Objects and Beyond (COB 2012)(To appear)
    • データソース
      KAKENHI-PROJECT-23300011
  • [図書] Towards a Substrate Framework of Computation, in Concurrent Objects and Beyond (COB 2012)2014

    • 著者名/発表者名
      Kazunori Ueda
    • 総ページ数
      26
    • 出版者
      Springer-Verlag
    • データソース
      KAKENHI-PROJECT-24650016
  • [図書] Towards a Substrate Framework of Computation, in Concurrent Objects and Beyond (COB 2012)2014

    • 著者名/発表者名
      Kazunori Ueda
    • 総ページ数
      26
    • 出版者
      Springer-Verlag
    • データソース
      KAKENHI-PROJECT-23300011
  • [図書] Concurrent Objects and Beyond, Gul Agha et al. (eds.), Lecture Notes in Computer Science 86652014

    • 著者名/発表者名
      Kazunori Ueda et al.
    • 総ページ数
      447
    • 出版者
      Springer Verlag
    • データソース
      KAKENHI-PROJECT-24650016
  • [図書] Concurrent Objects and Beyond (COB 2012), G. Agha et al. (eds.) (査読有)2013

    • 著者名/発表者名
      Kazunori Ueda
    • 総ページ数
      26
    • 出版者
      Towards a Substrate Framework of Computation
    • データソース
      KAKENHI-PROJECT-24650016
  • [図書] Concurrent Objects and Beyond (COB 2012), G. Agha et al. (eds.) (査読有)2013

    • 著者名/発表者名
      Kazunori Ueda
    • 総ページ数
      26
    • 出版者
      Towards a Substrate Framework of Computation
    • データソース
      KAKENHI-PROJECT-23300011
  • [雑誌論文] Implementing the λGT Language: A Functional Language with Graphs as First-Class Data2023

    • 著者名/発表者名
      Jin Sano and Kazunori Ueda
    • 雑誌名

      Proc. 16th International Conference on Graph Transformation (ICGT 2023), LNCS

      巻: 13961 ページ: 263-277

    • DOI

      10.1007/978-3-031-36709-0_14

    • ISBN
      9783031367083, 9783031367090
    • 査読あり
    • データソース
      KAKENHI-PROJECT-23K11057
  • [雑誌論文] Interlocking 3D-printed bars, trusses and space frames to build arbitrarily large structures2022

    • 著者名/発表者名
      Kazunori Ueda
    • 雑誌名

      engrxiv.org

      巻: -

    • DOI

      10.31224/2338

    • オープンアクセス
    • データソース
      KAKENHI-PROJECT-18K19788
  • [雑誌論文] Engineering Grammar-based Type Checking for Graph Rewriting Languages2021

    • 著者名/発表者名
      Naoki Yamamoto and Kazunori Ueda
    • 雑誌名

      Proc. Twelfth International Workshop on Graph Computation Models (GCM 2021)

      巻: - ページ: 93-114

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-18H03223
  • [雑誌論文] Revisiting Graph Types in HyperLMNtal: A Modeling Language for Hypergraph Rewriting2021

    • 著者名/発表者名
      Alimujiang Yasen and Kazunori Ueda
    • 雑誌名

      IEEE Access

      巻: 9 ページ: 133449-133460

    • DOI

      10.1109/access.2021.3112903

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03223
  • [雑誌論文] Introducing Symmetry to Graph Rewriting Systems with Process Abstraction2019

    • 著者名/発表者名
      Taichi Tomioka, Yutaro Tsunekawa and Kazunori Ueda
    • 雑誌名

      Proc. 12th International Conference on Graph Transformation, Lecture Notes in Computer Science

      巻: 未定

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18H03223
  • [雑誌論文] Introducing Symmetry to Graph Rewriting Systems with Process Abstraction2019

    • 著者名/発表者名
      Taichi Tomioka, Yutaro Tsunekawa and Kazunori Ueda
    • 雑誌名

      roc. 12th International Conference on Graph Transformation (ICGT 2019), Lecture Notes in Computer Science

      巻: 11629 ページ: 3-20

    • DOI

      10.1007/978-3-030-41131-2_8

    • ISBN
      9783030411305, 9783030411312
    • 査読あり
    • データソース
      KAKENHI-PROJECT-18H03223
  • [雑誌論文] Implementation of LMNtal Model Checkers: a Metaprogramming Approach2018

    • 著者名/発表者名
      Yutaro Tsunekawa, Taichi Tomioka and Kazunori Ueda
    • 雑誌名

      The Journal of Object Technology

      巻: 17

    • NAID

      130007424871

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-18H03223
  • [雑誌論文] Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project2018

    • 著者名/発表者名
      Kazunozi Ueda
    • 雑誌名

      Science of Computer Programming

      巻: 164 ページ: 3-17

    • DOI

      10.1016/j.scico.2017.06.002

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18H03223
  • [雑誌論文] Name Binding is Easy with Hypergraphs2018

    • 著者名/発表者名
      Alimujiang Yasen and Kazunori Ueda
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E101.D 号: 4 ページ: 1126-1140

    • DOI

      10.1587/transinf.2017EDP7257

    • NAID

      130006602304

    • ISSN
      0916-8532, 1745-1361
    • 言語
      英語
    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03223
  • [雑誌論文] Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project2017

    • 著者名/発表者名
      Kazunori Ueda
    • 雑誌名

      Science of Computer Programming

      巻: 印刷中

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-26280024
  • [雑誌論文] Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection2017

    • 著者名/発表者名
      Kenichi Betsuno, Shota Matsumoto, and Kazunori Ueda
    • 雑誌名

      Proc. Sixth International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, Lecture Notes in Computer Science

      巻: 10107 ページ: 17-30

    • DOI

      10.1007/978-3-319-51738-4_2

    • ISBN
      9783319517377, 9783319517384
    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-26280024, KAKENHI-PROJECT-15K12010
  • [雑誌論文] Hypergraph Representation of Lambda-Terms2016

    • 著者名/発表者名
      Alimujiang Yasen and Kazunori Ueda
    • 雑誌名

      Proc. 10th International Symposium on Theoretical Aspects of Software Engineering

      巻: - ページ: 113-116

    • DOI

      10.1109/tase.2016.25

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-26280024
  • [雑誌論文] Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic2016

    • 著者名/発表者名
      Shota Matsumoto and Kazunori Ueda
    • 雑誌名

      Proc. 23rd International Symposium on Temporal Representation and Reasoning

      巻: - ページ: 4-11

    • DOI

      10.1109/time.2016.8

    • NAID

      40021053484

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-26280024, KAKENHI-PROJECT-15K12010
  • [雑誌論文] グラフ書換え系のための効率的なグラフ正規化手法2016

    • 著者名/発表者名
      宮原和大,上田和紀
    • 雑誌名

      コンピュータソフトウェア

      巻: 33(1) ページ: 126-149

    • NAID

      130005124827

    • 査読あり / 謝辞記載あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-26280024
  • [雑誌論文] Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project2016

    • 著者名/発表者名
      Kazunori Ueda
    • 雑誌名

      Proc. 13th International Symposium on Functional and Logic Programming, Springer LNCS

      巻: 9613 ページ: 1-11

    • DOI

      10.1007/978-3-319-29604-3_1

    • ISBN
      9783319296036, 9783319296043
    • 査読あり
    • データソース
      KAKENHI-PROJECT-26280024
  • [雑誌論文] HyLaGI: Symbolic Implementation of a Hybrid Constraint Language2015

    • 著者名/発表者名
      Shota Matsumoto, Fumihiko Kono, Teruya Kobayashi and Kazunori Ueda
    • 雑誌名

      Electronic Notes in Theoretical Computer Science

      巻: 317 ページ: 109-115

    • DOI

      10.1016/j.entcs.2015.10.011

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-15K12010, KAKENHI-PROJECT-26280024
  • [雑誌論文] LMNtal並列モデル検査における状態生成数削減及び高速化2014

    • 著者名/発表者名
      安田竜, 吉田健人, 上田和紀
    • 雑誌名

      人工知能学会論文誌

      巻: 29 号: 1 ページ: 182-187

    • DOI

      10.1527/tjsai.29.182

    • NAID

      130003382429

    • ISSN
      1346-0714, 1346-8030
    • 言語
      日本語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-23300011
  • [雑誌論文] 非線形ハイブリッドシステムの可到達集合の精度保証2014

    • 著者名/発表者名
      石井大輔, 上田和紀
    • 雑誌名

      計測と制御

      巻: 53 ページ: 1086-1092

    • NAID

      130005626615

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26280024
  • [雑誌論文] ハイブリッド制約言語HydLaの記号実行シミュレータHyrose2013

    • 著者名/発表者名
      松本翔太, 上田和紀
    • 雑誌名

      コンピュータ ソフトウェア

      巻: 30 号: 4 ページ: 4_18-4_35

    • DOI

      10.11309/jssst.30.4_18

    • NAID

      10031196715

    • ISSN
      0289-6540
    • 言語
      日本語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-23300011
  • [雑誌論文] HyperLMNtal : An Extension of a Hierarchical Graph Rewriting Model2012

    • 著者名/発表者名
      Kazunori Ueda and Seiji Ogawa
    • 雑誌名

      Künstliche Intelligenz

      巻: Vol. 26, No. 1 号: 1 ページ: 27-36

    • DOI

      10.1007/s13218-011-0162-3

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23300011
  • [雑誌論文] A High-Level Language for Hybrid Systems2012

    • 著者名/発表者名
      K. Ueda, S. Matsumoto, A. Takeguchi, H. Hosobe, and D. Ishii. HydLa
    • 雑誌名

      In Logics for System Analysis Workshop (LfSA)

      ページ: 3-17

    • URL

      http://www.ls.cs.cmu.edu/LfSA12/LfSA12.pdf

    • データソース
      KAKENHI-PROJECT-23300011
  • [雑誌論文] An Interval-based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems2011

    • 著者名/発表者名
      Daisuke Ishii, Kazunori Ueda, Hiroshi Hosebe
    • 雑誌名

      Int.J.Softw.Tools.Technol.Transfer

      巻: Vol.13(未定)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300013
  • [雑誌論文] ハイブリッド制約言語HydLaの宣言的意味論2011

    • 著者名/発表者名
      上田和紀, 細部博史, 石井大輔
    • 雑誌名

      コンピュータソフトウェア

      巻: Vol.28, No.1 ページ: 306-311

    • NAID

      130004892168

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300013
  • [雑誌論文] Concise Characteristic Function Representations in Coalitional Games Based on Agent Types2011

    • 著者名/発表者名
      Suguru Ueda, Makoto Kitaki, Atsushi Iwasaki, Makoto Yokoo
    • 雑誌名

      Proc.of 22nd Int'l Joint Conf.on Artificial Intelligence (IJCAI 2011)

      ページ: 393-399

    • NAID

      110008761623

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] ハイブリッドシステムモデリング言語HydLa処理系における実行アルゴリズム2011

    • 著者名/発表者名
      渋谷俊,高田賢士郎,細部博史,上田和紀
    • 雑誌名

      コンピュータソフトウェア Vol.28, No.3(掲載決定)

    • NAID

      40020657265

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300013
  • [雑誌論文] An Interval-based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems2011

    • 著者名/発表者名
      石井大輔, 上田和紀, 細部博史
    • 雑誌名

      Int.J.Softw.Tools.Technol.Transfer Vol.13(掲載決定)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300013
  • [雑誌論文] An Interval-based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems2011

    • 著者名/発表者名
      石井大輔、上田和紀、細部博史
    • 雑誌名

      International Journal on Software Tools for Technology Transfer (STTT)

      巻: 13 号: 5 ページ: 449-461

    • DOI

      10.1007/s10009-011-0193-y

    • 査読あり
    • データソース
      KAKENHI-PROJECT-11J03810, KAKENHI-PROJECT-23300011
  • [雑誌論文] ハイブリッド制約言語HydLaの宣言的意味論2011

    • 著者名/発表者名
      上田和紀,細部博史,石井大輔
    • 雑誌名

      コンピュータソフトウェア Vol.28, No.1

      ページ: 306-311

    • NAID

      130004892168

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300013
  • [雑誌論文] MC-netsを用いた提携構造形成アルゴリズムの拡張:負の利得と外部性の導入2011

    • 著者名/発表者名
      一村良, 長谷川隆人, 上田俊, 岩崎敦, 横尾真
    • 雑誌名

      電子情報通信学会論文誌

      巻: Vol.J94-D No.11 ページ: 1707-1715

    • NAID

      110008761622

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] LMNta1実行時処理系の並列モデル検査器への発展2011

    • 著者名/発表者名
      後町将人, 堀泰祐, 上田和紀
    • 雑誌名

      コンピュータソフトウェア

      巻: 28-4 ページ: 137-157

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23300011
  • [雑誌論文] ハイブリッドシステムモデリング言語HydLa処理系における実行アルゴリズム2011

    • 著者名/発表者名
      渋谷俊, 高田賢士郎, 細部博史, 上田和紀
    • 雑誌名

      コンピュータソフトウェア

      巻: Vol.28, No.2(未定)

    • NAID

      40020657265

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300013
  • [雑誌論文] LMNtal実行時処理系の並列モデル検査器への発展2011

    • 著者名/発表者名
      後町将人, 堀泰祐, 上田和紀
    • 雑誌名

      コンピュータ ソフトウェア

      巻: 28 号: 4 ページ: 137-157

    • DOI

      10.11309/jssst.28.4_137

    • NAID

      130004549234

    • ISSN
      0289-6540
    • 査読あり
    • データソース
      KAKENHI-PROJECT-23300011
  • [雑誌論文] ハイブリッドシステムモデリング言語HydLaの実行アルゴリズム2011

    • 著者名/発表者名
      渋谷俊, 高田賢士郎, 細部博史, 上田和紀
    • 雑誌名

      コンピュータ ソフトウェア

      巻: 28 号: 3 ページ: 167-172

    • DOI

      10.11309/jssst.28.3_167

    • NAID

      130004892187

    • ISSN
      0289-6540
    • 査読あり
    • データソース
      KAKENHI-PROJECT-23300011
  • [雑誌論文] 分散制約最適化問題に基づく提携構造形成問題2011

    • 著者名/発表者名
      上田俊, 岩崎敦, 横尾真, M.C.Silaghi, 平山勝敏, 松尾啓志
    • 雑誌名

      人工知能学会論文誌

      巻: 26・1 ページ: 179-189

    • NAID

      130007422581

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] 協力ゲームにおける特性関数のエージェントのタイプに基づく簡略表記法2011

    • 著者名/発表者名
      上田俊, 北木真, 岩崎敦, 横尾真
    • 雑誌名

      電子情報通信学会論文誌

      巻: Vol.J94-D No.11 ページ: 1716-1728

    • NAID

      110008761623

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] A Compact Representation Scheme of Coalitional Games Based on Multi-Terminal Zero-Suppressed Binary Decision Diagrams (Best Paper Award)2011

    • 著者名/発表者名
      Yuko Sakurai, Suguru Ueda, Atsushi Iwasaki, Shin-ichi Minato, Makoto Yokoo
    • 雑誌名

      Proc.of 14th Int'l Conf.on Principles and Practice of Multiagent Systems (PRIMA 2011)

      ページ: 4-18

    • DOI

      10.1007/978-3-642-25044-6_4

    • ISBN
      9783642250439, 9783642250446
    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] Coalition Structure Generation based on Distributed Constraint Optimization2010

    • 著者名/発表者名
      S.Ueda, A.Iwasaki, M.Yokoo, M.C.Silaghi, K.Hirayama, T.Matsui
    • 雑誌名

      24th AAAI Conf. on Artificial Intelligence (AAAI-2010)

      ページ: 197-203

    • NAID

      130000455367

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240003
  • [雑誌論文] 強連結成分の性質を用いたOWCTYモデル検査アルゴリズムの高速化2010

    • 著者名/発表者名
      川端聡基、小林史佳、上田和紀
    • 雑誌名

      人工知能学会論文誌 26(2)

      ページ: 341-346

    • NAID

      130000455385

    • 査読あり
    • データソース
      KAKENHI-PLANNED-18049015
  • [雑誌論文] 統合開発環境によるLMNtalモデル検査2010

    • 著者名/発表者名
      綾野貴之、堀泰祐、岩澤宏希、小川誠司、上田和紀
    • 雑誌名

      コンピュータソフトウェア 27(4)

      ページ: 197-214

    • NAID

      130004549194

    • 査読あり
    • データソース
      KAKENHI-PLANNED-18049015
  • [雑誌論文] 統合開発環境によるLMNtalモデル検査2010

    • 著者名/発表者名
      綾野貴之、堀泰祐、岩沢宏希、小川誠司、上田和紀
    • 雑誌名

      コンピュータソフトウェア

      巻: 27-4 ページ: 197-214

    • NAID

      130004549194

    • 査読あり
    • データソース
      KAKENHI-PLANNED-18049015
  • [雑誌論文] 強連結成分の性質を用いたOWCTYモデル検査アルゴリズムの高速化2010

    • 著者名/発表者名
      川端悟基、小林史佳、上田和紀
    • 雑誌名

      人工知能学会論文誌

      巻: 26-2 ページ: 341-346

    • NAID

      130000455385

    • 査読あり
    • データソース
      KAKENHI-PLANNED-18049015
  • [雑誌論文] LMNtal as a Hierarchical Logic Programming Language2009

    • 著者名/発表者名
      Kazunori Ueda
    • 雑誌名

      Theo-retical Computer Science 410(46)

      ページ: 4784-4800

    • 査読あり
    • データソース
      KAKENHI-PLANNED-18049015
  • [雑誌論文] 論理・制約プログラミングと並行計算2008

    • 著者名/発表者名
      上田和紀
    • 雑誌名

      コンピュータソフトウェア 25(3)

      ページ: 59-54

    • NAID

      110006840401

    • 査読あり
    • データソース
      KAKENHI-PLANNED-18049015
  • [雑誌論文] 階層グラフ書換えモデルに基づく統合プログラミング言語LMNtal2008

    • 著者名/発表者名
      乾 敦行、工藤 晋太郎、原 耕司、水野 謙、加藤 紀夫、上田 和紀
    • 雑誌名

      コンピュータソフトウェア 25(1)

      ページ: 124-150

    • NAID

      130004549094

    • 査読あり
    • データソース
      KAKENHI-PLANNED-18049015
  • [雑誌論文] Encoding Distributed Process Calculi into LMNtaI2008

    • 著者名/発表者名
      Ueda K.
    • 雑誌名

      Electronic Notes in Theoretical Computer Science Vol.209

      ページ: 187-200

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16300009
  • [雑誌論文] ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法2008

    • 著者名/発表者名
      石井大輔, 上田和紀, 細部博史
    • 雑誌名

      情報処理学会論文誌数理モデル化と応用 1(1)

      ページ: 149-159

    • NAID

      110006827845

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300013
  • [雑誌論文] Encoding Distributed Process Calculi into LMNtal2008

    • 著者名/発表者名
      Kazunori Ueda
    • 雑誌名

      Elec-tronic Notes in Theoretical Computer Science 209

      ページ: 187-200

    • 査読あり
    • データソース
      KAKENHI-PLANNED-18049015
  • [雑誌論文] Encoding Distributed Process Calculi into LMNtal2008

    • 著者名/発表者名
      Kazunori Ueda
    • 雑誌名

      Electronic Notes in Theoretical Computer Science 209

      ページ: 187-200

    • 査読あり
    • データソース
      KAKENHI-PLANNED-18049015
  • [雑誌論文] LMNtal : The Unifying Programming Language Based on Hierarchical Graph Rewriting2008

    • 著者名/発表者名
      Inui, A., Kudo, S., Hara, K., Mizuno, K., Kato, N., Ueda, K.
    • 雑誌名

      Computer Software Vol.25, No.1(in Japanese)

      ページ: 124-150

    • NAID

      130004549094

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16300009
  • [雑誌論文] ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法2008

    • 著者名/発表者名
      石井大輔,上田和紀,細部博史
    • 雑誌名

      情報処理学会論文誌数理モデル化と応用 Vol.1, No.1

      ページ: 149-159

    • NAID

      110006827845

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300013
  • [雑誌論文] 階層グラフ書換え言語LMNtalの処理系2008

    • 著者名/発表者名
      村山 敬, 工藤 晋太郎, 櫻井 健, 水野 謙, 加藤 紀夫, 上田 和紀
    • 雑誌名

      コンピュータソフトウェア 25-2

      ページ: 47-77

    • NAID

      130004549109

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-16300009
  • [雑誌論文] 階層グラフ書換えモデルに基づく統合プログラミング言語LMNtal2008

    • 著者名/発表者名
      乾敦 行, 工藤 晋太郎, 原耕 司, 水野 謙, 加藤 紀夫, 上田 和紀
    • 雑誌名

      コンピュータソフトウェア 25-1

      ページ: 124-150

    • NAID

      130004549094

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-16300009
  • [雑誌論文] LMNtal : The Unifying Programming Language Based on Hierarchical Implementation of the Hierarchical Graph Rewriting Language LMNtal2008

    • 著者名/発表者名
      Murayama, K., Kudo, S., Sakurai, K., Mizuno, K., Kato, N., Ueda, K.
    • 雑誌名

      Computer Software Vol.25, No.2(in Japanese)

      ページ: 47-77

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16300009
  • [雑誌論文] 階層グラフ書換えモデルに基づく統合プログラミング言語LMNtal2008

    • 著者名/発表者名
      乾敦行、工藤晋太郎、原耕司、水野謙、加藤紀夫、上田和紀
    • 雑誌名

      コンピュータソフトウェア 25(1)

      ページ: 124-150

    • NAID

      130004549094

    • 査読あり
    • データソース
      KAKENHI-PLANNED-18049015
  • [雑誌論文] Encoding Distributed Process Calculi into LMNtal2008

    • 著者名/発表者名
      Ueda, K.
    • 雑誌名

      Electronic Notes in Theoretical Computer Science 209

      ページ: 187-200

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-16300009
  • [雑誌論文] 階層グラフ書換え言語LMNtalの処理系2008

    • 著者名/発表者名
      村山敬、工藤晋太郎、櫻井健、水野謙、加藤紀夫、上田和紀
    • 雑誌名

      コンピュータソフトウェア 25(2)

      ページ: 47-77

    • NAID

      130004549109

    • 査読あり
    • データソース
      KAKENHI-PLANNED-18049015
  • [雑誌論文] 階層グラフ書換えモデルに基づく統合プログラミング言語LMNtal2007

    • 著者名/発表者名
      乾敦行, 工藤晋太郎, 原耕司, 水野謙, 加藤紀夫, 上田和紀
    • 雑誌名

      コンピュータソフトウェア Vol.24(accepted for publication)

    • NAID

      130004549094

    • データソース
      KAKENHI-PROJECT-14085205
  • [雑誌論文] 純粋λ計算の階層グラフ書換えへのエンコーディング2007

    • 著者名/発表者名
      上田和紀
    • 雑誌名

      第9回プログラミングおよびプログラミング言語ワークショップ(PPL2007)

      ページ: 221-232

    • データソース
      KAKENHI-PROJECT-14085205
  • [雑誌論文] 純粋λ計算の階層グラフ書換えへのエンコーディング2007

    • 著者名/発表者名
      上田和紀
    • 雑誌名

      第9回プログラミングおよびプログラミング言語ワークショップ(PPL2007)

      ページ: 221-232

    • データソース
      KAKENHI-PROJECT-16300009
  • [雑誌論文] 階層グラフ書換えモデルに基づく統合プログラミング言語LMNtal2007

    • 著者名/発表者名
      乾敦行, 工藤晋太郎, 原耕司, 水野謙, 加藤紀夫, 上田和紀
    • 雑誌名

      コンピューターソフトウェア Vol.24(accepted for publication)

    • NAID

      130004549094

    • データソース
      KAKENHI-PROJECT-16300009
  • [雑誌論文] Logic Programming and Concurrency : a Personal Perspective2006

    • 著者名/発表者名
      Kazunori Ueda
    • 雑誌名

      The ALP Newsletter Vol.19, No.2

    • データソース
      KAKENHI-PROJECT-14085205
  • [雑誌論文] Logic Programming and Concurrency : a Personal Perspective2006

    • 著者名/発表者名
      Kazunori Ueda
    • 雑誌名

      The ALP Newsletter Vol. 19, NO. 2

    • データソース
      KAKENHI-PROJECT-16300009
  • [雑誌論文] Constraint-Based Concurrency and Beyond2006

    • 著者名/発表者名
      Kazunori Ueda
    • 雑誌名

      Electronic Notes in Theoretical Computer Science Vol.162

      ページ: 327-331

    • データソース
      KAKENHI-PROJECT-14085205
  • [雑誌論文] LMNtal as a Unifying Declarative Language2006

    • 著者名/発表者名
      kazunori Ueda, Norio Kato, Koji Hara, Ken Mizuno
    • 雑誌名

      Proc. Third Workshop on Constraint Handing Rules (CHR2006)

      ページ: 1-15

    • データソース
      KAKENHI-PROJECT-16300009
  • [雑誌論文] Constraint-Based Concurrency and Beyond2006

    • 著者名/発表者名
      Ueda, K
    • 雑誌名

      Electronic Notes in Theoretical Computer Science Vol.162

      ページ: 227-231

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16300009
  • [雑誌論文] Logic Programming and Concurrency : a Personal Perspective2006

    • 著者名/発表者名
      Ueda, K
    • 雑誌名

      The ALP NewsLetter(available online) Vol.19, No.2

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16300009
  • [雑誌論文] LMNtal as a Unifying Declarative Language2006

    • 著者名/発表者名
      Kazunori Ueda, Norio Kato, Koji Hara, Ken Mizuno
    • 雑誌名

      Proc. Third Workshop on Constraint Handling Rules (CHR 2006)

      ページ: 1-15

    • データソース
      KAKENHI-PROJECT-14085205
  • [雑誌論文] Logic Programming and Concurrency:a Personal Perspective2006

    • 著者名/発表者名
      Ueda, K.
    • 雑誌名

      The ALP News Letter(on line) 19-2

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16300009
  • [雑誌論文] 分散プロセス計算のLMNtalへのエンコーディング2006

    • 著者名/発表者名
      上田和紀
    • 雑誌名

      日本ソフトェア科学会第23回大会論文集

    • データソース
      KAKENHI-PROJECT-14085205
  • [雑誌論文] Constratint-Based Concurrency and Beyond2006

    • 著者名/発表者名
      Kazunori Ueda
    • 雑誌名

      Electronic Notes in Theoretical Computer Science Vol. 162

      ページ: 327-331

    • データソース
      KAKENHI-PROJECT-16300009
  • [雑誌論文] 分散プロセス計算のLMNtalへのエンコーディング2006

    • 著者名/発表者名
      上田和紀
    • 雑誌名

      日本ソフトウェア科学会第23回大会論文集

    • データソース
      KAKENHI-PROJECT-16300009
  • [雑誌論文] Constraint-Based Concurrency and Beyond2006

    • 著者名/発表者名
      Ueda, K.
    • 雑誌名

      Electronic Notes in Theoretical Computer Science 162

      ページ: 227-231

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-16300009
  • [雑誌論文] LMNtal as a Unifying Declarative Language : Live Demonstration2006

    • 著者名/発表者名
      kazunori Ueda, Norio Kato, Koji Hara, Ken Mizuno azunori
    • 雑誌名

      Proc. 22nd Int. Conf. on Logic Programming (ICLP'06) LNCS 4079

      ページ: 457-458

    • データソース
      KAKENHI-PROJECT-16300009
  • [雑誌論文] 階層グラフ書き換え言語LMNtal処理系とその応用例2006

    • 著者名/発表者名
      乾敦行, 原耕司, 水野謙, 上田和紀
    • 雑誌名

      第8回プログラミングおよびプログラミング言語ワークショップ(PPL2006)

    • データソース
      KAKENHI-PROJECT-14085205
  • [雑誌論文] LMNtal : a Language Model with Links and Membranes2005

    • 著者名/発表者名
      Kazunori Ueda, Norio Kato
    • 雑誌名

      Proc. Fifth Workshop on Membrane Computing, Lecture Notes in Computer Science 3365

      ページ: 110-125

    • データソース
      KAKENHI-PROJECT-16300009
  • [雑誌論文] LMNtal処理系におけるグラフ構造の操作機能の設計と実装2005

    • 著者名/発表者名
      工藤 晋太郎, 加藤 紀夫, 上田 和紀
    • 雑誌名

      情報科学技術レターズ 4

      ページ: 9-12

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-16300009
  • [雑誌論文] LMNtal: a Language Model with Links and Membranes2005

    • 著者名/発表者名
      Kazunori Ueda, Norio Kato
    • 雑誌名

      Lecture Notes in Computer Science, Springer-Verlag 3365

    • データソース
      KAKENHI-PROJECT-14085205
  • [雑誌論文] LMNtalを用いた分散処理の実現2005

    • 著者名/発表者名
      中島 求, 加藤 紀夫, 水野 謙, 上田 和紀
    • 雑誌名

      第8回プログラミングおよび応用のシステムに関するワークショップ(SPA2005) 3月

    • データソース
      KAKENHI-PROJECT-14085205
  • [雑誌論文] 階層グラフ書換え言語LMNtal処理系における非同期実行の実現2005

    • 著者名/発表者名
      水野謙, 加藤紀夫, 原耕司, 上田和紀
    • 雑誌名

      日本ソフトウエア科学会第22回大会講演論文集

    • NAID

      130004638866

    • データソース
      KAKENHI-PROJECT-16300009
  • [雑誌論文] LMNtalコンパイラにおける並び替えとグループ化を用いた命令列の最適化2005

    • 著者名/発表者名
      櫻井健, 加藤紀夫, 水野謙, 上田和紀
    • 雑誌名

      第4回情報科学技術フォーラム(FIT2005) 第一分冊

      ページ: 33-36

    • データソース
      KAKENHI-PROJECT-14085205
  • [雑誌論文] LMNtal:a Language Model with Links and Membranes2005

    • 著者名/発表者名
      Ueda, K. and Kato, N
    • 雑誌名

      Lecture Notes in Computer Science 3365

      ページ: 110-125

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-16300009
  • [雑誌論文] 階層グラフ書換え言語LMNtal処理系における非同期実行の実現2005

    • 著者名/発表者名
      水野謙, 加藤紀夫, 原耕司, 上田和紀
    • 雑誌名

      日本ソフトウエア科学会第22回大会講演論文集 3A-4

    • NAID

      130004638866

    • データソース
      KAKENHI-PROJECT-14085205
  • [雑誌論文] LMNtal : a language model with links and membranes.2005

    • 著者名/発表者名
      K.Ueda, N.Kato
    • 雑誌名

      Proc.Fifth Int.Workshop on Membrane Computing(WMC 2004)(LNCS, Springer)

      ページ: 110-125

    • データソース
      KAKENHI-PROJECT-14085205
  • [雑誌論文] LMNtal処理系におけるグラフ構造の操作機能の設計と実装2005

    • 著者名/発表者名
      工藤晋太郎, 加藤紀夫, 上田和紀
    • 雑誌名

      情報科学技術レターズ

      ページ: 9-12

    • データソース
      KAKENHI-PROJECT-14085205
  • [雑誌論文] LMNtal処理系におけるグラフ構造の操作機能の設計と実装2005

    • 著者名/発表者名
      工藤晋太郎, 加藤紀夫, 上田和紀
    • 雑誌名

      第4回情報科学技術フォーラム(FIT2005)情報科学技術レターズ

      ページ: 9-12

    • データソース
      KAKENHI-PROJECT-16300009
  • [雑誌論文] a Language Model with Links and Memranes2005

    • 著者名/発表者名
      Ueda, K, Kato, N. LMNtal
    • 雑誌名

      Lecture Notes in Computer Science Vol.3365

      ページ: 110-125

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16300009
  • [雑誌論文] プログラムと対称性2005

    • 著者名/発表者名
      上田和紀
    • 雑誌名

      夏のプログラミングシンポジウム「アッと驚くプログラミング」報告集

      ページ: 69-74

    • データソース
      KAKENHI-PROJECT-16300009
  • [雑誌論文] 階層グラフ書き換え言語LMNtal処理系とその応用例2005

    • 著者名/発表者名
      乾敦行, 原耕司, 水野謙, 上田和紀
    • 雑誌名

      第8回プログラミングおよびプログラミング言語ワークショップ論文集

      ページ: 120-133

    • データソース
      KAKENHI-PROJECT-16300009
  • [雑誌論文] Constraint-Based Concurrency and Beyond2005

    • 著者名/発表者名
      Kazunori Ueda
    • 雑誌名

      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

      ページ: 227-230

    • データソース
      KAKENHI-PROJECT-16300009
  • [雑誌論文] LMNtalを用いた分散処理の実現2005

    • 著者名/発表者名
      中島 求, 加藤 紀夫, 水野 謙, 上田 和紀
    • 雑誌名

      第8回 プログラミングおよび応用のシステムに関するワークショップ(SPA 2005)

    • データソース
      KAKENHI-PROJECT-16300009
  • [雑誌論文] LMNtal : a Language Model with Links and Membranes2005

    • 著者名/発表者名
      Kazunori Ueda, Norio Kato
    • 雑誌名

      Proc.Fifth Workshop on Membrane Computing, Lecture Notes in Computer Science 3365

    • データソース
      KAKENHI-PROJECT-16300009
  • [雑誌論文] Constraint-Based Concurrency and Beyond2005

    • 著者名/発表者名
      K.Ueda
    • 雑誌名

      Proc.Workshop on Algebraic Process Calculi, The First Twenty Years(PA'05), BRICS Notes Series NS-05-3

      ページ: 227-230

    • データソース
      KAKENHI-PROJECT-14085205
  • [雑誌論文] LMNtalコンパイラにおける並び替えとグループ化を用いた命令列の最適化2005

    • 著者名/発表者名
      櫻井健, 加藤紀夫, 水野謙, 上田和紀
    • 雑誌名

      第4回情報科学技術フォーラム(FIT2005) 第一分冊

      ページ: 33-36

    • データソース
      KAKENHI-PROJECT-16300009
  • [雑誌論文] Design and Implementation of Operation Constructs of Graph Structures in the LMNtal System2005

    • 著者名/発表者名
      Kudo, S. Kato, N., Ueda, K.
    • 雑誌名

      Information Technology Letters Vol.4

      ページ: 9-12

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16300009
  • [雑誌論文] プログラムと対称性2005

    • 著者名/発表者名
      上田和紀
    • 雑誌名

      夏のプログラミングシンポジウム「アッと驚くプログラミング」

      ページ: 69-74

    • データソース
      KAKENHI-PROJECT-14085205
  • [雑誌論文] SATソルバzchaffのMPIによる並列化2004

    • 著者名/発表者名
      大橋智昭, 稲垣良一, 上田和紀
    • 雑誌名

      情報処理学会研究報告,2004-HPC99-5(SWoPP2004)

      ページ: 25-30

    • NAID

      110002914106

    • データソース
      KAKENHI-PROJECT-14085205
  • [雑誌論文] SATソルバzchaffのMPIによる並列化2004

    • 著者名/発表者名
      大橋智昭, 上田和紀
    • 雑誌名

      先進的計算基盤シンポジウムSACSIS2004

      ページ: 147-148

    • NAID

      110002914106

    • データソース
      KAKENHI-PROJECT-14085205
  • [雑誌論文] LMNtal: a language model with links and membranes2004

    • 著者名/発表者名
      Kazunori Ueda, Norio Kato
    • 雑誌名

      Proc.Fifth Workshop on Membrane Computing

      ページ: 65-79

    • データソース
      KAKENHI-PROJECT-14085205
  • [雑誌論文] LMNtal処理系および他言語インタフェースの設計と実装2004

    • 著者名/発表者名
      原, 水野, 矢島, 永田, 中島, 加藤, 上田
    • 雑誌名

      情報処理学会第50回プログラミング研究会(SWoPP2004) 7月

    • NAID

      110002768705

    • データソース
      KAKENHI-PROJECT-14085205
  • [雑誌論文] 言語モデルLMNtal2004

    • 著者名/発表者名
      上田和紀, 加藤紀夫
    • 雑誌名

      コンピュータソフトウェア 21巻・2号

      ページ: 44-60

    • NAID

      110003743161

    • データソース
      KAKENHI-PROJECT-13224050
  • [雑誌論文] 言語モデルLMNtalの操作的意味論の設計2004

    • 著者名/発表者名
      加藤紀夫, 水野謙, 上田和紀
    • 雑誌名

      日本ソフトウェア科学会第21回大会論文集

      ページ: 159-163

    • NAID

      40022143215

    • データソース
      KAKENHI-PROJECT-14085205
  • [雑誌論文] 階層グラフ書換え言語における並行プロセスの型推論2004

    • 著者名/発表者名
      加藤 紀夫, 上田 和紀
    • 雑誌名

      情報処理学会第50回プログラミング研究会(SWoPP2004) 7月

    • NAID

      110002768703

    • データソース
      KAKENHI-PROJECT-14085205
  • [雑誌論文] 言語モデルLMNtalの操作的意味論の設計2004

    • 著者名/発表者名
      加藤紀夫, 水野謙, 上田和紀
    • 雑誌名

      日本ソフトウェア科学会第21回大会論文集

      ページ: 159-163

    • NAID

      130005006595

    • データソース
      KAKENHI-PROJECT-16300009
  • [雑誌論文] 言語モデルLMNtal2004

    • 著者名/発表者名
      上田和紀, 他
    • 雑誌名

      コンピュータソフトウェア 21巻・2号

      ページ: 44-60

    • NAID

      110003743161

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-13224050
  • [雑誌論文] LMNtal分散処理系の設計と実装2004

    • 著者名/発表者名
      中島求, 加藤紀夫, 水野謙, 上田和紀
    • 雑誌名

      日本ソフトウェア科学会第21回大会論文集

      ページ: 149-153

    • NAID

      130005006593

    • データソース
      KAKENHI-PROJECT-14085205
  • [雑誌論文] LMNtal : a language model with links and membranes2004

    • 著者名/発表者名
      Kazunori Ueda, Norio Kato
    • 雑誌名

      Proc.Fifth Workshop on Membrane Computing

      ページ: 65-79

    • データソース
      KAKENHI-PROJECT-16300009
  • [雑誌論文] The Language Model LMNtal.2004

    • 著者名/発表者名
      Kazunori Ueda, et al.
    • 雑誌名

      Computer Software Vol.21 No.2

      ページ: 44-60

    • NAID

      110003743161

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-13224050
  • [雑誌論文] LMNtal分散処理系の設計と実装2004

    • 著者名/発表者名
      中島求, 加藤紀夫, 水野謙, 上田和紀
    • 雑誌名

      日本ソフトウェア科学会第21回大会論文集

      ページ: 149-153

    • NAID

      130005006593

    • データソース
      KAKENHI-PROJECT-16300009
  • [雑誌論文] 階層グラフ書換え言語における並行プロセスの型推論2004

    • 著者名/発表者名
      加藤紀夫, 上田和紀
    • 雑誌名

      情報処理学会第50回プログラミング研究会(SWoPP2004)

    • NAID

      110002768703

    • データソース
      KAKENHI-PROJECT-13224050
  • [雑誌論文] 後継関数を持つリスト型非線形再帰プログラムに対する再帰除去法2000

    • 著者名/発表者名
      市川祐輔, 上田和紀
    • 雑誌名

      情報科学技術レターズ Vol.6

    • データソース
      KAKENHI-PROJECT-16300009
  • [学会発表] token passingを用いたグラフ型検査2024

    • 著者名/発表者名
      山田啓太,山本直輝,上田和紀
    • 学会等名
      情報処理学会第86回全国大会,2A-05
    • データソース
      KAKENHI-PROJECT-23K11057
  • [学会発表] グラフ書換え言語におけるグラフ操作の軽量かつ静的な型検査2023

    • 著者名/発表者名
      山本直輝,上田和紀
    • 学会等名
      日本ソフトウェア科学会第40回大会講演論文集,34-R-S
    • データソース
      KAKENHI-PROJECT-23K11057
  • [学会発表] λGT: A Functional Language with Graphs as First-Class Data2023

    • 著者名/発表者名
      Kazunori Ueda, Jin Sano
    • 学会等名
      The 6th Workshop on New Ideas and Emerging Results in Programming Languages and Systems (APLAS 2023 NIER)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-23K11057
  • [学会発表] 再帰的なグラフパターンに基づく反復パターンマッチングの効率化手法2023

    • 著者名/発表者名
      白井涼也,今川連,山本直輝,上田和紀
    • 学会等名
      日本ソフトウェア科学会第40回大会講演論文集,14-R-S
    • データソース
      KAKENHI-PROJECT-23K11057
  • [学会発表] Encoding MELL Cut Elimination into a Hierarchical Graph Rewriting Language2023

    • 著者名/発表者名
      Kento Takyu and Kazunori Ueda
    • 学会等名
      The 21st Asian Symposium on Programming Languages and Systems (APLAS 2023) (poster)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-23K11057
  • [学会発表] グラフ書き換え言語LMNtalにおけるパーサコンビネータ実装手法2022

    • 著者名/発表者名
      山田 啓太, 上田 和紀
    • 学会等名
      第24回プログラミングおよびプログラミング言語ワークショップ
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] グラフ書換え言語LMNtalにおける閉包計算のマッチング最適化2022

    • 著者名/発表者名
      今川 連, 上田 和紀
    • 学会等名
      第24回プログラミングおよびプログラミング言語ワークショップ
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] 参照を用いたデータ構造の形状のユーザ定義の型に基づく型検査2022

    • 著者名/発表者名
      佐野 仁, 上田 和紀
    • 学会等名
      第24回プログラミングおよびプログラミング言語ワークショップ
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] HyperLMNtalを用いたG-Machineの実装2021

    • 著者名/発表者名
      佐野 仁,上田 和紀
    • 学会等名
      第23回プログラミングおよびプログラミング言語ワークショップ
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] 差分制約を含んだ時間オートマトンモデルのLMNtalによる状態空間構築2021

    • 著者名/発表者名
      橋本 彩美,上田 和紀
    • 学会等名
      2021年度人工知能学会全国大会
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] グラフ書き換え言語LMNtalにおける非連結サブグラフパターンマッチング高速化手法2021

    • 著者名/発表者名
      中田 昌輝,上田 和紀
    • 学会等名
      第23回プログラミングおよびプログラミング言語ワークショップ
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] 定理証明支援系Coqによるグラフ書換え言語の性質証明2021

    • 著者名/発表者名
      山本 直輝,上田 和紀
    • 学会等名
      日本ソフトウェア科学会第38回大会
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] パラメタ付きモデルの到達可能性解析に基づくハイブリッドシステムモデリングツールの性能評価2021

    • 著者名/発表者名
      秦 国大,上田 和紀
    • 学会等名
      2021年度人工知能学会全国大会
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] ハイパーグラフ書き換え系への構文駆動でcompositionalな構文・意味論の提案2021

    • 著者名/発表者名
      佐野 仁, 上田 和紀
    • 学会等名
      日本ソフトウェア科学会第38回大会
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] 情報可視化やインタラクションのためのライブラリ Siv3D の機能強化と C++17, C++20 への対応2021

    • 著者名/発表者名
      鈴木 遼,上田 和紀,坂井 滋和
    • 学会等名
      日本ソフトウェア科学会第38回大会
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] グラフ書換え言語における数値制約を伴う型の静的型検査2020

    • 著者名/発表者名
      山本 直輝,上田 和紀
    • 学会等名
      日本ソフトウェア科学会第37回大会
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] 制約に基づくハイブリッドシステムモデリング言語HydLaの宣言的意味論の拡張2020

    • 著者名/発表者名
      山田 悠之介,上田 和紀
    • 学会等名
      2020年度人工知能学会全国大会
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] グラフ書き換えモデル検査におけるグラフ自己同型に基づく効率的なSymmetry Reduction手法2020

    • 著者名/発表者名
      恒川 雄太郎,上田 和紀
    • 学会等名
      2020年度人工知能学会全国大会
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] グラフ書き換え言語 LMNtal による時間オートマトンのゾーングラフ構築2020

    • 著者名/発表者名
      橋本 彩美,恒川 雄太郎,上田 和紀
    • 学会等名
      日本ソフトウェア科学会第37回大会
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] Capability Typing for HyperLMNtal2020

    • 著者名/発表者名
      Stefan Walter, Kazunori Ueda
    • 学会等名
      18th Asian Symposium on Programming Languages and Systems
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] LMNtalにおける部分グラフのリサイクルを行うコンパイル時最適化2020

    • 著者名/発表者名
      白石 篤至,恒川 雄太郎,上田 和紀
    • 学会等名
      第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020)
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] 階層グラフ書き換え言語LMNtalにおける継続の概念の提案と実装2020

    • 著者名/発表者名
      横井 駿平,山本 直輝,上田 和紀
    • 学会等名
      第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020)
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] Dynamic Reduction of Guarded Constraints for the Hybrid Systems Modeling Language HydLa2019

    • 著者名/発表者名
      堀内 貴文,上田 和紀
    • 学会等名
      2019年度人工知能学会全国大会(第33回)
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] グラフの内包記法の実現に向けたLMNtalにおけるメッシュ構造の定義検討2019

    • 著者名/発表者名
      田村 滉明, 上田 和紀, 冨岡 太一
    • 学会等名
      第21回プログラミングおよびプログラミング言語ワークショップ(PPL2019)
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] ハイブリッドシステムモデリング言語HydLaを用いたDAEシステムの解析2019

    • 著者名/発表者名
      渋井隆弘,上田和紀
    • 学会等名
      情報処理学会第81回全国大会
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] グラフ書き換えモデル検査器SLIMへの差分適用グラフ正規化手法の実装2019

    • 著者名/発表者名
      恒川 雄太郎,上田 和紀
    • 学会等名
      日本ソフトウェア科学会第36回大会
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] グラフ書換え言語における静的型体系LMNtal ShapeTypeの再定式化と拡張2019

    • 著者名/発表者名
      山本 直輝, 上田 和紀
    • 学会等名
      第21回プログラミングおよびプログラミング言語ワークショップ(PPL2019)
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] グラフ書換え言語におけるグラフ操作の静的型検査2019

    • 著者名/発表者名
      山本 直輝,上田 和紀
    • 学会等名
      日本ソフトウェア科学会第36回大会
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] ハイブリッド制約処理系HyLaGIへの共通部分式除去を用いた式の簡約の導入2019

    • 著者名/発表者名
      山田 悠之介, 上田 和紀
    • 学会等名
      第21回プログラミングおよびプログラミング言語ワークショップ(PPL2019)
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] 対称性の高い大規模ICTシステム更新に対する効率的な更改手順の自動計画手法2019

    • 著者名/発表者名
      桑原拓也,恒川雄太郎,齋藤諒人,上田和紀
    • 学会等名
      電子情報通信学会情報通信マネジメント研究会
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] ハイブリッド制約処理系HyLaGIにおける分枝限定法を用いた離散変化時刻導出手法2019

    • 著者名/発表者名
      佐藤 柾史, 上田 和紀
    • 学会等名
      第21回プログラミングおよびプログラミング言語ワークショップ(PPL2019)
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] ハイブリッド制約処理系HyLaGIにおける分枝限定法を用いた離散変化時刻導出手法2019

    • 著者名/発表者名
      佐藤 柾史,上田 和紀
    • 学会等名
      2019年度人工知能学会全国大会(第33回)
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] Grammar-based Static Type Checking for Graph Rewriting2019

    • 著者名/発表者名
      Naoki Yamamoto and Kazunori Ueda
    • 学会等名
      17th Asian Symposium on Programming Languages and Systems (APLAS 2019)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] Introducing Negation and Universal Quantification into the Graph Rewriting Language LMNtal2018

    • 著者名/発表者名
      Ryoto Saito and Kazunori Ueda
    • 学会等名
      16th Asian Symposium on Programming Languages and Systems (APLAS2018)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] ハイブリッド制約言語HydLaにおける非線形常微分方程式の表現とその記号付き精度保証計算2018

    • 著者名/発表者名
      増田健太,上田和紀
    • 学会等名
      2018年度人工知能学会全国大会
    • データソース
      KAKENHI-PROJECT-15K12010
  • [学会発表] 実行パスの動的解析によるハイブリッドシステム処理系HyLaGIの最適化2018

    • 著者名/発表者名
      佐藤 柾史, 上田 和紀
    • 学会等名
      日本ソフトウェア科学会第35回大会
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] 言語をつくる2018

    • 著者名/発表者名
      上田 和紀
    • 学会等名
      日本ソフトウェア科学会第35回大会
    • 招待講演
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] 制約階層に基づくハイブリッドシステムモデリング言語HydLaの静的誤り検出手法2018

    • 著者名/発表者名
      小山峻平,上田和紀
    • 学会等名
      情報処理学会第80回全国大会
    • データソース
      KAKENHI-PROJECT-15K12010
  • [学会発表] 純粋型なし・型付きラムダ計算の実用的かつ高機能なインタプリタの実装2018

    • 著者名/発表者名
      Naoki Yamamoto, Kazunori Ueda
    • 学会等名
      日本ソフトウェア科学会第35回大会
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] ハイブリッドシステム解析器HyLaGIにおける非線形常微分方程式の精度保証計算2018

    • 著者名/発表者名
      増田健太,松本翔太,上田和紀
    • 学会等名
      情報処理学会第80回全国大会
    • データソース
      KAKENHI-PROJECT-15K12010
  • [学会発表] 階層グラフ書換え言語LMNtalの否定表現の拡張と全称量化の実現2018

    • 著者名/発表者名
      齋藤 諒人, 上田 和紀
    • 学会等名
      日本ソフトウェア科学会第35回大会
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] ハイブリッドシステムモデリング言語HydLaにおける変数と制約階層の動的生成記法の設計と実装2018

    • 著者名/発表者名
      佐藤 柾史,上田 和紀
    • 学会等名
      2018年度 人工知能学会全国大会(第32回)
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] Implementation of Effective Symmetry Reduction for a Model Checker based on Graph Rewriting2018

    • 著者名/発表者名
      Yutaro Tsunekawa and Kazunori Ueda
    • 学会等名
      16th Asian Symposium on Programming Languages and Systems (APLAS2018)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] ハイブリッド制約言語HydLaにおける非線形常微分方程式の表現とその記号付き精度保証計算2018

    • 著者名/発表者名
      増田 健太,上田 和紀
    • 学会等名
      2018年度 人工知能学会全国大会(第32回)
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] グラフ書き換え言語LMNtalによる容易に拡張可能なモデル検査器の実装2018

    • 著者名/発表者名
      恒川 雄太郎,上田 和紀
    • 学会等名
      2018年度 人工知能学会全国大会(第32回)
    • データソース
      KAKENHI-PROJECT-18H03223
  • [学会発表] ハイブリッドシステムモデリング言語HydLaにおける変数と制約階層の動的生成記法の設計と実装2018

    • 著者名/発表者名
      佐藤 柾史,上田 和紀
    • 学会等名
      2018年度人工知能学会全国大会
    • データソース
      KAKENHI-PROJECT-15K12010
  • [学会発表] 制約に基づいたパラメトリックハイブリッドシステムの精度保証シミュレーション2017

    • 著者名/発表者名
      松本翔太,別納健市,増田健太,上田和紀
    • 学会等名
      2017年度 人工知能学会全国大会
    • データソース
      KAKENHI-PROJECT-15K12010
  • [学会発表] グラフ書換え言語LMNtalの実行時処理系SLIMにおける制約付き部分グラフ探索の高速化2017

    • 著者名/発表者名
      柳川 峻広, 上田 和紀
    • 学会等名
      第19回プログラミングおよびプログラミング言語ワークショップ
    • 発表場所
      笛吹市
    • 年月日
      2017-03-08
    • データソース
      KAKENHI-PROJECT-26280024
  • [学会発表] メタインタプリタを用いた容易に拡張可能なモデル検査器の実装2017

    • 著者名/発表者名
      恒川 雄太郎, 上田 和紀
    • 学会等名
      第19回プログラミングおよびプログラミング言語ワークショップ
    • 発表場所
      笛吹市
    • 年月日
      2017-03-09
    • データソース
      KAKENHI-PROJECT-26280024
  • [学会発表] グラフ照合のキャッシュ化による階層グラフ書換え言語LMNtalの高速化2017

    • 著者名/発表者名
      松澤 望,上田 和紀
    • 学会等名
      第19回プログラミングおよびプログラミング言語ワークショップ
    • 発表場所
      笛吹市
    • 年月日
      2017-03-09
    • データソース
      KAKENHI-PROJECT-26280024
  • [学会発表] High-Level Programming Languages and Systems for Cyber-Physical Systems2017

    • 著者名/発表者名
      Kazunori Ueda
    • 学会等名
      Summer School of Cyber-Physical Systems
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K12010
  • [学会発表] 多数の離散変化をともなうハイブリッドシステムに対する不変条件を用いた解析2016

    • 著者名/発表者名
      別納健市,松本翔太,若槻祐彰,上田和紀
    • 学会等名
      情報処理学会第78回全国大会
    • 発表場所
      慶應義塾大学
    • 年月日
      2016-03-10
    • データソース
      KAKENHI-PROJECT-26280024
  • [学会発表] 階層グラフ書換え言語LMNtalを基にした安全なメモリ操作を行うCプログラムの生成2016

    • 著者名/発表者名
      冨岡 太一 上田 和紀
    • 学会等名
      日本ソフトウェア科学会第33回大会
    • 発表場所
      仙台市
    • 年月日
      2016-09-08
    • データソース
      KAKENHI-PROJECT-26280024
  • [学会発表] Hypergraph Representation of λ-Terms2016

    • 著者名/発表者名
      Alimujiang Yasen and Kazunori Ueda
    • 学会等名
      10th International Symposium on Theoretical Aspects of Software Engineering (TASE 2016)
    • 発表場所
      上海
    • 年月日
      2016-07-17
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26280024
  • [学会発表] Hypergraph Representation of Lambda-Terms2016

    • 著者名/発表者名
      Alimujiang Yasen and Kazunori Ueda
    • 学会等名
      10th International Symposium on Theoretical Aspects of Software Engineering
    • 発表場所
      Shanghai, China
    • 年月日
      2016-07-18
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26280024
  • [学会発表] Implementation of LMNtal Model Checkers: a Metaprogramming Approach2016

    • 著者名/発表者名
      Yutaro Tsunekawa, Taichi Tomioka and Kazunori Ueda
    • 学会等名
      First Workshop on Meta-Programming Techniques and Reflection (META'16)
    • 発表場所
      Amsterdam, The Netherlands
    • 年月日
      2016-10-30
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26280024
  • [学会発表] ハイブリッド制約処理系HyLaGIにおけるLTLモデル検査2016

    • 著者名/発表者名
      若槻 祐彰 松本 翔太 上田 和紀
    • 学会等名
      2016年度 人工知能学会全国大会
    • 発表場所
      北九州
    • 年月日
      2016-06-06
    • データソース
      KAKENHI-PROJECT-15K12010
  • [学会発表] ハイブリッドシステムモデリング言語HydLaにおけるモデリングエラーの体系化2016

    • 著者名/発表者名
      小山 峻平 松本 翔太 上田 和紀
    • 学会等名
      2016年度 人工知能学会全国大会
    • 発表場所
      北九州市
    • 年月日
      2016-06-06
    • データソース
      KAKENHI-PROJECT-26280024
  • [学会発表] ハイブリッドシステムモデリング言語HydLaにおけるモデリングエラーの体系化2016

    • 著者名/発表者名
      小山 峻平 松本 翔太 上田 和紀
    • 学会等名
      2016年度 人工知能学会全国大会
    • 発表場所
      北九州
    • 年月日
      2016-06-06
    • データソース
      KAKENHI-PROJECT-15K12010
  • [学会発表] パラメタを含むハイブリッドシステムに対するアフィン演算を用いた記号シミュレーション2016

    • 著者名/発表者名
      松本 翔太 上田 和紀
    • 学会等名
      日本ソフトウェア科学会第33回大会
    • 発表場所
      仙台
    • 年月日
      2016-09-08
    • データソース
      KAKENHI-PROJECT-15K12010
  • [学会発表] パラメタを含むハイブリッドシステムに対するアフィン演算を用いた記号シミュレーション2016

    • 著者名/発表者名
      松本 翔太 上田 和紀
    • 学会等名
      日本ソフトウェア科学会第33回大会
    • 発表場所
      仙台市
    • 年月日
      2016-09-08
    • データソース
      KAKENHI-PROJECT-26280024
  • [学会発表] 多数の離散変化をともなうハイブリッドシステムに対する不変条件を用いた解析2016

    • 著者名/発表者名
      別納健市,松本翔太,若槻祐彰,上田和紀
    • 学会等名
      情報処理学会第78回全国大会
    • 発表場所
      慶應義塾大学,横浜
    • 年月日
      2016-03-10
    • データソース
      KAKENHI-PROJECT-15K12010
  • [学会発表] Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection2016

    • 著者名/発表者名
      Kenichi Betsuno, Shota Matsumoto, and Kazunori Ueda
    • 学会等名
      Sixth International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems
    • 発表場所
      Pittsburg, USA
    • 年月日
      2016-10-06
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26280024
  • [学会発表] Generating Memory-safe C Programs from Hierarchical Graph Rewriting Language LMNtal2016

    • 著者名/発表者名
      Taichi Tomioka and Kazunori Ueda
    • 学会等名
      14th Asian Symposium on Programming Languages and Systems
    • 発表場所
      Hanoi, Vietnam
    • 年月日
      2016-11-22
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26280024
  • [学会発表] グラフ書き換え言語LMNtalにおける第一級書き換え規則の設計と実装2016

    • 著者名/発表者名
      恒川 雄太郎,上田 和紀
    • 学会等名
      第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016)
    • 発表場所
      岡山県玉野市
    • 年月日
      2016-03-07
    • データソース
      KAKENHI-PROJECT-26280024
  • [学会発表] Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic2016

    • 著者名/発表者名
      Shota Matsumoto and Kazunori Ueda
    • 学会等名
      23rd International Symposium on Temporal Representation and Reasoning
    • 発表場所
      Copenhagen, Denmark
    • 年月日
      2016-10-17
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26280024
  • [学会発表] ハイブリッドシステムのシミュレーションにおける精度保証数値計算と数式処理との連携2016

    • 著者名/発表者名
      松本翔太,上田和紀
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会 (SS2015-60)
    • 発表場所
      金沢
    • 年月日
      2016-01-25
    • データソース
      KAKENHI-PROJECT-26280024
  • [学会発表] ハイブリッドシステムのシミュレーションにおける精度保証数値計算と数式処理との連携2016

    • 著者名/発表者名
      松本翔太,上田和紀
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会 (SS2015-60)
    • 発表場所
      早稲田大学,東京
    • 年月日
      2016-01-25
    • データソース
      KAKENHI-PROJECT-15K12010
  • [学会発表] ハイブリッド制約処理系HyLaGIの並列化2016

    • 著者名/発表者名
      伊藤剛史,松本翔太,上田和紀
    • 学会等名
      情報処理学会第78回全国大会
    • 発表場所
      慶應義塾大学
    • 年月日
      2016-03-11
    • データソース
      KAKENHI-PROJECT-26280024
  • [学会発表] 多数の離散変化をともなうハイブリッドシステムに対するループ検出を用いた解析2016

    • 著者名/発表者名
      別納 健市 松本 翔太 若槻 祐彰 上田 和紀
    • 学会等名
      2016年度 人工知能学会全国大会
    • 発表場所
      北九州
    • 年月日
      2016-06-06
    • データソース
      KAKENHI-PROJECT-15K12010
  • [学会発表] ハイブリッド制約処理系HyLaGIにおけるLTLモデル検査2016

    • 著者名/発表者名
      若槻 祐彰 松本 翔太 上田 和紀
    • 学会等名
      2016年度 人工知能学会全国大会
    • 発表場所
      北九州市
    • 年月日
      2016-06-06
    • データソース
      KAKENHI-PROJECT-26280024
  • [学会発表] 多数の離散変化をともなうハイブリッドシステムに対するループ検出を用いた解析2016

    • 著者名/発表者名
      別納 健市 松本 翔太 若槻 祐彰 上田 和紀
    • 学会等名
      2016年度 人工知能学会全国大会
    • 発表場所
      北九州市
    • 年月日
      2016-06-06
    • データソース
      KAKENHI-PROJECT-26280024
  • [学会発表] グラフ書換えに基づくモデル記述言語LMNtalによるLMNtalモデル検査器の実装2016

    • 著者名/発表者名
      恒川 雄太郎 冨岡 太一 上田 和紀
    • 学会等名
      日本ソフトウェア科学会第33回大会
    • 発表場所
      仙台市
    • 年月日
      2016-09-07
    • データソース
      KAKENHI-PROJECT-26280024
  • [学会発表] ハイブリッドシステムモデリング言語HydLaにおける静的検証2016

    • 著者名/発表者名
      小山峻平,松本翔太,上田和紀
    • 学会等名
      第14回 ディペンダブルシステムワークショップ (DSW 2016)
    • 発表場所
      函館
    • 年月日
      2016-12-14
    • データソース
      KAKENHI-PROJECT-15K12010
  • [学会発表] ハイブリッドシステムモデリング言語HydLaにおける静的検証2016

    • 著者名/発表者名
      小山峻平,松本翔太,上田和紀
    • 学会等名
      第14回 ディペンダブルシステムワークショップ (DSW 2016)
    • 発表場所
      函館市
    • 年月日
      2016-12-14
    • データソース
      KAKENHI-PROJECT-26280024
  • [学会発表] The exciting time and hard-won lessons of the Fifth Generation Computer Project2016

    • 著者名/発表者名
      Kazunori Ueda
    • 学会等名
      Thirteenth International Symposium on Functional and Logic Programming (FLOPS 2016)
    • 発表場所
      高知工科大学,高知
    • 年月日
      2016-03-04
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26280024
  • [学会発表] グラフ書換え言語 LMNtal のビジュアルプログラミング環境の開発2016

    • 著者名/発表者名
      松澤 望,上田 和紀
    • 学会等名
      第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016)
    • 発表場所
      岡山県玉野市
    • 年月日
      2016-03-07
    • データソース
      KAKENHI-PROJECT-26280024
  • [学会発表] グラフ書換え系における静的グラフ型検査2015

    • 著者名/発表者名
      吉元佑介,上田和紀
    • 学会等名
      日本ソフトウェア科学会第32回大会
    • 発表場所
      早稲田大学,東京
    • 年月日
      2015-09-09
    • データソース
      KAKENHI-PROJECT-26280024
  • [学会発表] ハイブリッド制約処理系HyLaGIによる微小誤差を用いたモデル解析2015

    • 著者名/発表者名
      若槻祐彰,松本翔太,伊藤剛史,和田努,上田和紀
    • 学会等名
      日本ソフトウェア科学会第32回大会
    • 発表場所
      早稲田大学,東京
    • 年月日
      2015-09-11
    • データソース
      KAKENHI-PROJECT-26280024
  • [学会発表] ハイブリッド制約処理系HyLaGIによる微小誤差を用いたモデル解析2015

    • 著者名/発表者名
      若槻祐彰,松本翔太,伊藤剛史,和田努,上田和紀
    • 学会等名
      日本ソフトウェア科学会第32回大会
    • 発表場所
      早稲田大学,東京
    • 年月日
      2015-09-11
    • データソース
      KAKENHI-PROJECT-15K12010
  • [学会発表] Typing graphs and graph rewriting2015

    • 著者名/発表者名
      Kazunori Ueda and Yusuke Yoshimoto
    • 学会等名
      APLAS 2015 Workshop on New Ideas and Emerging Results of Programming Languages and Systems
    • 発表場所
      POSTECH, Pohang, Korea
    • 年月日
      2015-11-29
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26280024
  • [学会発表] ハイブリッド制約言語HydLa処理系における数式処理と区間計算を組み合わせたシミュレーション実行2015

    • 著者名/発表者名
      和田努,松本翔太,上田和紀
    • 学会等名
      2015年度人工知能学会全国大会
    • 発表場所
      公立はこだて未来大学
    • 年月日
      2015-05-30
    • データソース
      KAKENHI-PROJECT-26280024
  • [学会発表] グラフ書換え言語LMNtalへのShape Typeの導入と実装2015

    • 著者名/発表者名
      吉元 佑介, 上田 和紀
    • 学会等名
      第17回プログラミングおよびプログラミング言語ワークショップ(PPL2015)
    • 発表場所
      愛媛県松山市
    • 年月日
      2015-03-04
    • データソース
      KAKENHI-PROJECT-24650016
  • [学会発表] Hyrose: A Symbolic Implementation of Hybrid Constraint Language HydLa2014

    • 著者名/発表者名
      Shota Matsumoto, Kazunori Ueda
    • 学会等名
      The 12th Asian Symposium on Programming Languages and Systems (APLAS 2014)
    • 発表場所
      National Univeristy of Singapore
    • 年月日
      2014-11-17
    • データソース
      KAKENHI-PROJECT-26280024
  • [学会発表] A Hybrid Constraint Language HydLa and Its Implementation.2014

    • 著者名/発表者名
      Kazunori Ueda
    • 学会等名
      Halmstad Colloquium
    • 発表場所
      Halmstad University, Sweden
    • 年月日
      2014-03-11
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] フェーズ間の制約差分情報および制約-変数間の依存関係を用いたHydLa処理系の最適化2014

    • 著者名/発表者名
      小林 輝哉,河野 文彦,松本 翔太,上田 和紀
    • 学会等名
      2014年度人工知能学会全国大会
    • 発表場所
      愛媛県県民文化会館
    • 年月日
      2014-05-15
    • データソース
      KAKENHI-PROJECT-26280024
  • [学会発表] Implementing a subset of Lambda Prolog in HyperLMNtal2014

    • 著者名/発表者名
      Alimujiang Yasen, Kazunori Ueda
    • 学会等名
      日本ソフトウェア科学会 第31回大会
    • 発表場所
      名古屋大学東山キャンパス
    • 年月日
      2014-09-10
    • データソース
      KAKENHI-PROJECT-24650016
  • [学会発表] ハイブリッド制約言語HydLaを用いたハイブリッドシステムの解析2014

    • 著者名/発表者名
      松本 翔太,河野 文彦,上田 和紀
    • 学会等名
      2014年度人工知能学会全国大会
    • 発表場所
      愛媛県県民文化会館
    • 年月日
      2014-05-14
    • データソース
      KAKENHI-PROJECT-26280024
  • [学会発表] Implementing L-lambda in HyperLMNtal2014

    • 著者名/発表者名
      Alimujiang Yasen, Kazunori Ueda
    • 学会等名
      12th Asian Symposium on Programming Languages and Systems (APLAS 2014)
    • 発表場所
      National Univeristy of Singapore
    • 年月日
      2014-11-17
    • データソース
      KAKENHI-PROJECT-24650016
  • [学会発表] パターン定義によるマッチングを導入したグラフ書換え言語とその実装2014

    • 著者名/発表者名
      奈良 耕太,上田 和紀
    • 学会等名
      日本ソフトウェア科学会 第31回大会
    • 発表場所
      名古屋大学東山キャンパス
    • 年月日
      2014-09-08
    • データソース
      KAKENHI-PROJECT-24650016
  • [学会発表] Hash Compaction を利用したグラフ書換え系モデル検査の大規模化とその評価2014

    • 著者名/発表者名
      吉田 健人,小沼 賢,上田 和紀
    • 学会等名
      電子情報通信学会ディペンダブルコンピューティング研究会
    • 発表場所
      朱鷺メッセ・新潟コンベンションセンター
    • 年月日
      2014-07-29
    • データソース
      KAKENHI-PROJECT-26280024
  • [学会発表] 数式処理に基づくハイブリッドシステムシミュレータHyroseの大規模モデルシミュレーションに向けた拡張2014

    • 著者名/発表者名
      河野 文彦,小林 輝哉,松本 翔太,上田 和紀
    • 学会等名
      日本ソフトウェア科学会第31回大会
    • 発表場所
      名古屋大学東山キャンパス
    • 年月日
      2014-09-10
    • データソース
      KAKENHI-PROJECT-26280024
  • [学会発表] ハイブリッド制約処理系 Hyrose における区間ニュートン法を用いたシミュレーション実行2014

    • 著者名/発表者名
      和田 努,松本 翔太,上田 和紀
    • 学会等名
      第12回 ディペンダブルシステムワークショップ (DSW 2014)
    • 発表場所
      静岡県熱海市
    • 年月日
      2014-12-17
    • データソース
      KAKENHI-PROJECT-26280024
  • [学会発表] ハイブリッド制約処理系Hyroseにおける無矛盾性判定の並列化による高速化2014

    • 著者名/発表者名
      伊藤 剛史,松本 翔太,上田 和紀
    • 学会等名
      第12回 ディペンダブルシステムワークショップ (DSW 2014)
    • 発表場所
      静岡県熱海市
    • 年月日
      2014-12-17
    • データソース
      KAKENHI-PROJECT-26280024
  • [学会発表] ハイブリッド制約処理系HyroseにおけるLTLモデル検査手法の提案2014

    • 著者名/発表者名
      若槻 祐彰,松本 翔太,上田 和紀
    • 学会等名
      第12回 ディペンダブルシステムワークショップ (DSW 2014)
    • 発表場所
      静岡県熱海市
    • 年月日
      2014-12-17
    • データソース
      KAKENHI-PROJECT-26280024
  • [学会発表] 制約の静的解析を用いたHydLa処理系の最適化2013

    • 著者名/発表者名
      河野文彦, 松本翔太, 上田和紀
    • 学会等名
      2013年度人工知能学会全国大会論文集
    • 年月日
      2013-06-05
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] Formalization of the Graph Rewriting Operations of LMNtal by Coq2013

    • 著者名/発表者名
      Yuuki Shinobu, Yoshinori Tanabe, Kazunori Ueda
    • 学会等名
      11th Asian Symposium on Programming Languages and Systems
    • 年月日
      2013-12-10
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] LMNtalにおけるグラフ書換え操作のCoqによる形式化2013

    • 著者名/発表者名
      信夫裕貴, 田辺良則, 上田和紀
    • 学会等名
      日本ソフトウェア科学会第30回大会
    • 年月日
      2013-09-13
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] Encoding type systems into HyperLMNtal2013

    • 著者名/発表者名
      Alimujiang Yasen, 上田和紀
    • 学会等名
      日本ソフトウェア科学会第30回大会
    • 年月日
      2013-09-11
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] ハイブリッド制約言語HydLaの対話的な実行方式の実装2013

    • 著者名/発表者名
      和田亮, 松本翔太, 上田和紀
    • 学会等名
      第11回ディペンダブルシステムワークショップ
    • 年月日
      2013-12-16
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] グラフ書換え系におけるグラフ構造の効率的な一意バイト列生成手法2013

    • 著者名/発表者名
      宮原和大, 上田和紀
    • 学会等名
      日本ソフトウェア科学会第30回大会
    • 年月日
      2013-09-13
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] ハイ ブリ ッ ドシステム制約言語 HydLaの数式処理実行系へのアフィン演算の導入2013

    • 著者名/発表者名
      松本翔太, 上田和紀
    • 学会等名
      日本ソフトウェア科学会第30回大会
    • 年月日
      2013-09-12
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] Optimized Canonical Graph Labeling Algorithm for Graph Rewriting Systems2013

    • 著者名/発表者名
      Kazuhiro Miyahara and Kazunori Ueda
    • 学会等名
      11th Asian Symposium on Programming Languages and Systems (APLAS 2013)
    • 年月日
      2013-12-10
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] ハイブリッド制約言語プログラムのハイブリッドオートマトンへの変換アルゴリズム2012

    • 著者名/発表者名
      竹口輝, 和田亮, 松本翔太, 細部博史, 上田和紀
    • 学会等名
      日本ソフトウェア科学会第29回大会論文集
    • 発表場所
      東京
    • 年月日
      2012-08-22
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] ハイブリッド制約言語HydLaの記号実行シミュレータHyrose2012

    • 著者名/発表者名
      松本翔太, 上田和紀
    • 学会等名
      日本ソフトウェア科学会第29回大会論文集5C-4
    • 発表場所
      東京
    • 年月日
      2012-08-24
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] LMNtal によるBigraphのエンコードおよびモデル検査の実現2012

    • 著者名/発表者名
      目黒学, 宮原和大, 上田和紀
    • 学会等名
      第10回ディペンダブルシステムワークショップ(DSW2012)
    • URL

      https://sites.google.com/site/jssstdsw/dsw2012

    • 発表場所
      神戸
    • 年月日
      2012-12-11
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] Hybrid Constraint Language HydLa and Its Implementation2012

    • 著者名/発表者名
      Shota Matsumoto, Akira Takeguchi, Kazunori Ueda and Hiroshi Hosobe
    • 学会等名
      The 15th International Conference on Hybrid Systems : Computation and Control (HSCC 2012)
    • 発表場所
      Beijing
    • 年月日
      2012-04-17
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] 複数の計算モデルをサポートするモデル検査器の実現2012

    • 著者名/発表者名
      目黒学, 谷口直輝, 上田和紀
    • 学会等名
      日本ソフトウェア科学会第29回大会論文集
    • 発表場所
      東京
    • 年月日
      2012-08-24
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] 基数制約の概念を持つSATソルバの設計と評価2011

    • 著者名/発表者名
      山根裕二, 徐暁雋, 上田和紀
    • 学会等名
      2011年度人工知能学会全国大会
    • 発表場所
      盛岡(岩手県)
    • 年月日
      2011-06-03
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] Explicit-time methodによるモデル検査器SLIMにおけるリアルタイムモデル検査2011

    • 著者名/発表者名
      清水涼子, 川端聡基, 上田和紀
    • 学会等名
      日本ソフトウェア科学会大会第28回大会論文集
    • 発表場所
      那覇
    • 年月日
      2011-09-28
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] 階層グラフ書換えモデルを拡張したHyperLMNta1の実現2011

    • 著者名/発表者名
      小川誠司, 目黒学, 上田和紀
    • 学会等名
      2011年度人工知能学会全国大会
    • 発表場所
      盛岡(岩手県)
    • 年月日
      2011-06-02
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] 階層グラフ書換えモデルを拡張したHyperLMNtalの実現2011

    • 著者名/発表者名
      小川誠司, 目黒学, 上田和紀
    • 学会等名
      2011年度人工知能学会全国大会(第25回)論文集
    • 発表場所
      盛岡
    • 年月日
      2011-06-01
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] ハイブリッドシステムモデリング言語HydLaの処理系による非決定性の扱い2011

    • 著者名/発表者名
      松本翔太,高田賢士郎,細部博史,上田和紀
    • 学会等名
      第13回プログラミングおよびプログラミング言語ワークショップ(PPL2011)
    • 発表場所
      札幌
    • 年月日
      2011-03-09
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] ハイブリッドシステムモデリング言語HydLaを用いたシステム解析2011

    • 著者名/発表者名
      竹口輝, 松本翔太, 上田和紀
    • 学会等名
      ディペンダブルシステムワークショップ&シンポジウム(DSW & DSS 2011)
    • 発表場所
      京都工芸繊維大学(京都府)
    • 年月日
      2011-12-14
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] HyperLMNta1 : An Extension of a Hierarchical Graph Rewriting Model2011

    • 著者名/発表者名
      Manabu Meguro, Seiji Ogawa, Kazunori Ueda
    • 学会等名
      The Ninth Asian Symposium on Programming Languages and Systems (APLAS 2011)
    • 発表場所
      Kenting (Taiwan)
    • 年月日
      2011-12-06
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] 並列モデル検査器SLIM上でのΔ-marking手法の実装と評価2011

    • 著者名/発表者名
      川端聡基, 上田和紀
    • 学会等名
      ディペンダブルシステムワークショップ&シンポジウム(DSW & DSS 2011
    • 発表場所
      京都工芸繊維大学(京都府)
    • 年月日
      2011-12-14
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] Simulation with Guaranteed Accuracy Using Hybrid System Modeling Language HydLa2011

    • 著者名/発表者名
      K.Sakuraba, K.Ueda, H.Hosobe, S.Shibuya, S.Matsumoto
    • 学会等名
      The Ninth Asian Symposium on Programming Languages and Systems (APLAS 2011)
    • 発表場所
      Kenting (Taiwan)
    • 年月日
      2011-12-06
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] Explicit-time methodによるモデル検査器SLIMにおけるリアルタイムモデル検査2011

    • 著者名/発表者名
      清水涼子, 川端聡基, 上田和紀
    • 学会等名
      日本ソフトウェア科学会大会第28回大会
    • 発表場所
      那覇(沖縄県)
    • 年月日
      2011-09-28
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] 階層グラフ書換え言語LMNtalにおける管理アトムの処理2011

    • 著者名/発表者名
      目黒学, 中川遼平, 上田和紀
    • 学会等名
      第13回プログラミングおよびプログラミング言語ワークショップ(PPL2011)
    • 発表場所
      北海道札幌市 定山渓ビューホテル
    • 年月日
      2011-03-09
    • データソース
      KAKENHI-PLANNED-18049015
  • [学会発表] ハイブリッドシステムモデリング言語HydLaの数式処理実行系2011

    • 著者名/発表者名
      高田賢士郎, 渋谷俊, 細部博史, 上田和紀
    • 学会等名
      情報処理学会第73回全国大会
    • 発表場所
      東工大大岡山キャンパス
    • 年月日
      2011-03-02
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] ハイブリッドシステムモデリング言語HydLaの実装2011

    • 著者名/発表者名
      松本翔太, 桜庭翔, 高田賢士郎, 細部博史, 上田和紀
    • 学会等名
      日本ソフトウェア科学会大会第28回大会
    • 発表場所
      那覇(沖縄県)
    • 年月日
      2011-09-29
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] 基数制約に対応するクラスタ向け並列SATソルバとその評価2011

    • 著者名/発表者名
      徐暁雋, 山根裕二, 上田和紀
    • 学会等名
      2011年並列/分散/協調処理に関する『鹿児島』サマー・ワークショップ
    • 発表場所
      鹿児島(鹿児島県)
    • 年月日
      2011-07-28
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] ハイブリッドシステムモデリング言語HydLaを用いたシステム解析2011

    • 著者名/発表者名
      竹口輝, 松本翔太, 上田和紀
    • 学会等名
      ディペンダブルシステムワークショップ&シンポジウム(DSW&DSS2011)論文集
    • 発表場所
      京都
    • 年月日
      2011-12-14
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] ハイブリッドシステムモデリング言語HydLaの数式処理実行系2011

    • 著者名/発表者名
      高田賢士郎,渋谷俊,細部博史,上田和紀
    • 学会等名
      情報処理学会第73回全国大会
    • 年月日
      2011-03-02
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] ハイブリッド制約言語HydLaの宣言的意味論2010

    • 著者名/発表者名
      上田和紀,細部博史,石井大輔
    • 学会等名
      日本ソフトウェア科学会第27回大会
    • 発表場所
      津田塾大学
    • 年月日
      2010-09-14
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] ハイブリッドシステムモデリング言語HydLa処理系の実行アルゴリズムの検討2010

    • 著者名/発表者名
      渋谷俊,高田賢士郎,上田和紀,細部博史
    • 学会等名
      第8回ディペンダブルシステムワークショップ
    • 発表場所
      函館
    • 年月日
      2010-07-22
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] ハイブリッドシステムモデリング言語HydLaの統合処理系2010

    • 著者名/発表者名
      高田賢士郎,廣瀬賢一,大谷順司,石井大輔,細部博史,上田和紀
    • 学会等名
      第12回プログラミングおよびプログラミング言語ワークショップ(PPL'10)
    • 発表場所
      香川県琴平温泉
    • 年月日
      2010-03-04
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] ハイブリッドシステムモデリング言語HydLa処理系における実行アルゴリズム2010

    • 著者名/発表者名
      渋谷俊,高田賢士郎,細部博史,上田和紀
    • 学会等名
      日本ソフトウェア科学会第27回大会
    • 発表場所
      津田塾大学
    • 年月日
      2010-09-13
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] ハイブリッドシステムモデリング言語HydLa処理系の実行アルゴリズムの検討2010

    • 著者名/発表者名
      渋谷俊, 高田賢士郎, 上田和紀
    • 学会等名
      第8回ディペンダブルシステムワークショップ論文集
    • 発表場所
      函館
    • 年月日
      2010-07-22
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] ハイブリッドシステムモデリング言語 HydLa の統合処理系2010

    • 著者名/発表者名
      高田賢士郎, 廣瀬賢一, 大谷順司, 石井大輔, 細部博史, 上田和紀
    • 学会等名
      第12回プログラミングおよびプログラミング言語ワークショップ(PPL'10)
    • 発表場所
      香川県琴平温泉
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] LMNtal実行時処理系の並列モデル検査器への展開2010

    • 著者名/発表者名
      後町将人, 堀泰祐, 上田和紀
    • 学会等名
      日本ソフトウェア科学会第27回大会
    • 発表場所
      東京都 津田塾大学
    • データソース
      KAKENHI-PLANNED-18049015
  • [学会発表] ハイブリッドシステムモデリング言語 HydLa の区間制約に基づく全解シミュレーション実行処理系2010

    • 著者名/発表者名
      大谷順司, 廣瀬賢一, 石井大輔, 細部博史, 上田和紀
    • 学会等名
      情報処理学会創立50周年記念(第72回)全国大会
    • 発表場所
      東京大学
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] 強連結成分の性質を用いたOWCTYモデル検査アルゴリズムの高速化2010

    • 著者名/発表者名
      川端聡基, 小林史佳, 上田和紀
    • 学会等名
      2010年度人工知能学会全国大会(第24回)
    • 発表場所
      長崎県長崎市 長崎ブリックホール
    • データソース
      KAKENHI-PLANNED-18049015
  • [学会発表] ハイブリッドシステムモデリング言語HydLa処理系における実行アルゴリズム2010

    • 著者名/発表者名
      渋谷俊, 高田賢士郎, 細部博史, 上田和紀
    • 学会等名
      日本ソフトウェア科学会第27回大会論文集
    • 発表場所
      津田塾大学
    • 年月日
      2010-09-13
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] 強連結成分の特性を用いた並列モデル検査アルゴリズムSCC-OWCTYの設計と評価2010

    • 著者名/発表者名
      川端聡基, 小林史佳, 上田和紀
    • 学会等名
      2010年並列/分散/協調処理に関する『金沢』サマー・ワークショップSWOPP 金沢2010
    • 発表場所
      金沢市文化ホール
    • 年月日
      2010-08-04
    • データソース
      KAKENHI-PLANNED-18049015
  • [学会発表] LMNtal検証ビジュアルツールLaViT2010

    • 著者名/発表者名
      綾野貴之, 上田和紀
    • 学会等名
      第8回ディペンダブルシステムワークショップ論文集
    • 発表場所
      北海道函館市 函館大沼プリンスホテル
    • 年月日
      2010-07-20
    • データソース
      KAKENHI-PLANNED-18049015
  • [学会発表] LMNtalモデル検査器における状態爆発対策2010

    • 著者名/発表者名
      後町将人, 上田和紀
    • 学会等名
      2010年並列/分散/協調処理に関する『金沢』サマー・ワークショップSWOPP 金沢2010
    • 発表場所
      石川県金沢市石川県金沢市金沢市文化ホール
    • 年月日
      2010-08-04
    • データソース
      KAKENHI-PLANNED-18049015
  • [学会発表] ハイブリッドシステムモデリング言語HydLaの区間制約に基づく全解シミュレーション実行処理系2010

    • 著者名/発表者名
      大谷順司,廣瀬賢一,石井大輔,細部博史,上田和紀
    • 学会等名
      情報処理学会創立50周年記念(第72回)全国大会
    • 発表場所
      東京大学
    • 年月日
      2010-03-09
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] ハイブリッド制約言語HydLaの宣言的意味論2010

    • 著者名/発表者名
      上田和紀, 細部博史, 石井大輔
    • 学会等名
      日本ソフトウェア科学会第27回大会論文集
    • 発表場所
      津田塾大学
    • 年月日
      2010-09-14
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] 不確実値を持つハイブリッドシステムの高信頼なシミュレーション手法2009

    • 著者名/発表者名
      大谷順司,廣瀬賢一,石井大輔,上田和紀
    • 学会等名
      第6回ディペンダブルシステムシンポジウム
    • 発表場所
      大阪大学
    • 年月日
      2009-12-15
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] An Interval-based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems2009

    • 著者名/発表者名
      Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe
    • 学会等名
      Workshop on Verified Software : Theory, Tools, and Experiments(VSTTE'09)
    • 発表場所
      オランダ・アイントホーフェン
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] A Parallel SAT Solver for Clusters2009

    • 著者名/発表者名
      K. Ohmura, K. Ueda
    • 学会等名
      12th Int' l Conf. on Theory and Applications of Satisfiability Testing
    • 発表場所
      Swansea(Wales)
    • 年月日
      2009-07-03
    • データソース
      KAKENHI-PROJECT-20240003
  • [学会発表] 微分制約論理式によるハイブリッドシステムのモデリングと検証2009

    • 著者名/発表者名
      石井大輔,上田和紀,細部博史
    • 学会等名
      電子情報通信学会コンカレント工学研究会
    • 発表場所
      横浜
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] 制約概念に基づくハイブリッドシステムモデリング言語HydLaの実装2009

    • 著者名/発表者名
      廣瀬賢一,大谷順司,石井大輔,細部博史,上田和紀
    • 学会等名
      第11回プログラミングおよびプログラミング言語ワークショップ(PPL2009)
    • 発表場所
      高山
    • 年月日
      2009-03-10
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] Simulation of Hybrid Systems based on Hierarchical Interval Constraints2009

    • 著者名/発表者名
      石井大輔, 上田和紀, 細部博史
    • 学会等名
      2nd International Conference on Simulation Tools and Techniques (SIMUTools'09)
    • 発表場所
      ローマ
    • 年月日
      2009-03-04
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] c-sat : A Parallel SAT Solver for Clusters2009

    • 著者名/発表者名
      K.Ohmura, K.Ueda
    • 学会等名
      12th Int' l Conf on Theory and Applications of Satisfiability Testing (SAT 2009)
    • 発表場所
      Swansea (Wales).
    • 年月日
      2009-07-03
    • データソース
      KAKENHI-PROJECT-20240003
  • [学会発表] Alexandre Goldsztejn, Interval-based Solving of Hybrid Constraint Systems2009

    • 著者名/発表者名
      石井大輔, 上田和紀, 細部博史
    • 学会等名
      The 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'09)
    • 発表場所
      スペイン・サラゴサ
    • 年月日
      2009-09-17
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] 制約概念に基づくハイブリッドシステムモデリング言語HydLaの実装2009

    • 著者名/発表者名
      廣瀬賢一, 大谷順司, 石井大輔, 細部博史, 上田和紀
    • 学会等名
      第11回プログラミングおよびプログラミング言語ワークショップ(PPL2009)
    • 発表場所
      岐阜県・高山市
    • 年月日
      2009-03-10
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] 制約階層によるハイブリッドシステムのモデリング手法2009

    • 著者名/発表者名
      廣瀬賢一,大谷順司,石井大輔,細部博史,上田和紀
    • 学会等名
      日本ソフトウェア科学会第26回大会
    • 発表場所
      島根大学
    • 年月日
      2009-09-16
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Un-derstanding Nondeterministic Systems2009

    • 著者名/発表者名
      Kazunori Ueda, Takayuki Ayano, Taisuke Hori, Hiroki Iwasawa, Seiji Ogawa
    • 学会等名
      International Colloquium on Theoret-ical Aspects of Computing, 349-355
    • データソース
      KAKENHI-PLANNED-18049015
  • [学会発表] An Interval-based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems2009

    • 著者名/発表者名
      石井大輔, 上田和紀, 細部博史
    • 学会等名
      Workshop on Verified Software : Theory, Tools, and Experiments (VSTTE'09)
    • 発表場所
      オランダ・アイントホーフェン
    • 年月日
      2009-11-02
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] c-sat : A Parallel SAT Solver for Clusters2009

    • 著者名/発表者名
      Kei Ohmura, Kazunori Ueda
    • 学会等名
      International Conference on Theory and Applications of Satisfiability Testing, 524-537
    • データソース
      KAKENHI-PLANNED-18049015
  • [学会発表] Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems2009

    • 著者名/発表者名
      Kazunori Ueda
    • 学会等名
      Sixth International Colloquium on Theoretical Aspects of Computing(ICTAC 2009)
    • 発表場所
      Kuala Lumpur, Malaysia
    • 年月日
      2009-08-20
    • データソース
      KAKENHI-PLANNED-18049015
  • [学会発表] Simulation of Hybrid Systems based on Hierarchical Interval Constraints2009

    • 著者名/発表者名
      D. Ishii, K. Ueda, H. Hosobe
    • 学会等名
      2nd International Conference on Simulation Tools and Techniques (SIMUTools'09)
    • 発表場所
      イタリア・ローマ
    • 年月日
      2009-03-04
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] Interval-based Solving of Hybrid Constraint Systems2009

    • 著者名/発表者名
      Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe, Alexandre Goldsztejn
    • 学会等名
      The 3rd IFAC Conference on Analysis and Design of Hybrid Systems(ADHS'09)
    • 発表場所
      スペイン・サラゴサ
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting2008

    • 著者名/発表者名
      Kazunori Ueda
    • 学会等名
      19th Int. Conf. on Rewriting Techniques and Applications
    • 発表場所
      Hagenberg
    • データソース
      KAKENHI-PLANNED-18049015
  • [学会発表] ハイブリッドシステムの高信頼シミュレーションへの区間ニュートン法の適用2008

    • 著者名/発表者名
      石井大輔,上田和紀,細部博史
    • 学会等名
      第6回ディペンダブルシステムワークショップ(DSW'08summer)
    • 発表場所
      函館
    • 年月日
      2008-07-03
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] 制約概念に基づくハイブリッドシステムモデリング言語2008

    • 著者名/発表者名
      上田和紀,石井大輔,細部博史
    • 学会等名
      日本ソフトウェア科学会第25回大会
    • 発表場所
      筑波大学
    • 年月日
      2008-09-11
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] 制約概念に基づくハイブリッドシステムモデリング言語HydLa2008

    • 著者名/発表者名
      上田和紀,石井大輔,細部博史
    • 学会等名
      第5回システム検証の科学技術シンポジウム(SSV'08)
    • 発表場所
      筑波大学
    • 年月日
      2008-11-17
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] ハイブリッドシステムの高信頼シミュレーションへの区間ニュートン法の適用2008

    • 著者名/発表者名
      石井大輔, 上田和紀, 細部博史
    • 学会等名
      第6回ディペンダブルシステムワークシヨツプ(DSW' 08summer)
    • 発表場所
      北海道・函館
    • 年月日
      2008-07-03
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] 制約概念に基づくハイブリッドシステムモデリング言語2008

    • 著者名/発表者名
      上田和紀, 石井大輔, 細部博史
    • 学会等名
      日本ソフトウェア科学会第25回大会
    • 発表場所
      東京・筑波大学
    • 年月日
      2008-09-11
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] 数式処理・Quantifier Eliminationを用いたハイブリッドシステムのZeno状態の導出手法2008

    • 著者名/発表者名
      大野善之,石井大輔,上田和紀
    • 学会等名
      人工知能学会第22回全国大会
    • 発表場所
      旭川
    • 年月日
      2008-06-11
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] 区間演算を用いたODE Solver における任意精度演算の導入とパラメタ最適化2008

    • 著者名/発表者名
      廣瀬賢一, 石井大輔, 上田和紀
    • 学会等名
      FIT2008 第7回情報科学技術フォーラム
    • 発表場所
      慶応義塾大学
    • 年月日
      2008-09-03
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] 数式処理・Quantifier Eliminationを用いたハイブリッドシステムのZeno状態の導出手法2008

    • 著者名/発表者名
      大野善之, 石井大輔, 上田和紀
    • 学会等名
      人工知能学会第22回全国大会
    • 発表場所
      北海道・旭川市
    • 年月日
      2008-06-11
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] Towards a Turing Machine for the 21st Century : Unifying Diverse Models of Computation2008

    • 著者名/発表者名
      Kazunori Ueda
    • 学会等名
      Egypt-Japan University of Science and Technology(E-JUST) First Symposium
    • 発表場所
      Alexandria(Egypt)(招特待講演)
    • 年月日
      2008-11-01
    • データソース
      KAKENHI-PLANNED-18049015
  • [学会発表] Encoding the Pure Lambda Calculus into Hierarchical Graph Re-writing2008

    • 著者名/発表者名
      Kazunori Ueda
    • 学会等名
      International Conference on Rewriting Techniques and Applications, 392-408
    • データソース
      KAKENHI-PLANNED-18049015
  • [学会発表] Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting2008

    • 著者名/発表者名
      Kazunori Ueda
    • 学会等名
      19th International Conference on Rewriting Techniques and Applications
    • 発表場所
      Hagenberg(Austria)
    • 年月日
      2008-07-01
    • データソース
      KAKENHI-PLANNED-18049015
  • [学会発表] 制約概念に基づくハイブリッドシステムモデリング言語HydLa2008

    • 著者名/発表者名
      上田和紀, 石井大輔, 細部博史
    • 学会等名
      第5回システム検証の科学技術シンポジウム(SSV'08)
    • 発表場所
      筑波・筑波大学
    • 年月日
      2008-11-17
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] 区間演算を用いたODE Solverにおける任意精度演算の導入とパラメタ最適化2008

    • 著者名/発表者名
      廣瀬賢一,石井大輔,上田和紀
    • 学会等名
      FIT2008 第7 回情報科学技術フォーラム
    • 発表場所
      慶応義塾大学
    • 年月日
      2008-09-03
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting2007

    • 著者名/発表者名
      Ueda, K.
    • 学会等名
      Ninth Workshop on Programming and Programming Languages (PPL2007)
    • 発表場所
      Kaga, Japan
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16300009
  • [学会発表] 階層グラフ可視化ツール"UNYO-UNYO"(うにょうにょ)の設計と実装2007

    • 著者名/発表者名
      中野 敦, 上田 和紀
    • 学会等名
      第9回プログラミングおよびプログラミング言語ワークショップ
    • 発表場所
      加賀市
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16300009
  • [学会発表] 純粋λ計算の階層グラフ書換えへのエンコーディング2007

    • 著者名/発表者名
      上田 和紀
    • 学会等名
      第9回プログラミングおよびプログラミング言語ワークショップ(PPL2007)
    • 発表場所
      加賀市
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16300009
  • [学会発表] LMNtal as a Unifying Declarative Language2006

    • 著者名/発表者名
      Ueda, K., Kato, N., Hara, K. and Mizuno, K.
    • 学会等名
      Third workshop on Constraint Handling Rules(CHR 2006)
    • 発表場所
      Venezia,Italy
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16300009
  • [学会発表] 非決定的LMNtalとその検証への応用2006

    • 著者名/発表者名
      水野 謙, 上田 和紀
    • 学会等名
      第8回プログラミングおよびプログラミング言語ワークショップ(PPL2006)
    • 発表場所
      大津市
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16300009
  • [学会発表] 0CamlによるLMNtal実行時処理系0CaMNtalの実装2006

    • 著者名/発表者名
      工藤 晋太郎, 乾敦 行, 櫻井 健, 上田 和紀
    • 学会等名
      第8回プログラミングおよびプログラミング言語ワークショップ(PPL2006)
    • 発表場所
      大津市
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16300009
  • [学会発表] Hierarchical Graph Rewriting as a Unifying Model of Concurrency2006

    • 著者名/発表者名
      Ueda, K.
    • 学会等名
      LIX Colloquium on Emerging Trends in Concurrency Theory
    • 発表場所
      Paris, France
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16300009
  • [学会発表] LMNtal as a Unifying Declarative Language : Live Demonstration2006

    • 著者名/発表者名
      Ueda, K., Kato, N., Hara, K., Mizuno, K.
    • 学会等名
      22nd Int. Conf. on Logic Programming(ICLP'06)
    • 発表場所
      Seattle, USA
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16300009
  • [学会発表] 分散プロセス計算のLMNtalへのエンコーディング2006

    • 著者名/発表者名
      上田 和紀
    • 学会等名
      日本ソフトウェア科学会第23回大会
    • 発表場所
      文京区
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16300009
  • [学会発表] LMNtal as a Unifying Declarative Language2006

    • 著者名/発表者名
      Ueda, K., Kato, N., Hara, K., Mizuno, K.
    • 学会等名
      Third workshop on Constraint Handling Rules(CHR 2006)
    • 発表場所
      Venezia, Italy
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16300009
  • [学会発表] LMNtal as a Unifying Declarative Language: Live Demonstration2006

    • 著者名/発表者名
      Ueda, K., Kato, N., Hara, K. and Mizuno, K.
    • 学会等名
      22nd Int. Conf.on Logic Programming (ICLP'06)
    • 発表場所
      Seattle,USA
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16300009
  • [学会発表] 階層グラフ書き換え言語LMNtal処理系とその応用例2006

    • 著者名/発表者名
      乾敦 行, 原 耕司, 水野 謙, 上田 和紀
    • 学会等名
      第8回プログラミングおよびプログラミング言語ワークショップ(PPL2006)
    • 発表場所
      大津市
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16300009
  • [学会発表] Hierarchical graph rewriting as a unifying model of concurrency2006

    • 著者名/発表者名
      Ueda, K.
    • 学会等名
      LIX Colloquium on Emerging Trends in Concurrency Theory
    • 発表場所
      Paris,France
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16300009
  • [学会発表] LMNtalを用いた分散処理の実現2005

    • 著者名/発表者名
      中島 求, 加藤 紀夫, 水野 謙, 上田 和紀
    • 学会等名
      第8回プログラミングおよび応用のシステムに関するワークショップ(SPA 2005)
    • 発表場所
      渋川市
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16300009
  • [学会発表] プログラムと対称性2005

    • 著者名/発表者名
      上田 和紀
    • 学会等名
      夏のプログラミングシンポジウム「アッと驚くプログラミング」, 情報処理学会
    • 発表場所
      函館市
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16300009
  • [学会発表] 階層グラフ書き換えによるプロトコル検証2005

    • 著者名/発表者名
      圷弘 明, 加藤 紀夫, 上田 和紀
    • 学会等名
      第7回プログラミングおよびプログラミング言語ワークショップ(PPL2005)
    • 発表場所
      群馬県水上町
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16300009
  • [学会発表] 階層グラフ書換え言語LMNtal処理系における非同期実行の実現2005

    • 著者名/発表者名
      水野 謙, 加藤 紀夫, 原 耕司, 上田 和紀
    • 学会等名
      日本ソフトウェア科学会第22回大会
    • 発表場所
      仙台市
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16300009
  • [学会発表] Constraint-Based Concurrency and Beyond2005

    • 著者名/発表者名
      Ueda, K.
    • 学会等名
      Workshop on Algebraic Process Calculi, The First Twenty Years(PA'05)
    • 発表場所
      Bertinolo,Italy
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16300009
  • [学会発表] LMNtalコンパイラにおける並び替えとグループ化を用いた命令列の最適化2005

    • 著者名/発表者名
      櫻井 健, 加藤 紀夫, 水野 謙, 上田 和紀
    • 学会等名
      第4回情報科学技術フォーラム(FIT2005)
    • 発表場所
      文京区
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16300009
  • [学会発表] 小規模制御系向けLMNtal処理系の設計と実装2005

    • 著者名/発表者名
      矢島 伸吾, 加藤 紀夫, 上田 和紀
    • 学会等名
      第7回プログラミングおよびプログラミング言語ワークショップ(PPL2005)
    • 発表場所
      群馬県水上町
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16300009
  • [学会発表] Programs and Symmetry2005

    • 著者名/発表者名
      Ueda, K.
    • 学会等名
      The Summer Programming Symposium 2005, IPSJ
    • 発表場所
      Hakodate, Japan
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16300009
  • [学会発表] Constraint-Based Concurrency and Beyond2005

    • 著者名/発表者名
      Ueda, K
    • 学会等名
      Workshop on Algebraic Process Calculi, The First Twenty Years(PA'05)
    • 発表場所
      Bertinolo, Italy
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16300009
  • [学会発表] LMNtal分散処理系の設計と実装2004

    • 著者名/発表者名
      中島 求, 加藤 紀夫, 水野 謙, 上田 和紀
    • 学会等名
      日本ソフトウェア科学会第21回大会
    • 発表場所
      目黒区
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16300009
  • [学会発表] 階層グラフ書換え言語における並行プロセスの型推論2004

    • 著者名/発表者名
      加藤 紀夫, 上田 和紀
    • 学会等名
      情報処理学会第50回プログラミング研究会
    • 発表場所
      青森市
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16300009
  • [学会発表] LMNtal:a Language Model with Links and Membranes2004

    • 著者名/発表者名
      Ueda, K. and Kato, N.
    • 学会等名
      Fifth Workshop on Membrane Computing
    • 発表場所
      Milano,Italy
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16300009
  • [学会発表] 言語モデルLMNtalの操作的意味論の設計2004

    • 著者名/発表者名
      加藤 紀夫, 水野 謙, 上田 和紀
    • 学会等名
      日本ソフトウェア科学会第21回大会
    • 発表場所
      目黒区
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16300009
  • [学会発表] LMNtal処理系および他言語インタフェースの設計と実装2004

    • 著者名/発表者名
      原 耕司, 水野 謙, 矢島 伸吾, 永田 貴彦, 中島 求, 加藤 紀夫, 上田 和紀
    • 学会等名
      情報処理学会第50回プログラミング研究会
    • 発表場所
      青森市
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16300009
  • [学会発表] a Language Model with Links and Membranes2004

    • 著者名/発表者名
      Ueda, K., Kato, N., LMNtal
    • 学会等名
      Fifth Workshop on Membrane Computing
    • 発表場所
      Milano, Italy
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16300009
  • [学会発表] 文脈に依存したグラフ書き換え系の設計と実装

    • 著者名/発表者名
      奈良 耕太,上田 和紀
    • 学会等名
      第16回プログラミングおよびプログラミング言語ワークショップ(PPL2014
    • 発表場所
      阿蘇
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] Formalization of the Graph Rewriting Operations of LMNtal by Coq

    • 著者名/発表者名
      Yuuki Shinobu, Yoshinori Tanabe, Kazunori Ueda
    • 学会等名
      11th Asian Symposium on Programming Languages and Systems (APLAS 2013)
    • 発表場所
      Melbourne, Australia
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] Formalization of the Graph Rewriting Operations of LMNtal by Coq

    • 著者名/発表者名
      Yuuki Shinobu, Yoshinori Tanabe, Kazunori Ueda
    • 学会等名
      11th Asian Symposium on Programming Languages and Systems (APLAS 2013)
    • 発表場所
      Melbourne, Australia
    • データソース
      KAKENHI-PROJECT-24650016
  • [学会発表] LMNtal 並列モデル検査における 状態生成数削減及び高速化

    • 著者名/発表者名
      安田 竜,上田 和紀,吉田 健人
    • 学会等名
      2013年度人工知能学会全国大会
    • 発表場所
      富山
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] LMNtalにおけるグラフ書換え操作のCoqによる形式化

    • 著者名/発表者名
      信夫裕貴,田辺良則,上田和紀
    • 学会等名
      日本ソフトウェア科学会第30 回大会(JSSST2013)
    • 発表場所
      東京大学本郷
    • データソース
      KAKENHI-PROJECT-24650016
  • [学会発表] 制約の静的解析を用いたHydLa処理系の最適化

    • 著者名/発表者名
      河野 文彦,松本 翔太,上田 和紀
    • 学会等名
      2013年度人工知能学会全国大会
    • 発表場所
      富山
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] LMNtalによるBigraphのエンコードおよびモデル検査の実現

    • 著者名/発表者名
      目黒 学, 宮原 和大, 上田 和紀
    • 学会等名
      第10回 ディペンダブルシステムワークショップ (DSW 2012)
    • 発表場所
      神戸
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] LMNtalコンパイラの検証に向けたグラフ書き換え操作の形式化

    • 著者名/発表者名
      信夫 裕貴, 上田 和紀
    • 学会等名
      第15回プログラミングおよびプログラミング言語ワークショップ(PPL2013)
    • 発表場所
      会津若松
    • データソース
      KAKENHI-PROJECT-24650016
  • [学会発表] SLIMの階層グラフのためのキャッシュコンシャスかつ効率的なデータ構造

    • 著者名/発表者名
      吉田 健人, 上田 和紀
    • 学会等名
      第15回プログラミングおよびプログラミング言語ワークショップ(PPL2013)
    • 発表場所
      会津若松
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] Encoding type systems into HyperLMNtal

    • 著者名/発表者名
      Alimujiang Yasen, Kazunori Ueda
    • 学会等名
      日本ソフトウェア科学会第30回大会(JSSST2013)
    • 発表場所
      東京
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] 動的に変化するグラフのための効率的な一意エンコード生成手法

    • 著者名/発表者名
      宮原 和大, 上田 和紀
    • 学会等名
      第15回プログラミングおよびプログラミング言語ワークショップ(PPL2013)
    • 発表場所
      会津若松
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] Optimized Canonical Graph Labeling Algorithm for Graph Rewriting Systems

    • 著者名/発表者名
      Kazuhiro Miyahara and Kazunori Ueda
    • 学会等名
      11th Asian Symposium on Programming Languages and Systems (APLAS 2013)
    • 発表場所
      Melbourne, Australia
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] HydLa: A High-Level Language for Hybrid Systems

    • 著者名/発表者名
      Kazunori Ueda, Shota Matsumoto, Akira Takeguchi, Hiroshi Hosobe, Daisuke Ishii
    • 学会等名
      Second Workshop on Logics for System Analysis (LfSA 2012)(査読有)
    • 発表場所
      Berkeley, CA, USA
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] Literal Block Distanceに基づく学習節共有を行う並列SATソルバGlucans

    • 著者名/発表者名
      徐 暁雋,松本 翔太,上田 和紀
    • 学会等名
      2013年度人工知能学会全国大会
    • 発表場所
      富山
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] グラフ書換え系におけるグラフ構造の効率的な一意バイト列生成手法

    • 著者名/発表者名
      宮原和大,上田和紀
    • 学会等名
      日本ソフトウェア科学会第30回大会(JSSST2013)
    • 発表場所
      東京
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] 複数の計算モデルをサポートするモデル検査器の実現

    • 著者名/発表者名
      目黒 学,谷口 直輝,上田 和紀
    • 学会等名
      日本ソフトウェア科学会第29回大会
    • 発表場所
      東京
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] LMNtal処理系SLIMのマルチスレッド化による最短経路問題のデータ並列求解

    • 著者名/発表者名
      青山 龍一,上田 和紀
    • 学会等名
      先進的計算基盤システムシンポジウム SACSIS2013
    • 発表場所
      仙台
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] Encoding type systems into HyperLMNtal

    • 著者名/発表者名
      Alimujiang Yasen, 上田和紀
    • 学会等名
      日本ソフトウェア科学会第30 回大会(JSSST2013)
    • 発表場所
      東京大学本郷
    • データソース
      KAKENHI-PROJECT-24650016
  • [学会発表] ハイブリッドシステム制約言語HydLaの数式処理実行系へのアフィン演算の導入

    • 著者名/発表者名
      松本翔太,上田和紀
    • 学会等名
      日本ソフトウェア科学会第30回大会(JSSST2013)
    • 発表場所
      東京
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] ハイブリッド制約言語HydLaの記号実行シミュレータHyrose

    • 著者名/発表者名
      松本 翔太,上田 和紀
    • 学会等名
      日本ソフトウェア科学会第29回大会
    • 発表場所
      東京
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] LMNtal並列モデル検査における状態生成数削減及び高速化

    • 著者名/発表者名
      安田 竜, 上田 和紀
    • 学会等名
      第15回プログラミングおよびプログラミング言語ワークショップ(PPL2013)
    • 発表場所
      会津若松
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] ハイブリッド制約言語HydLaの対話的な実行方式の実装

    • 著者名/発表者名
      和田亮,松本翔太,上田和紀
    • 学会等名
      第11回 ディペンダブルシステムワークショップ (DSW 2013)
    • 発表場所
      熱海
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] A Hybrid Constraint Language HydLa and Its Implementation

    • 著者名/発表者名
      Kazunori Ueda
    • 学会等名
      Halmstad Colloquium
    • 発表場所
      Halmstad, Sweden
    • 招待講演
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] LMNtal実行時処理系SLIMにおけるグラフ構造探索の計算量改善

    • 著者名/発表者名
      青山 龍一,上田 和紀
    • 学会等名
      第16回プログラミングおよびプログラミング言語ワークショップ(PPL2014
    • 発表場所
      阿蘇
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] LMNtal処理系SLIMのマルチスレッド化による最短経路問題のデータ並列求解

    • 著者名/発表者名
      青山 龍一, 上田 和紀
    • 学会等名
      第15回プログラミングおよびプログラミング言語ワークショップ(PPL2013)
    • 発表場所
      会津若松
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] ハイブリッド制約言語プログラムのハイブリッドオートマトンへの変換アルゴリズム

    • 著者名/発表者名
      竹口 輝,和田 亮,松本 翔太,細部 博史,上田 和紀
    • 学会等名
      日本ソフトウェア科学会第29回大会
    • 発表場所
      東京
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] Hybrid Constraint Language HydLa and Its Implementation

    • 著者名/発表者名
      Shota Matsumoto, Akira Takeguchi, Kazunori Ueda, Hiroshi Hosobe
    • 学会等名
      15th International Conference on Hybrid Systems: Computation and Control (HSCC 2012)(査読有)
    • 発表場所
      北京、中国
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] LMNtalにおけるグラフ書換え操作のCoqによる形式化

    • 著者名/発表者名
      信夫裕貴,田辺良則,上田和紀
    • 学会等名
      日本ソフトウェア科学会第30回大会(JSSST2013)
    • 発表場所
      東京
    • データソース
      KAKENHI-PROJECT-23300011
  • 1.  石井 大輔 (00454025)
    共同の研究課題数: 4件
    共同の研究成果数: 38件
  • 2.  細部 博史 (60321577)
    共同の研究課題数: 3件
    共同の研究成果数: 43件
  • 3.  近山 隆 (40272380)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 4.  湯淺 太一 (60158326)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 5.  田浦 健次朗 (90282714)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 6.  遠藤 敏夫 (80396788)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 7.  横山 大作 (80345272)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 8.  田辺 良則 (60443199)
    共同の研究課題数: 2件
    共同の研究成果数: 4件
  • 9.  松本 翔太
    共同の研究課題数: 2件
    共同の研究成果数: 32件
  • 10.  馬谷 誠二 (40378831)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 11.  田村 直之 (60207248)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 12.  番原 睦則 (80290774)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 13.  平山 勝敏 (00273813)
    共同の研究課題数: 1件
    共同の研究成果数: 2件
  • 14.  井上 克巳 (10252321)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 15.  岩沼 宏治 (30176557)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 16.  鍋島 英知 (10334848)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 17.  山本 泰生 (30550793)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 18.  横尾 真 (20380678)
    共同の研究課題数: 1件
    共同の研究成果数: 6件
  • 19.  長谷川 隆三 (20274483)
    共同の研究課題数: 1件
    共同の研究成果数: 1件
  • 20.  藤田 博 (70284552)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 21.  越村 三幸 (30274492)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 22.  宮本 衛市 (00001173)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 23.  玉井 哲雄 (60217172)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 24.  荒木 啓二郎 (40117057)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 25.  富樫 敦 (20172140)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 26.  二木 厚吉 (50251971)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 27.  森 眞一郎 (20243058)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 28.  八杉 昌宏 (30273759)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 29.  小宮 常康 (80283638)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 30.  加藤 紀夫 (40350467)
    共同の研究課題数: 1件
    共同の研究成果数: 35件
  • 31.  横森 貴 (60139722)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 32.  榊原 康文 (10287427)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 33.  小林 聡 (50251707)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 34.  鈴木 泰寛 (50292983)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 35.  楠元 範明 (60277861)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 36.  山下 雅史 (00135419)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 37.  萩谷 昌巳 (30156252)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 38.  渡辺 治 (80158617)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 39.  山村 雅幸 (00220442)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 40.  増澤 利光 (50199692)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 41.  五島 正裕 (90283639)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 42.  山本 直輝 (50960308)
    共同の研究課題数: 1件
    共同の研究成果数: 3件
  • 43.  TAHA Walid
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi