業績

  • PDFとPSファイルのダウンロードは研究室内限定
  • You can download PDF or PS files if you are AISE members.

公表論文種類別, English



公表論文(発表順)_

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月(発表予定).
  • 久木田陽生, 後藤祐一: リモート環境下でのタブレット端末を用いた電子試験における不正行為の検出および防止, 学生セッション, オンライン学習・電子試験, 7ZM-06, 第86会全国大会, 情報処理学会, 2024年3月(発表予定).
  • 伍嘉俊, 小河原悠暉, 後藤祐一: タブレットを用いたオフライン電子試験環境の構築, オンライン学習・電子試験, 7ZM-07, 第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 (PDF), (AIRCC Publishing)
  • 柳沢 健太, 後藤 祐一: 棋譜と対応付けした将棋用語オントロジの構築, 第85回全国大会講演論文集, 2023巻, 1号, pp. 135-136, 情報処理学会, 2023年3月. (PDF), (情報処理学会電子図書館)
  • 相馬亮太, 後藤祐一, 三浦隆太, 奥山龍一: 認識プログラミング言語EPLASの改善, 第85回全国大会講演論文集, 2023巻, 1号, pp. 515-516, 情報処理学会, 2023年3月. (PDF), (情報処理学会電子図書館)
  • Lina Feng, Yuichi Goto: Construction of a Multimodal Japanese Tourism Knowledge Graph, 第85回全国大会講演論文集, 2023巻, 1号, pp. 523-524, 情報処理学会, 2023年3月. (PDF), (情報処理学会電子図書館)
  • 木本 翔太, 後藤 祐一: 不安への対処方法の段階的練習を行えるVR暴露療法システムのユーザビリティの向上, 情報処理学会アクセシビリティ研究会 第22回研究会, 情報処理学会研究報告, Vol. 2023-AAC-22, No. 1, pp. 1-6, オンライン, 2023年7月. (PDF), (情報処理学会電子図書館)

2022_

  • 覃 文標, 後藤 祐一: YOLOv4 を用いた省メモリなマスク着用検出システム, 第84回全国大会講演論文集, 2022巻, 1号, pp. 585-586, 情報処理学会, 2022年3月. (PDF), (情報処理学会電子図書館)
  • 久野 亮, 後藤 祐一: 不安を生じさせる環境の段階的再現および各段階での滞在支援を行えるVR暴露療法システムの開発, 第84回全国大会講演論文集, 2022巻, 1号, pp. 899 - 900, 情報処理学会, 2022年3月. (PDF), (情報処理学会電子図書館)
  • 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 (PDF), (SpringerLink)

