後藤祐一 (Yuichi Goto) - マイポータル

基本情報

所属: 埼玉大学大学院理工学研究科准教授

学位: 博士（工学）(2005年3月埼玉大学)

ORCID ID: https://orcid.org/0000-0003-2015-0340
J-GLOBAL ID: 200901004941793111
Researcher ID: B-2860-2012
researchmap会員ID: 6000019755

外部リンク: http://www.aise.ics.saitama-u.ac.jp/~gotoh/

平成13年埼玉大学工学部情報システム工学科卒業．
平成15年同大学院理工学研究科博士前期課程
情報システム工学専攻修了．平成17年同博士後期課程
情報数理科学専攻修了．博士（工学）．平成17年
埼玉大学工学部助手．平成19年同大学院理工学研究科
助教．平成27年同大学院理工学研究科准教授．
知識工学の研究に従事．情報処理学会，人工知能学会，
電子情報通信学会, ACM，IEEE-CS 各会員．

研究キーワード

研究分野

経歴

担当経験のある科目(授業)

2020年4月 - 現在

数理論理学 (埼玉大学工学部情報工学科)
2019年4月 - 現在

プログラミング言語論 (埼玉大学工学部情報工学科)
2018年4月 - 現在

情報処理1（データベース） (東京理科大学理学部第一部応用数学科)
2015年4月 - 現在

知識表現特論 (埼玉大学大学院理工学研究科)
2011年4月 - 現在

情報基礎（Linux入門） (埼玉大学工学部情報工学科)
2016年4月 - 2020年3月

情報倫理 (埼玉大学工学部情報工学科)
2016年4月 - 2019年3月

自然言語処理 (埼玉大学工学部情報システム工学科)
2015年4月 - 2019年3月

コンピュータネットワーク (埼玉大学工学部情報システム工学科)
2008年4月 - 2016年3月

離散数学演習 (埼玉大学工学部情報システム工学科)
2005年4月 - 2009年3月

計算論演習 (埼玉大学工学部情報システム工学科)

所属学協会

2018年 - 現在

IEEE
2016年 - 現在

電子情報通信学会
2005年 - 現在

Association for Computing Machinery
2005年 - 現在

IEEE-CS
2003年 - 現在

人工知能学会
2001年 - 現在

情報処理学会

共同研究・競争的資金等の研究課題

先行予測に基づく反応的システムの実現と応用

文部科学省科学研究費補助金(基盤研究(B)) 基盤研究(B) 2006年 - 2009年

程京徳, 後藤祐一
汎用的な自動定理発見ツールの実現と応用

文部科学省科学研究費補助金(若手研究(B)) 若手研究(B) 2007年 - 2008年

後藤祐一

論文

135

QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems

Yuan Zhou, Yuichi Goto, Jingde Cheng

IEICE Transactions on Information and Systems E102-D(11) 2159-2175 2019年11月査読有り
A Supporting Tool for IT System Security Specification Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045

Da Bao, Yuichi Goto, Jingde Cheng

Lecture Notes in Computer Science 11607 3-14 2019年9月査読有り
Improvement of QSL by Ontologies of E-Questionnaire, E-Testing, and E-Voting Systems

Yuan Zhou, Yuichi Goto, Jingde Cheng

Lecture Notes in Electrical Engineering 590 257-264 2019年8月査読有り
An Extension of Formal Analysis Method with Reasoning: A Case Study of Flaw Detection for Non-repudiation and Fairness

Jingchen Yan, Yating Wang, Yuichi Goto, Jingde Cheng

Lecture Notes in Computer Science 11445 399-408 2019年4月査読有り
An Epistemic Programming Approach for Automated Nonmonotonic Reasoning based on Default Logic

Yuichi Goto, Takuya Ito

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 222-227 2018年10月査読有り
A Study on Fine-Grained Security Properties of Cryptographic Protocols for Formal Analysis Method with Reasoning

Jingchen Yan, Sho Ishibashi, Yuichi Goto, Jingde Cheng

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 210-215 2018年10月査読有り
Development of Supporting Environment for IT System Security Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045

Da Bao, Wen Sun, Yuichi Goto, Jingde Cheng

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 204-209 2018年10月査読有り
Evaluation about the Descriptive Power of QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems

Yuan Zhou, Daisuke Matsuura, Yuichi Goto, Jingde Cheng

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 198-203 2018年10月査読有り
Primitive Constituent Elements of Cryptographic Protocols

Sho Ishibashi, Jingchen Yan, Yuichi Goto, Jingde Cheng

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 192-197 2018年10月査読有り
An Implementation of Theory Grid with Linked Data Technologies

Tomoya Yamazaki, Atomu Sakuma, Yuichi Goto

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 186-191 2018年10月査読有り
FreeEnCal Web: a Web Service of Automated Forward Reasoning for General-purpose

Takumi Otsuka, Kentaro Fukushi, Yuichi Goto, Jingde Cheng

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 180-185 2018年10月査読有り
Improvement of Data Portability of ENQUETE-BAISE: a General-Purpose E-Questionnaire Server for Ubiquitous Questionnaire

