プログラミング科学研究所とは?

神奈川大学プロジェクト研究所の一つとして時限で設置されている研究所です。

所長

  • 木下佳樹(神奈川大学理学部情報科学科教授)

所員

  • 奥野康二(プロジェクト研究員)
  • 木下修司(研究助手(Research Assistant)・神奈川大学大学院理学研究科情報科学専攻博士課程学生)
  • 木下佳樹(所長・神奈川大学理学部情報科学科教授)
  • 武山誠(プロジェクト研究員・神奈川大学理学部非常勤講師)
  • 永松礼夫(所員・神奈川大学理学部情報科学科教授)
  • 中原早生(プロジェクト研究員・神奈川大学理学部非常勤講師)

研究プロジェクト

  • FFO (Formal assurance case Framework for Open systems dependability)
    • オープンシステム・ディペンダビリティのための形式アシュランスケース・フレームワーク
    • 情報処理推進機構からの受託研究(RISEプロジェクト)
    • 期間:2014-06-02〜2016-02-12
  • 平塚市地域防災計画の整合性検査方式の研究
    • 神奈川大学と平塚市との共同研究
    • 期間:2014-04-01〜2017-03-31
  • 自動車機能安全ケースの為のフレームワークに関する研究
    • 神奈川大学と株式会社デンソーとの共同研究
    • 期間:2014-11-01~2016-03-31
  • 有機化合物のスペクトルデータシステム(SDBS)の帰属、及び、帰属決定プロセスについてのアシュランスケースの研究
    • 神奈川大学と独立行政法人産業技術総合研究所との共同研究
    • 期間:2014-12-12~2016-03-31