{"title":"The Characteristics of the Card Game Daihinmin","authors":"Mitsuo Wakatsuki","doi":"10.52731/iee.v7.i2.516","DOIUrl":"https://doi.org/10.52731/iee.v7.i2.516","url":null,"abstract":"","PeriodicalId":416504,"journal":{"name":"Information Engineering Express","volume":"12 32","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120863466","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Interface Designed in Consideration of “Realistic Experience”: Proposal of a Device to Prevent Accidental Tapping on Advertisements","authors":"Yui Tanaka, T. Fujimoto","doi":"10.52731/iee.v7.i2.545","DOIUrl":"https://doi.org/10.52731/iee.v7.i2.545","url":null,"abstract":"","PeriodicalId":416504,"journal":{"name":"Information Engineering Express","volume":"125 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116599777","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Social Environment Utilization System Built on \"Low-Cost Computing\": Building Highly Versatile, Low-Cost Remote Class Environment","authors":"Kazuya Murata, T. Fujimoto","doi":"10.52731/iee.v7.i1.543","DOIUrl":"https://doi.org/10.52731/iee.v7.i1.543","url":null,"abstract":"","PeriodicalId":416504,"journal":{"name":"Information Engineering Express","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132761801","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Attitude Survey of Youth for Mutual Aid Support System for Local Community Using Bayesian Network","authors":"S. Matsumoto, Nobuyuki Ohigashi","doi":"10.52731/iee.v7.i1.532","DOIUrl":"https://doi.org/10.52731/iee.v7.i1.532","url":null,"abstract":"Some Hiroshima citizens live in suburban residential estates at the slope of mountains surrounding the city, but the living environment is unsuitable for “vulnerable road users” mainly elderly people. To improve their living environments, we have shown the concept of information sharing system to support them living in regions where public transport is not sufficiently developed. In addition, we have constructed a web service to support their daily life named MASS. Our system’s role is to facilitate the encounter between local community people, provide the opportunity of resource sharing, generate some kinds of transport means, and solve the difficulties in daily life by mutual aid. Young people’s active participation is essential to make our system more effective for vulnerable road users because most of the skills will be provided by young people. The analysis of the previous work unveiled a trend of the youth consciousness about skill sharing in their local community and found the limitation of Quantification Method Type II. Therefore, in this paper, to discuss our system’s continuity as a business, we conducted an attitude survey on young people’s awareness of resource sharing in their local community and analyzed it with Bayesian network. From the experimental result, we re-confirmed the findings of the previous research and further clarified the relationship between the factors that we could not clarify so far. In addition, we conducted numerical experiments using the constructed Bayesian network, obtained results that support several hypotheses, and revealed factors that have a strong influence on the use of MASS.","PeriodicalId":416504,"journal":{"name":"Information Engineering Express","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124908917","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A Local Enterprise to Construct 40 Small Hydropower Plants for Revitalizing Local Community","authors":"Yaeko Mitsumori","doi":"10.52731/iee.v7.i1.605","DOIUrl":"https://doi.org/10.52731/iee.v7.i1.605","url":null,"abstract":"","PeriodicalId":416504,"journal":{"name":"Information Engineering Express","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125961834","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Developing an AR Pop-up Picture Book and its Effect Editor Based on Teaching Motions","authors":"Hitomi Kataoka, Tadachika Ozono, T. Shintani","doi":"10.52731/iee.v7.i1.559","DOIUrl":"https://doi.org/10.52731/iee.v7.i1.559","url":null,"abstract":"","PeriodicalId":416504,"journal":{"name":"Information Engineering Express","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-02-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124836013","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Akira Matsumoto, Tomoyuki Yokogawa, S. Amasaki, Hirohisa Aman, Kazutami Arimoto
{"title":"Synthesis and Consistency Verification of UML Sequence Diagrams with Hierarchical Structure","authors":"Akira Matsumoto, Tomoyuki Yokogawa, S. Amasaki, Hirohisa Aman, Kazutami Arimoto","doi":"10.52731/iee.v6.i2.529","DOIUrl":"https://doi.org/10.52731/iee.v6.i2.529","url":null,"abstract":"Automatic consistency checking for UML state machine diagrams and sequence diagrams has been expected since developers spend considerable effort to keep the consistency. In particular, the verification of diagrams with a hierarchical structure is required. Although formalization of state machine diagrams with hierarchical structure has been widely treated, it is not yet sufficient for sequence diagrams. In this paper, we propose an automatic method for verifying the consistency between state machine diagrams and sequence diagrams with a hierarchical structure. In our verification framework, the consistency of diagrams is defined as an inclusive relation between the sets of traces and is checked using the FDR model checker. FDR can check refinement relation between processes described as CSPM notation. We provide a process description of state machine diagrams and sequence diagrams and can verify the consistency by checking traces inclusion of processes using FDR. Our description supports for sequence diagrams with a hierarchical structure. We applied the proposed process representation to an example diagram that describes interactions of basic components of a wireless sensor network system and showed that the hierarchical behavior of the diagram could be correctly represented.","PeriodicalId":416504,"journal":{"name":"Information Engineering Express","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121376921","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Evaluation of HR System’s Worksheet Visualization based on Harvard Model, Life Cycle, and Organization Strategy and Management Type","authors":"Yusuke Sato, Nobuyuki Kobayashi, S. Shirasaka","doi":"10.52731/iee.v6.i2.498","DOIUrl":"https://doi.org/10.52731/iee.v6.i2.498","url":null,"abstract":"Rapid economic changes have recently been requesting human resource departments in Japanese firms to transform their roles and services. No paper refers a method to map the themes they talk about and to discuss these issues explicitly by using the Harvard Model and Organization Strategy and Management Type. In this paper, we evaluate a worksheet using the Harvard Model and Organization Strategy and Management Type. The worksheet is divided into Visualization Map of HR Systems based on Life Cycle and Organization Strategy and Management Type. We asked employees of Human Resource Departments to use worksheets of \"visualization map of HR systems based on life cycle\" and \"Organization Strategy and Management Type\". Then, we evaluated the two points on whether they thought the HR System of their company was appropriate and whether they could write down and explain the HR System to other people. As a result, we confirmed that we achieved the goal of identifying issues of the firm and facilitating discussions with management and HR employees of other companies. In addition, this method could play a role in a training program for people who have a little experience as employees of Human Resource Departments.","PeriodicalId":416504,"journal":{"name":"Information Engineering Express","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123310657","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Tetsuya Nakatoh, Takahiko Suzuki, Tsukasa Kamimasu, S. Hirokawa
{"title":"Detection of Unnatural Parts of Statistical Data","authors":"Tetsuya Nakatoh, Takahiko Suzuki, Tsukasa Kamimasu, S. Hirokawa","doi":"10.52731/iee.v6.i2.569","DOIUrl":"https://doi.org/10.52731/iee.v6.i2.569","url":null,"abstract":"Ensuring the authenticity of statistical data is important because such data are used for various decision-making tasks. However, in practical applications, several types of data alterations have been reported. Therefore, it is necessary to validate the accuracy of statistical data. Benford’s law is a well-known method for detecting unnatural numerical data. According to Benford’s law, the occurrence probability of the first significant digits follows a particular distribution. However, the unnatural parts of data cannot be accurately identi-fied. In this study, we attempted to identify the unnatural parts of statistical data available in tabular format. A subset of the target data was specified using the row and column names that define each cell in the table or the words displayed in the table title. By measuring the divergence of the subsets, we identified the unnatural subsets. In this paper, we present the results of the identification of unnatural subsets using the agricultural data acquired from the China Statistical Yearbook.","PeriodicalId":416504,"journal":{"name":"Information Engineering Express","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114430549","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}