研究者
J-GLOBAL ID:200901004941793111   更新日: 2020年10月15日

後藤 祐一

ゴトウ ユウイチ | Goto Yuichi
所属機関・部署:
職名: 准教授
ホームページURL (2件): http://www.aise.ics.saitama-u.ac.jp/~gotoh/http://www.aise.ics.saitama-u.ac.jp/~gotoh/
研究分野 (2件): ソフトウェア ,  知能情報学
研究キーワード (11件): 先行推論 ,  時間規範相関論理 ,  行動推論 ,  自動発見 ,  汎用先行推論エンジン ,  永続計算システム ,  情報システム ,  知識工学 ,  反応的システム ,  時間相関論理 ,  規範相関論理
競争的資金等の研究課題 (2件):
  • 2006 - 2009 先行予測に基づく反応的システムの実現と応用
  • 2007 - 2008 汎用的な自動定理発見ツールの実現と応用
論文 (135件):
  • Yuan Zhou, Yuichi Goto, Jingde Cheng. QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems. IEICE Transactions on Information and Systems. 2019. E102-D. 11. 2159-2175
  • Da Bao, Yuichi Goto, Jingde Cheng. A Supporting Tool for IT System Security Specification Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045. Lecture Notes in Computer Science. 2019. 11607. 3-14
  • Yuan Zhou, Yuichi Goto, Jingde Cheng. Improvement of QSL by Ontologies of E-Questionnaire, E-Testing, and E-Voting Systems. Lecture Notes in Electrical Engineering. 2019. 590. 257-264
  • Jingchen Yan, Yating Wang, Yuichi Goto, Jingde Cheng. An Extension of Formal Analysis Method with Reasoning: A Case Study of Flaw Detection for Non-repudiation and Fairness. Lecture Notes in Computer Science. 2019. 11445. 399-408
  • Yuichi Goto, Takuya Ito. An Epistemic Programming Approach for Automated Nonmonotonic Reasoning based on Default Logic. 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. 2018. 222-227
もっと見る
MISC (7件):
学位 (1件):
  • 博士(工学) (埼玉大学)
経歴 (4件):
  • 2015 - 現在 埼玉大学大学院 理工学研究科 准教授
  • 2007/04 - 2014/03 埼玉大学大学院 理工学研究科 助教
  • 2006/04 - 2007/03 埼玉大学大学院 理工学研究科 助手
  • 2005/04 - 2006/03 埼玉大学工学部 助手
所属学会 (5件):
Association for Computing Machinery ,  電子情報通信学会 ,  IEEE-CS ,  人工知能学会 ,  情報処理学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る