神奈川大学 · 情報学部 · 教授

研究キーワードプログラミング科学・プログラム意味論(算譜意味論)・代数・形式・情報学・準代数構・算譜検証論・計算機科学

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

• 記述の科学 第3回 記述の構成と利用
• A bicategorical analysis of E-categories
• Improvement on Integrity Checking System for Software in Weighing Instrument
• Fieldwork and the 4:6 Principle-Introduction to the Research Center for Verification and Semantics, in "Proceedings of IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009. ISORC '09"

• 2018/09～2019/12 Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS (TIGARS) 競争的資金等の外部資金による研究 （キーワード：assurance, dependability, autonomous system）2018 · 研究課題・受託研究・科研費
• 2016/04～ 開放系総合信頼性の研究 個人研究2016 · 研究課題・受託研究・科研費
• 2008/10～2014/03 利用者指向ディペンダビリティの研究 競争的資金等の外部資金による研究 （キーワード：ディペンダビリティ、規格、オープンシステム）2008 · 研究課題・受託研究・科研費
• 開放系総合信頼性の研究

• 公式プロフィール