2011 - 2016 Software model checking methods for cloud computing middleware
Papers (56):
Yasuyuki Minamiyama, Masaharu Hayashi, Ikki Fujiwara, Jun-ichi Onami, Shigetoshi Yokoyama, Yusuke Komiyama, Kazutsuna Yamaji. Toward the Development of NII RDC Application Profile Using Ontology Technology. Proceedings of the Conference on Research Data Infrastructure. 2023. 1
ISHIZAKA Tohru, KUWATA Yoshitaka, HAYASAKA Narihito, MASATANI Yoshinobu, YOKOYAMA Shigetoshi, HAMAMOTO Nobukuni, YAZAWA Satoshi. An Evaluation Experiment on Using Generative AI for Self-Study in Programming Courses. JSAI Technical Report, Type 2 SIG. 2024. 2024. KSN-035. 01
YOKOYAMA Shigetoshi. Introducing "Hybrid Experimental Mathematics" to Acquire Mathematical Models in STEM Education. JSAI Technical Report, Type 2 SIG. 2024. 2024. KSN-035. 03
浜元信州, 小川康一, 横山重俊, 竹房あつ子, 合田憲人. Report on the Practice of General Information Course for First-year University Students using the CoursewareHub Environment. 情報処理学会研究報告(Web). 2023. 2023. CLE-41
桑田喜隆, 石坂徹, 政谷好伸, 横山重俊, 浜元信州, 谷沢智史. A Study on Programming Support for Jupyter Notebook Using Generative AI. 人工知能学会第二種研究会資料(Web). 2023. 2023. KSN-033
A Distributed Cloud Architecture for Academic Community Cloud, Communications in Computer and Information Science
Communications in Computer and Information Science 2015
2015/03 - IEICE Technical Committee on Information and Communication Management research Award Practical application of Cloud Monitoring using a huge Map
Association Membership(s) (3):
INFORMATION PROCESSING SOCIETY OF JAPAN
, THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS
, MATHEMATICS EDUCATION SOCIETY OF JAPAN