• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Ohsaki Hitoshi  大崎 人士

ORCIDConnect your ORCID iD *help
… Alternative Names

OHSAKI Hitoshi  大崎 人士

Less
Researcher Number 00356627
Affiliation (Current) 2026: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 研究チーム長
Affiliation (based on the past Project Information) *help 2010: National Institute of Advanced Industrial Science and Technology, 産学官連携推進部門, 連携研究体副体長
2009: National Institute of Advanced Industrial Science and Technology, 組込みシステム技術連携研究体(関西産学官連携センター), 副体長
Review Section/Research Field
Principal Investigator
Fundamental theory of informatics
Keywords
Principal Investigator
書換系 / 計算論 / 書き換え系 / 算術制約 / 可換文法 / 書換系(rewriting systems) / ツリーオートマトン
  • Research Projects

    (1 results)
  • Research Products

    (19 results)
  •  Equational Tree Automata : Arithmetic Constraint Definability and the Application Towards Automated VerificationPrincipal Investigator

    • Principal Investigator
      OHSAKI Hitoshi
    • Project Period (FY)
      2009 – 2010
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Fundamental theory of informatics
    • Research Institution
      National Institute of Advanced Industrial Science and Technology

All 2011 2010 2009 Other

All Journal Article Presentation Patent

  • [Journal Article] Checking On-The-Fly Universality And Inclusion Problems Of Visibility Pushdown Automata

    • Author(s)
      Nguyen Van Tang, Hitoshi Ohsaki
    • Journal Title

      IEICE Transactions of Fundamentals

      Volume: (掲載確定)

    • NAID

      10030534121

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21700022
  • [Journal Article] Checking On-The-Fly Universality And Inclusion Problems Of Visibility Pushdown Automata

    • Author(s)
      Nguyen Van Tang, 大崎人士
    • Journal Title

      IEICE Transactions of Fundamentals

    • NAID

      10030534121

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21700022
  • [Patent] リアクティブ・システムの安全性検証装置、方法、プログラム及びそのプログラムを記録した記憶媒体2009

    • Inventor(s)
      大崎人士, 高井利憲
    • Industrial Property Rights Holder
      大崎人士(90%),高井利憲(10%)
    • Filing Date
      2009-11-20
    • Data Source
      KAKENHI-PROJECT-21700022
  • [Patent] リアクティブ・システムの安全性検証装置、方法、プログラム及びそのプログラムを記録した記憶媒体2009

    • Inventor(s)
      大崎人士、高井利憲
    • Industrial Property Rights Holder
      独立行政法人産業技術総合研究所(大崎人士、高井利憲)
    • Acquisition Date
      2009-11-20
    • Data Source
      KAKENHI-PROJECT-21700022
  • [Patent] Reactive System Safety Verification Device, Method, Program and Recording Medium Containing the Program.2009

    • Inventor(s)
      大崎人士、高井利憲
    • Industrial Property Rights Holder
      独立行政法人産業技術総合研究所(大崎人士、高井利憲)
    • Acquisition Date
      2009-03-10
    • Data Source
      KAKENHI-PROJECT-21700022
  • [Presentation] システム検証技術を社会へ-組み込みシステム産業の検証技術高度化-,招待講演2011

    • Author(s)
      大崎人士
    • Organizer
      第8回カーエレクトロニクス研究会(主催(財)九州先端科学技術研究所)
    • Place of Presentation
      日本自動車会館(港区)
    • Year and Date
      2011-05-20
    • Data Source
      KAKENHI-PROJECT-21700022
  • [Presentation] ツリーオートマトンと計算論基礎2010

    • Author(s)
      大崎人士
    • Organizer
      複合情報学特別講義第二
    • Place of Presentation
      北海道大学大学院情報科学研究科(札幌市)
    • Data Source
      KAKENHI-PROJECT-21700022
  • [Presentation] システム検証技術を社会へ-組込みシステム産業の検証技術高度化-2010

    • Author(s)
      大崎人士
    • Organizer
      ソフトウェアの安全性・信頼性の確保のための形式手法普及セミナー(主催 三菱総合研究所・経済産業省)
    • Place of Presentation
      三菱総合研究所(永田町)(基調講演(招待講演))
    • Year and Date
      2010-02-14
    • Data Source
      KAKENHI-PROJECT-21700022
  • [Presentation] システム検証技術を社会へ-組み込みシステム産業の検証技術高度化支援,基調講演2010

    • Author(s)
      大崎人士
    • Organizer
      ソフトウエアの安全性・信頼性確保のための形式手法普及セミナー(主催三菱総合研究所・経済産業省)
    • Place of Presentation
      三菱総合研究所(千代田区)
    • Year and Date
      2010-02-14
    • Data Source
      KAKENHI-PROJECT-21700022
  • [Presentation] Equational Tree Automata, Track B (Advanced Course)2010

    • Author(s)
      大崎人士
    • Organizer
      4th International School on Rewriting (ISR2009), RTA
    • Place of Presentation
      Brasilia (Brazil)
    • Year and Date
      2010-06-24
    • Data Source
      KAKENHI-PROJECT-21700022
  • [Presentation] ディペンダブルシステム2010

    • Author(s)
      大崎人士
    • Place of Presentation
      大阪大学大学院情報科学研究科(吹田市)(特別講義)
    • Data Source
      KAKENHI-PROJECT-21700022
  • [Presentation] ツリーオートマトンと計算論基礎2010

    • Author(s)
      大崎人士
    • Organizer
      複合情報学特別講義講義第二発
    • Place of Presentation
      北海道大学大学院情報科学研究科(札幌市)
    • Data Source
      KAKENHI-PROJECT-21700022
  • [Presentation] 可換文法-Commutative Grammar2010

    • Author(s)
      大崎人士
    • Organizer
      記号論理と情報科学研究集会(SLACS2009)
    • Place of Presentation
      京都大学(京都府右京区)
    • Year and Date
      2010-09-01
    • Data Source
      KAKENHI-PROJECT-21700022
  • [Presentation] Equational Tree Automata, Track B(Advanced Course)2009

    • Author(s)
      大崎人士
    • Organizer
      4th International School on Rewriting (ISR2009)
    • Place of Presentation
      Brasilia(Brazil)
    • Year and Date
      2009-06-24
    • Data Source
      KAKENHI-PROJECT-21700022
  • [Presentation] Introduction to Tree Automata, Track A (Introductory Course)2009

    • Author(s)
      大崎人士
    • Organizer
      4th International School on Rewriting (ISR2009), RTA
    • Place of Presentation
      Brasilia (Brazil)
    • Year and Date
      2009-06-23
    • Data Source
      KAKENHI-PROJECT-21700022
  • [Presentation] 可換文法-commutative grammar2009

    • Author(s)
      大崎人士
    • Organizer
      記号論理と情報科学研究集会(SLACS2009)
    • Place of Presentation
      京都大学
    • Year and Date
      2009-09-01
    • Data Source
      KAKENHI-PROJECT-21700022
  • [Presentation] Introduction to Tree Automata, Track A(Introductory Course)2009

    • Author(s)
      大崎人士
    • Organizer
      4th International School on Rewriting (ISR2009)
    • Place of Presentation
      Brasilia(Brazl)
    • Year and Date
      2009-06-23
    • Data Source
      KAKENHI-PROJECT-21700022
  • [Presentation] Collaborative Facilities for Verification : SATSUKI2009

    • Author(s)
      大崎人士, 他4名
    • Organizer
      Workshop on Simulation Based Depelopment of Certified Embedded Systems (AIST/CVS-INRIA/LIAMA workshop)(登壇者)
    • Place of Presentation
      淡路夢舞台国際会議場(兵庫県淡路市)
    • Year and Date
      2009-10-06
    • Data Source
      KAKENHI-PROJECT-21700022
  • [Presentation] Collaborative Facilities for Verification : SATSUKI2009

    • Author(s)
      大崎人士(登壇者), 他4
    • Organizer
      Workshop on Simulation Based Depelopment of Certified Embedded Systems (AIST/CVS-INRIA/LIAMA workshop)
    • Place of Presentation
      淡路夢舞台国際会議場
    • Year and Date
      2009-10-06
    • Data Source
      KAKENHI-PROJECT-21700022

URL: 

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?

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi