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

木下 修司

キノシタ シュウジ  (Shuji Kinoshita)
更新日: 05/07
  • ホーム
  • 研究キーワード
  • 研究分野
  • 経歴
  • 学歴
  • 委員歴
  • 受賞
  • 論文
  • 講演・口頭発表等
  • 所属学協会
  • 書籍等出版物
  • 担当経験のある科目(授業)
  • 共同研究・競争的資金等の研究課題
  • 社会貢献活動

研究キーワード

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

メニュー

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