研究者
J-GLOBAL ID:201601012076829553   更新日: 2020年01月11日

木下 修司

キノシタ シュウジ | Shuji Kinoshita
所属機関・部署:
職名: 助教
その他の所属(所属・部署名・職名) (2件):
  • 合同会社木下屋
  • 神奈川大学プログラミング科学研究所
ホームページURL (2件): https://www.kino3.jphttp://www.kino3.jp
研究分野 (4件): ソフトウェア ,  情報学基礎理論 ,  社会システム工学・安全システム ,  自然災害科学・防災学
研究キーワード (16件): 数理論理学 ,  シビックテック ,  インド哲学 ,  スクラム ,  アジャイル ,  オープンシステム・ディペンダビリティ ,  システムアシュランス ,  アシュランスケース ,  ディペンダビリティ ,  オントロジー ,  システムライフサイクル ,  防災 ,  地域防災計画 ,  形式手法 ,  定理証明 ,  Agda
競争的資金等の研究課題 (2件):
  • 2014 - 2016 オープンシステム・ディペンダビリティのための形式アシュランスケース・フレームワーク
  • 2014 - 2019 平塚市地域防災計画の整合性検査方式の研究
論文 (5件):
講演・口頭発表等 (15件):
  • On Granström's World
    (Agda Implementers’ Meeting XVII in Shonan, Japan 2013)
  • 平塚市地域防災計画の整合性検査
    (日本ソフトウェア科学会 第12回ディペンダブルシステムワークショップ(DSW 2014)、静岡県熱海市 2014)
  • ワールドによるプログラミング
    (日本ソフトウェア科学会 第16回プログラミングおよびプログラミング言語ワークショップ(PPL 2014)、熊本県阿蘇市 2014)
  • 地域防災計画のアシュランス議論に向けて
    (日本ソフトウェア科学会 第13回ディペンダブルシステムワークショップ(DSW 2015)、静岡県熱海市 2015)
  • Formal Assurance Case in Agda (FACIA)
    (2nd International Workshop on Argument for Agreement and Assurance (AAA 2015), Yokohama (Japan) 2015)
もっと見る
学歴 (5件):
  • 1999 - 2002 私立東大寺学園高等学校
  • 2002 - 2005 東京大学 教養学部 文科III類
  • 2005 - 2007 東京大学 文学部 思想文化学科インド哲学仏教学専修課程
  • 2012 - 2014 奈良先端科学技術大学院大学 情報科学研究科 博士前期課程
  • 2014 - 2017 神奈川大学大学院 理学研究科 情報科学専攻 博士後期課程
学位 (1件):
  • 博士(理学) (神奈川大学)
経歴 (8件):
  • 2007/04 - 2012/05 日本コントロールシステム(株)
  • 2014/04 - 2017/03 神奈川大学 ティーチング・アシスタント
  • 2014/06 - 2017/03 神奈川大学 リサーチ・アシスタント
  • 2016/08 - 2018/12 木下屋(個人事業主・システムコンサルタント)
  • 2018/07 - 2019/11 合同会社 木下屋 代表社員
全件表示
委員歴 (9件):
  • 2019/06 - 現在 一般社団法人 ディペンダビリティ技術推進協会 標準活用部会 幹事
  • 2019/04 - 現在 一般社団法人 情報処理学会 情報規格調査会 ソフトウェアライフサイクルプロセスJIS改正原案作成委員会 委員
  • 2019/04 - 現在 一般財団法人 日本規格協会 JIS C 62853素案作成委員会及びその準備委員会 分科会 幹事
  • 2018/05 - 現在 ISO/IEC JTC 1/ SC 7 SC42 (Artificial Intelligence) リエゾン代表
  • 2018/05 - 現在 ISO/IEC JTC 1/ SC 7 ISO/IEC/IEEE 15026-2 Assurance Case co-editor
全件表示
受賞 (4件):
  • 2019/08 - 日本ソフトウェア科学会第36回大会 優秀発表賞 平塚市地域防災計画の整合性検査方式の研究 - 自治体防災業務へのソフトウェアエンジニアリングの応用 -
  • 2018/10 - 総務省 平成30年度「異能vation」プログラム「ジェネレーションアワード」部門 ノミネート 「IoD(Internet of Documents)」
  • 2017/11 - フォスターネット(株) MVP
  • 2017/09 - NRIハッカソン bit.connect 審査員特別賞
所属学会 (3件):
日本ソフトウェア科学会 ,  情報処理学会 ,  日本災害情報学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る