学生の公表論文

2024年

  • 山鹿親作, 後藤祐一: 前向き推論を用いた自動定理発見の試行支援環境の開発, 学生セッション, 知能システム (5), 1Q-07, 第86会全国大会, 情報処理学会, 2024年3月（発表予定）.
  • 長谷川諒, 後藤祐一: 演繹定理を用いた論理定理の推論規則化による強相関論理に基づく前向き推論を用いた自動定理発見法の改善, 学生セッション, 知能システム (5), 1Q-08, 第86会全国大会, 情報処理学会, 2024年3月（発表予定）.
  • 辻陽成, 後藤祐一: 汎用前向き推論エンジンFreeEnCalの簡潔データ構造SuRFを用いた省メモリ化, 学生セッション, 知能システム (9), 2V-02, 第86会全国大会, 情報処理学会, 2024年3月（発表予定）.
  • 多賀靖晃, 後藤祐一: マルチコアCPUに対応した汎用前向き推論エンジンFreeEnCalの開発, 学生セッション, 知能システム (9), 2V-07, 第86会全国大会, 情報処理学会, 2024年3月（発表予定）.
  • 大槻奏太: 会話中の話過ぎの自覚を支援するアプリの開発, 学生セッション, 会話・字幕・BCI, 4ZJ-05, 第86会全国大会, 情報処理学会, 2024年3月（発表予定）.
  • 久保田涼: ほぐしを目的にしたオンラインアイスブレイク手法の提案と支援ツールの開発, 学生セッション, オンライン学習・電子試験, 7ZM-02, 第86会全国大会, 情報処理学会, 2024年3月（発表予定）.
  • 久木田陽生, 後藤祐一: リモート環境下でのタブレット端末を用いた電子試験における不正行為の検出および防止, 学生セッション, オンライン学習・電子試験, 7ZM-06, 第86会全国大会, 情報処理学会, 2024年3月（発表予定）.
  • 伍嘉俊, 小河原悠暉, 後藤祐一: タブレットを用いたオフライン電子試験環境の構築, オンライン学習・電子試験, 7ZM-07, 第86会全国大会, 情報処理学会, 2024年3月（発表予定）.
  • 横田大暉: 受験者の視線と手の動きを用いた電子試験におけるなりすまし検出システムの開発, オンライン学習・電子試験, 7ZM-08, 第86会全国大会, 情報処理学会, 2024年3月（発表予定）.
  • Yuichi Goto and Yasuaki Taga: Improvement of a Forward Reasoning Engine FreeEnCal for Trust Reasoning, Proc. Intelligent Information and Database Systems, 16th Asian Conference (ACIIDS 2024), Ras Al Khaimah, UAE, April 2024 (accepted).

2023年

  • Sameera Basit and Yuichi Goto: A Belief Revision Mechanism With Trust Reasoning Based on Extended Reciprocal Logic for Multi-agent Systems, in David C. Wyld, Dhinaharan Nagamalai (Eds.), “Computer Networks & Communications 10th International Conference on Computer Networks & Communications (CCNET 2023), February 25 ~ 26, 2023, Vancouver, Canada,” Computer Science & Information Technology, Vol. 12, No. 4, pp. 161-173, AIRCC Publishing, February 2023.
    doi: 10.5121/csit.2023.130413 (AIRCC Publishing)
  • 金田 彩孝, 後藤 祐一: 揺れ通知: 公共交通機関の揺れる場所を通知してくれるIoTデバイス, 口頭発表, 2022年度第2回トリリオンノード研究会, 東京, 日本, 2023年2月. (トリリオンノード研究会)
  • 柳沢 健太, 後藤 祐一: 棋譜と対応付けした将棋用語オントロジの構築, 第85回全国大会講演論文集, 2023巻, 1号, pp. 135-136, 情報処理学会, 2023年3月. (情報処理学会)
  • 相馬亮太, 後藤祐一, 三浦隆太, 奥山龍一: 認識プログラミング言語EPLASの改善, 第85回全国大会講演論文集, 2023巻, 1号, pp. 515-516, 情報処理学会, 2023年3月. (情報処理学会)
  • Lina Feng, Yuichi Goto: Construction of a Multimodal Japanese Tourism Knowledge Graph, 第85回全国大会講演論文集, 2023巻, 1号, pp. 523-524, 情報処理学会, 2023年3月. (情報処理学会)
  • 木本 翔太, 後藤 祐一: 不安への対処方法の段階的練習を行えるVR暴露療法システムのユーザビリティの向上, 情報処理学会アクセシビリティ研究会 第22回研究会, 情報処理学会研究報告, Vol. 2023-AAC-22, No. 1, pp. 1-6, オンライン, 2023年7月. (情報処理学会)

2022年

  • 覃 文標, 後藤 祐一: YOLOv4 を用いた省メモリなマスク着用検出システム, 第84回全国大会講演論文集, 2022巻, 1号, pp. 585-586, 情報処理学会, 2022年3月. (情報処理学会)
  • 久野 亮, 後藤 祐一: 不安を生じさせる環境の段階的再現および各段階での滞在支援を行えるVR暴露療法システムの開発, 第84回全国大会講演論文集, 2022巻, 1号, pp. 899 – 900, 情報処理学会, 2022年3月. (情報処理学会)
  • Sameera Basit and Yuichi Goto: An Extension of Reciprocal Logic for Trust Reasoning: A Case Study in PKI, in Ngoc Thanh Nguyen, Tien Khoa Tran, Ualsher Tukayev, Tzung-Pei Hong, Bogdan Trawiński, Edward Szczerbicki (Eds.), “Intelligent Information and Database Systems, 14th Asian Conference, ACIIDS 2022, Ho Chi Minh City, Vietnam, November 28–30, 2022, Proceedings, Part I,” Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 13757, pp. 496-506, Springer, Cham, December 2022. doi: 10.1007/978-3-031-21743-2_39 (SpringerLink)

2021年

  • 阿曼吐爾 熱吾漢, 後藤 祐一: 電子調査仕様記述言語のための構造化エディタ QSL Editor, 第83回全国大会講演論文集, 2021巻, 1号, pp. 271-272, 情報処理学会, 2021年3月. (情報処理学会)
  • 李 陽, 後藤 祐一: DNS増幅攻撃検出システムのためのSVMカーネル関数の比較, 第83回全国大会講演論文集, 2021巻, 1号, pp. 447-448, 情報処理学会, 2021年3月. (情報処理学会)
  • 高島 望, 後藤 祐一: 強相関論理に基づく前向き推論を用いた自動定理発見法の項書き換え処理による改善, 第83回全国大会講演論文集, 2021巻, 1号, pp. 477-478, 情報処理学会, 2021年3月. (情報処理学会)
  • 久野 亮, 後藤 祐一: 不安に対する対処方法の段階的な練習を追加したVR暴露療法システムの開発, 第83回全国大会講演論文集, 2021巻, 1号, pp. 811-812, 情報処理学会, 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年以前の先端情報システム工学研究室の学生の公表論文は以下のページでご覧いただけます。