長崎県立大学 · 情報システム学部 · 准教授

研究キーワードシステムアシュアランス・防災・数理論理学・形式手法・定理証明・地域防災計画

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• 情報学者が町内会（自治会）活動に踏み出すときに知っておくべきこと2025 · 東京都立産業技術大学院大学紀要
• 地域防災計画業務記述5原則の提言2024 · コンピュータ ソフトウェア
• システム開発企業における社内教育の調査2024 · 東京都立産業技術大学院大学紀要
• Internet of Documents2023 · 東京都立産業技術大学院大学研究紀要

• 東京都地域防災計画のIoD(Internet of Documents)化による防災力向上2022 · 大学研究者による事業提案制度
• Towards identifying and closing gaps in assurance of autonomous road vehicles (TIGARS)2018 · Assuring Autonomy International Programme
• オープンシステム・ディペンダビリティのための形式アシュランスケース・フレームワーク2014 · ソフトウェア工学分野の先導的研究支援事業(RISE)
• 平塚市地域防災計画の整合性検査方式の研究2014 · 共同研究

• 公式プロフィール