Shuji Kinoshita
(木下 修司)
Modified on: 05/07
Profile Information
- Degree
-
D.Sc.(Mar, 2018, Kanagawa University)
- Researcher number
- 50843108
- J-GLOBAL ID
- 201601012076829553
- researchmap Member ID
- B000265875
- External link
1983年生まれ、奈良県出身。幼少期はプログラミングに、青年期は文学に熱中する。大学ではインド哲学を専攻。縁あってSEとなり5年ほど働くも、一念発起して退職、情報科学の大学院生として5年ほど過ごす。2017年4月より、フリーのITコンサル＆大学研究者の二刀流。研究成果を実務に生かす国際標準化活動にも参画。研究・開発を通じたテーマは「システムの見える化」。理論のわかる実務家、現場のわかる研究者を目指しています。
Research Interests
16Research Areas
3Major Research History
12-
Jul, 2018 - Nov, 2019
-
Aug, 2016 - Dec, 2018
-
Apr, 2007 - May, 2012
Education
5-
Apr, 2014 - Mar, 2017
-
Apr, 2012 - Mar, 2014
-
Apr, 2002 - Mar, 2005
-
Apr, 1999 - Mar, 2002
Major Committee Memberships
15-
Jun, 2021 - Present
-
Oct, 2020 - Present
-
Oct, 2020 - Present
-
Jun, 2019 - Present
-
May, 2018 - Present
-
Jun, 2020 - Apr, 2021
Awards
4Major Papers
7-
7th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2019), Turku (Finland), Sep, 2019 Peer-reviewed
-
IPA SEC journal, 13(2) 44-51, Sep, 2017 Peer-reviewed
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10489 17-26, 2017 Peer-reviewed
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9923 63-74, 2016 Peer-reviewed
Presentations
19-
日本ソフトウェア科学会 第18回ディペンダブルシステムワークショップ(DSW 2020), Mar 19, 2021
-
日本ソフトウェア科学会 第3回機械学習工学ワークショップ (MLSE夏合宿2020), Jul 4, 2020
-
Higher Industrial Human Resource Development in IT Area in Uzbekistan, Feb 25, 2020 Invited
-
情報処理学会 ソフトウェア工学研究会 ウィンターワークショップ2020・イン・京都， 京都府京都市, Jan 24, 2020
-
日本ソフトウェア科学会 第17回ディペンダブルシステムワークショップ(DSW 2019)，東京都墨田区, Dec 5, 2019
-
63日本ソフトウェア科学会第36回大会，東京都港区, Aug 27, 2019 -
日本ソフトウェア科学会 第16回ディペンダブルシステムワークショップ(DSW 2018)、石川県金沢市, Dec 13, 2018
-
情報処理学会 ソフトウェア工学研究会 ウィンターワークショップ2017・イン・飛騨高山、岐阜県高山市, Jan 19, 2017
-
日本ソフトウェア科学会 第14回ディペンダブルシステムワークショップ(DSW 2016)、北海道函館市, Dec 16, 2016
-
12th Theorem Proving and Provers (TPP 2016)、 東京都文京区, Nov 14, 2016
-
日本災害情報学会第18回学会大会、東京都世田谷区, Oct 22, 2016
-
ディペンダビリティ技術推進協会標準化部会 第5回システムアシュランス研究会、神奈川県横浜市, Mar 16, 2016 Invited
-
日本ソフトウェア科学会 第13回ディペンダブルシステムワークショップ(DSW 2015)、静岡県熱海市, Dec 17, 2015
-
2nd International Workshop on Argument for Agreement and Assurance (AAA 2015), Yokohama (Japan), Nov 17, 2015
-
3rd International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2015), Delft (Netherland), Sep 22, 2015
-
日本ソフトウェア科学会 第17回プログラミングおよびプログラミング言語ワークショップ(PPL 2015)、愛媛県松山市, Mar 4, 2015
-
日本ソフトウェア科学会 第12回ディペンダブルシステムワークショップ(DSW 2014)、静岡県熱海市, Dec 18, 2014
-
日本ソフトウェア科学会 第16回プログラミングおよびプログラミング言語ワークショップ(PPL 2014)、熊本県阿蘇市, Mar 5, 2014
-
Agda Implementers’ Meeting XVII in Shonan, Japan, May 9, 2013
Professional Memberships
3-
Mar, 2015 - Present
-
Apr, 2014 - Present
-
Apr, 2014 - Present
Books and Other Publications
5-
日本規格協会, Sep, 2021
-
日本規格協会, Feb, 2021
-
JAPANESE STANDARDS ASSOCIATION, Sep, 2020
-
日本規格協会, Jan, 2020
Teaching Experience
2-
May, 2020 - Jul, 2020
-
Sep, 2019 - Jan, 2020
Social Activities
1