埼玉大学 · 理工学研究科 · 准教授

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

以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。

• 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年度未踏ソフトウェア創造事業 「未踏ユース」
• 汎用的な自動定理発見ツールの実現と応用

• 官方个人主页
• ORCID