学生の公表論文

2021年

  • 久野 亮, 後藤 祐一: 不安に対する対処方法の段階的な練習を追加したVR暴露療法システムの開発, 学生セッション1ZH-02, 第83会全国大会, 情処理学会, 2021年3月. (情報処理学会)
  • 阿曼吐爾 熱吾漢, 後藤 祐一: 電子調査仕様記述言語のための構造化エディタ QSL Editor, 学生セッション2K-05, 第83会全国大会, 情処理学会, 2021年3月. (情報処理学会)
  • 高島 望, 後藤 祐一: 強相関論理に基づく前向き推論を用いた自動定理発見法の項書き換え処理による改善, 学生セッション4R-02, 第83会全国大会, 情処理学会, 2021年3月. (情報処理学会)
  • 李 陽, 後藤 祐一: DNS増幅攻撃検出システムのためのSVMカーネル関数の比較, 学生セッション5X-05, 第83会全国大会, 情処理学会, 2021年3月. (情報処理学会)

2020年

  • Yating Wang and Yuichi Goto: An Extension of Formal Analysis Method with Reasoning for Anonymity, in Ngoc Thanh Nguyen, Kietikul Jearanaitanakij, Ali Selamat, Bogdan Trawiński, Suphamit Chittayasothorn (Eds.), “Intelligent Information and Database Systems, 12th Asian Conference, ACIIDS 2020, Phuket, Thailand, March 23–26, 2020, Proceedings, Part II”, Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 12034, pp. 53-64, Springer, Cham, March 2020. (SpringerLINK)
  • Sameera Basit and Yuichi Goto: An Extension of Reciprocal Logics for Trust Reasoning, in Ngoc Thanh Nguyen, Kietikul Jearanaitanakij, Ali Selamat, Bogdan Trawiński, Suphamit Chittayasothorn (Eds.), “Intelligent Information and Database Systems, 12th Asian Conference, ACIIDS 2020, Phuket, Thailand, March 23–26, 2020, Proceedings, Part II”, Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 12034, pp. 65-75, Springer, Cham, March 2020. (SpringerLINK)
  • Jun Zheng and Yuichi Goto: A Case Study of Formal Analysis Methods with Reasoning for Cryptographic Protocols, B-011, 第19回情報科学技術フォーラム (FIT2020), pp. 123-126, オンライン開催, 2020年9月.

2019年

  • 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, in Claude Carlet, Sylvain Guilley,Abderrahmane Nitaj,El Mamoun Souidi (Eds.), “Codes, Cryptology and Information Security Third International Conference, C2SI 2019, Rabat, Morocco, April 22–24, 2019, Proceedings – In Honor of Said El Hajji,” Lecture Notes in Computer Science, Vol. 11445, pp. 399-408, Springer, Cham, April 2019. (SpringerLINK)
  • Yuan Zhou, Yuichi Goto, and Jingde Cheng: Improvement of QSL by Ontologies of E-Questionnaire, E-Testing, and E-Voting Systems, in James J. Park, Laurence T. Yang, Young-Sik Jeong, and Fei Hao (Eds.), “Advanced Multimedia and Ubiquitous Engineering. MUE 2019, FutureTech? 2019,” Lecture Notes in Electrical Engineering, Vol. 590, pp. 257-264, Springer, Singapore, April 2019. (SpringerLINK)
  • Da Bao, Yuichi Goto, and Jingde Cheng: A Supporting Tool for IT System Security Specification Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045, in Leong Hou U. and Hady W. Lauw (Eds.), “Trends and Applications in Knowledge Discovery and Data Mining. PAKDD 2019 Workshops, BDM, DLKT, LDRC, PAISI, WeL, Macau, China, April 14–17, 2019, Revised Selected Papers,” Lecture Notes in Computer Science, Vol. 11607, pp. 3-14, Springer, Cham, April 2019. (SpringerLINK)
  • Yuan Zhou, Yuichi Goto, and Jingde Cheng: QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems, IEICE Transactions on Information and Systems, Vol. E102-D, No. 11, IEICE, Nov. 2019. (J-Stage)

