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
桑田喜隆, 石坂徹, 政谷好伸, 横山重俊, 浜元信州, 谷沢智史. 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
高木理, 浜元信州, 竹房あつ子, 横山重俊, 合田憲人. Study on Reasonable Parameters of Anonymization Algorithms toward Development of Assistant Systems of Online Educational Data Analysis. 情報処理学会研究報告(Web). 2022. 2022. DPS-190
南山泰之, 河合将志, 横山重俊, 林正治, 大波純一, 藤原一毅, 朝岡誠, 古川雅子, 込山悠介. Examining the service domain by analyzing user stories of research data management services. 情報処理学会研究報告(Web). 2022. 2022. IOT-56
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