Saitama University · Graduate School of Science and Engineering · 准教授

Research keywords汎用先行推論エンジン・永続計算システム・自動発見・知識工学・先行推論・反応的システム・規範相関論理・情報システム・時間相関論理・時間規範相関論理

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

• An Epistemic Programming Approach for Automated Nonmonotonic Reasoning based on Default Logic2018 · Proceedings of 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovations,
• A Study on Fine-Grained Security Properties of Cryptographic Protocols for Formal Analysis Method with Reasoning2018 · Proceedings of 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovations,
• Development of Supporting Environment for IT System Security Evaluation Based on ISO/IEC 15408 and ISO/IEC 180452018 · Proceedings of 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovations,
• An Implementation of Theory Grid with Linked Data Technologies2018 · Proceedings of 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovations,

• 先行予測に基づく反応的システムの実現と応用
• 研究代表者：後藤 祐一，分担者：遠藤 匠，染谷 雅美，高橋 勲男：人の集まりを支援するツールQWikS（クウィックス），情報処理推進機構:2005年度未踏ソフトウェア創造事業 「未踏ユース」
• 汎用的な自動定理発見ツールの実現と応用

• Official profile
• ORCID