Rchr
J-GLOBAL ID：201601012076829553
Update date: Apr. 03, 2024
Kinoshita Shuji
キノシタ シュウジ | Kinoshita Shuji
Affiliation and department：
Other affiliations (2)：
-
合同会社木下屋
-
神奈川大学プログラミング科学研究所
Homepage URL (1)：
https://www.kino3.jp
Research field (3)：
Social systems engineering
, Information theory
, Software
Research keywords (16)：
Mathematical Logic
, civic tech
, Indian philosophy
, scrum
, agile
, Open Systems Dependability
, Theorem Proving
, Agda
, ontology
, Local Disaster Management Plan
, systems assurance
, disaster management
, assurance case
, dependability
, formal methods
, system life cycle
Research theme for competitive and other funds (4)：
- 2022 - 2025 Improving disaster management capabilities by converting the Tokyo Metropolitan Local Disaster Management Plan into the Internet of Documents
- 2014 - 2023 平塚市地域防災計画の整合性検査方式の研究
- 2018 - 2019 Towards identifying and closing gaps in assurance of autonomous road vehicles (TIGARS)
- 2014 - 2016 オープンシステム・ディペンダビリティのための形式アシュランスケース・フレームワーク
Papers (9)：
-
Shuji Kinoshita, Koji Okuno. Survey of in-house education in IT system vendors. Bulletin of Advanced Institute of Industrial Technology. 2024. 17
-
木下修司. Internet of Documents. 東京都立産業技術大学院大学研究紀要. 2023. 16. 13-15
-
木下修司. アジャイル開発とDevOpsに関する国際標準化の動向. 東京都立産業技術大学院大学研究紀要. 2022. 15. 113-116
-
小山裕司, 大崎理乃, 木下修司, 柴田淳司. Development of The Hybrid Lecture System in IT Professional Graduate School. 東京都立産業技術大学院大学紀要. 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
ｍore...
Books (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 Systems and software engineering -- Systems and software assurance -- Part 1: Concepts and vocabulary
2021
-
JIS X 0160:2021 ソフトウェアライフサイクルプロセス
日本規格協会 2021
ｍore...
Lectures and oral presentations (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)
ｍore...
Education (5)：
- 2014 - 2017 Kanagawa University Graduate School of Science Department of Information Sciences
- 2012 - 2014 Nara Institute of Science and Technology Graduate School of Information Science
- 2005 - 2007 The University of Tokyo Faculty of Letters Department of Indian Philosophy and Buddhist Studies
- 2002 - 2005 The University of Tokyo College of Arts and Sciences Human Sciences III
- 1999 - 2002 Todaiji-gakuen Senior High School
Professional career (1)：
- D.Sc. (Kanagawa University)
Work history (13)：
- 2023/09 - 現在 City, University of London Centre for Software Reliability Honorary Visiting Fellow
- 2021/10 - 現在 Advanced Institute of Industrial Technology Advanced Software Engineering Laboratory Research Fellow
- 2020/04 - 現在 Kanagawa University The Research Institute for Integrated Science Visiting Scholar
- 2020/04 - 現在 Advanced Institute of Industrial Technology Business Systems Design Engineering Course Assistant Professor
- 2019/12 - 現在 Kinoshitaya Inc. Technical Advisor
- 2017/04 - 現在 Kanagawa University Research Institute for Programming Science Project Researcher
- 2019/09 - 2023/03 Kanagawa University Faculty of Science Part-time Lecturer
- 2020/01 - 2020/03 Advanced Institute of Industrial Technology Master Program of Information Systems Architecture Assistant Professor
- 2018/07 - 2019/11 Kinoshitaya Inc. CEO
- 2016/08 - 2018/12 Kinoshitaya (Freelance system consultant)
- 2014/06 - 2017/03 Kanagawa University Research Institute for Programming Science Research Assistant
- 2014/04 - 2017/03 Kanagawa University Graduate School of Science Teaching Assistant
- 2007/04 - 2012/05 NIPPON CONTROL SYSTEM Corporation
Show all
Committee career (16)：
- 2021/06 - 現在 Japanese Standards Association (JSA) Dependability JIS Drafting Committee
- 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) Japan HoD
- 2020/04 - 現在 Japan Society for Software Science and Technology Planning Committee Member
- 2019/06 - 現在 一般社団法人 ディペンダビリティ技術推進協会 標準活用部会 幹事
- 2018/05 - 現在 ISO/IEC JTC 1/SC 7 Liaison representative from SC 7 to SC 42 (Artificial Intelligence)
- 2018/04 - 現在 IEC TC 56 (Dependability) Committee member
- 2016/10 - 現在 ISO/IEC JTC 1/SC 7/WG 7 (Life cycle management) Committee member
- 2018/05 - 2022/12 ISO/IEC JTC 1/SC 7 ISO/IEC/IEEE 15026-2 Assurance Case co-Editor
- 2021/06 - 2022/03 一般社団法人 情報処理学会 情報規格調査会 システム オブ システムズの分類方法JIS原案作成委員会 委員
- 2020/06 - 2021/04 一般社団法人 情報処理学会 情報規格調査会 X 0134-1及びX 0166 JIS原案作成委員会 委員長
- 2019/04 - 2020/03 一般財団法人 日本規格協会 JIS C 62853素案作成委員会及びその準備委員会 分科会 幹事
- 2019/04 - 2020/03 一般社団法人 情報処理学会 情報規格調査会 ソフトウェアライフサイクルプロセスJIS改正原案作成委員会 委員
- 2016/07 - 2019/05 一般社団法人 ディペンダビリティ技術推進協会 標準化部会 会員
- 2018/04 - 2019/03 一般社団法人 情報処理学会 情報規格調査会 システムライフサイクルプロセスJIS改正原案作成委員会 委員
Show all
Awards (5)：
- 2023/02 - 一般社団法人情報処理学会 情報規格調査会 国際規格開発賞 (ISO/IEC/IEEE 15026-2:2022のプロジェクトコエディタとしての貢献)
- 2019/08 - 日本ソフトウェア科学会第36回大会 優秀発表賞 平塚市地域防災計画の整合性検査方式の研究 - 自治体防災業務へのソフトウェアエンジニアリングの応用 -
- 2018/10 - 総務省 平成30年度「異能vation」プログラム「ジェネレーションアワード」部門 ノミネート 「IoD(Internet of Documents)」
- 2017/11 - Fosternet Inc. MVP
- 2017/09 - NRI Hackathon bit.connect Jury's Special Award
Association Membership(s) (3)：
JApan Society for Disaster Information Studies
, JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY
, INFORMATION PROCESSING SOCIETY OF JAPAN
