University of Nagasaki · Faculty of Information Systems · 准教授

Research keywordsシステムアシュアランス・防災・数理論理学・形式手法・定理証明・地域防災計画

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• 情報学者が町内会（自治会）活動に踏み出すときに知っておくべきこと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 · 共同研究

• Official profile