公表論文

Yuichi Goto's page



公表論文種類別_

学術雑誌に掲載された論文_

  1. 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. (accepted)
  2. 我妻 和憲, 後藤 祐一, 程 京徳: 鍵交換プロトコルにおける推論的形式分析手法, 情報処理学会論文誌, Vol. 56, No. 3, pp. 903-910, 情報処理学会, 2015年3月.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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. 1745-1361, IEICE, June 2014.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. 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.
  16. 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.
  17. 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.
  18. 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.
  19. 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.
  20. 堀江 大輔, 森本 祥一, 後藤 祐一, 程 京徳: 情報セキュリティ工学データベースシステムISEDSの開発と応用, 情報処理学会論文誌, Vol. 48, No. 8, pp. 2684-2698, 情報処理学会, 2007年8月.
  21. 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. 
  22. 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.
  23. 森本 祥一, 重松 真二郎, 後藤 祐一, 程 京徳: ISO/IEC 15408 に基づく定理証明とモデル検査による情報セキュリティ仕様の検証技法, 日本ソフトウェア科学会「コンピュータソフトウェア」, 日本ソフトウェア科学会「コンピュータソフトウェア」, Vol. 23, No. 3, pp. 117-133, 2006年7月.
  24. 奈良 信介, 後藤 祐一, 程 京徳: 並列化による前向き演繹エンジンの高速化, 情報処理学会論文誌「数理モデル化と応用」, Vol. 46, No. SIG10 (TOM12), pp. 19-29, 情報処理学会, 2005年6月.
  25. 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.
  26. 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.

論文集シリーズに掲載された論文_

  1. 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.
  2. 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.
  3. Jingchen YAN, Yating WANG, Yuichi GOTO, and 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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," Lecture Notes in Electrical Engineering, Vol. 354, pp. 25-32, Springer, Heidelberg, July 2015.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. 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.
  16. 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.
  17. 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.
  18. 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.
  19. 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.
  20. 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.
  21. 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.
  22. 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. 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.
  23. 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.
  24. 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.
  25. 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.
  26. 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.
  27. 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.
  28. 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.
  29. 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.
  30. 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.
  31. 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.
  32. 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.
  33. 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.
  34. 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.
  35. 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)
  36. 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.
  37. 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.
  38. 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.
  39. 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.
  40. 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.
  41. 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.
  42. 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.
  43. 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.
  44. 堀江 大輔, 森本 祥一, 後藤 祐一, 程 京徳: 情報セキュリティ工学データベースシステムISEDSの開発と応用, 満田 成紀・羽生田 栄一編, ソフトウェアエンジニアリング最前線2006, pp. 59-66, 近代科学社, 2006年10月.
  45. 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.
  46. 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.
  47. 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.
  48. 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.
  49. 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.

査読付き国際会議論文集に掲載された論文_

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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. (PDF)
  7. 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.
  8. 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.
  9. Yuan ZHOU, Yuichi GOTO, 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.
  • 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.
  1. 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.
  2. 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.
  3. 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, IEEE Computer Society Press, December 2013.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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, Xian, China, IEEE Press, July 2012.
  12. 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, Xian, China, IEEE Press, July 2012.
  13. 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, Xian, China, IEEE Press, July 2012.
  14. 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.
  15. 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.
  16. 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.
  17. 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.
  18. 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.
  19. 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.
  20. 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.
  21. 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.
  22. 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.
  23. 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.
  24. 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.
  25. 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.
  26. 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.
  27. 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.
  28. 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.
  29. 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.
  30. 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)
  31. 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.
  32. 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.
  33. 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.
  34. 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.
  35. 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.
  36. 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.
  37. 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.
  38. 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.
  39. 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), pp. 83-91, Honjo, Japan, September 2003.
  40. 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), pp. 76-82, Honjo, Japan, September 2003.
  41. 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), pp. 69-75, Honjo, Japan, September 2003.
  42. 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), pp. 17-21, Honjo, Japan, September 2003.
  43. Jingde CHENG, Naoki AKIMOTO, Yuichi GOTO, Masato KOIDE, Kouichi NANASHIMA, and Shinsuke NARA: HILBERT : An Autonomous Evolutionary Information System for Teaching and Learning Logic, Proceedings of the 6th International Conference on Computer Based Learning in Science, Vol. 1, pp. 245-254, Nicosia, Cyprus, July 2003.
  44. Shinsuke NARA, Yuichi GOTO, Daisuke TAKAHASHI, and Jingde CHENG: Parallel Forward Deduction Algorithms for General-Purpose Entailment Calculus on a Clusters of PCs, Proceedings of the IASTED International Conference on Networks, Parallel and Distributed Processing, and Applications, pp. 359-364, Tsukuba, Japan, October 2002.
  45. Yuichi GOTO, Daisuke TAKAHASHI, and Jingde CHENG: Improving the Performance of Automated Forward Deduction System EnCal on Shared-Memory Parallel Computers, Proceedings of the 3rd International Conference on Parallel and Distributed Computing, Applications and Technologies, pp. 63-68, Kanazawa, Japan, September 2002.
  46. 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, pp. 168-175, Nagoya, Japan, August 2001.

査読付き国際会議論文集に掲載された論文概要_

  • 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.
  • 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, 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, 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, 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.
  • 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.
  • 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.
  • 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.
  • 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, Symposium 4, Liege, Belgium, August 2005.
  • 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, Yokohama, Japan, July 2005.
  • Yuichi GOTO, Shinsuke NARA, and Jingde CHENG: Efficient Anticipatory Reasoning for Anticipatory Systems with Requirements of High Reliability and High Security, Abstract Book of the 6th International Conference on Computing Anticipatory Systems, Symposium 2, p. 11, Liege, Belgium, August 2003.

査読付き国内シンポジウム論文集に掲載された論文_

  • 染谷 雅美, Mohammad Reza Selim, 後藤 祐一, 程 京徳: 動的再構成の観点からのソフトシステムバスとエンタープライズサービスバスの比較, 情報処理学会ソフトウェア工学研究会(SIGSE) 2007年ウィンターワークショップ(WWS'07)論文集, 情報処理学会シンポジウムシリーズ Vol. 2007, No. 2, pp. 77-78, 那覇, 日本, 2007年1月.
  • 染谷 雅美, 内海 悠輔, 塩野入 彩香, 後藤 祐一, 程 京徳: ユビキタスサービスのための汎用電子アンケートサーバ ENQUETE-BAISE, 情報処理学会ソフトウェア工学研究会(SIGSE) 2002年ウィンターワークショップ(WWS'06)論文集, 情報処理学会シンポジウムシリーズ Vol. 2006, No. 2, pp. 41-42, 鴨川, 日本, 2006年1月.
  • 通 拉ガ, 染谷 雅美, 後藤 祐一, 程 京徳: Webアプリケーションシステムにおけるパフォーマンスボトルネックの分類と考察, 情報処理学会ソフトウェア工学研究会(SIGSE) 2002年ウィンターワークショップ(WWS'06)論文集, 情報処理学会シンポジウムシリーズ Vol. 2006, No. 2, pp. 39-40, 鴨川, 日本, 2006年1月.
  • 後藤 祐一, 遠藤 匠, 染谷 雅美, 高橋 勲男, 程 京徳: 人の集まりを支援するツールQWikS(クウィックス)(ポスター論文), 情報処理学会第47回プログラミングシンポジウム論文集, pp. 175-176, 箱根, 日本, 2006年1月.
  • 森本 祥一, 重松 真二郎, 後藤 祐一, 程 京徳: ISO/IEC 15408 に基づく定理証明とモデル検査による情報セキュリティ仕様の検証技法, 第二回システム検証の科学技術シンポジウム予稿集, pp. 12-23, 大阪, 日本, 2005年10月.
  • 遠藤 匠, 三浦 潤一, 七島 功一, 森本 祥一, 後藤 祐一, 程 京徳: 永続コンピューティング環境を実現するソフトシステムバスパッケージの基本要求と機能 (Poster Abstract), 情報処理学会2005年先進的計算基盤システムシンポジウム論文集, pp. 209-210, つくば, 日本, May 2005.
  • 後藤 祐一, 小出 雅人, 長濱 圭吾, 程 京徳: ENQUETE-BAISE: ユビキタスアンケートのための汎用電子アンケートサーバ, 情報処理学会2004年情報学シンポジウム論文集, pp. 81-84, 東京, 日本, 2004年1月.
  • 七島功一, 後藤祐一, 程京徳: ソフトシステムバスの実現について -- ユビキタスコンピューティングのための永続システムを目指して, 情報処理学会2004年情報学シンポジウム論文集, pp. 77-80, 東京, 日本, 2004年1月.
  • 奈良 信介, 後藤 祐一, 程 京徳: 並列処理による推論エンジンの効率化, 情報処理学会第10回数理モデル化と問題解決シンポジウム -- 並列・分散処理による問題解決シンポジウム -- 論文集, pp. 101-108, 京都, 日本, 2003年10月.
  • 七島 功一, 後藤 祐一, 程 京徳: システムバスを用いた反応的システムの構築法, 情報処理学会ソフトウェア工学研究会 2001年度ウィンターワークショップ(WW'02)論文集, pp. 15-16, 伊東市, 日本, 2002年1月.
  • 後藤 祐一, 劉 欣, 小出 雅人, 高橋 大介, 程 京徳: 電子投票・アンケートはe-サービスになれるか, 情報処理学会ソフトウェア工学研究会2001年度ウィンターワークショップ論文集, pp. 63-64, 伊東, 日本, 2002年1月.

査読なし国内学会発表_

  • 伊藤 拓也, 後藤 祐一, 程 京徳: 前向き推論エンジンを用いた自動非単調推論 -- デフォルト論理における事例研究, 学生セッション6M, 第80会全国大会, 情処理学会, 2018年3月.
  • 佐久間 亜都武, 後藤 祐一, 高 宏彪, 程 京徳: Linked Data を用いた理論グリッドの構築 -- 公理的集合論の形式理論フラグメントを用いた事例研究, 学生セッション6L, 第80会全国大会, 情処理学会, 2018年3月.

戻る_