論文 - 岡崎 直宣
-
SGM: A Subgroup Management Scheme Using K-Means Clustering in M2M Systems 査読あり
Jihoon Hong, Mirang Park, Naonobu Okazaki
Proceedings of the 2016 International Conference on Network-Based Information Systems (NBiS 2016) 146 - 151 2016年9月
記述言語:英語 掲載種別:研究論文(国際会議プロシーディングス)
-
Unsupervised SPITters Detection Scheme for Unbalanced Callers 査読あり
K. Toyoda, M. Park, N. Okazaki
The 30th IEEE International Conference on Advanced Information Networking and Applications Workshops (AINA-2016) 64 - 68 2016年3月
担当区分:最終著者 記述言語:英語 掲載種別:研究論文(国際会議プロシーディングス)
-
Proposal of an Authentication Method using Two Types of Machine Learning and Mouse Operation Trajectory 査読あり
Y. Kita, K. Aburada, T. Katayama, M. Park, and N. Okazaki
The First International Symposium on BioComplexity 2016 (ISBC 2016) 346 - 349 2016年1月
記述言語:英語 掲載種別:研究論文(国際会議プロシーディングス)
-
An attempt to use a gesture control armband for a user authentication system using surface electromyograms 査読あり
H.Yamaba,A.Kurogi,S.Kubota,T.Katayama,N.Okazaki
Proceedings of 21th International Symposium on Artificial Life and Robotics 342 - 345 2016年1月
記述言語:英語 掲載種別:研究論文(国際会議プロシーディングス)
-
Proposal of Rhythm Authentication Method using Users Classification by Self-Organizing Map 査読あり
Yoshihiro Kita, Mirang Park, Naonobu Okazaki
Proceedings of the 2015 International Conference on Network-Based Information Systems (NBiS 2015) ( S2-4 ) 1 - 4 2015年9月
記述言語:英語 掲載種別:研究論文(国際会議プロシーディングス)
-
Study of Filter Sharing Method using Virtual Peers in P2P Networks 査読あり
Masahiro Sakuma, Yoshihiro Kita, Kentaro Aburada, Mirang Park, Naonobu Okazaki
Proc. The 29th IEEE International Conference on Advanced Information Networking and Applications (AINA-2015) 720 - 726 2015年3月
担当区分:最終著者 記述言語:英語 掲載種別:研究論文(国際会議プロシーディングス)
-
Content access control scheme for P2P networks using a reputation value 査読あり
Kentaro Aburada, Yoshihiro Kita, Mirang Park, Naonobu Okazaki
Proc. The 29th IEEE International Conference on Advanced Information Networking and Applications (AINA-2015) 527 - 533 2015年3月
担当区分:最終著者 記述言語:英語 掲載種別:研究論文(国際会議プロシーディングス)
-
Proposal of Security Evaluation System using User's Reviews and Permissions for Android Applications 査読あり
Naonobu Okazaki, Yoshihiro Kita, Kentaro Aburada, and Mirang Park
Proc. The International Conference on Artificial Life and Robotics 2015 331 - 334 2015年1月
担当区分:筆頭著者, 責任著者 記述言語:英語 掲載種別:研究論文(国際会議プロシーディングス)
-
Evaluation of Neighbors Based Routing for ad hoc networks 査読あり
Kentaro Aburada, Hisaaki Yamaba, Shinichiro Kubota, Tetsuro Katayama, Mirang Park, Naonobu Okazaki
Proc. The International Conference on Artificial Life and Robotics 2015 335 - 339 2015年1月
担当区分:最終著者 記述言語:英語 掲載種別:研究論文(国際会議プロシーディングス)
-
An Authentication Method for Mobile Devices that is Independent of Tap-Operation on a Touchscreen 査読あり
Hisaaki Yamaba,, Nagatomo, Kentaro Aburada, Shinichiro Kubota, Tetsuro Katayama, Mirang Park, Naonobu Okazaki
Proc. The International Conference on Artificial Life and Robotics 2015 327 - 330 2015年1月
担当区分:最終著者 記述言語:英語 掲載種別:研究論文(国際会議プロシーディングス)
-
N. Aridome, T. Katayama, Y. Kita, H. Yamaba, K. Aburada, and N. Okazaki
Proc. 2025 Int'l Conf. on Artificial Life and Robotics (ICAROB 2025) 575 - 579 2025年2月
担当区分:最終著者 記述言語:英語 掲載種別:研究論文(国際会議プロシーディングス) 出版者・発行元:Proceedings of International Conference on Artificial Life and Robotics
TDD is a development methodology that brings us closer to better implementation and testing by repeating a series of steps: test design, implementation that satisfies the tests, and refactoring. This paper proposes a framework aimed at supporting the implementation steps in TDD. The proposed framework generates source code that passes tests while retaining refactoring by the developer. The prototyped framework reduced the time required for the implementation process by 94.22% and the generation time by 66.17% compared to manual work.
-
Y. Kimura, T. Katayama, Y. Kita, H. Yamaba, K. Aburada, and N. Okazaki
Proc. 2025 Int'l Conf. on Artificial Life and Robotics (ICAROB 2025) 580 - 584 2025年2月
担当区分:最終著者 記述言語:英語 掲載種別:研究論文(国際会議プロシーディングス) 出版者・発行元:Proceedings of International Conference on Artificial Life and Robotics
TDD is a development methodology that brings us closer to better implementation and testing by repeating a series of steps: test design, implementation that satisfies the tests, and refactoring. This paper proposes a framework aimed at supporting the implementation steps in TDD. The proposed framework generates source code that passes tests while retaining refactoring by the developer. The prototyped framework reduced the time required for the implementation process by 94.22% and the generation time by 66.17% compared to manual work.
-
Onaga H., Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.
Proceedings of International Conference on Artificial Life and Robotics 252 - 256 2024年
担当区分:最終著者 記述言語:英語 掲載種別:研究論文(国際会議プロシーディングス) 出版者・発行元:Proceedings of International Conference on Artificial Life and Robotics
It is difficult to understand the structure of large and complex mobile applications. To support iOS app development, we proposed SwiftDiagram, a visualization of the static structure of Swift source code and confirmed its high usefulness. However, manually drawing SwiftDiagram is labor-intensive. This paper implemented a prototype of RAGESS (Real-time Automatic Generation of SwiftDiagram System), a tool that automatically generates SwiftDiagram by performing static analysis on Swift source code every time an iOS app build is successful.
-
Takakura S., Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.
Proceedings of International Conference on Artificial Life and Robotics 257 - 261 2024年
担当区分:最終著者 記述言語:英語 掲載種別:研究論文(国際会議プロシーディングス) 出版者・発行元:Proceedings of International Conference on Artificial Life and Robotics
Generating test cases from the formal specification description VDM++, which is a method for disambiguating specifications, is time-consuming and labor intensive. Therefore, our laboratory has developed BWDM, a tool that automatically generates test cases from VDM++ specifications. However, existing BWDM has problems that it only supports integer types and cannot generate test cases for operation and function definitions including recursive structure. Therefore, in order to improve the usefulness of BWDM, this paper extends BWDM to solve the above problems. Consequently, it has confirmed that the use of extended BWDM can reduce the test case generation time compared to manual test case generation.
-
Kakinoki K., Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.
Proceedings of International Conference on Artificial Life and Robotics 262 - 266 2024年
記述言語:英語 掲載種別:研究論文(国際会議プロシーディングス) 出版者・発行元:Proceedings of International Conference on Artificial Life and Robotics
This paper proposes a prototype of ASLA, segmentation and labeling tool for document images based on deep learning, to reduce the time required for region segmentation and label generation. To evaluate the usefulness of ASLA, we have compared the time required for region segmentation and label generation using ASLA and by hand, and then confirmed the reduction in time. We also have confirmed that the rule-based region redividing method achieves a high recall and precision.
-
Miyashita T., Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.
Proceedings of International Conference on Artificial Life and Robotics 345 - 349 2023年2月
担当区分:最終著者 記述言語:英語 掲載種別:研究論文(国際会議プロシーディングス) 出版者・発行元:Proceedings of International Conference on Artificial Life and Robotics
TDD is a development methodology that brings us closer to better implementation and testing by repeating a series of steps: test design, implementation that satisfies the tests, and refactoring. This paper proposes a framework aimed at supporting the implementation steps in TDD. The proposed framework generates source code that passes tests while retaining refactoring by the developer. The prototyped framework reduced the time required for the implementation process by 94.22% and the generation time by 66.17% compared to manual work.
-
Saputra M.C., Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.
Proceedings of International Conference on Artificial Life and Robotics 350 - 354 2023年2月
担当区分:最終著者 記述言語:英語 掲載種別:研究論文(国際会議プロシーディングス) 出版者・発行元:Proceedings of International Conference on Artificial Life and Robotics
The outbreak of the COVID-19 pandemic changed the model of the learning process. Online learning became one of the best solutions for many educational institutions, including the University, especially the Faculty of Computer Science, Brawijaya University. The continuance intention factor for using an online learning management system is important to ensure learning sustainability. To understand students' continuance intention this study proposes self determination model as a research model to find the factors affecting students' continuance intention toward online learning management systems. The proposed model is useful for investigating continuance intention factors. The study finds that intrinsic regulation, external regulation, identified regulation, and introjected regulation significantly positive impact on continuance intention in learning management systems. Finally, this study provides suggestions for the Faculty to improve the continuance intention of the student in using an online learning management system.
-
Takafumi Muto, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Proceedings of International Conference on Artificial Life and Robotics 183 - 187 2022年1月
担当区分:最終著者 記述言語:日本語 掲載種別:研究論文(国際会議プロシーディングス) 出版者・発行元:Proceedings of International Conference on Artificial Life and Robotics
Generating test cases from the VDM++ specification to eliminate ambiguity in the specification is labor-intensive and time-consuming. Therefore, our laboratory developed BWDM, which is an automatic test case generation tool for VDM++ specifications. However, BWDM is not very useful because it has three problems about its narrow scope of application. This paper extends BWDM to solve three problems. In addition, we conducted a comparison experiment with manual test case generation and confirmed a time saving of about 17 minutes.
-
Proposal of Gamma Which Is a Spatial Data Sharing Distributed MQTT System 査読あり
Takahiro Ueda, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Proceedings of International Conference on Artificial Life and Robotics 188 - 192 2022年1月
担当区分:最終著者 記述言語:英語 掲載種別:研究論文(国際会議プロシーディングス) 出版者・発行元:Proceedings of International Conference on Artificial Life and Robotics
This paper proposes Gamma, which is a new distributed MQTT system, to improve the usefulness of distributed MQTT systems for sharing spatial data. In the experiment, it has been found that Gamma can process more messages than a single MQTT broker. It is confirmed that Gamma achieves scalability by increasing the number of Gateways and distributed MQTT brokers. Furthermore, it is confirmed that the efficiency of the distributed MQTT system can be improved by setting the responsibility area of Gateways.
-
Kensuke Suga, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Proceedings of International Conference on Artificial Life and Robotics 178 - 182 2022年1月
担当区分:最終著者 記述言語:日本語 掲載種別:研究論文(国際会議プロシーディングス) 出版者・発行元:Proceedings of International Conference on Artificial Life and Robotics
Writing VDM++ specifications is difficult. The existing method can automatically generate type and constant definitions in VDM++ specification from natural language specification using machine learning. This paper proposes a method to generate classes and instance variable definitions in the VDM++ specification from natural language specification to improve the usefulness of the existing method. From the evaluation experiment by using F-values, it has been confirmed that the proposed method can improve the usefulness of the existing method.