Computer Software
Print ISSN : 0289-6540
Volume 40, Issue 3
Displaying 1-9 of 9 articles from this issue
• Hideya IWASAKI
2023 Volume 40 Issue 3 Pages 3_1
Published: July 25, 2023
Released on J-STAGE: September 25, 2023
JOURNAL FREE ACCESS
• Shota HASHIMOTO, Daisuke KIMURA
2023 Volume 40 Issue 3 Pages 3_2-3_15
Published: July 25, 2023
Released on J-STAGE: September 25, 2023
JOURNAL FREE ACCESS

The three-color triangle problem is a mathematical quiz: Consider regular hexagonal tiles arranged in an inverted triangle shape of n stages, and paint them in three colors so that any three adjacent tiles have the same color or all different colors. The quiz asks to determine the general form of n that satisfies the condition that the colors for the three vertices of the inverted triangle are always the same or different. This quiz was given in the column “Seeking an elegant answer” of the journal “Suugaku Seminar”, and it was shown that the general form of n is 3k. The paper implements a formalized proof for the three-color triangle problem in Coq. It gives a proof for the problem on paper, and then discusses the devised points for formalization and the benefits obtained by the formal proof on Coq compared to the proof on paper.

• Hirono KAWASHIMA, Makoto KAWANO, Tadashi OKOSHI, Jin NAKAZAWA
2023 Volume 40 Issue 3 Pages 3_16-3_28
Published: July 25, 2023
Released on J-STAGE: September 25, 2023
JOURNAL FREE ACCESS

In this study, we focus on incremental class continual learning for image classification, and improve the replay method that retains a part of the data given in the past and uses it to train a newly increased class. In the existing studies of replay methods, the number of data to be retained is fixed for each class. In this study, we propose a method to control the capacity of the number of core data according to the difficulty of each class, and a continual learning method CC-replay using this method. We also propose a continuous learning method, cc-replay, which uses the calculated number of core data per class. In our experiments, we evaluate the performance of cc-replay based on accuracy and training time on several benchmarks, and discuss the behavior of cc-replay when the size of the dataset and the similarity between classes are changed.

• Shunki TAKAMI, Masaki ONISHI, Itsuki NODA
2023 Volume 40 Issue 3 Pages 3_29-3_49
Published: July 25, 2023
Released on J-STAGE: September 25, 2023
JOURNAL FREE ACCESS

We propose Waffle, a novel experiment workflow control framework for large-scale social simulation experiments utilizing high-performance computing clusters (HPCCs). Advancement in computer technology has enabled large-scale experiments in computational social science. However, with the expansion in the scale of the experiment, the cost of manually managing the experiment increases considerably. To address this issue, we provide the experiment workflow control framework that uses a recursive meta-level control mechanism and a chain of procedures by the guarded suspension to automate management. The framework manages task queuing in parallel processing, experimental results, and HPCC jobs. We evaluate the functionality and efficiency of the proposed framework using a case study, which is a data assimilation experiment involving virus infection simulation. The framework supports evidence-based policymaking against long-term urban planning or emergencies, such as pandemics, because of the ability to handle large-scale experiments.

• Ryo SUZUKI, Kazunori UEDA, Shigekazu SAKAI
2023 Volume 40 Issue 3 Pages 3_50-3_72
Published: July 25, 2023
Released on J-STAGE: September 25, 2023
JOURNAL FREE ACCESS

Siv3D, a C++ framework for information visualization and interaction, has incorporated more than 5,500 additions and improvements to the public repository since it became open-source in 2016. They include various new features and API design revisions based on the recent evolution of hardware, development tools, and language specifications, verification of user use cases, and other interesting examples, as well as support for C++17/C++20. This paper presents design choices, changes, and dissemination efforts in the five years since Siv3D became OSS, and shares insights useful for the design and operation of a modern C++ framework for information visualization and interaction.

• Tomoko KANEKO
2023 Volume 40 Issue 3 Pages 3_73-3_87
Published: July 25, 2023
Released on J-STAGE: September 25, 2023
JOURNAL FREE ACCESS

System failures are increasing and problems due to unexpected causes continue to occur. Safety is defined as "freedom from intolerable risk," New analysis methods and accident models for software-centric systems are needed to prevent accidents and losses that could become intolerable risks. This paper describes the original concepts and methods of STAMP (System Theoretic Accident Model and Processes) , resilience engineering, and safety case as new safety analysis methods and models. It also introduces the procedures and characteristics of CAST (Causal Analysis using System Theory) , a new accident analysis method that models from the perspective of the entire system, including people and organizations.

• Ryosuke SATO
2023 Volume 40 Issue 3 Pages 3_92-3_93
Published: July 25, 2023
Released on J-STAGE: September 25, 2023
JOURNAL FREE ACCESS
• Tomohiro KAWATANI, Koji TSUKADA, Kazutaka KURIHARA
2023 Volume 40 Issue 3 Pages 3_97-3_112
Published: July 25, 2023
Released on J-STAGE: August 29, 2023
JOURNAL FREE ACCESS

In recent years, as the IoT has become popular, there are more requirements for sharing operation/mechanisms of IoT devices, such as Arduino and M5Stack. In addition, because of the corona disaster, many educational institutions adopted online lectures, such as on-demand tutorial videos and live lectures using video conference systems. For IoT programming education, these methods have problems such as lack of linkage with real-world devices and source codes. In this study, we propose a system called “IoTeach”, which supports learning of IoT programming by attaching a script language on sequential contents such as videos and slides shared on the Web. Thus, the IoTeach can link videos and slides with real-world IoT devices and source code. In this paper, we describe the concept and implementation of the system. We also perform a basic evaluation and discuss challenges and prospects.