木下修司

キノシタシュウジ | Kinoshita Shuji

所属機関・部署：
職名：助教
その他の所属（所属・部署名・職名） (2件)：

合同会社木下屋
神奈川大学プログラミング科学研究所

ホームページURL (1件)： https://www.kino3.jp

研究分野 (3件)：社会システム工学 , 情報学基礎論 , ソフトウェア

研究キーワード (16件)：数理論理学 , シビックテック , インド哲学 , スクラム , アジャイル , オープンシステム・ディペンダビリティ , 定理証明 , Agda , オントロジー , 地域防災計画 , システムアシュアランス , 防災 , アシュアランスケース , ディペンダビリティ , 形式手法 , システムライフサイクル

競争的資金等の研究課題 (4件)：

2022 - 2025 東京都地域防災計画のIoD(Internet of Documents)化による防災力向上
2014 - 2023 平塚市地域防災計画の整合性検査方式の研究
2018 - 2019 Towards identifying and closing gaps in assurance of autonomous road vehicles (TIGARS)
2014 - 2016 オープンシステム・ディペンダビリティのための形式アシュランスケース・フレームワーク

論文 (7件)：

木下修司. アジャイル開発とDevOpsに関する国際標準化の動向. 東京都立産業技術大学院大学研究紀要. 2022. 15. 113-116
小山裕司, 大﨑理乃, 木下修司, 柴田淳司. 情報系専門職大学院における対面・遠隔ハイブリッド型授業システムの開発. 東京都立産業技術大学院大学紀要. 2021. 14. 193-200
Shuji Kinoshita, Yoshiki Kinoshita, Makoto Takeyama. A modelling approach for system life cycles assurance. 7th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2019), Turku (Finland). 2019
木下修司. システムアシュランス議論のためのオントロジー構築法. 学位論文博士(理学・神奈川大学). 2018
奥野康二, 木下修司, 木下佳樹, 武山誠, 中原早生. オープンシステム・ディペンダビリティのための形式アシュランスケース・フレームワーク(FFO). IPA SEC journal. 2017. 13. 2. 44-51

書籍 (5件)：

JIS X 0166:2021 システム及びソフトウェア技術-ライフサイクルプロセス-要求エンジニアリング
日本規格協会 2021
JIS X 0134-1:2021 システム及びソフトウェア技術-システム及びソフトウェアアシュアランス-第1部:概念及び用語
日本規格協会 2021
JIS X 0160:2021 ソフトウェアライフサイクルプロセス
日本規格協会 2021
JIS C 62853:2020 ディペンダビリティマネジメント-マネジメント及び適用の手引-オープンシステムディペンダビリティ(開放系総合信頼性)
日本規格協会 2020
JIS X 0170:2020 システムライフサイクルプロセス
日本規格協会 2020

講演・口頭発表等 (19件)：

Traceability as a Basis for Assurance
(日本ソフトウェア科学会第18回ディペンダブルシステムワークショップ(DSW 2020) 2021)
システムライフサイクルプロセスの国際標準 ISO/IEC/IEEE 15288について
(日本ソフトウェア科学会第3回機械学習工学ワークショップ (MLSE夏合宿2020) 2020)
Education Methodology in Digital Skills (AI, Big Data, IoT and Blockchain)
(Higher Industrial Human Resource Development in IT Area in Uzbekistan 2020)
機械学習に関連する国際標準化活動の動向
(情報処理学会ソフトウェア工学研究会ウィンターワークショップ2020・イン・京都, 京都府京都市 2020)
ディペンダビリティに関する標準化活動の動向
(日本ソフトウェア科学会第17回ディペンダブルシステムワークショップ(DSW 2019),東京都墨田区 2019)

学歴 (5件)：

2014 - 2017 神奈川大学大学院理学研究科情報科学専攻博士後期課程
2012 - 2014 奈良先端科学技術大学院大学情報科学研究科博士前期課程
2005 - 2007 東京大学文学部思想文化学科インド哲学仏教学専修課程
2002 - 2005 東京大学教養学部文科III類
1999 - 2002 私立東大寺学園高等学校

学位 (1件)：

博士(理学) (神奈川大学)

経歴 (12件)：

2021/10 - 現在東京都立産業技術大学院大学先端ソフトウェア工学研究所研究員
2020/04 - 現在神奈川大学総合理学研究所客員研究員
2020/04 - 現在東京都立産業技術大学院大学産業技術研究科産業技術専攻助教
2019/12 - 現在合同会社木下屋技術顧問
2019/09 - 現在神奈川大学理学部非常勤講師

全件表示

委員歴 (15件)：

2021/06 - 現在 ISO/IEC JTC 1/SC 7 ISO/IEC 33202 Core Agile Practices Project Co-Editor
2020/10 - 現在日本ソフトウェア科学会ディペンダブルシステム研究会(DSW) 運営委員
2020/10 - 現在 ISO/IEC JTC 1/SC 7/WG 29 (Agile and DevOps) 国内小委員会主査
2020/04 - 現在日本ソフトウェア科学会企画委員
2019/06 - 現在一般社団法人ディペンダビリティ技術推進協会標準活用部会幹事

全件表示

受賞 (4件)：

2019/08 - 日本ソフトウェア科学会第36回大会優秀発表賞平塚市地域防災計画の整合性検査方式の研究 - 自治体防災業務へのソフトウェアエンジニアリングの応用 -
2018/10 - 総務省平成30年度「異能vation」プログラム「ジェネレーションアワード」部門ノミネート「IoD(Internet of Documents)」
2017/11 - フォスターネット(株) MVP
2017/09 - NRIハッカソン bit.connect 審査員特別賞

所属学会 (3件)：

日本災害情報学会 , 日本ソフトウェア科学会 , 情報処理学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

前のページに戻る

木下 修司

木下修司