Chaotic dynamics can be related to analog computation. A possibility of electronically implementing the chaos -driven contracting system in the target article is explored with an analog electronic circuit with inevitable noise from the viewpoint of analog computation with chaotic neurons.

We prove that every countable non-standard model of WKL0 has a proper initial part isomorphic to itself. This theorem enables us to carry out non-standard arguments over WKL0.

Reinforcement learning has recently received much attention as a learning method for complicated systems, e.g., robot systems. It does not need prior knowledge and has higher capability of reactive and adaptive behaviors. However increase in dimensionality of the action-state space makes it diffcult to accomplish learning. The applicability of the existing reinforcement learning algorithms are effective for simple tasks with relatively small action-state space. In this paper, we propose a new reinforcement learning algorithm: “Q-learning with Dynamic Structuring of Exploration Space (...) Based on Genetic Algorithm ”. The algorithm is applicable to systems with high dimensional action and interior state spaces, for example a robot with many redundant degrees of freedom. To demonstrate the effectiveness of the proposed algorithm simulations of obstacle avoidance by a 50 links manipulator have been carried out. It is shown that effective behavior can be learned by using the proposed algorithm. (shrink)

Reinforcement learning is very effective for robot learning. Because it does not need priori knowledge and has higher capability of reactive and adaptive behaviors. In our previous works, we proposed new reinforcement learning algorithm: “Q-learning with Dynamic Structuring of Exploration Space Based on Genetic Algorithm (QDSEGA)”. It is designed for complicated systems with large action-state space like a robot with many redundant degrees of freedom. And we applied it to 50 link manipulator and effective behavior is acquired. However optimality and (...) fault tolerance of the proposed algorithm were not considered and to demonstrate effectiveness of the proposed algorithm other applications are necessary. Acquiring of locomotion patterns by a multi-legged robot is a very interesting problem. As it has many redundant degrees of freedom, application of usual reinforcement learning is difficult and an optimal locomotion has not been acquired using previous reinforcement learning algorithm. And the redundancy of the robot is effective to the fault tolerance and various locomotion patterns can be acquired for adapting the faults of the legs. In this paper, we applied QDSEGA to acquiring of locomotion pattern by the multi-legged robot and considered the optimality and fault tolerance. Effective behavior has been obtained by using our proposed algorithm. (shrink)

In [10], we have shown that the statement that all ∑ 1 1 partitions are Ramsey is deducible over ATR 0 from the axiom of ∑ 1 1 monotone inductive definition,but the reversal needs П 1 1 - CA 0 rather than ATR 0 . By contrast, we show in this paper that the statement that all ∑ 0 2 games are determinate is also deducible over ATR 0 from the axiom of ∑ 1 1 monotone inductive definition, but the (...) reversal is provable even in ACA 0 . These results illuminate the substantial differences among lightface theorems which can not be observed in boldface. (shrink)

It has long been observed that the superlative construction, exemplified by John climbed the highest mountain, has two readings. On the absolute reading, the heights of the relevant mountains in a relevant context are compared; on the comparative reading, relevant climbers’ achievements of mountain climbing are compared (Szabolcsi, Comparative superlatives, MIT Working Papers in Linguistics, 1986). Two theories have been proposed regarding this ambiguity. One theory holds that it results from movement of the superlative morpheme -est (movement theory) (Heim, Association (...) with focus, Doctoral Dissertation, 1985, Notes on superlatives, 1999; Szabolcsi 1986).The other theory holds that the ambiguity is derived by assignment of different values to the context variable C, keeping a single LF structure where -est stays in situ (in-situ theory) (Farkas and Kiss, Nat Lang Linguist Theory 18:417–455, 2000; Sharvit and Stateva, Linguist Philos 25:453–504, 2002). As is pointed out by Heim (1999), a choice between these theories is hard to make based solely on English. Through an investigation of Japanese superlative constructions, this paper argues that, in Japanese at least, a movement theory is required. (shrink)

