(最終更新日:2022-12-09 16:58:36)
  キノシタ ヨシキ   Kinoshita Yoshiki
  木下 佳樹
   所属   神奈川大学  情報学部 計算機科学科
    神奈川大学大学院  理学研究科 理学専攻(情報科学領域)
   職種   教授
■ 専門分野
ソフトウェア科学, プログラム意味論 (キーワード:プログラム意味論(算譜意味論)、プログラミング科学、算譜検証論) 
■ 学歴・学位
1. 1986/04~1989/03 東京大学大学院 理学系研究科 情報科学専攻 博士課程修了
2. 1984/04~1986/03 東京大学大学院 理学系研究科 情報科学専攻 修士課程修了
3. 1983/04~1984/03 東京大学 理学部 情報科学科研究生
4. 1976/04~1981/03 東京大学 教養学部 理科一類 卒業 理学士
■ 学位等
理学博士
■ 著書・論文歴
1. 論文  A Modelling Approach for System Life Cycles Assurance Springer Lecture Notes in Computer Science 11699,pp.16-27 (共著) 2019/09
2. 論文  A Thought Experiment on Evolution of Assurance Cases - from a Logical Aspect Springer Lecture Notes in Computer Science (10489),pp.17-26 (共著) 2019/09
3. 論文  開放系総合信頼性の新標準IEC62853の概要と意義 標準化と品質管理 72(5),42-44頁 (共著) 2019/05
4. 論文  開放系総合信頼性の標準化〜CREST研究プロジェクトとIEC標準化の相互作用〜 デジタルプラクティス 10(1) (共著) 2019/01 Link
5. 論文  IEC 62856 Open systems dependability の背景と今後 ~ 合意形成,説明責任,障害対応,変化対応 ~ 信学技報 117(355),19-23頁 (共著) 2017/12 Link
全件表示(47件)
■ 所属学会
1. 2002/04~ 情報処理学会
2. 1987/10~ 日本ソフトウェア科学会
■ 研究課題・受託研究・科研費
1. 2018/09~2019/12  Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS (TIGARS) 競争的資金等の外部資金による研究 (キーワード:assurance, dependability, autonomous system)
2.   平塚市地域防災計画の整合性検査方式の研究 国内共同研究 
3. 2008/10~2014/03  利用者指向ディペンダビリティの研究 競争的資金等の外部資金による研究 (キーワード:ディペンダビリティ、規格、オープンシステム)
4. 2014/06~2016/02  オープンシステム・ディペンダビリティのための 形式アシュランスケース・フレームワーク 競争的資金等の外部資金による研究 (キーワード:アシュランスケース、形式アシュランスケース、ディペンダビリティ、オープンシステム・ディペンダビリティ)
5. 2016/04~  開放系総合信頼性の研究 個人研究 
全件表示(6件)
■ 講師・講演
1. 2019/07 ディペンダビリティ標準の新しい動向〜新国際標準IEC 62853がもたらすもの(東京) Link
2. 2018/12 IEC 62853 Open systems dependability について(東京)
3. 2016/09 オープンシステム・ディペンダビリティのアシュランス議論とディペンダビリティケース(東京)
4. 2014/06 妥当性確認とアシュランスケース(独)科学技術振興機構 研究開発戦略センター システム科学ユニット 第8回システム科学検討会(東京)
■ 委員会・協会等
1. 2004/04~2008/03 日本ソフトウェア科学会 理事
2. 2008/12~ 情報処理学会 情報規格調査会 ISO/IEC JTC1 Information technology SC7 Systems and software engineering WG7 Life cycle management 国内小委員会 委員
3. 2010/04~ 日本規格協会 IEC TC56 Dependability WG4 System aspects of dependability 国内小委員会 委員
4. 2014/04~ IEC TC56 ディペンダビリティ 国内委員会 WG4 情報システム 主査
5. 2012/10~ IEC TC56 Dependability WG4 System aspects of dependability Convenor
全件表示(13件)
■ メールアドレス
  kyoin_mail
■ 受賞学術賞
1. 2018/09 International Electrotechnical Commission (IEC) IEC 1906 award
2. 2012/05 国際規格開発賞
■ 取得特許
1. 2014/12/12 整合性検査装置、整合性検査方法、及びプログラム(特許第5660503号)
■ 研究経歴
1. 1996
2005
文部科学省 中核的研究拠点(COE)育成:大域情報処理技術
2. 2002
2008
検証における記述量爆発問題の構造変換による解決、科学技術振興機構CREST制度、「 情報社会を支える新しい高性能情報処理技術」研究領域
Solving the Description Explosion Problem in System Verification through Structural Transformation, conducted as a project of JST CREST, New High-Performance Information Processing Technology Supporting Information-Oriented Society - Aiming at the Creation of New High-Speed, Large-Capacity Computing Technology Based on Quantum Effects, Molecular Functions, Parallel Processing" research domain"
3. 2008
2014
利用者指向ディペンダビリティの研究(科学技術振興機構CREST制度「実用化をめざした組込みシステム用ディペンダブル・オペレーティングシステム」研究領域)
Study on user-oriented dependability, conducted as a project in JST CREST, Dependable Engineering for Open Systems research domain.
4. 2012
2014
議論の発展過程の数理科学的研究、国立情報科学研究所一般共同研究
Mathematical study on evolution processes of argument, Collaborative research project of NII
5. 2014
2016
オープンシステム・ディペンダビリティのための 形式アシュランスケース・フレームワーク
■ 本学関連サイト
1. 「神大の先生」サイトページ Link