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

Yonezaki Naoki  米崎 直樹

ORCIDConnect your ORCID iD *help
… Alternative Names

YONEZAKI Naoki  米崎 直樹

Less
Researcher Number 00126286
Affiliation (Current) 2025: 東京電機大学, システムデザイン工学部, 研究員
Affiliation (based on the past Project Information) *help 1995 – 2003: 東京工業大学, 大学院・情報理工学研究科, 教授
1999: 東京工業大学, 大学院情報理工学研究科, 教授
1995 – 1996: 東京工業大学, 情報理工学研究科, 教授
1991 – 1993: 北陸先端科学技術大学院大学, 情報科学研究科, 教授
1990: 東京工業大学, 工学部・情報工学科, 教授
1986 – 1990: 東京工業大学, 工学部, 助教授
Review Section/Research Field
Principal Investigator
Science and Engineering / 計算機科学 / Informatics
Except Principal Investigator
Informatics / 計算機科学 / Science and Engineering / Intelligent informatics / Fundamental theory of informatics
Keywords
Principal Investigator
実現可能性 / 時相論理 / 仕様記述 / 非標準論理 / 様相論理 / Safety critical system / リアクティブシステム / 線形論理 / 定理自動証明 / プロセスモデル … More / verification and synthesis of hardware / security of cryptographic primitives / secure system architecture / security protocol / network security analysis / safe program synthesis / specification analysis / インテグリティー解析 / 耐攻撃性 / セキュリティープロトコル / JAVA / インテグリティ解析 / DoS攻撃 / 検証 / コード生成 / 非同期回路 / Dos攻撃 / ネットワークセキュリティ / 暗号方式 / 安全性検証 / ハードウェアの安全性 / 暗号方式の安全性 / 安全なシステムアーキテクチャ / セキュリティプロトコル / ネットワークの安全性解析 / 安全なプログラム合成 / 仕様解析 / Relevant Logic / Linear Logic / Real-time Logic / Temporal Logic / Verification / Secification / Real-time Software / 適切さの論理 / 実時間論理 / 時間論理 / 検証方式 / 実時間ソフトウェア / Realizability / Unification / Executable specification / Object Base / Theorem proving / Specification / 統一化 / 実行可能仕様 / オブジェクトベ-ス / 定理証明 / ソフトウェアプロセス / 概念定義 / 公平性 / オブジェクトの論理 / 知識変換 / 概念獲得 … More
Except Principal Investigator
線形論理 / ソフトウェアプロセス / 自己認識論理 / ソフトウェア仕様記述 / 学習 / 実時間システム / 形式検証 / 形式仕様 / プロトコル解析 / 認知プロセス / メンタルモデル / 仕様化・設計法 / Object-Oriented Programming / Hierarchical and Functional Programming / Software Process / Software Development / Attribute Grammar / 大域的領域割当て / オブジェクト指向 / ソフトウェア自動生成 / オブジェクト管理 / 記憶領域割当 / 自動生成 / プロセスモデル / プログラミング環境 / ソフトウェア環境 / オブジェクトベース / 関数型言語 / 仕様記述 / 属性文法 / Real-Time System / Formal Specification / Formal Verifieation / Linear Logic / 定時間システム / Cyber security / Safe mail systems / impersonalization / viruses / Safe operating systems / Safe programming languages / protocol verification / Program / Software security / 総括班会議 / 研究の推進 / ソフトウエアインフラストラクチャ / プログラミング言語設計 / ソフトウエアの検証 / 安全なソフトウエア / セキュアコンピューティング / 社会基盤システム / 内部評価 / メールシステム / ソフトウェア実行機構 / ソフトウェア記述系 / 形式的検証法 / ソフト技術 / メモリ安全 / ソース解析・型理論 / オペレーティングシステム / プログラム言語処理系 / プログラム検証 / 安全な情報基盤 / ソフトウェアセキュリティ / サイバーセキュリティ / 安全なメールシステム / 成りすまし / ウィルス / 安全なオペレーティング / 安全なプログラミング言語 / プログラミング・プロトコル検証 / ソフトウェアセキュリテイ / linear logic / term rewriting system / functional logic programming / temporal logic / reactive system / verification / sound parallelization / evolutionary programming mechanism / 適応的発展機構 / 発展的計算モデル / 検証情報 / 検証系 / 実時間論理 / 書換え型メタ計算モデル / 論理・関数型プログラミング / 発展的ソフトウェア / 項書き換え系 / 関数論理型プログラミング / 時相論理 / リアクティブシステム / 検証 / 健全並列化 / 発展的プログラミング機構 / Type Theory / Knowledge / Logical system / Learning / Theorem Prover / Intelligent Programming / Reasoning / Artificial Intelligence / 認識システム / 知能プログラミング / 並列分散処理 / 定理証明 / 計算言語論 / 高次推論原理 / 人工知能 / 概念定義プロセスの定式化 / 時間概念を含む推論方式 / 非単論推論 / 共有知識 / 知識と信念の論理 / 階層的知識表現 / 項書換え系 / 帰納的推論 / 知識・知能 / 計算システム / 知的情報処理 / モデル / 基礎研究 / 情報学 / 情報科学 / 証明論 / 論理的手法 / 高階論理 / 計算論的学習理論 / 自然言語処理 / 演繹デ-タベ-ス / 仮説推論 / 帰納推論 / 相様論理 / 概念定義プロセスの形式化 / 時区間論理式 / 時間的概念を含む推論方式 / weak S5 / 信念の理論 / 階層的知識構造 / デフォルト論理 Less
  • Research Projects

    (18 results)
  • Co-Researchers

    (50 People)
  •  日米科学協力事業「ソフトウェア検証の論理的方法」更新のための企画研究

    • Principal Investigator
      OKADA Mitsuhiro
    • Project Period (FY)
      2003
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Fundamental theory of informatics
    • Research Institution
      Keio University
  •  Secure Programming Languages Based on Mobile Code

    • Principal Investigator
      YONEZAWA Akinori
    • Project Period (FY)
      2000 – 2003
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      The University of Tokyo
  •  Verification methods of secure systems based on logical specificationsPrincipal Investigator

    • Principal Investigator
      YONEZAKI Naoki
    • Project Period (FY)
      2000 – 2003
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      Tokyo Institute of Technology
  •  Theory of formal specification and verification of concurrency systems and real-time systems based on linear logic

    • Principal Investigator
      OKADA Mitsuhiro
    • Project Period (FY)
      2000 – 2002
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Keio University
  •  Research on Theoretical Aspects of Evolutionary Software

    • Principal Investigator
      ITO Takayasu
    • Project Period (FY)
      1997 – 1999
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Tohoku University
  •  A General Study On Intelligent Reasoning Principles and Programming Languages For Artificial Intelligence.

    • Principal Investigator
      HARAO Masateru
    • Project Period (FY)
      1995 – 1996
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      Intelligent informatics
    • Research Institution
      Kyushu Institute of Technology
  •  Research on Specification and Verification of real-time softwarePrincipal Investigator

    • Principal Investigator
      YONEZAKI Naoki
    • Project Period (FY)
      1995 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Tokyo Institute of Technology
  •  様相概念を用いる知識のモジュール化とその処理に関する研究Principal Investigator

    • Principal Investigator
      米崎 直樹
    • Project Period (FY)
      1993
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Japan Advanced Institute of Science and Technology
  •  ソフトウェア設計過程における人間の思考モデルの研究

    • Principal Investigator
      佐伯 元司
    • Project Period (FY)
      1991
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Tokyo Institute of Technology
  •  様相概念を用いる知識のモジュ-ル化とその処理に関する研究Principal Investigator

    • Principal Investigator
      米崎 直樹
    • Project Period (FY)
      1991 – 1993
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Japan Advanced Institute of Science and Technology
  •  様相概念を用いる知識のモジュール化とその処理に関する研究Principal Investigator

    • Principal Investigator
      米崎 直樹
    • Project Period (FY)
      1991 – 1993
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Japan Advanced Institute of Science and Technology
  •  Research on the method for reactive system construction by using a modal structural description languagePrincipal Investigator

    • Principal Investigator
      YONEZAKI Naoki
    • Project Period (FY)
      1991 – 1992
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      Informatics
    • Research Institution
      Japan Advanced Institute of Science and Technology,Hokuriku
  •  人間と機械における学習・推論と認知プロセスに関する研究

    • Principal Investigator
      SAKABE Toshiki
    • Project Period (FY)
      1990
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Nagoya University
  •  ソフトウェア設計過程における人間の思考モデルの研究

    • Principal Investigator
      SAEKI Motoshi
    • Project Period (FY)
      1990
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Tokyo Institute of Technology
  •  人間と機械における学習・推論と認知プロセスに関する研究

    • Principal Investigator
      稲垣 康善
    • Project Period (FY)
      1989
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Nagoya University
  •  人間と機械における学習・推論と認知プロセスに関する研究

    • Principal Investigator
      稲垣 康善
    • Project Period (FY)
      1988
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Nagoya University
  •  日本における情報科学基礎研究のあり方についての総括的研究

    • Principal Investigator
      坂井 利之
    • Project Period (FY)
      1987 – 1988
    • Research Category
      Grant-in-Aid for Co-operative Research (B)
    • Research Field
      Informatics
    • Research Institution
      Ryukoku University
  •  Study on the Construction of Software Development Environment based on the Attribute Grammar Formalisms

    • Principal Investigator
      KATAYAMA Takuya
    • Project Period (FY)
      1986 – 1988
    • Research Category
      Grant-in-Aid for General Scientific Research (A)
    • Research Field
      Informatics
    • Research Institution
      Tokyo Institute of Technology
  • 1.  稲垣 康善 (10023079)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 2.  小野 寛晰 (90055319)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 3.  SAEKI Motoshi (80162254)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 4.  HAGIYA Masami (30156252)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 5.  SAKABE Toshiki (60111829)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 6.  有川 節夫 (40037221)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 7.  OKADA Mitsuhiro (30224025)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 8.  KOBAYASHI Naoki (00262155)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 9.  田中 英彦 (60011102)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 10.  TOMOISHI Masahiko (60262284)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 11.  ITO Takayasu (80124551)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 12.  KATAYAMA Takuya (70016468)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 13.  石塚 満 (50114369)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 14.  茨木 俊秀 (50026192)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 15.  徳永 健伸 (20197875)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 16.  二木 厚吉 (50251971)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 17.  佐藤 雅彦 (20027387)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 18.  坂井 利之 (70025790)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 19.  甘利 俊一 (80010726)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 20.  藤崎 博也 (80010776)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 21.  長尾 真 (30025960)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 22.  相磯 秀夫 (90051250)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 23.  富永 英義 (20063688)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 24.  辻 三郎 (60029527)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 25.  鳥居 宏次 (10172222)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 26.  西田 豊明 (70135531)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 27.  堂下 修司 (00025925)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 28.  和田 英一 (50010723)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 29.  福村 晃夫 (60022985)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 30.  志村 正道 (30029409)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 31.  榎本 肇 (60016227)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 32.  大須賀 節雄 (10013640)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 33.  池田 克夫 (30026009)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 34.  藤原 譲 (40110473)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 35.  野口 正一 (80006220)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 36.  TOKUDA Takehiro (30111644)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 37.  HARAO Masateru (00006272)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 38.  IWANUMA Kouji (30176557)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 39.  INOUE Katsumi (10252321)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 40.  ASO Hirotomo (10005522)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 41.  IDA Tetsuo (70100047)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 42.  TOYAMA Yoshihito (00251968)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 43.  YONEZAWA Akinori (00133116)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 44.  ANZAI Yuichiro (40051875)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 45.  MIZOGUCHI Fumio (50084463)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 46.  YOSHIURA Noriaki (00302969)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 47.  NISHIZAKI Shin-ya (90263615)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 48.  YONEDA Tomohiro (30182851)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 49.  林 晋 (40156443)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 50.  WATANABE Osamu (80158617)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

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