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

木下 佳樹  Kinoshita Yoshiki

ORCIDORCID連携する *注記
研究者番号 60356889
所属 (現在) 2025年度: 神奈川大学, 情報学部, 教授
所属 (過去の研究課題情報に基づく) *注記 2008年度 – 2009年度: (独)産業技術総合研究所, システム検証研究センター, センター長
審査区分/研究分野
研究代表者以外
ソフトウエア
キーワード
研究代表者以外
延焼 / 抽象化 / 安全性検証 / 状態遷移系 / モデル化 / システム検証 / 多値モデル検査
  • 研究課題

    (1件)
  • 研究成果

    (7件)
  • 共同研究者

    (3人)
  •  多値モデル検査法を用いたモデリング・エラーの発見

    • 研究代表者
      亀山 幸義
    • 研究期間 (年度)
      2008 – 2009
    • 研究種目
      挑戦的萌芽研究
    • 研究分野
      ソフトウエア
    • 研究機関
      筑波大学

すべて 2009 2008

すべて 雑誌論文 学会発表

  • [雑誌論文] Agate-an Agda-to-Haskell compiler2009

    • 著者名/発表者名
      尾崎弘幸、武山誠、木下佳樹
    • 雑誌名

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

      ページ: 107-119

    • NAID

      130004549149

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20650003
  • [雑誌論文] An Algebraic Semantics of Predicate Abstraction for PML2009

    • 著者名/発表者名
      Y. Kinoshita, K. Nishizawa
    • 雑誌名

      コンピュータソフトウェア (掲載決定)

    • NAID

      130004892130

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20650003
  • [雑誌論文] A simple type-theoretic language : Mini-TT2009

    • 著者名/発表者名
      T.Coquand, 木下佳樹, B.Nordstrom, M.Takeyama
    • 雑誌名

      From Semantics to Computer Science, Cambridge University Press

      ページ: 139-164

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20650003
  • [雑誌論文] Formalization of System LSI Specification and Automatic Generation of Verification Items2008

    • 著者名/発表者名
      Y. Kinoshita et al.
    • 雑誌名

      TESTCOM/FATES2008, Supplementary Proceedings

      ページ: 75-76

    • データソース
      KAKENHI-PROJECT-20650003
  • [雑誌論文] 書類の定式化と検証2008

    • 著者名/発表者名
      木下佳樹
    • 雑誌名

      第6回ディペンダブルシステムワークショップ論文集

      ページ: 57-59

    • データソース
      KAKENHI-PROJECT-20650003
  • [雑誌論文] フォーマルメソッドのフィールドワーク2008

    • 著者名/発表者名
      木下佳樹、高井利憲、大崎人士
    • 雑誌名

      情報処理 49巻5号

      ページ: 499-505

    • データソース
      KAKENHI-PROJECT-20650003
  • [学会発表] Agda言語について2008

    • 著者名/発表者名
      木下佳樹
    • 学会等名
      日本ソフトウェア科学会第25回大会
    • 発表場所
      筑波大学
    • 年月日
      2008-09-12
    • データソース
      KAKENHI-PROJECT-20650003
  • 1.  亀山 幸義 (10195000)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 2.  西澤 弘樹 (60455433)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 3.  西澤 弘毅
    共同の研究課題数: 0件
    共同の研究成果数: 1件

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