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

大崎 人士  Ohsaki Hitoshi

ORCIDORCID連携する *注記
研究者番号 00356627
所属 (現在) 2026年度: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 研究チーム長
所属 (過去の研究課題情報に基づく) *注記 2010年度: 独立行政法人産業技術総合研究所, 産学官連携推進部門, 連携研究体副体長
2009年度: 独立行政法人産業技術総合研究所, 組込みシステム技術連携研究体(関西産学官連携センター), 副体長
審査区分/研究分野
研究代表者
情報学基礎
キーワード
研究代表者
書換系 / 計算論 / 書き換え系 / 算術制約 / 可換文法 / 書換系(rewriting systems) / ツリーオートマトン
  • 研究課題

    (1件)
  • 研究成果

    (19件)
  •  等式付ツリーオートマトンの算術制約翻訳可能性と自動検証技術への応用に関する研究研究代表者

    • 研究代表者
      大崎 人士
    • 研究期間 (年度)
      2009 – 2010
    • 研究種目
      若手研究(B)
    • 研究分野
      情報学基礎
    • 研究機関
      独立行政法人産業技術総合研究所

すべて 2011 2010 2009 その他

すべて 雑誌論文 学会発表 産業財産権

  • [雑誌論文] Checking On-The-Fly Universality And Inclusion Problems Of Visibility Pushdown Automata

    • 著者名/発表者名
      Nguyen Van Tang, Hitoshi Ohsaki
    • 雑誌名

      IEICE Transactions of Fundamentals

      巻: (掲載確定)

    • NAID

      10030534121

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21700022
  • [雑誌論文] Checking On-The-Fly Universality And Inclusion Problems Of Visibility Pushdown Automata

    • 著者名/発表者名
      Nguyen Van Tang, 大崎人士
    • 雑誌名

      IEICE Transactions of Fundamentals

    • NAID

      10030534121

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21700022
  • [産業財産権] リアクティブ・システムの安全性検証装置、方法、プログラム及びそのプログラムを記録した記憶媒体2009

    • 発明者名
      大崎人士, 高井利憲
    • 権利者名
      大崎人士(90%),高井利憲(10%)
    • 出願年月日
      2009-11-20
    • データソース
      KAKENHI-PROJECT-21700022
  • [産業財産権] リアクティブ・システムの安全性検証装置、方法、プログラム及びそのプログラムを記録した記憶媒体2009

    • 発明者名
      大崎人士、高井利憲
    • 権利者名
      独立行政法人産業技術総合研究所(大崎人士、高井利憲)
    • 取得年月日
      2009-11-20
    • データソース
      KAKENHI-PROJECT-21700022
  • [産業財産権] Reactive System Safety Verification Device, Method, Program and Recording Medium Containing the Program.2009

    • 発明者名
      大崎人士、高井利憲
    • 権利者名
      独立行政法人産業技術総合研究所(大崎人士、高井利憲)
    • 取得年月日
      2009-03-10
    • データソース
      KAKENHI-PROJECT-21700022
  • [学会発表] システム検証技術を社会へ-組み込みシステム産業の検証技術高度化-,招待講演2011

    • 著者名/発表者名
      大崎人士
    • 学会等名
      第8回カーエレクトロニクス研究会(主催(財)九州先端科学技術研究所)
    • 発表場所
      日本自動車会館(港区)
    • 年月日
      2011-05-20
    • データソース
      KAKENHI-PROJECT-21700022
  • [学会発表] ツリーオートマトンと計算論基礎2010

    • 著者名/発表者名
      大崎人士
    • 学会等名
      複合情報学特別講義第二
    • 発表場所
      北海道大学大学院情報科学研究科(札幌市)
    • データソース
      KAKENHI-PROJECT-21700022
  • [学会発表] システム検証技術を社会へ-組込みシステム産業の検証技術高度化-2010

    • 著者名/発表者名
      大崎人士
    • 学会等名
      ソフトウェアの安全性・信頼性の確保のための形式手法普及セミナー(主催 三菱総合研究所・経済産業省)
    • 発表場所
      三菱総合研究所(永田町)(基調講演(招待講演))
    • 年月日
      2010-02-14
    • データソース
      KAKENHI-PROJECT-21700022
  • [学会発表] システム検証技術を社会へ-組み込みシステム産業の検証技術高度化支援,基調講演2010

    • 著者名/発表者名
      大崎人士
    • 学会等名
      ソフトウエアの安全性・信頼性確保のための形式手法普及セミナー(主催三菱総合研究所・経済産業省)
    • 発表場所
      三菱総合研究所(千代田区)
    • 年月日
      2010-02-14
    • データソース
      KAKENHI-PROJECT-21700022
  • [学会発表] Equational Tree Automata, Track B (Advanced Course)2010

    • 著者名/発表者名
      大崎人士
    • 学会等名
      4th International School on Rewriting (ISR2009), RTA
    • 発表場所
      Brasilia (Brazil)
    • 年月日
      2010-06-24
    • データソース
      KAKENHI-PROJECT-21700022
  • [学会発表] ディペンダブルシステム2010

    • 著者名/発表者名
      大崎人士
    • 発表場所
      大阪大学大学院情報科学研究科(吹田市)(特別講義)
    • データソース
      KAKENHI-PROJECT-21700022
  • [学会発表] ツリーオートマトンと計算論基礎2010

    • 著者名/発表者名
      大崎人士
    • 学会等名
      複合情報学特別講義講義第二発
    • 発表場所
      北海道大学大学院情報科学研究科(札幌市)
    • データソース
      KAKENHI-PROJECT-21700022
  • [学会発表] 可換文法-Commutative Grammar2010

    • 著者名/発表者名
      大崎人士
    • 学会等名
      記号論理と情報科学研究集会(SLACS2009)
    • 発表場所
      京都大学(京都府右京区)
    • 年月日
      2010-09-01
    • データソース
      KAKENHI-PROJECT-21700022
  • [学会発表] Equational Tree Automata, Track B(Advanced Course)2009

    • 著者名/発表者名
      大崎人士
    • 学会等名
      4th International School on Rewriting (ISR2009)
    • 発表場所
      Brasilia(Brazil)
    • 年月日
      2009-06-24
    • データソース
      KAKENHI-PROJECT-21700022
  • [学会発表] Introduction to Tree Automata, Track A (Introductory Course)2009

    • 著者名/発表者名
      大崎人士
    • 学会等名
      4th International School on Rewriting (ISR2009), RTA
    • 発表場所
      Brasilia (Brazil)
    • 年月日
      2009-06-23
    • データソース
      KAKENHI-PROJECT-21700022
  • [学会発表] 可換文法-commutative grammar2009

    • 著者名/発表者名
      大崎人士
    • 学会等名
      記号論理と情報科学研究集会(SLACS2009)
    • 発表場所
      京都大学
    • 年月日
      2009-09-01
    • データソース
      KAKENHI-PROJECT-21700022
  • [学会発表] Introduction to Tree Automata, Track A(Introductory Course)2009

    • 著者名/発表者名
      大崎人士
    • 学会等名
      4th International School on Rewriting (ISR2009)
    • 発表場所
      Brasilia(Brazl)
    • 年月日
      2009-06-23
    • データソース
      KAKENHI-PROJECT-21700022
  • [学会発表] Collaborative Facilities for Verification : SATSUKI2009

    • 著者名/発表者名
      大崎人士, 他4名
    • 学会等名
      Workshop on Simulation Based Depelopment of Certified Embedded Systems (AIST/CVS-INRIA/LIAMA workshop)(登壇者)
    • 発表場所
      淡路夢舞台国際会議場(兵庫県淡路市)
    • 年月日
      2009-10-06
    • データソース
      KAKENHI-PROJECT-21700022
  • [学会発表] Collaborative Facilities for Verification : SATSUKI2009

    • 著者名/発表者名
      大崎人士(登壇者), 他4
    • 学会等名
      Workshop on Simulation Based Depelopment of Certified Embedded Systems (AIST/CVS-INRIA/LIAMA workshop)
    • 発表場所
      淡路夢舞台国際会議場
    • 年月日
      2009-10-06
    • データソース
      KAKENHI-PROJECT-21700022

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