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

米崎 直樹  Yonezaki Naoki

ORCIDORCID連携する *注記
研究者番号 00126286
所属 (現在) 2025年度: 東京電機大学, システムデザイン工学部, 研究員
所属 (過去の研究課題情報に基づく) *注記 1995年度 – 2003年度: 東京工業大学, 大学院・情報理工学研究科, 教授
1999年度: 東京工業大学, 大学院情報理工学研究科, 教授
1995年度 – 1996年度: 東京工業大学, 情報理工学研究科, 教授
1991年度 – 1993年度: 北陸先端科学技術大学院大学, 情報科学研究科, 教授
1990年度: 東京工業大学, 工学部・情報工学科, 教授
1986年度 – 1990年度: 東京工業大学, 工学部, 助教授
審査区分/研究分野
研究代表者
理工系 / 計算機科学 / 情報学
研究代表者以外
情報学 / 計算機科学 / 理工系 / 知能情報学 / 情報学基礎
キーワード
研究代表者
実現可能性 / 時相論理 / 仕様記述 / 非標準論理 / 様相論理 / Safety critical system / リアクティブシステム / 線形論理 / 定理自動証明 / プロセスモデル … もっと見る / 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 / 統一化 / 実行可能仕様 / オブジェクトベ-ス / 定理証明 / ソフトウェアプロセス / 概念定義 / 公平性 / オブジェクトの論理 / 知識変換 / 概念獲得 … もっと見る
研究代表者以外
線形論理 / ソフトウェアプロセス / 自己認識論理 / ソフトウェア仕様記述 / 学習 / 実時間システム / 形式検証 / 形式仕様 / プロトコル解析 / 認知プロセス / メンタルモデル / 仕様化・設計法 / 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 / 信念の理論 / 階層的知識構造 / デフォルト論理 隠す
  • 研究課題

    (18件)
  • 共同研究者

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

    • 研究代表者
      岡田 光弘
    • 研究期間 (年度)
      2003
    • 研究種目
      基盤研究(C)
    • 研究分野
      情報学基礎
    • 研究機関
      慶應義塾大学
  •  「社会基盤としてのセキュアコンピューティングの実現方式の研究」の推進と評価

    • 研究代表者
      米澤 明憲
    • 研究期間 (年度)
      2000 – 2003
    • 研究種目
      特定領域研究
    • 審査区分
      理工系
    • 研究機関
      東京大学
  •  論理的仕様を基礎としたセキュアシステムの検証法研究代表者

    • 研究代表者
      米崎 直樹
    • 研究期間 (年度)
      2000 – 2003
    • 研究種目
      特定領域研究
    • 審査区分
      理工系
    • 研究機関
      東京工業大学
  •  線形論理を用いた並行計算システム及び実時間システムの形式仕様・形式検証の理論

    • 研究代表者
      岡田 光弘
    • 研究期間 (年度)
      2000 – 2002
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      慶應義塾大学
  •  発展的ソフトウェアの理論に関する研究

    • 研究代表者
      伊藤 貴康
    • 研究期間 (年度)
      1997 – 1999
    • 研究種目
      重点領域研究
    • 研究機関
      東北大学
  •  人工知能のための高次推論原理と知能プログラミング言語に関する総合的研究

    • 研究代表者
      原尾 正輝 (原尾 政輝)
    • 研究期間 (年度)
      1995 – 1996
    • 研究種目
      基盤研究(A)
    • 研究分野
      知能情報学
    • 研究機関
      九州工業大学
  •  実時間ソフトウェアの仕様記述とその検証方式の研究研究代表者

    • 研究代表者
      米崎 直樹
    • 研究期間 (年度)
      1995 – 1997
    • 研究種目
      基盤研究(C)
    • 研究分野
      計算機科学
    • 研究機関
      東京工業大学
  •  様相概念を用いる知識のモジュール化とその処理に関する研究研究代表者

    • 研究代表者
      米崎 直樹
    • 研究期間 (年度)
      1993
    • 研究種目
      重点領域研究
    • 研究機関
      北陸先端科学技術大学院大学
  •  ソフトウェア設計過程における人間の思考モデルの研究

    • 研究代表者
      佐伯 元司
    • 研究期間 (年度)
      1991
    • 研究種目
      重点領域研究
    • 研究機関
      東京工業大学
  •  様相概念を用いる知識のモジュ-ル化とその処理に関する研究研究代表者

    • 研究代表者
      米崎 直樹
    • 研究期間 (年度)
      1991 – 1993
    • 研究種目
      重点領域研究
    • 研究機関
      北陸先端科学技術大学院大学
  •  様相概念を用いる知識のモジュール化とその処理に関する研究研究代表者

    • 研究代表者
      米崎 直樹
    • 研究期間 (年度)
      1991 – 1993
    • 研究種目
      重点領域研究
    • 研究機関
      北陸先端科学技術大学院大学
  •  様相構造記述言語を用いるリアクティブシステム構成法の研究研究代表者

    • 研究代表者
      米崎 直樹
    • 研究期間 (年度)
      1991 – 1992
    • 研究種目
      一般研究(C)
    • 研究分野
      情報学
    • 研究機関
      北陸先端科学技術大学院大学
  •  人間と機械における学習・推論と認知プロセスに関する研究

    • 研究代表者
      坂部 俊樹
    • 研究期間 (年度)
      1990
    • 研究種目
      重点領域研究
    • 研究機関
      名古屋大学
  •  ソフトウェア設計過程における人間の思考モデルの研究

    • 研究代表者
      佐伯 元司
    • 研究期間 (年度)
      1990
    • 研究種目
      重点領域研究
    • 研究機関
      東京工業大学
  •  人間と機械における学習・推論と認知プロセスに関する研究

    • 研究代表者
      稲垣 康善
    • 研究期間 (年度)
      1989
    • 研究種目
      重点領域研究
    • 研究機関
      名古屋大学
  •  人間と機械における学習・推論と認知プロセスに関する研究

    • 研究代表者
      稲垣 康善
    • 研究期間 (年度)
      1988
    • 研究種目
      重点領域研究
    • 研究機関
      名古屋大学
  •  日本における情報科学基礎研究のあり方についての総括的研究

    • 研究代表者
      坂井 利之
    • 研究期間 (年度)
      1987 – 1988
    • 研究種目
      総合研究(B)
    • 研究分野
      情報学
    • 研究機関
      龍谷大学
  •  属性文法にもとづくソフトウェア自動生成システム講成法の研究

    • 研究代表者
      片山 卓也
    • 研究期間 (年度)
      1986 – 1988
    • 研究種目
      一般研究(A)
    • 研究分野
      情報学
    • 研究機関
      東京工業大学
  • 1.  稲垣 康善 (10023079)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 2.  小野 寛晰 (90055319)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 3.  佐伯 元司 (80162254)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 4.  萩谷 昌己 (30156252)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 5.  坂部 俊樹 (60111829)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 6.  有川 節夫 (40037221)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 7.  岡田 光弘 (30224025)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 8.  小林 直樹 (00262155)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 9.  田中 英彦 (60011102)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 10.  友石 正彦 (60262284)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 11.  伊藤 貴康 (80124551)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 12.  片山 卓也 (70016468)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 13.  石塚 満 (50114369)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 14.  茨木 俊秀 (50026192)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 15.  徳永 健伸 (20197875)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 16.  二木 厚吉 (50251971)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 17.  佐藤 雅彦 (20027387)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 18.  坂井 利之 (70025790)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 19.  甘利 俊一 (80010726)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 20.  藤崎 博也 (80010776)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 21.  長尾 真 (30025960)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 22.  相磯 秀夫 (90051250)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 23.  富永 英義 (20063688)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 24.  辻 三郎 (60029527)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 25.  鳥居 宏次 (10172222)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 26.  西田 豊明 (70135531)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 27.  堂下 修司 (00025925)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 28.  和田 英一 (50010723)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 29.  福村 晃夫 (60022985)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 30.  志村 正道 (30029409)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 31.  榎本 肇 (60016227)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 32.  大須賀 節雄 (10013640)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 33.  池田 克夫 (30026009)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 34.  藤原 譲 (40110473)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 35.  野口 正一 (80006220)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 36.  徳田 雄洋 (30111644)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 37.  原尾 正輝 (00006272)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 38.  岩沼 宏治 (30176557)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 39.  井上 克巳 (10252321)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 40.  阿曽 弘具 (10005522)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 41.  井田 哲雄 (70100047)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 42.  外山 芳人 (00251968)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 43.  米澤 明憲 (00133116)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 44.  安西 祐一郎 (40051875)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 45.  溝口 文雄 (50084463)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 46.  吉浦 紀晃 (00302969)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 47.  西崎 真也 (90263615)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 48.  米田 友洋 (30182851)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 49.  林 晋 (40156443)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 50.  渡辺 治 (80158617)
    共同の研究課題数: 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