Yohei Kamata, Yuichi Goto

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 174-179 2018年10月査読有り
A Memory-Efficient Algorithm with Level-Order Unary Degree Sequence for Forward Reasoning Engines

Hiromu Hiidome, Yuichi Goto, Jingde Cheng

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) 10751 59-70 2018年査読有り
A Predicate Suggestion Algorithm for Automated Theorem Finding with Forward Reasoning

Yuichi Goto, Hongbiao Gao, Jingde Cheng

INTELLIGENT INFORMATION AND DATABASE SYSTEMS (ACIIDS 2017), PT II 10192 125-134 2017年査読有り
A Supporting Tool for Spiral Model of Cryptographic Protocol Design with Reasoning-Based Formal Analysis

Kazunori Wagatsuma, Tsubasa Harada, Shogo Anze, Yuichi Goto, Jingde Cheng

ADVANCED MULTIMEDIA AND UBIQUITOUS ENGINEERING: FUTURE INFORMATION TECHNOLOGY, VOL 2 354 25-32 2016年査読有り
Predicting new attacks for information security

Da Bao, Yuichi Goto, Jingde Cheng

Lecture Notes in Electrical Engineering 330 1353-1358 2015年査読有り
Explicitly Epistemic Contraction by Predicate Abstraction in Automated Theorem Finding: A Case Study in NBG Set Theory

Hongbiao Gao, Yuichi Goto, Jingde Cheng

Intelligent Information and Database Systems, Pt I 9011 593-602 2015年査読有り
Development of a Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas and Its Application

Shunsuke Nanaumi, Kazunori Wagatsuma, Hongbiao Gao, Yuichi Goto, Jingde Cheng

Advanced Multimedia and Ubiquitous Engineering: Future Information Technology 352 1-6 2015年査読有り
Development of ISMEE: An information security management engineering environment

Ahmad Iqbal Hakim Suhaimi, Da Bao, Yuichi Goto, Jingde Cheng

Lecture Notes in Electrical Engineering 330 1325-1330 2015年査読有り
Automated Theorem Finding by Forward Reasoning Based on Strong Relevant Logic: A Case Study in Graph Theory

Hongbiao Gao, Yuichi Goto, Jingde Cheng

Advanced Multimedia and Ubiquitous Engineering: Future Information Technology 352 23-30 2015年査読有り

もっとみる

MISC

Linked Data を用いた理論グリッドの構築 -- 公理的集合論の形式理論フラグメントを用いた事例研究

佐久間亜都武, 後藤祐一, 高宏彪, 程京徳

情報処理学会第80会全国大会 2018(1) 463-464 2018年3月
前向き推論エンジンを用いた自動非単調推論 -- デフォルト論理における事例研究

伊藤拓也, 後藤祐一, 程京徳

情報処理学会第80会全国大会 2018(1) 91-92 2018年3月
鍵交換プロトコルにおける推論的形式分析手法

我妻和憲, 後藤祐一, 程京徳

情報処理学会論文誌 56(3) 903-910 2015年3月15日
Ada 2012プログラムのためのタスキングデッドロック検出ツール

驛場猛雄, 後藤祐一, 程京徳

情報処理学会論文誌プログラミング（PRO） 6(2) 105-105 2013年8月29日
セキュリティターゲットの作成と保守を支援するツールST-Editorの開発

三浦潤一, 後藤祐一, 程京徳

研究報告組込みシステム（EMB） 2013(7) 1-8 2013年5月20日
セキュリティターゲットの作成と保守を支援するツールST-Editorの開発

三浦潤一, 後藤祐一, 程京徳

研究報告ソフトウェア工学（SE） 2013(7) 1-8 2013年5月20日
汎用的な自動定理発見ツールの実現と応用

後藤祐一

総合研究機構研究プロジェクト研究成果報告書第6号(平成19年度) 2008年9月
D-023 情報セキュリティ工学データベースシステムISEDSのAPIの実現と応用(D分野:データベース)

堀江大輔, 後藤祐一, 程京徳

情報科学技術フォーラム一般講演論文集 6(2) 53-56 2007年8月22日
ユビキタスコンピューティングの基盤としての永続コンピューティング(研究成果報告)

後藤祐一

埼玉大学紀要, 工学部, 第1部論文集 40 67-69 2007年
ユビキタスコンピューティングの基盤としての永続コンピューティング<研究成果報告>

後藤祐一

埼玉大学紀要, 工学部, 第1部論文集 39 133-134 2006年7月
追加機能を含んだAda 95プログラムのためのタスキングデッドロック検出ツール

藤乘靖士, 奈良信介, 後藤祐一, 程京徳

情報処理学会論文誌. プログラミング 46(14) 2005年1月

その他

研究代表者：後藤祐一，分担者：遠藤匠，染谷雅美，高橋勲男：人の集まりを支援するツールQWikS（クウィックス），情報処理推進機構:2005年度未踏ソフトウェア創造事業「未踏ユース」

後藤祐一