(最終更新日:2019-09-17 17:29:00)
  キノシタ ヨシキ   Kinoshita Yoshiki
  木下 佳樹
   所属   神奈川大学  理学部 情報科学科
   職種   教授
■ 著書・論文歴
1. 論文  A modelling approach for system life cycles assurance (共著) 2019/09
2. 論文  A Thought Experiment on Evolution of Assurance Cases - from a Logical Aspect (共著) 2019/09
3. 論文  開放系総合信頼性の新標準IEC62853の概要と意義 (共著) 2019/05
4. 論文  開放系総合信頼性の標準化〜CREST研究プロジェクトとIEC標準化の相互作用〜 (共著) 2019/01 Link
5. 論文  IEC 62856 Open systems dependability の背景と今後 ~ 合意形成,説明責任,障害対応,変化対応 ~ (共著) 2017/12 Link
全件表示(47件)
■ 学歴
1. 1986/04~1989/03 東京大学大学院 理学系研究科 情報科学専攻 博士課程修了
2. 1984/04~1986/03 東京大学大学院 理学系研究科 情報科学専攻 修士課程修了
3. 1983/04~1984/03 東京大学 理学部 情報科学科研究生
4. 1976/04~1981/03 東京大学 教養学部 理科一類 卒業 理学士
■ 所属学会
1. 2002/04~ 情報処理学会
2. 1987/10~ 日本ソフトウェア科学会
■ 研究課題・受託研究・科研費
1.   平塚市地域防災計画の整合性検査方式の研究 国内共同研究 
2. 2018/09~2019/12  Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS (TIGARS) 競争的資金等の外部資金による研究 (キーワード:assurance, dependability, autonomous system)
3. 2016/04~  開放系総合信頼性の研究 個人研究 
4. 2014/06~2016/02  オープンシステム・ディペンダビリティのための 形式アシュランスケース・フレームワーク 競争的資金等の外部資金による研究 (キーワード:アシュランスケース、形式アシュランスケース、ディペンダビリティ、オープンシステム・ディペンダビリティ)
5. 2012/04~2014/03  議論の枠組みに関する基礎理論および応用に関する研究 国内共同研究 
全件表示(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 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
オープンシステム・ディペンダビリティのための 形式アシュランスケース・フレームワーク