We show that each of Δ13-CA0 + Σ13-IND and Π12-CA0 + Π13-TI proves Δ03-Det and that neither Σ31-IND nor Π13-TI can be dropped. We also show that neither Δ13-CA0 + Σ1∞-IND nor Π12-CA0 + Π1∞-TI proves Σ03-Det. Moreover, we prove that none of Δ21-CA0, Σ31-IND and Π21-TI is provable in Δ11-Det0 = ACA0 + Δ11-Det.

We show that each of $\Delta _{3}^{1}-{\rm CA}_{0}+\Sigma _{3}^{1}-{\rm IND}$ and $\Pi _{2}^{1}-{\rm CA}_{0}+\Pi _{3}^{1}-{\rm TI}$ proves $\Delta _{3}^{0}-{\rm Det}$ and that neither $\Sigma _{3}^{1}-{\rm IND}$ nor $\Pi _{3}^{1}-{\rm TI}$ can be dropped. We also show that neither $\Delta _{3}^{1}-{\rm CA}_{0}+\Sigma _{\infty}^{1}-{\rm IND}$ nor $\Pi _{2}^{1}-{\rm CA}_{0}+\Pi _{\infty}^{1}-{\rm TI}$ proves $\Sigma _{3}^{0}-{\rm Det}$. Moreover, we prove that none of $\Delta _{2}^{1}-{\rm CA}_{0}$, $\Sigma _{3}^{1}-{\rm IND}$ and $\Pi _{2}^{1}-{\rm TI}$ is provable in $\Delta _{1}^{1}-{\rm Det}_{0}={\rm ACA}_{0}+\Delta _{1}^{1}-{\rm Det}$.

Within a weak subsystem of second-order arithmetic , that is -conservative over , we reformulate Kreisel's proof of the Second Incompleteness Theorem and Boolos' proof of the First Incompleteness Theorem.

Within a weak subsystem of second‐order arithmetic WKL0, we develop basic part of non‐standard analysis up to the Peano existence theorem.

By , we denote the system of second-order arithmetic based on recursive comprehension axioms and Σ10 induction. is defined to be plus weak König's lemma: every infinite tree of sequences of 0's and 1's has an infinite path. In this paper, we first show that for any countable model M of , there exists a countable model M′ of whose first-order part is the same as that of M, and whose second-order part consists of the M-recursive sets and sets not (...) in the second-order part of M. By combining this fact with a certain forcing argument over universal trees, we obtain the following result : if proves X!Y with arithmetical, so does . We also discuss several improvements of this results. (shrink)

In this paper, we show within RCA 0 that weak Konig's lemma is necessary and sufficient to prove that any (separable) compact group has a Haar measure. Within WKL 0 , a Haar measure is constructed by a non-standard method based on a fact that every countable non-standard model of WKL 0 has a proper initial part isomorphic to itself [10].

Hegel, in his work _Philosophy of Right_, defines ownership through three elements: acquisition by occupation, use, and transfer. To own something involves mere acquisition and encompasses its appropriate use and potential transfer to others. Subsequently, the final aspect mentioned was the concept of infinite judgement. The acts of owning and transferring to others are diametrically opposed, and Hegel’s unique logic forcibly connects these opposing concepts. This form of infinite judgement was advocated by the young Hegel during the era of _Phenomenology (...) of Spirit_. There, he stated, “Spirit is a bone”. However, when he later wrote _Science of Logic_ or _Encyclopedia_, the formulation of infinite judgement changed to “Spirit is not something that is bone”. This shift was influenced by Kant. In _Logic_, the discourse advances into syllogism, inferential theory, leading to “Spirit is a bone for such-and-such reasons”. In essence, Hegel binarily connected spirit and bone in his youth and introduced a mediating term in this connection later in his life, establishing inferential links. However, the notion of forcibly connecting opposing concepts remains. Therefore, the statement “Ownership is transfer” represents an infinite judgement while simultaneously signifying syllogism that “I truly own this object if I can transfer it to others”. This contributes to the reasoning that “I and objects can be connected through the intermediary of others”, progressing to the inference that “I and others can be connected through objects”, thereby laying the foundation for society. (shrink)

The first English translation of a forty-year-old Japanese classic--Nishitani's treatment of the problem of nihilism, with particular reference to Nietzsche's philosophical ideas, and from a perspective influenced by Buddhist thought. Paper edition, $14.95. Annotation copyrighted by Book News, Inc., Portland, OR.

By RCA 0 , we denote a subsystem of second order arithmetic based on Δ0 1 comprehension and Δ0 1 induction. We show within this system that the real number system R satisfies all the theorems (possibly with non-standard length) of the theory of real closed fields under an appropriate truth definition. This enables us to develop linear algebra and polynomial ring theory over real and complex numbers, so that we particularly obtain Hilbert’s Nullstellensatz in RCA 0.

In the most recent Teaching and Learning International Survey (TALIS2018) conducted by the Organisation for Economic Cooperation and Development (OECD), the percentage of Japanese teachers who taught critical thinking (CT) and professed self-efficacy in CT teaching was by far the lowest among participating economies (OECD, 2019). This research explores the emic or indigenous understanding of CT in Japanese education through in-depth qualitative interviews with 12 schoolteachers of diverse backgrounds. Japanese schoolteachers find the nuance of CT undesirable. Yet, a particular facet (...) of CT, namely multidimensional-multiperspective thinking (MMT), is well-received since the national curriculum guidelines, which most participants find to be their teaching foundation, lay strong emphasis on MMT. Almost all participants agree that low socioeconomic-status (SES) schools have difficulty teaching CT/MMT. Furthermore, a hidden curriculum in Japanese schools, namely valuing empathy, also affects CT teaching. Being empathetic constitutes a core value in Japanese schooling, so participants find it impossible to practice CT without teaching empathy. The findings suggest that the curricular power, whether official or implicit, is forceful in Japan. Still, schoolteachers practise indigenous versions of CT teaching and manage to keep away from the power of the etic/global model of CT teaching. This paper concludes with practical implications for educators to reconcile the etic and emic understandings of CT teaching. (shrink)

Background: Dementia is one the major problems of aging societies, and, novel and effective non-drug therapies are required as interventions in the oldest-old to prevent cognitive decline.Objective: This study aims to examine the efficacy and safety of reminiscence using immersive virtual reality focusing on anxiety that often appears with cognitive decline. The secondary objective is to reveal the preference for VR image types for reminiscence: live-action or computer graphics.Methods: This was a pilot, open-label, and randomized crossover study which was conducted (...) on January 2020 at a single nursing home. The subjects were randomly divided into two groups in equal numbers, and they alternately viewed two types of VR images themed on the mid- to late Showa era in Japan. In group A, the CG images were viewed first, and then the LA images were viewed. In group B, the images were viewed in the opposite order. Before VR viewing, subjects responded to Mini-Mental State Examination Japanese version and State-Trait Anxiety Inventory Japanese version. After viewing the first and second VR, subjects responded to STAI and the numerical rating scale for satisfaction and side effects.Results: Ten subjects participated in this study. The values of analyses are presented in the mean. The age was 87.1 years, and the MMSE was 28.5. The total STAI score before VR viewing was 36.1, but it significantly decreased to 26.8 after the first VR viewing, and further decreased to 23.4 after the second VR viewing. The NRS score for satisfaction tended to be higher after viewing LA in group A vs. 8.6, P = 0.0993), while in group B, the score after CG was slightly lower than that after LA. There were no serious side effects.Conclusions: This study suggests that iVR reminiscence can reduce anxiety in the oldest-old without causing serious side effects. Furthermore, the impacts might be better with LA images. (shrink)

We give a simple game-theoretic proof of Silver's theorem that every analytic set is Ramsey. A set P of subsets of ω is called Ramsey if there exists an infinite set H such that either all infinite subsets of H are in P or all out of P. Our proof clarifies a strong connection between the Ramsey property of partitions and the determinacy of infinite games.

