木下 修司

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