2018

  • 伊藤 拓也, 後藤 祐一, 程 京徳: 前向き推論エンジンを用いた自動非単調推論 — デフォルト論理における事例研究, 学生セッション6M, 第80会全国大会, 情処理学会, 2018年3月. (情報処理学会)
  • 佐久間 亜都武, 後藤 祐一, 高 宏彪, 程 京徳: Linked Data を用いた理論グリッドの構築 — 公理的集合論の形式理論フラグメントを用いた事例研究, 学生セッション6L, 第80会全国大会, 情処理学会, 2018年3月. (情報処理学)
  • Hiromu Hiidome, Yuichi Goto, and Jingde Cheng: A Memory-Efficient Algorithm with Level-Order Unary Degree Sequence for Forward Reasoning Engines, in Ngoc Thanh Nguyen, Duong Hung Hoang, Tzung-Pei Hong, Hoang Pham, Bogdan Trawiński (Eds.), “Intelligent Information and Database Systems, 10th Asian Conference, ACIIDS 2018, Dong Hoi City, Vietnam, March 19-21, 2018, Proceedings, Part I,” Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 10751, pp. 59-70, Springer, March 2018. (SpringerLINK)
  • Yohei Kamata and Yuichi Goto: Improvement of Data Portability of ENQUETE-BAISE: a General-Purpose E-Questionnaire Server for Ubiquitous Questionnaire, 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 (SmartWorld/UIC/ATC/ScalCom/CBDCom/IOP/SCI 2018), pp. 174-179, Guangzhou, China, IEEE-CS, Oct 2018. (IEEE Xplore)
  • Takumi Otsuka, Kentaro Fukushi, Yuichi Goto, Jingde Cheng: FreeEnCal Web: a Web Service of Automated Forward Reasoning for General-purpose, 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 (SmartWorld/UIC/ATC/ScalCom/CBDCom/IOP/SCI 2018), pp. 180-185, Guangzhou, China, IEEE-CS, Oct 2018. (IEEE Xplore)
  • Tomoya Yamazaki, Atomu Sakuma, and Yuichi Goto: An Implementation of Theory Grid with Linked Data Technologies, 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 (SmartWorld/UIC/ATC/ScalCom/CBDCom/IOP/SCI 2018), pp. 186-191, Guangzhou, China, IEEE-CS, Oct 2018. (IEEE Xplore)
  • Sho Ishibashi, Jingchen Yan, Yuichi Goto and Jingde Cheng: Primitive Constituent Elements of Cryptographic Protocols, 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 (SmartWorld/UIC/ATC/ScalCom/CBDCom/IOP/SCI 2018), pp. 192-197, Guangzhou, China, IEEE-CS, Oct 2018. (IEEE Xplore)
  • Yuan Zhou, Daisuke Matsuura, Yuichi Goto, and Jingde Cheng: Evaluation about the Descriptive Power of QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems, 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 (SmartWorld/UIC/ATC/ScalCom/CBDCom/IOP/SCI 2018), pp. 198-203, Guangzhou, China, IEEE-CS, Oct 2018. (IEEE Xplore)
  • Da Bao, Wen Sun, Yuichi Goto, and Jingde Cheng: Development of Supporting Environment for IT System Security Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045, 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 (SmartWorld/UIC/ATC/ScalCom/CBDCom/IOP/SCI 2018), pp. 204-209, Guangzhou, China, IEEE-CS, Oct 2018. (IEEE Xplore)
  • Jingchen Yan, Sho Ishibashi, Yuichi Goto, Jingde Cheng: A Study on Fine-Grained Security Properties of Cryptographic Protocols for Formal Analysis Method with Reasoning, 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 (SmartWorld/UIC/ATC/ScalCom/CBDCom/IOP/SCI 2018), pp. 210-215, Guangzhou, China, IEEE-CS, Oct 2018. (IEEE Xplore)
  • Yuichi Goto and 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 (SmartWorld/UIC/ATC/ScalCom/CBDCom/IOP/SCI 2018), pp. 222-227, Guangzhou, China, IEEE-CS, Oct 2018. (IEEE Xplore)

2017年以前

2017年以前の先端情報システム工学研究室の学生の公表論文は以下のページでご覧いただけます。