研究者
J-GLOBAL ID:200901004941793111
更新日: 2024年02月02日
後藤 祐一
ゴトウ ユウイチ | Goto Yuichi
この研究者にコンタクトする
直接研究者へメールで問い合わせることができます。
所属機関・部署:
埼玉大学 大学院理工学研究科
埼玉大学 大学院理工学研究科 について
「埼玉大学 大学院理工学研究科」ですべてを検索
機関情報を見る
職名:
准教授
ホームページURL (1件):
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 (11件):
佐久間 亜都武, 後藤 祐一, 高 宏彪, 程 京徳. Linked Data を用いた理論グリッドの構築 -- 公理的集合論の形式理論フラグメントを用いた事例研究. 情報処理学会第80会全国大会. 2018. 2018. 1. 463-464
伊藤 拓也, 後藤 祐一, 程 京徳. 前向き推論エンジンを用いた自動非単調推論 -- デフォルト論理における事例研究. 情報処理学会第80会全国大会. 2018. 2018. 1. 91-92
我妻 和憲, 後藤 祐一, 程 京徳. 鍵交換プロトコルにおける推論的形式分析手法. 情報処理学会論文誌. 2015. 56. 3. 903-910
驛場 猛雄, 後藤 祐一, 程 京徳. Ada 2012プログラムのためのタスキングデッドロック検出ツール. 情報処理学会論文誌プログラミング(PRO). 2013. 6. 2. 105-105
三浦潤一, 後藤祐一, 程京徳. セキュリティターゲットの作成と保守を支援するツールST-Editorの開発. 研究報告組込みシステム(EMB). 2013. 2013. 7. 1-8
もっと見る
学位 (1件):
博士(工学) (埼玉大学)
経歴 (4件):
2015 - 現在 埼玉大学大学院 理工学研究科 准教授
2007/04 - 2014/03 埼玉大学大学院 理工学研究科 助教
2006/04 - 2007/03 埼玉大学大学院 理工学研究科 助手
2005/04 - 2006/03 埼玉大学工学部 助手
所属学会 (6件):
IEEE
, 電子情報通信学会
, Association for Computing Machinery
, IEEE-CS
, 人工知能学会
, 情報処理学会
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM