近代日本のみならず現代においても議論をはらむ国体論を確立した会沢正志斎。その思想と実践を多角的な視点から論じた最先端の論考。.

In recent years, ethical questions related to the development of artificial intelligence are being increasingly discussed. However, there has not been enough corresponding increase in the research and development associated with AI technology that incorporates with ethical discussion. We therefore implemented an organic and dynamic tool for use with knowledge base of AI ethics for engineers to promote engineers’ practice of ethical AI design to realize further social values. Here, “organic” means that the tool deals with complex relationships among different (...) AI ethics. “Dynamic” means that the tool dynamically adopts new issues and helps engineers think in their own contexts. Data in the knowledge base of the tool is standardized based on the ethical design theory that consists of an extension of the hierarchical representation of artifacts to understand ethical considerations from the perspective of engineering, and a description method to express the design ideas. In addition, we apply the dynamic knowledge management model called knowledge liquidization and crystallization. To discuss the effects, we introduce three cases: a case for the clarification of differences in the structures among AI ethics and design ideas, a case for the presentation of semantic distance among them, and a case for the recommendation of the scenario paths that allow engineers to seamlessly use AI ethics in their own contexts. We discuss the effectiveness of the tool. We also show the probability that engineers can reconstruct AI ethics as a more practical one with professional ethicists. (shrink)

A set F of Boolean functions is said to be functionally complete if every Boolean function is definable by combining functions in F. Post clarified when a set of Boolean functions is functionally complete (with respect to classical semantics). In this paper, by extending Post’s theorem, we clarify when a set of Boolean functions is functionally complete with respect to Kripke semantics.

Ethical aspects in engineering design have become increasingly important in recent years. A typical example is the recent rise of artificial intelligence ethics. This paper applies user studies of a design support tool to empirically verify that our ethical framework improves the creativity of an engineer’s design activity. The design support tool provides an environment for the promotion of ethical design perspectives and description. The experiments focus on two functionalities: semi-automatic generation and scenario path recommendation. These functions are designed around (...) the application of ethical design theory, which extends the hierarchical representation of artifacts. Doing this enables users to reconsider their themes at the highest level of the hierarchy and to apply a wider conceptual space of design solutions. For example, by reconsidering the positions of their research themes in the space of the representation field, users can semi-automatically edit them and identify focal areas. Using the scenario path recommendation, designers can update their research themes after considering the ethical impacts of those themes on stakeholders. Both functions are realized by exploiting a knowledge base of ethical and technological discourses. Finally, the ethical design theory is updated based on some unexpected results of our user studies with regards to the cyclic relationship among theory, tools, and observed data. For example, temporal dimensional aspects were confirmed as important. (shrink)

Real-world walking activity is important for poststroke patients because it leads to their participation in the community and physical activity. Walking activity may be related to adaptability to different surface conditions of the ground. The purpose of this study was to clarify whether walking adaptability on an uneven surface by step is related to daily walking activity in patients after stroke. We involved 14 patients who had hemiparesis after stroke and 12 healthy controls. The poststroke patients were categorized as least (...) limited community ambulators or unlimited ambulators. For the uneven surface, the study used an artificial grass surface. The subjects repeated even surface walking and the uneven surface walking trials at least two times at a comfortable speed. We collected spatiotemporal and kinematic gait parameters on both the even and uneven surfaces using a three-dimensional motion analysis system. After we measured gait, the subjects wore an accelerometer around the waist for at least 4 days. We measured the number of steps per day using the accelerometer to evaluate walking activity. Differences in gait parameters between the even and uneven surfaces were calculated to determine how the subjects adapted to an uneven surface while walking. We examined the association between the difference in parameter measurements between the two surface properties and walking activity. Walking activity significantly and positively correlated with the difference in paretic step length under the conditions of different surface properties in the poststroke patients and step width in the healthy controls. The strategy of increasing the paretic step length, but not step width, on an uneven surface may lead to a larger base of support, which maintains stability during gait on an uneven surface in poststroke patients, resulting in an increased walking activity. Therefore, in poststroke patients, an increase in paretic step length during gait on an uneven surface might be more essential for improving walking activity. (shrink)

The aggregation of individual judgments on logically connected issues often leads to collective inconsistency. This study examines two collective decision-making procedures designed to avoid such inconsistency—one premise-based and the other conclusion-based. While the relative desirability of the two procedures has been studied extensively from a theoretical perspective, the preference of individuals regarding the two procedures has been less studied empirically. In the present study, a scenario-based questionnaire survey of participant preferences for the two procedures was conducted, taking into consideration prevailing (...) social norms in the society to which the participants belong and the heterogeneity of the participants’ past experiences. Results show that a minority opinion not matching a prevailing social norm is more likely to be supported when the conclusion-based procedure is used. This can be explained by a basic property of the conclusion-based procedure: The procedure does not require voters to reveal their reasons for reaching a particular conclusion. This property proves appealing for participants who have a minority opinion. Such a finding is highly relevant to future studies on strategic behaviors in choosing a collective decision-making procedure. (shrink)

The Komori–Kashima problem, that asks whether the implicational intermediate logics axiomatizable by formulas minimal in classical logic are only intuitionistic logic and classical logic, has stood for over a decade. In this paper, we give a counter-example to this problem. Additionally, we also give some open problems derived from this result.

Takahashi translation * is a translation which means reducing all of the redexes in a λ-term simultaneously. In [4] and [5], Takahashi gave a simple proof of the Church–Rosser confluence theorem by using the notion of parallel reduction and Takahashi translation. Our aim of this paper is to give a simpler proof of Church–Rosser theorem using only the notion of Takahashi translation.

This article considers social choice theory without the Pareto principle. We revisit the trade-off theorem developed by Campbell and Kelly (Econometrica 61:1355–1365, 1993) and generalize their result. By introducing an alternative measure of decisive structure, a dominance relation, we show that if a social welfare function dominates another social welfare function, then the number of pairs of alternatives which social ranking is independently of individual preferences under the former is not more than that under the latter. Moreover, we offer two (...) applications of our main result. (shrink)

Barendregt gave a sound semantics of the simple type assignment system λ → by generalizing Tait’s proof of the strong normalization theorem. In this paper, we aim to extend the semantics so that the completeness theorem holds.

Background Previous reports have described that simple cognitive training using reading aloud and solving simple arithmetic calculations, so-called “learning therapy”, can improve executive functions and processing speed in the older adults. Nevertheless, it is not well-known whether learning therapy improve a wide range of cognitive functions or not. We investigated the beneficial effects of learning therapy on various cognitive functions in healthy older adults. Methods We used a single-blinded intervention with two groups (learning therapy group: LT and waiting list control (...) group: WL). Sixty-four elderly were randomly assigned to LT or WL. In LT, participants performed reading Japanese aloud and solving simple calculations training tasks for 6 months. WL did not participate in the intervention. We measured several cognitive functions before and after 6 months intervention periods. Results Compared to WL, results revealed that LT improved inhibition performance in executive functions (Stroop: LT (Mean = 3.88) vs. WL (Mean = 1.22), adjusted p =.013 and reverse Stroop LT (Mean = 3.22) vs. WL (Mean = 1.59), adjusted p =.015), verbal episodic memory (logical memory: LT (Mean = 4.59) vs. WL (Mean = 2.47), adjusted p =.015), focus attention(D-CAT: LT (Mean = 2.09) vs. WL (Mean = -0.59), adjusted p =.010) and processing speed compared to the waiting list control group (digit symbol coding: LT (Mean = 5.00) vs. WL (Mean = 1.13), adjusted p =.015 and symbol search: LT (Mean = 3.47) vs. WL (Mean = 1.81), adjusted p =.014). Discussion This RCT can showed the benefit of learning therapy on inhibition of executive functions, verbal episodic memory, focus attention, and processing speed in healthy elderly people. Our results were discussed under overlapping hypothesis. Trial registration “This trial was registered in The University Hospital Medical Information Network Clinical Trials Registry (UMIN000006998).”. (shrink)

The third author gave a natural deduction style proof system called the \-calculus for implicational fragment of classical logic in. In -calculus, 2015, Post-proceedings of the RIMS Workshop “Proof Theory, Computability Theory and Related Issues”, to appear), the fourth author gave a natural subsystem “intuitionistic \-calculus” of the \-calculus, and showed the system corresponds to intuitionistic logic. The proof is given with tree sequent calculus, but is complicated. In this paper, we introduce some reduction rules for the \-calculus, and give (...) a simple and purely syntactical proof to the theorem by use of the reduction. In addition, we show that we can give a computation model with rich expressive power with our system. (shrink)

Poor sleep quality negatively affects memory performance, and working memory in particular. We investigated sleep habits related to sleep quality including sleep duration, daytime nap duration, nap frequency, and dream content recall frequency (DCRF). Declarative working memory can be subdivided into verbal working memory (VWM) and visuospatial working memory (VSWM). We hypothesized that sleep habits would have different effects on VWM and VSWM. To our knowledge, our study is the first to investigate differences between VWM and VSWM related to daytime (...) nap duration, nap frequency, and DCRF. Furthermore, we tested the hypothesis that the effects of duration and frequency of daytime naps and DCRF on VWM and VSWM differed according to sex. We assessed 779 healthy right-handed individuals (434 males and 345 females; mean age: 20.7 ± 1.8 years) using a digit span forward and backward VWM task, a forward and backward VSWM task, and sleep habits scales. A correlation analysis was used to test the relationships between VWM capacity (VWMC) and VSWM capacity (VSWMC) scores and sleep duration, nap duration, nap frequency, and DCRF. Furthermore, multiple regression analyses were conducted to identify factors associated with VWMC and VSWMC scores and to identify sex-related differences. We found significant positive correlations between VSWMC and nap duration and DCRF, and between VWMC and sleep duration in all subjects. Furthermore, we found that working memory capacity (WMC) was positively correlated with nap duration in males and with sleep duration in females, and DCRF was positively correlated with VSWMC in females. Our finding of sex-related differences in the effects of sleep habits on WMC has not been reported previously. The associations between WMC and sleep habits differed according to sex because of differences in the underlying neural correlates of VWM and VSWM, and effectiveness of the sleep habits in males and females. (shrink)