Human beings express affinity (Shinwa‐kan in Japanese language) in communicating transactive engagements among healthcare providers, patients and healthcare robots. The appearance of healthcare robots and their language capabilities often feature characteristic and appropriate compassionate dialogical functions in human–robot interactions. Elements of healthcare robot configurations comprising its physiognomy and communication properties are founded on the positivist philosophical perspective of being the summation of composite parts, thereby mimicking human persons. This article reviews Mori's theory of the Uncanny Valley and its consequent debates, (...) and examines "Uncanny" relations with generating healthcare robot conversational content with artificial affective communication (AAC) using natural language processing. With healthcare robots provoking influential physical composition and sensory expressions, the relations in human–healthcare robot transactive engagements are argued as supportive of the design and development in natural language processing. This implies that maintaining human–healthcare robot interaction and assessing the eeriness situations explained in the Uncanny Valley theory are crucial positions for healthcare robot functioning as a valuable commodity in health care. As such, physical features, language capabilities and mobility of healthcare robots establish the primacy of the AAC with natural language processing as integral to healthcare robot–human healthcare practice. (shrink)

Short-term motor practice leads to plasticity in the primary motor cortex. The purpose of this study is to investigate the factors that determine the increase in corticospinal tract excitability after motor practice, with special focus on two factors; “the level of muscle activity” and “the presence/absence of a goal of keeping the activity level constant.” Fifteen healthy subjects performed four types of rapid thumb adduction in separate sessions. In the “comfortable task” and “forceful task”, the subjects adducted their thumb using (...) comfortable and strong forces. In the “comfortable with a goal task” and “forceful with a goal task”, subjects controlled the muscle activity at the same level as in the C and F, respectively, by adjusting the peak electromyographic amplitude within the target ranges. Paired associative stimulation, which combines peripheral nerve stimulation and transcranial magnetic stimulation, with an inter-stimulus interval of 25 ms was also done. Before and after the motor tasks and PAS25, TMS was applied to the M1. None of the four tasks showed any temporary changes in behavior, meaning no learning occurred. Motor-evoked potential amplitude increased only after the FG and it exhibited a positive correlation with the MEP increase after PAS25, suggesting that FG and PAS25 share at least similar plasticity mechanisms in the M1. Resting motor threshold decreased only after FG, suggesting that FG would also be associated with the membrane depolarization of M1 neurons. These results suggest task-dependent plasticity from the synergistic effect of forceful muscle activity and of setting a goal of keeping the activity level constant. (shrink)

Transvertebral magnetic stimulation (TVMS) of the human lumbar spinal cord can evoke bilateral rhythmic leg movements, as in walking, supposedly through the activation of spinal locomotor neural circuitry. However, an appropriate stimulus intensity that can effectively drive the human spinal locomotor circuitry to evoke walking-like movements has not been determined. To address this issue, TVMS was delivered over an intervertebral space of the lumbar cord (L1–L3) at different stimulus intensities (10–70% of maximum stimulator output) in healthy human adults. In a (...) stimulus intensity-dependent manner, TVMS evoked two major patterns of rhythmic leg movements in which the left-right movement cycles were coordinated with different phase relationships: hopping-like movements, in which both legs moved in the same direction in phase, and walking-like movements, in which both legs moved alternatively in anti-phase; uncategorized movements were also observed which could not be categorized as either movement type. Even at the same stimulation site, the stimulus-evoked rhythmic movements changed from hopping-like movements to walking-like movements as stimulus intensity was increased. Different leg muscle activation patterns were engaged in the induction of the hopping- and walking-like movements. The magnitude of the evoked hopping- and walking-like movements was positively correlated with stimulus intensity. The human spinal neural circuitry required a higher intensity of magnetic stimulation to produce walking-like leg movements than to produce hopping-like movements. These results suggest that TVMS activates distinct neural modules in the human spinal cord to generate hopping- and walking-like movements. (shrink)