{{flash.message}}
researchmap
  • 日本語
    • 日本語
    • 英語
  • 新規登録
  • ログイン
アバター

木下 修司

キノシタ シュウジ  (Shuji Kinoshita)
更新日: 02/07
  • 研究キーワード
  • 研究分野
  • 経歴
  • 学歴
  • 委員歴
  • 受賞
  • 論文
  • 講演・口頭発表等
  • 所属学協会
  • 共同研究・競争的資金等の研究課題

研究キーワード

  16
  • 数理論理学 
  • シビックテック 
  • インド哲学 
  • スクラム 
  • アジャイル 
  • オープンシステム・ディペンダビリティ 
  • 定理証明 
  • Agda 
  • オントロジー 
  • 地域防災計画 
  • システムアシュランス 
  • 防災 
  • アシュランスケース 
  • ディペンダビリティ 
  • 形式手法 
  • システムライフサイクル 
マイポータルへ

メニュー

マイポータル 研究ブログ資料公開
2017 researchmap
利用規約