木下修司

キノシタシュウジ | 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 オープンシステム・ディペンダビリティのための形式アシュランスケース・フレームワーク

論文 (9件)：

木下修司, 奥野康二. システム開発企業における社内教育の調査. 東京都立産業技術大学院大学紀要. 2024. 17
木下修司. Internet of Documents. 東京都立産業技術大学院大学研究紀要. 2023. 16. 13-15
木下修司. アジャイル開発と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

書籍 (7件)：

ISO/IEC/IEEE 15026-2:2022 Systems and software engineering - Systems and software assurance - Part 2: Assurance case
ISO/IEC/IEEE 2022
JIS X 21841:2022 システム及びソフトウェア技術-システムオブシステムズの分類法
日本規格協会 2022
JIS X 0166:2021 システム及びソフトウェア技術-ライフサイクルプロセス-要求エンジニアリング
日本規格協会 2021
JIS X 0134-1:2021 システム及びソフトウェア技術-システム及びソフトウェアアシュアランス-第1部:概念及び用語
日本規格協会 2021
JIS X 0160:2021 ソフトウェアライフサイクルプロセス
日本規格協会 2021

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

ASsurance as Code (ASaC)
(SAFECOMP 2023 2023)
Internet of Documents
(情報処理学会第85回全国大会 2023)
システム開発企業における社内教育の実態調査
(情報処理学会/ソフトウェア工学研究会ウィンターワークショップ2023・イン・富山 2023)
Internet of Documents (IoD)
(日本ソフトウェア科学会第20回ディペンダブルシステムワークショップ (DSW 2022) 2022)
地域防災計画業務記述5原則の提言 - 自治体防災業務のオープンシステムディペンダビリティ達成に向けて -
(日本ソフトウェア科学会第39回大会 2022)

学歴 (5件)：

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

学位 (1件)：

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

経歴 (13件)：

2023/09 - 現在ロンドン市立大学ソフトウェア信頼性研究所名誉客員研究員
2021/10 - 現在東京都立産業技術大学院大学先端ソフトウェア工学研究所研究員
2020/04 - 現在神奈川大学総合理学研究所客員研究員
2020/04 - 現在東京都立産業技術大学院大学産業技術研究科産業技術専攻助教
2019/12 - 現在合同会社木下屋技術顧問

全件表示

委員歴 (16件)：

2021/06 - 現在一般財団法人日本規格協会総合信頼性JIS素案作成委員会委員
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 - 現在日本ソフトウェア科学会企画委員

全件表示

受賞 (5件)：

2023/02 - 一般社団法人情報処理学会情報規格調査会国際規格開発賞 (ISO/IEC/IEEE 15026-2:2022のプロジェクトコエディタとしての貢献)
2019/08 - 日本ソフトウェア科学会第36回大会優秀発表賞平塚市地域防災計画の整合性検査方式の研究 - 自治体防災業務へのソフトウェアエンジニアリングの応用 -
2018/10 - 総務省平成30年度「異能vation」プログラム「ジェネレーションアワード」部門ノミネート「IoD(Internet of Documents)」
2017/11 - フォスターネット(株) MVP
2017/09 - NRIハッカソン bit.connect 審査員特別賞

所属学会 (3件)：

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

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

前のページに戻る

木下 修司

木下修司