Kanagawa University · Faculty of Informatics · 教授

Research keywordsプログラミング科学・プログラム意味論(算譜意味論)・代数・形式・情報学・準代数構・算譜検証論・計算機科学

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

• 記述の科学 第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 · 研究課題・受託研究・科研費
• 開放系総合信頼性の研究

• Official profile