論文 - 山場 久昭
-
On an improvement of hand gesture recognition for realizing a user authentication system using s-EMG
Soichiro Ishibashi, Hisaaki Yamaba, Kentaro Aburada, Tetsuro Katayama, Naonobu Okazaki
Proc. of the 28th International Symposium on Artificial Life and Robotics 968 - 972 2023年1月
担当区分：責任著者 記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
A study of improving the safety of defense system based on whitelist
Tsubasa Waki, Shotaro Usuzaki, Kentaro Aburada, Hisaaki Yamaba, Tetsuro Katayama, and Naonobu Okazaki
Proc. of the 28th International Symposium on Artificial Life and Robotics 963 - 967 2023年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Investigation of evacuation simulation from Tsunami considering road width in Aosima
Keita Nabeyama, Shotaro Usuzaki, Kentaro Aburada, Hisaaki Yamaba, Tetsuro Katayama, and Naonobu Okazaki
Proc. of the 28th International Symposium on Artificial Life and Robotics 953 - 958 2023年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Investigation of PIN authentication schemes resistant to video-based recording attacks
Ryo Masuzawa, Shotaro Usuzaki, Kentaro Aburada, Hisaaki Yamaba, Tetsuro Katayama, Mirang Park and Naonobu Okazaki
Proc. of the 28th International Symposium on Artificial Life and Robotics 959 - 962 2023年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Analysis of Self Determination Factors for Continuance Intention on Online Learning Management System 査読あり
Saputra Mochamad Chandra, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu, Wicaksono Satrio Agung
Journal of Robotics, Networking and Artificial Life 10 ( 1 ) 91 - 95 2023年
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：株式会社 ALife Robotics
The COVID-19 pandemic outbreak transformed the paradigm of the educational process. Many educational institutions, including the University, mainly the Faculty of Computer Science, Brawijaya University, have experienced success with learning through the Internet. The continuance intention factor for using an online learning management system is important to ensure learning sustainability. This study investigates continuance intention factor by using self determination model as a research model. The objective of this study is to find the factor 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.
-
Prototype of the Framework CATdd to Support Continuous Development in Test Driven Development 査読あり
Miyashita Takeaki, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu
Journal of Advances in Artificial Life Robotics 4 ( 1 ) 35 - 40 2023年
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：株式会社 ALife Robotics
TDD is a development methodology to improve software quality. In this study, we prototype the framework CATdd (Continuous Automated Test Driven Development), which supports continuous development with TDD. CATdd reduces the time of implementation step in TDD by generating new source code that passes tests using LLM. CATdd maintains consistency with other source code in the project by using existing source code and related source code to prompt. As a result of the evaluation experiments, the time for the implementation step in TDD was reduced by 94% for a simple task and by 56% for another more complex task. In conclusion, CATdd is useful to support continuous development.
-
Expansion of Application Scope and Addition of a Function for Operations into BWDM which is an Automatic Test Cases Generation Tool for VDM++ Specification 査読あり
Muto Takafumi, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu
Journal of Robotics, Networking and Artificial Life 9 ( 3 ) 255 - 262 2022年12月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：株式会社 ALife Robotics
The use of the formal specification description language VDM++ in software design can eliminate ambiguity in the specification. However, software testing after implementation is necessary even if the design uses VDM++, but manually generating test cases 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 solves the three problems and improves the usefulness of BWDM by expanding the scope of application of VDM++ definitions and adding a function to generate test cases for object states. In addition, we conducted a comparison experiment with manual test case generation and confirmed that BWDM can reduce work time.
-
Proposal of Gamma Which Is a Messaging Platform for Spatial Data 査読あり
Ueda Takahiro, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu
Journal of Robotics, Networking and Artificial Life 9 ( 2 ) 136 - 142 2022年9月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：株式会社 ALife Robotics
This paper proposes Gamma, which is a messaging platform for spatial data. Gamma uses distributed MQTT system for spatial data sharing, and this paper aims to improve the usefulness of distributed MQTT system. 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.
-
Detection of Blob and Feature Envy Smells in a Class Diagram using Class's Features 査読あり
Priyambadha Bayu, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu
Journal of Robotics, Networking and Artificial Life 9 ( 1 ) 43 - 48 2022年8月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：株式会社 ALife Robotics
Measuring the quality of software design artifacts is difficult due to the limitation of information in the design phase. The class diagram is one of the design artifacts produced during the design phase. The syntactic and semantic information in the class is essential to consider in the measurement process. Smell detection uses class-related information to detect the smell as an indicator of a lack of quality. Several classifiers use all information related to the class to prove how informative it for the smell detection process. The smell types that are a concern in this research are Blob and Feature Envy. The experiment using three classifiers (j48, Multi-Layer Perceptron, and Naïve Bayes) confirms that Blob smell detection utilizes the information successfully. On the other hand, Feature Envy still needs more elaboration. The average true positive rate by the classifiers is about 80.67%.
-
Proposal of a Method to Generate Classes and Instance Variable Definitions in VDM++ Specification by Using Machine Learning 査読あり
Suga Kensuke, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu
Journal of Advances in Artificial Life Robotics 2 ( 4 ) 189 - 194 2022年3月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：株式会社 ALife Robotics
Writing VDM++ specifications is difficult. The existing method can automatically generate only type and constant definitions in VDM++ specification from natural language specification by using machine learning. This paper proposes a method to generate classes and instance variable definitions in 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.
-
Proposal for a blockchain based agricultural input voucher system 査読あり
Tende I.G., Aburada K., Yamaba H., Katayama T., Okazaki N.
Artificial Life and Robotics 27 ( 3 ) 461 - 471 2022年1月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Artificial Life and Robotics
Most of the small-scale farmers in Tanzania can’t afford to buy quality agricultural inputs (fertilizers and seeds), therefore the Tanzanian government issues paper-based subsidy vouchers to farmers for buying the inputs at half price. However, challenges like misuse of the vouchers by some government officials (stealing and favoritism in allocation) and lack of trust (difficulty of verifying vouchers’ authenticity) have resulted into low crop productivity for the farmers and loss of government funds. To address this, we have developed agricultural input voucher system which stores and allocates digital subsidy vouchers to farmers in the Hyperledger Fabric blockchain network whose features like hashing and digital signature prevent misuse and ensure trust of the vouchers. Farmers access the digital vouchers through Short Message Service (SMS) in their mobile phones. Evaluation reveals that, the developed system is effective and meets performance demands of Tanzanian farmers. Also, Raft has better performance than Kafka consensus protocol.
-
Proposal of Gamma Which Is a Spatial Data Sharing Distributed MQTT System
Ueda Takahiro, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu
人工生命とロボットに関する国際会議予稿集 27 188 - 192 2022年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス） 出版者・発行元：株式会社ALife 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.
-
Proposal of a Method to Generate Classes and Instance Variable Definitions in the VDM++ Specification from Natural Language Specification
Suga Kensuke, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu
人工生命とロボットに関する国際会議予稿集 27 178 - 182 2022年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス） 出版者・発行元：株式会社ALife 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.
-
Expansion of Application Scope and Addition of a Function for Operations into BWDM to Generate Test Cases from VDM++ Specification
Muto Takafumi, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu
人工生命とロボットに関する国際会議予稿集 27 183 - 187 2022年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス） 出版者・発行元：株式会社ALife 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.
-
Development of an anti-peeping passcode keypad using color/shape cursors
Ryo Masuzawa, Kentaro Aburada, Hisaaki Yamaba, Tetsuro Katayama, Naonobu Okazaki
Proc. of the 27th International Symposium on Artificial Life and Robotics 2022年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
An Attempt at Data Augmentation for Realizing User Authentication Using s-EMG Signals
Soichiro Ishibashi, Yuya Yamamoto, Hisaaki Yamaba, Kentaro Aburada, Tetsuro Katayama, Naonobu Okazaki
Proc. of the 27th International Symposium on Artificial Life and Robotics 2022年1月
担当区分：責任著者 記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Muto T., Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.
Proceedings of International Conference on Artificial Life and Robotics 183 - 187 2022年
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：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.
-
リレーアタック耐性とボット耐性の両立を目指したインタラクティブな動画CAPTCHAの提案と評価 査読あり
油田 健太郎, 臼崎 翔太郎, 山場 久昭, 片山 徹郎, 椋木 雅之, 朴 美娘, 岡崎 直宣
情報処理学会論文誌 62 ( 12 ) 1864 - 1878 2021年12月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
Development of a system to detect eye position abnormality based on eye-tracking 査読あり
Uchida, Noriyukia, Takatuka, Kayoko, Yamaba, Hisaaki, Mukunoki, Masayukib, Okazaki, Naonobub
Journal of Robotics, Networking and Artificial Life 8 ( 3 ) 205 - 210 2021年12月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Journal of Robotics, Networking and Artificial Life
Test suite reusability measurement is important to obtain the value of reusability as the degree of effectiveness of reused test suite. The measurement in this experiment considers not only the frequency of the successful test suite to examine different objects but also the code coverage as the criteria of a good test suite. The combination of the frequency and code coverage in the measurement reports the current condition of test suite reusability. The research confirms the test suite reusability measurement provides useful information to know the degree of effectiveness of reused test suite, especially in regression testing and automated testing.
-
Proposal for a crop protection information system for rural farmers in Tanzania 査読あり
Tende I.G., Aburada K., Yamaba H., Katayama T., Okazaki N.
Agronomy 11 ( 12 ) 2021年12月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Agronomy
Crop protection information, such as how to control emergent and outbreak crop diseases and pests, as well as the latest research, regulations, and quality control measures for pesticides and fertilizers, is important to farmers. Rural smallholder farmers in Tanzania have traditionally relied on government agricultural officers who visit them in their villages to provide this crop protection information. However, these officers are few and cannot reach all the farmers on time. This means that farmers fail to make critical farming decisions on time, which can lead to low crop productivity. In this study, we aim to provide farmers with reliable and instant crop protection information by developing a system based on the Short Message Service (SMS) and the Web. This system automatically replies to farmers’ requests for the latest crop protection information in the Swahili language through SMS on a mobile phone or a Web system. The findings reveal that our proposed system can provide farmers with crop protection information at lower cost (500 times cheaper) than the existing Tigo Kilimo system. Furthermore, our proposed system’s deep learning model is effective in understanding and processing Swahili natural language SMS queries for crop protection information with an accuracy of 96.43%. This crop protection information will help farmers make better critical farming decisions on time and improve crop productivity.