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
浜元信州, 小川康一, 横山重俊, 竹房あつ子, 合田憲人. 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
Shigetoshi Yokoyama. Experimental Mathematics from Education to Research. RIMS Kôkyûroku. 2022. 2236. 62-71
浜元信州, 小川康一, 横山重俊, 竹房あつ子, 合田憲人. Introduction and evaluation of the CoursewareHub environment into a general information course for first-year university students. 情報処理学会研究報告(Web). 2022. 2022. CLE-38
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