2021_

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

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. doi: 10.1007/978-3-030-42058-1_5 (PDF), (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. doi: 10.1007/978-3-030-42058-1_6 (PDF), (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月. (PDF)

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. doi: 10.1007/978-3-030-16458-4_23 (PDF), (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. doi: 10.1007/978-981-32-9244-4_36 (PDF),(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. doi: 10.1007/978-3-030-26142-9_1 (PDF), (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, pp. 2159-2175, IEICE, Nov. 2019. doi: 10.1587/transinf.2018EDP7333 (PDF), (J-Stage)

2018_

  • 伊藤 拓也, 後藤 祐一, 程 京徳: 前向き推論エンジンを用いた自動非単調推論 -- デフォルト論理における事例研究, 第80回全国大会講演論文集, 2018巻, 1号, pp. 91 - 92, 情報処理学会, 2018年3月. (PDF), (情報処理学会)
  • 佐久間 亜都武, 後藤 祐一, 高 宏彪, 程 京徳: Linked Data を用いた理論グリッドの構築 -- 公理的集合論の形式理論フラグメントを用いた事例研究, 第80回全国大会講演論文集, 2018巻, 1号, pp. 463 - 464, 情報処理学会, 2018年3月. (PDF), (情報処理学会)
  • 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. doi: 10.1007/978-3-319-75417-8_6 (PDF), (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. doi: 10.1109/SmartWorld.2018.00065 (PDF), (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. doi: 10.1109/SmartWorld.2018.00066 (PDF), (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. doi: 10.1109/SmartWorld.2018.00067 (PDF), (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. doi: 10.1109/SmartWorld.2018.00068 (PDF), (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. doi: 10.1109/SmartWorld.2018.00069 (PDF), (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. doi: 10.1109/SmartWorld.2018.00070 (PDF), (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. doi: 10.1109/SmartWorld.2018.00071 (PDF), (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. doi: 10.1109/SmartWorld.2018.00073 (PDF), (IEEE Xplore)

2017_

  • Yuichi Goto, Hongbiao Gao, and Jingde Cheng: A Predicate Suggestion Algorithm for Automated Theorem Finding with Forward Reasoning, in Ngoc Thanh Nguyen, Satoshi Tojo, Le Minh Nguyen, Bogdan Trawiński (Eds.), "Intelligent Information and Database Systems 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3–5, 2017, Proceedings, Part II," Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 10192, pp. 125-134, Springer, April 2017. doi: 10.1007/978-3-319-54430-4_13 (PDF), (SpringerLINK)

2015_

  • Hongbiao Gao, Yuichi Goto, and Jingde Cheng: Explicitly Epistemic Contraction by Predicate Abstraction in Automated Theorem Finding: A Case Study in NBG Set Theory, in N. T. Nguyen, et al. (Eds.), "Intelligent Information and Database Systems - 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I," Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 9011, pp. 593-602, Springer, March 2015. (PDF), (SpringerLINK)
  • Shunsuke Nanaumi, Kazunori Wagatsuma, Hongbiao Gao, Yuichi Goto, and Jingde Cheng: A Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas, in N. T. Nguyen, et al. (Eds.), "Intelligent Information and Database Systems - 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I," Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 9011, pp. 634-643, Springer, March 2015. (PDF), (SpringerLINK)
  • 我妻 和憲, 後藤 祐一, 程 京徳: 鍵交換プロトコルにおける推論的形式分析手法, 情報処理学会論文誌, Vol. 56, No. 3, pp. 903-910, 情報処理学会, 2015年3月. (PDF), (情報学広場)
  • Shunsuke Nanaumi, Kazunori Wagatsuma, Hongbiao Gao, Yuichi Goto, and Jingde Cheng: Development of a Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas and Its Application, in J. J. Park, H. Chao, H. Arabnia, and N. Y. Yen (Eds.), "Advanced Multimedia and Ubiquitous Engineering - Future Information Technology," Lecture Notes in Electrical Engineering, Vol. 352, pp. 1-6, Springer, Heidelberg, May 2015. (PDF), (SpringerLINK)
  • Zhe Wang, Yuan Zhou, Bo Wang, Yuichi Goto, and Jingde Cheng: An Extension of QSL for E-testing and Its Application in an Offline E-testing Environment, in J. J. Park, H. Chao, H. Arabnia, and N. Y. Yen (Eds.), "Advanced Multimedia and Ubiquitous Engineering - Future Information Technology," Lecture Notes in Electrical Engineering, Vol. 352, pp. 7-14, Springer, Heidelberg, May 2015. (PDF),(SpringerLINK)
  • Bo Wang, Takeo Ekiba, Yuichi Goto, and Jingde Cheng: A Tasking Deadlock Detector for Ada 2012 Programs, in J. J. Park, H. Chao, H. Arabnia, and N. Y. Yen (Eds.), "Advanced Multimedia and Ubiquitous Engineering - Future Information Technology," Lecture Notes in Electrical Engineering, Vol. 352, pp. 15-22, Springer, Heidelberg, May 2015. (PDF),(SpringerLINK)
  • Hongbiao Gao, Yuichi Goto, and Jingde Cheng: Automated Theorem Finding by Forward Reasoning Based on Strong Relevant Logic: A Case Study in Graph Theory, in J. J. Park, H. Chao, H. Arabnia, and N. Y. Yen (Eds.), "Advanced Multimedia and Ubiquitous Engineering - Future Information Technology," Lecture Notes in Electrical Engineering, Vol. 352, pp. 23-30, Springer, Heidelberg, May 2015. (PDF), (SpringerLINK)
  • Kazunori Wagatsuma, Tsubasa Harada, Shogo Anze, Yuichi Goto, and Jingde Cheng: A Supporting Tool for Spiral Model of Cryptographic Protocol Design with Reasoning-Based Formal Analysis, in J. J. Park, H. Chao, H. Arabnia, and N. Y. Yen (Eds.), "Advanced Multimedia and Ubiquitous Engineering - Future Information Technology Volume 2," Lecture Notes in Electrical Engineering, Vol. 354, pp. 25-32, Springer, Heidelberg, July 2015. (PDF), (SpringerLINK)
  • Hongbiao Gao, Yuichi Goto, and Jingde Cheng: A Set of Metrics for Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in NBG Set Theory, in Xiaofei He, Xinbo Gao, Yanning Zhang, Zhi-Hua Zhou, Zhi-Yong Liu, Baochuan Fu, Fuyuan Hu, and Zhancheng Zhang (Eds.), “Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques, 5th International Conference, IScIDE 2015, Suzhou, China, June 14 - 16, 2015, Revised Selected Papers, Part II,” Lecture Notes in Computer Science, Vol. 9243, pp. 508-517, Springer, November 2015. (PDF), (SpringerLINK)

2014_

  • De Su, Yuichi Goto, and Jingde Cheng: Development of a General-Purpose E-Voting Server, Journal of Computer and Communications, Vol. 2, No. 2, pp. 97-100, Scientific Research Publication, January 2014. (Scientific Research)
  • Yuichi Goto, Liqing Xu, Ning Zhang, and Jingde Cheng: User Management in Information Security Engineering Environment ISEE, in M. Chau, H. Chen, G.A. Wang, and J-H. Wang (Eds.), "Intelligence and Security Informatics, Pacific Asia Workshop, PAISI 2014, Tainan, Taiwan, May 13, 2014. Proceedings," Lecture Notes in Computer Science, Vol. 8440, pp. 18-34, Springer, Heidelberg, May 2014. (PDF), (SpringerLink)
  • Liqing Xu, Yuichi Goto, Ahamad Iqbal Hakim Suhaimi, Ning Zhang, and Jingde Cheng: Active and Personalized Services in An Information Security Engineering Cloud Based on ISO/IEC 15408, in M. Chau, H. Chen, G.A. Wang, and J. Wang (Eds.), "Intelligence and Security Informatics, Pacific Asia Workshop, PAISI 2014, Tainan, Taiwan, May 13, 2014. Proceedings," Lecture Notes in Computer Science, Vol. 8440, pp. 35-48, Springer, Heidelberg, May 2014. (PDF), (SpringerLink)
  • Yuichi Goto: Strong Relevant Logic-Based Reasoning as an Information Mining Method in Big Information Era, in J. J. Park, Y. Pan, C.-S. Kim, and Y. Yan (Eds.), "Future Information Technology, FutureTech 2014," Lecture Notes in Electrical Engineering, Vol. 309, pp 9-16, Springer, Heidelberg, May 2014. (PDF), (SpringerLink)
  • Hongbiao Gao, Yuichi Goto, and Jingde Cheng: Research on Automated Theorem Finding: Current State and Future Directions,in J. J. Park, Y. Pan, C.-S. Kim, and Y. Yan (Eds.), "Future Information Technology, FutureTech 2014," Lecture Notes in Electrical Engineering, Vol. 309, pp 105-110, Springer, Heidelberg, May 2014. (PDF), (SpringerLink)
  • Ahmad Iqbal Hakim Suhaimi, Yuichi Goto, and Jingde Cheng: An Engineering Environment Based on ISO/IEC 27000 Series Standards for Supporting Organizations with ISMSs, in J. J. Park, Y. Pan, C.-S. Kim, and Y. Yan (Eds.), "Future Information Technology, FutureTech 2014," Lecture Notes in Electrical Engineering, Vol. 309, pp 195-201, Springer, Heidelberg, May 2014. (PDF), (SpringerLink)
  • Kazunori Wagatsuma, Shogo Anze, Yuichi Goto, and Jingde Cheng: Formalization for Formal Analysis of Cryptographic Protocols with Reasoning Approach, in J. J. Park, Y. Pan, C.-S. Kim, and Y. Yan (Eds.), "Future Information Technology, FutureTech 2014," Lecture Notes in Electrical Engineering, Vol. 309, pp 211-218, Springer, Heidelberg, May 2014. (PDF), (SpringerLink)
  • Ahmad Iqbal Hakim Suhaimi, Yuichi Goto, and Jingde Cheng: An Information Security Management Database System (ISMDS) for Engineering Environment Supporting Organizations with ISMSs, IEICE Transactions on Information and Systems, Vol. E97.D, No. 6, pp. 1516-1527, IEICE, June 2014. (PDF), (IEICE SEARCH SYSTEM)
  • Yuichi Goto, Huilin Chen, and Da Bao: Aspect-Oriented Reuse Mechanism for Security Targets and Protection Profiles, Proceedings of the 5th IEEE International Conference on Software Engineering and Service Science (ICSESS 2014), pp. 161-164, Beijing, China, IEEE press, June 2014. (PDF), (IEEE Xplore)
  • Yuan Zhou, Yuichi Goto, and Jingde Cheng: QSL: A Specification Language for E-questionnaire Systems, Proceedings of the 5th IEEE International Conference on Software Engineering and Service Science (ICSESS 2014), pp. 224-230, Beijing, China, IEEE press, June 2014. (PDF), (IEEE Xplore)
  • Bo Wang, Yuichi Goto, and Jingde Cheng: Queue Operation Related Tasking Deadlocks in Ada 2012 Programs, ACM Ada Letters, Vol. 34, No. 2, pp. 9-25, ACM Press, August 2014. (PDF), (ACM Digital Library)
  • Yuichi Goto: Information Mining for Big Information,in W. Pedrycz and S.-M. Chen (Eds.), "Information Granularity, Big Data, and Computational Intelligence, 2015th ed." Studies in Big Data, Vol. 8, pp. 23-38, Springer International Publishing, September 2014. (PDF), (SpringerLink)
  • Hongbiao Gao, Yuichi Goto, and Jingde Cheng: A Systematic Methodology for Automated Theorem Finding, Theoretical Computer Science, Vol. 554, pp. 2-21, Elsevier, October 2014. (PDF), (ScientDirect)
  • Ahmad Iqbal Hakim Suhaimi, Da Bao, Yuichi Goto, and Jingde Cheng: Development of An Information Security Management Engineering Environment ISMEE, in J. J. Park, et al. (Eds.), "Computer Science and its Applications, Ubiquitous Information Technologies," Lecture Notes in Electrical Engineering, Vol. 330, pp. 1325-1330, Springer, Heidelberg, December 2014. (PDF), (SpringerLINK)
  • Da Bao, Yuichi Goto, and Jingde Cheng: Predicting New Attacks for Information Security, in J. J. Park, et al. (Eds.), "Computer Science and its Applications, Ubiquitous Information Technologies," Lecture Notes in Electrical Engineering, Vol. 330, pp. 1353-1358, Springer, Heidelberg, December 2014. (PDF), (SpringerLINK)
  • Huilin Chen, Da Bao, Yuichi Goto, and Jingde Cheng: A Supporting Environment for IT System Security Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045, in J. J. Park, et al. (Eds.), "Computer Science and its Applications, Ubiquitous Information Technologies," Lecture Notes in Electrical Engineering, Vol. 330, pp. 1359-1366, Springer, Heidelberg, December 2014. (PDF), (SpringerLINK)
  • Yuichi Goto and Jingde Cheng: A Transformation Mechanism between Sensory Data and Logical Formulas for Anticipatory Reasoning-Reacting Systems, International Journal of Computing Anticipatory Systems, Vol. 28, pp. 43-56, CHAOS, December, 2014. (PDF), (Table of Contents)
  • Kai Shi, Kazunori Wagatsuma, Yuichi Goto, and Jingde Cheng: World Model, Predictive Model, and Behavioral Model of an Anticipatory Reasoning-Reacting System for Runway Incursion Prevention, International Journal of Computing Anticipatory Systems, Vol. 28, pp. 67-88, CHAOS, December, 2014. (PDF), (Table of Contents)
  • Kai Shi, Yuichi Goto, and Jingde Cheng: A Software Development Framework for Various Anticipatory Reasoning-Reacting Systems, International Journal of Computing Anticipatory Systems, Vol. 28, pp. 95-107, CHAOS, December, 2014. (PDF), (Table of Contents)

2013_

  • Kai Shi, Yuichi Goto, Zhiliang Zhu, and Jingde Cheng: Anticipatory Emergency Elevator Evacuation Systems, in A. Selamat, N. T. Nguyen, and H. Haron (Eds.), "Intelligent Information and Database Systems, 5th Asian Conference, ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, Proceedings, Part I," Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 7802, pp. 117-126, Springer, March 2013. (PDF), (SpringerLink)
  • Takeo Ekiba, Yuichi Goto, and Jingde Cheng: New Types of Tasking Deadlocks in Ada 2012 Programs, ACM Ada Letters, Vol. 33, No. 1, pp. 169-179, ACM Press, April 2013. (PDF), (ACM Digital Library)
  • Liqing Xu, Bo Wang, Ning Zhang, Yuichi Goto, Jingde Cheng: Providing Users With Suitable Services of Information Security Engineering Cloud Based on ISO/IEC 15408, Proceedings of the 4th IEEE International Conference on Software Engineering and Service Science (ICSESS 2013), pp. 321-325, Beijing, China, IEEE press, May 2013. (PDF), (IEEE Xplore)
  • Bo Wang, Yuichi Goto, Jingde Cheng: New Types of Program Dependences and Interprocedural Relations in Ada 2012 Programs, Proceedings of the 4th IEEE International Conference on Software Engineering and Service Science (ICSESS 2013), pp. 718-723, Beijing, China, IEEE press, May 2013. (PDF), (IEEE Xplore)
  • Kai Shi, Bo Wang, Yuichi Goto, Zhiliang Zhu, Jingde Cheng: An Anticipatory Reasoning-Reacting System for Defending Against Malice Anticipatorily, Proceedings of the 4th IEEE International Conference on Software Engineering and Service Science (ICSESS 2013), pp. 732-737, Beijing, China, IEEE press, May 2013. (PDF), (IEEE Xplore)
  • Hongbiao Gao, Kai Shi, Yuichi Goto, Jingde Cheng: Finding Theorems in NBG Set Theory by Automated Forward Deduction Based on Strong Relevant Logic, in D. Z. Du and G. Zhang (Eds.), "Computing and Combinatorics, 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings," Lecture Notes in Computer Science, Vol. 7936, pp. 697-704, Springer-Verlag, June 2013. (PDF), (SpringerLINK)
  • Kai Shi, Yuichi Goto, Zhiliang Zhu, and Jingde Cheng: Making Existing Reactive Systems Anticipatory, in R. Lee (Ed.), "Computer and Information Science," Studies in Computational Intelligence, Vol. 493, pp.17-32, Springer-Verlag, June 2013. (PDF), (SpringerLINK)
  • Shunsuke Nanaumi, Kazunori Wagatsuma, Yuichi Goto, and Jingde Cheng: Development of a Supporting Tool for Translation between Declarative Sentences and Logical Formulas, Proceedings of the 12th International Conference on Machine Learning and Cybernetics (ICMLC 2013), pp. 1179-1184, Tianjin, China, The IEEE Systems, Man, and Cybernetics Society, July 2013. (PDF)
  • 後藤 祐一, 程 京徳: 電子試験サーバを利用した大学1年生向け情報系数学教育の実践, 情報教育シンポジウム (SSS 2013) 論文集, 情報処理学会シンポジウムシリーズ, Vol. 2013, No. 2, pp. 55 - 62, 岩手県雫石町, 日本, 2013年8月. (PDF), (埼玉大学機関リポジトリ)
  • Ahmad Iqbal Hakim Suhaimi, Yuichi Goto, and Jingde Cheng: An Analysis of Software Supportable Tasks in Information Security Management System Life Cycle Processes, Proceedings of International Conference on Information and Social Science (ISS 2013), pp. 29-58, Nagoya, Japan, September 2013. (PDF), (Online Proc. of ISS 2013)
  • Hongbiao Gao, Yuichi Goto, and Jingde Cheng: Automated Theorem Finding by Forward Deduction based on The Semi-lattice Model of Formal Theory: A Case Study in NBG Set, Proceedings of the 9th International Conference on Semantics, Knowledge and Grid (SKG 2013), pp. 22 - 29, Beijing, China, IEEE Computer Society Press, October 2013. (PDF), (IEEE Xplore)
  • Kai Shi, Yuichi Goto, Zhiliang Zhu, and Jingde Cheng: Anticipatory Runway Incursion Prevention Systems, IEICE Transactions on Information and Systems, Vol. E96-D, No. 11, pp. 2385-2396, IEICE, November 2013. (PDF), (J-Stage)
  • Ning Zhang, Ahmad Iqbal Hakim Suhaimi, Yuichi Goto, and Jingde Cheng: An Analysis of Software Supportable Tasks Related with ISO/IEC 15408, Proceedings of the 9th International Conference on Computational Intelligence and Security (CIS 2013), E'Mei Shan, China, pp. 601-606, IEEE Computer Society Press, December 2013. (PDF), (IEEE Xplore)
  • Ning Zhang, Da Bao, Liqing Xu, A.I.H Suhaimi, Junichi Miura, Yuichi Goto, and Jingde Cheng: Supporting Tools for Software Supportable Tasks Related with ISO/IEC 15408, Proceedings of the 2nd International Conference on Mechatronic Sciences, Electric Engineering and Computer (MEC 2013), Shenyang, China, pp. 2002-2006, IEEE Press, December 2013. (PDF)
  • Da Bao, Junichi Miura, Ning Zhang, Yuichi Goto, and Jingde Cheng: Supporting Verification and Validation of Security Targets with ISO/IEC 15408, Proceedings of the 2nd International Conference on Mechatronic Sciences, Electric Engineering and Computer (MEC 2013), Shenyang, China, pp. 2621-2628, IEEE Press, December 2013. (PDF)

2012_

  • Quazi Mahera Jabeen, Muhammad Anwarul Azim, Yuichi Goto, and Jingde Cheng: Continuous Functioning of Soft System Bus Based Centralized Persistent Computing Systems, International Journal of New Computer Architectures and their Applications, Vol. 2, No. 2, pp. 362-381, The Society of Digital Information and Wireless Communications, April 2012. (PDF in IJNCAA Web site)
  • Jingde Cheng, Masami Someya, Koichi Nanashima, and Yuichi Goto: Dynamic Reconfiguration of Persistent Computing Systems Based on Soft System Bus, Proceedings of the 2nd IEEE International Conference on Computer Science and Automation Engineering (CSAE 2012), Vol. 2, pp. 368 - 372, Zhangjiajie, China, IEEE Press, May 2012. (Prof. Cheng's Page), (IEEE Xplorer)
  • Bo Wang, Kai Shi, Yuichi Goto, and Jingde Cheng: Generation of System Dependence Nets for Ada 2005 Programs, Proceedings of the 2nd IEEE International Conference on Computer Science and Automation Engineering (CSAE 2012), Vol. 3, pp. 401 - 406, Zhangjiajie, China, IEEE Press, May 2012. (PDF), (IEEE Xplorer)
  • Gefei Sun, Kenichi Yajima, Junichi Miura, Kai Shi, Yuichi Goto, and Jingde Cheng: A Supporting Tool for Creating and Maintaining Security Targets According to ISO/IEC 15408, Proceedings of the 3rd IEEE International Conference on Software Engineering and Service Science (ICSESS 2012), pp. 745 - 749, Beijing, China, IEEE Press, June 2012. (PDF), (IEEE Xplorer)
  • Liqing Xu, Kai Shi, Yuichi Goto, and Jingde Cheng: ISEC: An Information Security Engineering Cloud, Proceedings of the 3rd IEEE International Conference on Software Engineering and Service Science (ICSESS 2012), pp. 750 - 753, Beijing, China, IEEE Press, June 2012. (PDF), (IEEE Xplorer)
  • Jingzhou Wang, Yuichi Goto, and Jingde Cheng: Internationalization of ENQUETE-BAISE: A General-Purpose E-questionnaire Server for Ubiquitous Questionnaire, in W. Zhang (Ed.), Software Engineering and Knowledge Engineering: Theory and Practice, Selected Papers from 2012 International Conference on Software Engineering, Knowledge Engineering and Information Engineering (SEKEIE 2012), Advances in Intelligent and Soft Computing, Vol. 162, pp. 781-787, Springer-Verlag, July 2012. (SpringerLINK)
  • Ryota Kuboniwa, Yuichi Goto, and Jingde Cheng: Evolutionary Personal Information Partners for Students Studying in Universities, in W. Zhang (Ed.), Software Engineering and Knowledge Engineering: Theory and Practice, Selected Papers from 2012 International Conference on Software Engineering, Knowledge Engineering and Information Engineering (SEKEIE 2012), Advances in Intelligent and Soft Computing, Vol. 162, pp. 789-795, Springer-Verlag, July 2012. (SpringerLINK)
  • Jumpei Suzuki, Yuichi Goto and Jingde Cheng: Development of a General-Purpose E-testing Server for Ubiquitous Test, in W. Zhang (Ed.), Software Engineering and Knowledge Engineering: Theory and Practice, Selected Papers from 2012 International Conference on Software Engineering, Knowledge Engineering and Information Engineering (SEKEIE 2012), Advances in Intelligent and Soft Computing, Vol. 162, pp. 797-803, Springer-Verlag, July 2012. (SpringerLINK)
  • Hongbiao Gao, Kai Shi, Yuichi Goto, and Jingde Cheng: Automated Theorem Finding by Forward Deduction Based on Strong Relevant Logic: A Case Study in NBG Set Theory, Proceedings of the International Conference on Machine Learning and Cybernetics (ICMLC 2012), pp. 1859 - 1865, Xi'an, China, IEEE Press, July 2012. (PDF), (IEEE Xplorer)
  • Kazunori Wagatsuma, Yuichi Goto, and Jingde Cheng: Formal Analysis of Cryptographic Protocols by Reasoning Based on Deontic Relevant Logic: A Case Study in Needham-Schroeder Shared-Key Protocol, Proceedings of the International Conference on Machine Learning and Cybernetics (ICMLC 2012), pp. 1866 - 1871, Xi'an, China, IEEE Press, July 2012. (PDF), (IEEE Xplorer)
  • Yuichi Goto, Hongbiao Gao, Takahiro Tsuji, and Jingde Cheng: Practical Usage of FreeEnCal: an Automated Forward Reasoning Engine for General-Purpose, Proceedings of the International Conference on Machine Learning and Cybernetics (ICMLC 2012), pp. 1878 - 1883, Xi'an, China, IEEE Press, July 2012. (PDF), (IEEE Xplorer)
  • Yuichi Goto and Jingde Cheng: A Truth Maintenance System for Epistemic Programming Environment, (Invited Paper), Proceedings of the 8th International Conference on Semantics, Knowledge and Grid (SKG '12), Beijing, China, pp. 1 - 8, IEEE Computer Society Press, October 2012. (PDF), (IEEE Xplorer)
  • Ahmad Iqbal Hakim Suhaimi, Yuichi Goto, and Jingde Cheng: An Engineering Environment for Supporting Information Security Management Systems, in T. Kim, et al. (Eds.), "Computer Applications for Security, Control and System Engineering, International Conferences, SecTech, CA, CES3 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings," Communications in Computer and Information Science, Vol. 339, pp. 30-37, Springer-Verlag, November 2012. (PDF), (SpringLINK)

2011_

  • Muhammad Anwarul Azim, Yuichi Goto, and Jingde Cheng: Security Analysis of Peer-to-Peer based Soft System Bus Based System, International Journal of Computer Science and Network Security, Vol. 11, No. 2, pp. 164-172, February 2011. (IJCSNS.org)
  • Wencheng Fang, Isao Takahashi, Yuichi Goto, and Jingde Cheng: Practical Implementation of EPLAS: An Epistemic Programming Language for All Scientists, Proceedings of the 10th International Conference on Machine Learning and Cybernetics (ICMLC '11), Vol. 2, pp. 608-616, Guilin, China, The IEEE Systems, Man, and Cybernetics Society, July 2011. (PDF), (IEEE Xplore)
  • Kai Shi, Kazunori Wagatsuma, Yuichi Goto, and Jingde Cheng: World Model, Predictive Model, and Behavioral Model of an Anticipatory Reasoning-Reacting System for Runway Incursion Prevention, Abstract Book of the Tenth International Conference on Computing Anticipatory Systems (CASYS '11), Symposium 4, p. 4, Liege, Belgium, CHAOS, August 2011.
  • Yuichi Goto and Jingde Cheng: A Transformation Mechanism between Sensory Data and Logical Formulas for Anticipatory Reasoning-Reacting Systems, Abstract Book of the Tenth International Conference on Computing Anticipatory Systems (CASYS '11), Symposium 4, pp. 6-7, Liege, Belgium, CHAOS, August 2011.
  • Kai Shi, Yuichi Goto, and Jingde Cheng: A Framework for Various Anticipatory Reasoning-Reacting Systems Abstract Book of the Tenth International Conference on Computing Anticipatory Systems (CASYS '11), Symposium 4, p. 10, Liege, Belgium, CHAOS, August 2011.
  • Ahmad Iqbal Hakim Suhaimi, Takashi Manji, Yuichi Goto, and Jingde Cheng: A Systematic Management Method of ISO Information Security Standards for Information Security Engineering Environments, in A. Abd Manaf, et al. (Eds.), "Informatics Engineering and Information Science, International Conference, ICIEIS 2011 Kuala Lumpur, Malaysia, November 14-16, 2011 Proceedings, Part I," Communications in Computer and Information Science, Vol. 251, pp. 370-384, Springer-Verlag, November 2011. (PDF), (SpringerLINK)
  • Quazi Mahera Jabeen, Muhammad Anwarul Azim, Yuichi Goto, and Jingde Cheng: A Design of Centralized Persistent Computing Systems, in A. Abd Manaf, et al. (Eds.), "Informatics Engineering and Information Science, International Conference, ICIEIS 2011 Kuala Lumpur, Malaysia, November 14-16, 2011 Proceedings, Part I," Communications in Computer and Information Science, Vol. 251, pp. 604-617, Springer-Verlag, November 2011. (PDF), (SpringerLINK)

2010_

  • Takahiro Koh, Yuichi Goto, and Jingde Cheng: A Fast Algorithm for Derivation Process in Forward Reasoning Engines, International Journal of Computational Science, Vol. 4, No. 3, pp. 219-231, Global Information Publisher, June 2010. (PDF),(International Journal of Computational Science, Vol. 4, No. 3
  • Takahiro Koh, Yuichi Goto, and Jingde Cheng: Fast Anticipatory Reasoning for Computing Anticipatory Systems, International Journal of Computing Anticipatory Systems, Vol. 24, pp. 42-53, CHAOS, December 2010. (PDF)
  • Yuichi Goto, Ryota Kuboniwa, and Jingde Cheng: Development and Maintenance Environment for Anticipatory Reasoning-Reacting Systems, International Journal of Computing Anticipatory Systems, Vol. 24, pp. 61-72, CHAOS, December 2010. (PDF)

2009_

  • Kenichi Yajima, Shoichi Morimoto, Daisuke Horie, Noor Shelia Azreen, Yuichi Goto, and Jingde Cheng: FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408, Proceedings of the 4th International Conference on Availability, Reliability and Security (ARES '09), pp. 624-629, Fukuoka, Japan, IEEE Computer Society Press, March 2009. (PDF), (IEEE-CS Digital Library)
  • Youcheng Chen, Mohammad Reza Selim, Yuichi Goto, and Jingde Cheng: An Improvement of REM: A Replication Oriented Event-based Middleware, Proceedings of the 4th International Conference on Availability, Reliability and Security (ARES '09), pp. 641-646, Fukuoka, Japan, IEEE Computer Society Press, March 2009. (PDF), (IEEE-CS Digital Library)
  • Daisuke Horie, Kenichi Yajima, Noor Azimah, Yuichi Goto, and Jingde Cheng: GEST: A Generator of ISO/IEC 15408 Security Target Templates, in R. Lee, G. Hu, and H. Miao (Eds.), "Computer and Information Science 2009," Studies in Computational Intelligence, Vol. 208, pp. 149-158, Springer-Verlag, May 2009. (PDF), (SpringerLINK)
  • Daisuke Horie, Toshio Kasahara, Yuichi Goto, and Jingde Cheng: A New Model of Software Life Cycle Processes for Consistent Design, Development, Management, and Maintenance of Secure Information Systems, Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science (ICIS '09), pp. 897-902, Shanghai, China, IEEE Computer Society Press, June 2009. (PDF), (IEEE-CS Digital Library)
  • Natsumi Kitajima, Yuichi Goto, and Jingde Cheng: Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control, in E. Corchado, X. Wu, and E. Oja (Eds.), "Hybrid Artificial Intelligence Systems, 4th International Conference, HAIS09, Salamanca, Spain, June 10-12, Proceedings," Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 5572, pp. 68-76, Springer-Verlag, June 2009. (PDF), (SpringerLINK)
  • Jingde Cheng, Yuichi Goto, and Daisuke Horie: ISEE: An Information Security Engineering Environment, Proceedings of International Conference on Security and Cryptography (SECRYPT '09), pp. 395-400, Milan, Italy, INSTICC Press, July 2009. (Prof. Cheng's Page)
  • Yuichi Goto, Ryota Kuboniwa, and Jingde Cheng: Development and Maintenance Environment for Anticipatory Reasoning-Reacting Systems, Abstract Book of the Ninth International Conference on Computing Anticipatory Systems (CASYS '09), Symposium 4, p. 8, Liege, Belgium, CHAOS, August 2009.
  • Takahiro Koh, Yuichi Goto, and Jingde Cheng: Fast Anticipatory Reasoning for Computing Anticipatory Systems, Abstract Book of the Ninth International Conference on Computing Anticipatory Systems (CASYS '09), Symposium 4, p. 5, Liege, Belgium, CHAOS, August 2009.
  • Jingde Cheng, Yuichi Goto, Daisuke Horie, Junichi Miura, Toshio Kasahara, and Ahmad Iqbal, Development of ISEE: An Information Security Engineering Environment, Proceedings of the 7th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA '09), pp. 505-510, Chengdu, China, IEEE Computer Society Press, August 2009. (Prof. Cheng's Page), (IEEE-CS Digital Library)
  • Ahmad Iqbal, Daisuke Horie, Yuichi Goto, and Jingde Cheng: A Database System for Effective Utilization of ISO/IEC 27002, Proceedings of the 4th International Conference on Frontier of Computer Science and Technology (FCST '09), pp. 607-612, Shanghai, China, IEEE Computer Society Press, December 2009. (PDF), (IEEE-CS Digital Library)
  • Yuichi Goto and Jingde Cheng: Information Assurance, Privacy, and Security in Ubiquitous Questionnaire, Proceedings of the 4th International Conference on Frontier of Computer Science and Technology (FCST '09), pp. 619-624, Shanghai, China, IEEE Computer Society Press, December 2009. (PDF), (IEEE-CS Digital Library)

2008 _

  • Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, and Jingde Cheng: Classification, Formalization and Verification of Security Functional Requirements, in V. Geffert et al. (Eds.), "SOFSEM 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, High Tatras, Slovakia, January 19-25, 2008, Proceedings," Lecture Notes in Computer Science, Vol. 4910, pp. 622-633, Springer-Verlag, January 2008. (PDF), (SpringerLINK)
  • Natsumi Kitajima, Yuichi Goto, and Jingde Cheng: Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems, Proceedings of the 3rd International Conference on Availability, Reliability and Security (ARES '08), pp. 171-178, Barcelona, Spain, IEEE Computer Society Press, March 2008. (PDF), (IEEE-CS Digital Library)
  • Daisuke Horie, Shoichi Morimoto, Noor Azimah, Yuichi Goto, and Jingde Cheng: ISEDS: An Information Security Engineering Database System Based on ISO Standards, Proceedings of the 3rd International Conference on Availability, Reliability and Security (ARES '08), pp. 1219-1225, Barcelona, Spain, IEEE Computer Society Press, March 2008. (PDF), (IEEE-CS Digital Library)
  • Jingde Cheng, Yuichi Goto, Shoichi Morimoto, and Daisuke Horie: A Security Engineering Environment Based on ISO/IEC Standards: Providing Standard, Formal, and Consistent Supports for Design, Development, Operation, and Maintenance of Secure Information Systems, Proceedings of the 2nd International Conference on Information Security and Assurance (ISA '08), pp. 350-354, Busan, Korea, IEEE Computer Society Press, April 2008. (Prof. Cheng's Page), (IEEE-CS Digital Library)
  • Mohammad Reza Selim, Yuichi Goto, and Jingde Cheng: Ensuring Reliability and Availability of Soft System Bus, Proceedings of the 2nd IEEE International Conference on Secure System Integration and Reliability Improvement (SSIRI '08), pp. 52-59, Yokohama, Japan, The IEEE Reliability Society and The IEEE Systems, Man, and Cybernetics Society, July 2008. (PDF), (IEEE-CS Digital Library)
  • Mohammad Reza Selim, Yuichi Goto, and Jingde Cheng: A Low Cost and Resilient Message Queuing Middleware, International Journal of Computer Science and Network Security, Vol. 8, No. 8, pp. 225-237, August 2008. (PDF), (IJCSNS.org)
  • Takahiro Koh, Yuichi Goto, and Jingde Cheng: A Fast Duplication Checking Algorithm for Forward Reasoning Engines, in I. Lovrek, R. J. Howlett, and L. C. Jain (Eds.), "Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings," Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 5178, pp. 499-507, Springer-Verlag, September 2008. (PDF), (SpringerLINK)
  • Yuichi Goto, Takahiro Koh, and Jingde Cheng: A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations, in I. Lovrek, R. J. Howlett, and L. C. Jain (Eds.), "Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part II," Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 5178, pp. 526-535, Springer-Verlag, September 2008. (PDF), (SpringerLINK)
  • Jingde Cheng, Yuichi Goto, and Natsumi Kitajima: Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning-Reacting Systems, in D. M. Dubois (Ed.), "Computing Anticipatory Systems: CASYS 2007 - Eighth International Conference, Liege, Belgium, 6-11 August 2007," AIP Conference Proceedings, Vol. 1051, pp. 244-254, American Institute of Physics, November 2008. (Best Paper Award awarded at the Eighth International Conference on Computing Anticipatory Systems) (Prof. Cheng's Page), (AIP Conference Proceedings
  • Natsumi Kitajima, Shisuke Nara, Yuichi Goto, and Jingde Cheng: A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems, International Journal of Computing Anticipatory Systems, Vol. 20, pp. 177-190, CHAOS, December 2008. (PDF)
  • Yuichi Goto, Takumi Endo, and Jingde Cheng: Continuous Reactability of Persistent Computing Systems, International Journal of Computing Anticipatory Systems, Vol. 20, pp. 219-229, CHAOS, December 2008. (PDF)

2007_

  • 染谷 雅美, Mohammad Reza Selim, 後藤 祐一, 程 京徳: 動的再構成の観点からのソフトシステムバスとエンタープライズサービスバスの比較, 情報処理学会ソフトウェア工学研究会(SIGSE) 2007年ウィンターワークショップ(WWS'07)論文集, 情報処理学会シンポジウムシリーズ Vol. 2007, No. 2, pp. 77-78, 那覇, 日本, 2007年1月. (PDF)
  • Yuichi Goto and Jingde Cheng: A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic, Electronic Notes in Theoretical Computer Science, "Proceedings of the Workshop on Logic, Model and Computer Science (LMCS06), Camerino, Italy, 20-22 April 2006," Vol. 169, pp. 87-97, Elsevier B.V., March 2007. (PDF), (ScienceDirect)
  • Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, and Jingde Cheng: Formal Verification of Security Specifications with Common Criteria, Proceedings of the 22nd Annual ACM Symposium on Applied Computing (SAC'07), pp. 1506-1512, Seoul, Korea, ACM, March 2007. (PDF), (ACM Portal)
  • Isao Takahashi, Shinsuke Nara, Yuichi Goto, and Jingde Cheng: EPLAS: An Epistemic Programming Language for All Scientists, in Y. Shi (Eds.), "Computational Science - ICCS 2007: 7th International Conference, Beijing, China, May 27-30, 2007, Proceedings, Part I," Lecture Notes in Computer Science, Vol. 4487, pp. 406-413, Springer-Verlag, May 2007. (PDF), (SpringerLINK)
  • Mohammad Reza Selim, Takumi Endo, Yuichi Goto, and Jingde Cheng: Distributed Hash Table Based Design of Soft System Buses, Proceedings of the 2nd International Conference on Scalable Information Systems (INFOSCALE '07), Suzhou, China, ACM, June 2007. (PDF), (ACM Portal)
  • 堀江 大輔, 森本 祥一, 後藤 祐一, 程 京徳: 情報セキュリティ工学データベースシステムISEDSの開発と応用, 情報処理学会論文誌, Vol. 48, No. 8, pp. 2684-2698, 情報処理学会, 2007年8月. (PDF), (CiNii)
  • Natsumi Kitajima, Shisuke Nara, Yuichi Goto, and Jingde Cheng: A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems, 8th International Conference on Computing Anticipatory Systems (CASYS'07), Symposium 2, p. 12, Liege, Belgium, CHAOS, August 2007.
  • Yuichi Goto, Takumi Endo, and Jingde Cheng: Continuous Reactability of Persistent Computing Systems, 8th International Conference on Computing Anticipatory Systems (CASYS '07), Symposium 4, p. 11, Liege, Belgium, CHAOS, August 2007.
  • Jingde Cheng, Yuichi Goto, and Natsumi Kitajima: Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning-Reacting Systems, 8th International Conference on Computing Anticipatory Systems (CASYS '07), Symposium 4, p. 13, Liege, Belgium, CHAOS, August 2007.
  • Jingde Cheng, Shinsuke Nara, and Yuichi Goto: FreeEnCal: A Forward Reasoning Engine with General-Purpose, in B. Apolloni, R. J. Howlett, and L. C. Jain (Eds.), "Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007, Proceedings, Part II," Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 4693, pp. 444-452, Springer-Verlag, September 2007. (Prof. Cheng's Page), (SpringerLINK)
  • Jingde Cheng, Yuichi Goto, Shinsuke Nara, and Takahiro Koh: A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing, in B. Apolloni, R. J. Howlett, and L. C. Jain (Eds.), "Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007, Proceedings, Part II," Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 4693, pp. 840-851, Springer-Verlag, September 2007. (Prof. Cheng's Page), (SpringerLINK)
  • Mohammad Reza Selim, Yuichi Goto, and Jingde Cheng: A Replication Oriented Approach to Event Based Middleware Over Structured Peer to Peer Networks, Proceedings of the 5th International Workshop on Middleware for Pervasive and Ad-Hoc Computing, A Workshop of ACM/IFIP/USENIX 8th International Middleware Conference (MPAC 2007 of Middleware 2007), pp. 61-66, Newport Beach, USA, ACM Press, November 2007. (PDF), (ACM Portal)
  • Takumi Endo, Yuichi Goto, and Jingde Cheng: Measuring Reactability of Persistent Computing Systems, in M. Lumpe and W. Vanderperren (Eds.), "Software Composition: 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers," Lecture Notes in Computer Science, Vol. 4829, pp. 144-151, Springer-Verlag, December 2007. (PDF), (SpringerLINK)
  • Jingde Cheng, Yuichi Goto, Masato Koide, Keigo Nagahama, Masami Someya, Yusuke Utsumi, and Ayaka Shionoiri: ENQUETE-BAISE: A General-Purpose E-Questionnaire Server for Ubiquitous Questionnaire, Proceedings of the 2nd IEEE Asia-Pacific Services Computing Conference (APSCC '07), pp. 187-194, Tsukuba, Japan, IEEE Computer Society Press, December 2007. (Best Paper Award) (Prof. Cheng's Page), (IEEE-CS Digital Library)

2006_

  • 後藤 祐一, 遠藤 匠, 染谷 雅美, 高橋 勲男, 程 京徳: 人の集まりを支援するツールQWikS(クウィックス)(ポスター論文), 情報処理学会第47回プログラミングシンポジウム論文集, pp. 175-176, 箱根, 日本, 2006年1月. (PDF)
  • 通 拉ガ, 染谷 雅美, 後藤 祐一, 程 京徳: Webアプリケーションシステムにおけるパフォーマンスボトルネックの分類と考察, 情報処理学会ソフトウェア工学研究会(SIGSE) 2002年ウィンターワークショップ(WWS'06)論文集, 情報処理学会シンポジウムシリーズ Vol. 2006, No. 2, pp. 39-40, 鴨川, 日本, 2006年1月.(PDF)
  • 染谷 雅美, 内海 悠輔, 塩野入 彩香, 後藤 祐一, 程 京徳: ユビキタスサービスのための汎用電子アンケートサーバ ENQUETE-BAISE, 情報処理学会ソフトウェア工学研究会(SIGSE) 2002年ウィンターワークショップ(WWS'06)論文集, 情報処理学会シンポジウムシリーズ Vol. 2006, No. 2, pp. 41-42, 鴨川, 日本, 2006年1月. (PDF)
  • Yuichi Goto and Jingde Cheng: A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic, Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC'06), pp. 42-43, Dijon, France, April 2006. (Short paper) (PDF), (ACM Portal)
  • Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, and Jingde Cheng: A Security Specification Verification Technique Based on the International Standard ISO/IEC 15408, Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC'06), pp. 1802-1803, Dijon, France, April 2006. (PDF), (ACM Portal)
  • Feng Shang, Shinsuke Nara, Takashi Omi, Yuichi Goto, and Jingde Cheng: A Prototype Implementation of an Anticipatory Reasoning-Reacting System, in D. M. Dubois (Ed.), "Computing Anticipatory Systems: CASYS 2005 - Seventh International Conference, Liege, Belgium, 8-13 August 2005," AIP Conference Proceedings, Vol. 839, pp. 401-414, American Institute of Physics, June 2006. (PDF), (AIP Conference Proceedings)
  • 森本 祥一, 重松 真二郎, 後藤 祐一, 程 京徳: ISO/IEC 15408 に基づく定理証明とモデル検査による情報セキュリティ仕様の検証技法, 日本ソフトウェア科学会「コンピュータソフトウェア」, 日本ソフトウェア科学会「コンピュータソフトウェア」, Vol. 23, No. 3, pp. 117-133, 2006年7月.(PDF), (J-STAGE), (SUCRA)
  • Jingde Cheng, Yuichi Goto, Masami Someya, and Takumi Endo: Persistent Computing Systems as an Infrastructure for Pervasive Services, Proceedings of the 1st International Symposium on Pervasive Computing and Applications (SPCA'06), pp. 104-109, Urumchi, China, IEEE Computer Society, August 2006. (PDF), (IEEE Xplore)
  • 堀江 大輔, 森本 祥一, 後藤 祐一, 程 京徳: 情報セキュリティ工学データベースシステムISEDSの開発と応用, 満田 成紀・羽生田 栄一編, ソフトウェアエンジニアリング最前線2006, pp. 59-66, 近代科学社, 2006年10月. (PDF)
  • Mohammad Reza Selim, Takumi Endo, Yuichi Goto, and Jingde Cheng: A Comparative Study between Soft System Bus and Traditional Middlewares, in R. Meersman, Z. Tari, P. Herrero et al. (Eds.), "On the Move to Meaningful Internet Systems and Ubiquitous Computing 2006: OTM 2006 Workshops, Montpellier, France, October 30 - November 3, 2006, Proceedings," Lecture Notes in Computer Science, Vol. 4278, pp. 1264-1273, Springer-Verlag, October 2006. (PDF), (SpringerLINK)
  • Jingde Cheng, Shinsuke Nara, Takahiro Koh, and Yuichi Goto: The Theory Grid and Grid Theorists, Proceedings of the 2nd International Conference on Semantics, Knowledge and Grid (SKG '06), Guilin, China, IEEE Computer Society, November 2006. (Prof. Cheng's Page), (IEEE-CS Digital Library)
  • Shinsuke Nara, Feng Shang, Takashi Omi, Yuichi Goto, and Jingde Cheng: An Anticipatory Reasoning Engine for Anticipatory Reasoning-Reacting Systems, International Journal of Computing Anticipatory Systems, Vol. 18, pp. 225-234, CHAOS, December 2006. (PDF)

2005_

  • Yasushi Tojo, Shinsuke Nara, Yuichi Goto, and Jingde Cheng: Tasking Deadlocks in Programs with the Full Ada 95, ACM Ada Letters, Vol. 25, No. 1, pp. 48-56, March 2005. (PDF), (ACM Portal)
  • 遠藤 匠, 三浦 潤一, 七島 功一, 森本 祥一, 後藤 祐一, 程 京徳: 永続コンピューティング環境を実現するソフトシステムバスパッケージの基本要求と機能(ポスター論文), 情報処理学会2005年先進的計算基盤システムシンポジウム(SACSIS05)論文集, 情報処理学会シンポジウムシリーズ Vol. 2005, No. 5, pp. 209-210, つくば, 日本, 2005年5月. (PDF)
  • Takumi Endo, Junichi Miura, Koichi Nanashima, Shoichi Morimoto, Yuichi Goto, and Jingde Cheng: Security Issues in Persistently Reactive Systems (Fast Abstract), Supplement of the IEEE-CS 2005 International Conference on Dependable Systems and Networks (DSN'05), pp. 56-57, Yokohama, Japan, June 2005. (PDF)
  • 奈良 信介, 後藤 祐一, 程 京徳, "並列化による前向き演繹エンジンの高速化," 情報処理学会論文誌「数理モデル化と応用」, Vol. 46, No. SIG10 (TOM12), pp. 19-29, 2005年7月. (PDF), CiNii
  • Feng Shang, Shinsuke Nara, Takashi Omi, Yuichi Goto, and Jingde Cheng: A Prototype Implementation of an Anticipatory Reasoning-Reacting System, Abstract Book of the 7th International Conference on Computing Anticipatory Systems (CASYS'05), Symposium 4, p. 4, Liege, Belgium, August 2005.
  • Shinsuke Nara, Feng Shang, Takashi Omi, Yuichi Goto, and Jingde Cheng: An Anticipatory Reasoning Engine for Anticipatory Reasoning-Reacting Systems, Abstract Book of the 7th International Conference on Computing Anticipatory Systems (CASYS'05), Symposium 5, p. 5, Liege, Belgium, August 2005.
  • Shinsuke Nara, Takashi Omi, Yuichi Goto, and Jingde Cheng: A General-purpose Forward Deduction Engine for Modal Logics, in R. Khosla, R. J. Howlett, and L. C. Jain (Eds.), "Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, 14-16 September, 2005, Proceedings, Part II," Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 3682, pp. 739-745, Springer-Verlag, September 2005. (PDF), (SpringerLink)
  • 森本 祥一, 重松 真二郎, 後藤 祐一, 程 京徳: ISO/IEC 15408 に基づく定理証明とモデル検査による情報セキュリティ仕様の検証技法, 第二回システム検証の科学技術シンポジウム予稿集, pp. 12-23, 大阪, 日本, 2005年10月.
  • Takumi Endo, Junichi Miura, Koichi Nanashima, Shoichi Morimoto, Yuichi Goto, and Jingde Cheng: Security in Persistently Reactive Systems, in T. Enokido, L. Yan, B. Xiao, D. Kim, Y. Dai, L. T. Yang (Eds.), "Embedded and Ubiquitous Computing: EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES, Nagasaki, Japan, December 6-9, 2005, Proceedings," Lecture Notes in Computer Science, Vol. 3823, pp. 874-883, Springer-Verlag, December 2005. (PDF), (SpringerLink)

2004_

  • 七島 功一, 後藤 祐一, 程 京徳: ソフトシステムバスの実現について -- ユビキタスコンピューティングのための永続システムを目指して, 情報処理学会2004年情報学シンポジウム論文集, pp. 77-80, 東京, 日本, 2004年1月. (PDF)
  • 後藤 祐一, 小出 雅人, 長濱 圭吾, 程 京徳: ENQUETE-BAISE: ユビキタスアンケートのための汎用電子アンケートサーバ, 情報処理学会2004年情報学シンポジウム論文集, pp. 81-84, 東京, 日本, 2004年1月. (PDF)
  • Jingde Cheng and Yuichi Goto: Representing and Reasoning about Spatial Knowledge Based on Spatial Relevant Logic, in S. Wang, K. Tanaka, et al. (Eds.), "Conceptual Modeling for Advanced Application Domains, ER 2004 Workshops CoMoGIS, CoMWIM, ECDM, CoMoA, DGOV, and eCOMO, Shanghai, China, November 2004, Proceedings," Lecture Notes in Computer Science, Vol. 3289, pp. 114-126, Springer-Verlag, November 2004. (Prof. Cheng's Page), (SpringerLINK)
  • Yuichi Goto, Shinsuke Nara, and Jingde Cheng: Efficient Anticipatory Reasoning for Anticipatory Systems with Requirements of High Reliability and High Security, International Journal of Computing Anticipatory Systems, Vol. 14, pp. 156-171, CHAOS, December 2004. (PDF)

2003_

  • Jingde Cheng, Naoki Akimoto, Yuichi Goto, Masato Koide, Kouichi Nanashima, and Shinsuke Nara, "HILBERT: An Autonomous Evolutionary Information System for Teaching and Learning Logic," in C. P. Constantinou and Z. C. Zacharia (Eds.), "Computer Based Learning in Science, Conference Proceedings 2003, 6th International Conference, Nicosia, Cyprus, 5-10 July 2003," Vol. 1, pp. 245-254, University of Cyprus, July 2003. (Prof. Cheng's Page), (SUCRA
  • Ru Lu, Feng Shang, Yuichi Goto, and Jingde Cheng: A Digital Reference Room for E-learning, Proceedings of the 1st International Conference on Knowledge Economy and Development of Science and Technology (International Workshop on Research Directions and Challenge Problems in Advanced Information Systems Engineering) (KEST'03), pp. 17-21, Honjo, Japan, September 2003. (PDF)
  • Yuichi Goto, Takahiro Koh, and Jingde Cheng: A Comparative Study on Paradoxical Conditionals in Classical Mathematical Logic, Relevant Logics, and Strong Relevant Logics, Proceedings of the 1st International Conference on Knowledge Economy and Development of Science and Technology (International Workshop on Research Directions and Challenge Problems in Advanced Information Systems Engineering) (KEST'03), pp. 69-75, Honjo, Japan, September 2003. (PDF)
  • Shinsuke Nara, Yuichi Goto, and Jingde Cheng: Efficient Forward Deduction for Discovery and Prediction by Parallel Processing, Proceedings of the 1st International Conference on Knowledge Economy and Development of Science and Technology (International Workshop on Research Directions and Challenge Problems in Advanced Information Systems Engineering) (KEST'03), pp. 76-82, Honjo, Japan, September 2003. (PDF)
  • Xiaobin Wang, Yuichi Goto, Shinsuke Nara, and Jingde Cheng: Automated Theorem Finding by Forward Deduction Based on Strong Relevant Logic: A Case Study in NBG Set Theory, Proceedings of the 1st International Conference on Knowledge Economy and Development of Science and Technology (International Workshop on Research Directions and Challenge Problems in Advanced Information Systems Engineering) (KEST'03), pp. 83-91, Honjo, Japan, September 2003. (PDF)
  • 奈良信介, 後藤祐一, 程京徳: 並列化による推論エンジンの効率化, 情報処理学会第10回数理モデル化と問題解決シンポジウム(SPSPDP03)論文集 -- 並列・分散処理による問題解決, pp. 101-108, 京都, 日本, 2003年10月. (PDF), (情報処理学会電子図書館)

2002_

  • 七島 功一, 後藤 祐一, 程 京徳: システムバスを用いた反応的システムの構築法, 情報処理学会ソフトウェア工学研究会(SIGSE) 2002年ウィンターワークショップ(WWS'02)論文集, 情報処理学会シンポジウムシリーズ Vol. 2002, No. 2, pp. 15-16, 伊東, 日本, 2002年1月. (PDF)
  • 後藤 祐一, 劉 欣, 小出 雅人, 高橋 大介, 程 京徳: 電子投票・アンケートはe-サービスになれるか, 情報処理学会ソフトウェア工学研究会(SIGSE) 2002年ウィンターワークショップ(WWS'02)論文集, 情報処理学会シンポジウムシリーズ Vol. 2002, No. 2, pp. 63-64, 伊東, 日本, 2002年1月. (PDF)
  • Yuichi Goto, Daisuke Takahashi, and Jingde Cheng: Improving Performance of Automated Forward Deduction System EnCal on Shared-Memory Paralell Computers, Proceedings of the 3rd International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT'02), Kanazawa, Japan, pp. 63-68, September 2002. (PDF)
  • Jingde Cheng and Yuichi Goto: A Strong Relevant Logic Approach to the Calculus of Fuzzy Conditionals, in D. Ruan, P. D'hondt, and E. E. Kerre (Ed.), "Computational Intelligent Systems for Applied Research," pp. 66-74, World Scientific, September 2002. (PDF)
  • Sinsuke Nara, Yuichi Goto, Daisuke Takahashi, and Jingde Cheng: Parallel Forward Deduction System for General-Purpose Entailment Calculus on Clusters of PCs, Proceedings of the IASTED International Conference on Networks, Parallel and Distributed Processing, and Applications (NPDPA'02), pp. 359-364, Tsukuba, Japan, October 2002. (PDF)

2001_

  • Yuichi Goto, Daisuke Takahashi and Jingde Cheng: Parallel Forward Deduction Algorithms of General-Purpose Entailment Calculus on Shared-Memory Parallel Computers, Proceedings of the 2nd ACIS International Conference on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing (SNPD'01), pp. 168-175, Nagoya, Japan, August 2001. (PDF)

査読なし文書_

  • 後藤祐一: 汎用的な自動定理発見ツールの実現と応用, 総合研究機構研究プロジェクト研究成果報告書 Vol.第6号(平成19年度),pp.171- 172, 2008年. (SUCRA)
  • 後藤祐一: ユビキタスコンピューティングの基盤としての永続コンピューティング, 総合研究機構研究プロジェクト研究成果報告書 Vol.第5号(18年度),pp.456- 457, 2007年. (SUCRA)
  • 後藤祐一: ユビキタスコンピューティングの基盤としての永続コンピューティング(研究成果報告), 埼玉大学工学部紀要 (第一部 論文集) Vol.40,pp.67- 69 , 2007年. (SUCRA)
  • 後藤祐一: ユビキタスコンピューティングの基盤としての永続コンピューティング<研究成果報告>, 埼玉大学紀要. 工学部, 第1編 (第一部 論文集) Vol.39, pp.133- 134, 2006年. (SUCRA)

口頭発表_

2023_

  • 金田 彩孝, 後藤 祐一: 揺れ通知: 公共交通機関の揺れる場所を通知してくれるIoTデバイス, 口頭発表, 2022年度第2回トリリオンノード研究会, 東京, 日本, 2023年2月. (トリリオンノード研究会), (発表資料)

2007_

  • 後藤祐一: ユビキタスコンピューティングの基盤としての永続コンピューティング, 総合研究機構研究プロジェクト成果発表会, 埼玉, 2007年11月. (SUCRA)
  • 後藤 祐一, 人の集まりを支援するツールQWikS(クウィックス),数学ソフトウェアとフリードキュメントIV, 埼玉, 2007年3月.

学位論文_

  • 後藤 祐一: Automated Forward Deduction Based on Strong Relevant Logics and Its Applications(強相関論理に基づいた自動前向き演繹とその応用), Doctoral Dissertation, Graduate School of Science and Engineering, Saitama University, March 2005.

    (PDF)

外部研究資金_

科学研究費補助金_

学内競争的資金_

  • 研究代表者:後藤 祐一,汎用的な自動定理発見ツールの実現と応用, 総合研究機構研究プロジェクト, 若手研究および基礎研究, 350千円, 2008年度.
  • 研究代表者:後藤 祐一,汎用的な自動定理発見ツールの実現と応用, 総合研究機構研究プロジェクト, 若手研究および基礎研究, 300千円, 2007年度.
  • 研究代表者:後藤 祐一,ユビキタスコンピューティングの基盤としての永続コンピューティング, 総合研究機構研究プロジェクト, 若手研究および基礎研究, 300千円, 2006年度.
  • 研究代表者:後藤 祐一,ユビキタスコンピューティングの基盤としての永続コンピューティング, 工学部・理工研工学系教員研究費補助, 2005年度.

その他外部研究資金_


Yuichi Goto's page