The motor modules during human walking are identified using non-negative matrix factorization from surface electromyography signals. The extraction of motor modules in healthy participants is affected by the change in pre-processing of EMG signals, such as low-pass filters ; however, the effect of different pre-processing methods, such as the number of necessary gait cycles in post-stroke patients with varying steps, remains unknown. We aimed to specify that the number of GCs influenced the motor modules extracted in the consideration of LPFs (...) in post-stroke patients. In total, 10 chronic post-stroke patients walked at a self-selected speed on an overground walkway, while EMG signals were recorded from the eight muscles of paretic lower limb. To verify the number of GCs, five GC conditions were set, namely, 25, 20, 15, 10, and 5 gate cycles with three LPFs. First, the number of modules, variability accounted for, and muscle weightings extracted by the NNMF algorithm were compared between the conditions. Next, a modified NNMF algorithm, in which the activation timing profiles among different GCs were unified, was performed to compare the muscle weightings more robustly between GCs. The number of motor modules was not significantly different, regardless of the GCs. The difference in VAF and muscle weightings in the different GCs decreased with the LPF of 4 Hz. Muscle weightings in 15 GCs or less were significantly different from those in 25 GCs using the modified NNMF. Therefore, we concluded that the variability extracted motor modules by different GCs was suppressed with lower LPFs; however, 20 GCs were needed for more representative extraction of motor modules during walking in post-stroke patients. (shrink)

Extracellular ATP released from necrotic cells in inflamed tissues activates the P2X7 receptor, stimulates the exposure of phosphatidylserine, and causes cell lysis. Recent findings indicated that XK, a paralogue of XKR8 lipid scramblase, forms a complex with VPS13A at the plasma membrane of T cells. Upon engagement by ATP, an unidentified signal(s) from the P2X7 receptor activates the XK‐VPS13A complex to scramble phospholipids, followed by necrotic cell death. P2X7 is expressed highly in CD25+CD4+ T cells but weakly in CD8+ T (...) cells, suggesting a role of this system in the activation of the immune system to prevent infection. On the other hand, a loss‐of‐function mutation in XK or VPS13A causes neuroacanthocytosis, indicating the crucial involvement of XK‐VPS13A‐mediated phospholipid scrambling at plasma membranes in the maintenance of homeostasis in the nervous and red blood cell systems. (shrink)

Aphasia is a language disorder that occurs after a stroke and impairs listening, speaking, reading, writing, and calculation skills. Patients with post-stroke aphasia in Japan are increasing due to population aging and the advancement of medical treatment. Opportunities for adequate speech therapy in chronic stroke are limited due to time constraints. Recent studies have reported that intensive speech therapy for a short period of time or continuous speech therapy using high-tech equipment, including speech applications (apps, can improve aphasia even in (...) the chronic stage. However, its underlying mechanism for improving language function and its effect on other cognitive functions remains unclear. In the present study, we investigated whether intensive speech therapy using a newly developed speech support app could improve aphasia and other cognitive functions in patients with chronic stroke. Furthermore, we examined whether it can alter the brain network related to language and other cortical areas. Thus, we conducted a prospective, single-comparison study to examine the effects of a new speech support app on language and cognitive functions and used resting state functional MRI (rs-fMRI) regions of interest (ROI) to ROI analysis to determine changes in the related brain network. Two patients with chronic stroke participated in this study. They used the independent speech therapy system to perform eight sets of 20 randomly presented words/time (taking approximately 20 min), for 8 consecutive weeks. Their language, higher cognitive functions including attention function, and rs-fMRI, were evaluated before and after the rehabilitation intervention using the speech support app. Both patients had improved pronunciation, daily conversational situations, and attention. The rs-fMRI analysis showed increased functional connectivity of brain regions associated with language and attention related areas. Our results show that intensive speech therapy using this speech support app can improve language and attention functions even in the chronic stage of stroke, and may be a useful tool for patients with aphasia. In the future, we will conduct longitudinal studies with larger numbers of patients, which we hope will continue the trends seen in the current study, and provide even stronger evidence for the usefulness of this new speech support app. (shrink)

Girard introduced phase semantics as a complete set-theoretic semantics of linear logic, and Okada modified phase-semantic completeness proofs to obtain normal-form theorems. On the basis of these works, Okada and Takemura reformulated Girard’s phase semantics so that it became phase semantics for proof-terms, i.e., lambda-terms. They formulated phase semantics for proof-terms of Laird’s dual affine/intuitionistic lambda-calculus and proved the normal-form theorem for Laird’s calculus via a completeness theorem. Their semantics was obtained by an application of computability predicates. In this paper, (...) we first formulate phase semantics for proof-terms of second-order intuitionistic propositional logic by modifying Tait-Girard’s saturated sets method. Next, we prove the completeness theorem with respect to this semantics, which implies a strong normalization theorem. (shrink)

In this paper, I will argue from a historical perspective that Gentzen’s 1935 consistency proof of 1st order Peano Arithmetic PA principally aimed to give a finitist interpretation of implication and this aspect of the 1935 proof emerged as the attempt to cope with the non-finiteness in BHK-interpretation of implication. My argument consists of two parts. First, I will explain that the fundamental idea of the 1935 proof is to show the soundness of PA on some finitist interpretation and Gentzen (...) had attempted to use BHK-interpretation as such an interpretation. It is claimed that he eventually thought that there is a ‘circularity’ which is due to the non-finiteness of BHK-interpretation of implication, so it cannot be used as a finitist interpretation. Secondly, I will argue that the principal aim of the 1935 proof is to give his own finitist interpretation of implication which avoids such a ‘circularity’. Finally, this paper’s conclusion and an open question are presented. (shrink)

Gentzen's three consistency proofs for elementary number theory have a common aim that originates from Hilbert's Program, namely, the aim to justify the application of classical reasoning to quantified propositions in elementary number theory. In addition to this common aim, Gentzen gave a “finitist” interpretation to every number-theoretic proposition with his 1935 and 1936 consistency proofs. In the present paper, we investigate the relationship of this interpretation with intuitionism in terms of the debate between the Hilbert School and the Brouwer (...) School over the significance of consistency proofs. First, we argue that the interpretation had the role of responding to a Brouwer-style objection against the significance of consistency proofs. Second, we propose a way of understanding Gentzen's response to this objection from an intuitionist perspective. (shrink)

We present an annotation scheme describing the argument structure of judgement documents, a central construct in Japanese law. To support the final goal of this work, namely summarisation aimed at the legal professions, we have designed blueprint models of summaries of various granularities, and our annotation model in turn is fitted around the information needed for the summaries. In this paper we report results of a manual annotation study, showing that the annotation is stable. The annotated corpus we created contains (...) 89 documents. We also designed and implemented the first two stages of an algorithm for the automatic extraction of argument structure, and present evaluation results. (shrink)

This article explores the limits of introductory social justice education and the ways in which a social foundations course could expand and deepen the social justice lens of current and future educators. The authors, members of an introductory graduate-level Social Foundations course, discuss the limitations they realized in their previous social justice education courses, and the importance of courses that further student's understandings of the ever-evolving ways people enact and experience identity, power, and privilege. The authors identify three main pedagogical (...) and theoretical elements that advanced their social justice knowledge: examining theories for their potential to uncover or obscure lived experience; unpacking binary constructions of identity; and exploring the limits and possibilities of intersectional thinking. This article offers implications and suggestions for educators who seek to challenge and expand the social justice knowledge of future educators and administrators. (shrink)

Kei Yoshida’s recent book Philosophy of the Social Sciences: An Introduction is the first introductory textbook on the philosophy of the social sciences written in Japanese. It concisely expounds on a wide range of topics in the discipline, while its explication of those topics is not impartial or neutral as the author himself says. This paper gives a critical review of the book. The first half of it briefly overviews and assesses the book as a whole. The latter half of (...) the paper reconstructs the gist of the author’s exposition of the naturalism/interpretivism debate and criticizes it. (shrink)

We evaluated the relationships of daily sleep duration and inconsistency with soft tennis competitive performance among 15 healthy collegiate soft tennis players. Sleep duration and inconsistency were determined by a 50-day sleep diary, which recorded sleep and wake times of sleep. Soft tennis athletic performance was evaluated by a service and baseline stroke accuracy test and the spider run test. Mean sleep duration was 7.4 ± 1.7 h. No correlation was found between long-term mean sleep duration and athletic performance. But (...) inconsistency in sleep duration was inversely correlated with service score after controlling for soft tennis experience and sex. There was no significant relationship between sleep inconsistency and other athletic performance. This result indicates that reducing the instability of sleep duration in the long-term may have a positive effect on soft tennis players’ service performance. Although participants’ current mean sleep duration was not as sufficient as the recommendation in sleep extension experiments, it revealed the importance for athletes to maintain regular sleep in daily life. (shrink)

The behavioral immune system (BIS) includes perceptual mechanisms for detecting cues of contamination. Former studies have indicated that moisture has a disgusting property. Therefore, moisture could be a target for detecting contamination cues by the BIS. We conducted two experiments to examine the psychophysical basis of moisture perception and clarify the relationship between the perception of moisture and the BIS. We assumed that the number of high luminance areas in a visual image provided optical information that would enable the visual (...) perception of moisture. In two experiments, we presented eight images of dough that contained different amounts of moisture as experimental stimuli. The amount of moisture shown in the images was increased in eight steps, from 28.6% to 42.9% of the total weight of the dough. In Experiment 1, the images were randomly presented on a computer display, and the participants (n = 22) were asked to rank the images in the order of the visually perceived moisture content. In Experiment 2, the participants (n = 15) completed pairwise comparisons based on the perceived moistness of the images. Furthermore, to examine the BIS responses, the participants rated the strength of disgust evoked by the stimuli, their motivation to avoid touching the stimuli, and the estimated magnitude of the risk of contamination by physical contact with the stimuli. The results indicated that the moisture content and the numbers of high luminance areas in the images accurately predicted the perception of moisture, suggesting that the detection of visual moisture was highly accurate, and the optical information served as an essential perceptual cue for detecting moisture. On the other hand, the BIS responses peaked in response to stimuli having approximately 33% to 39% moisture content. These results show that objects containing a moderate amount of moisture could be the target of visually detecting pathogens by the BIS. (shrink)

This study aimed to investigate whether the effect of mental practice can be enhanced by providing neurofeedback based on transcranial magnetic stimulation -induced motor evoked potentials. Twenty-four healthy, right-handed subjects were enrolled in this study. The subjects were randomly allocated into two groups: a group that was given correct TMS feedback and a group that was given randomized false TMS feedback. The subjects imagined pushing the switch with just timing, when the target circle overlapped a cross at the center of (...) the computer monitor. In the Real-FB group, feedback was provided to the subjects based on the MEP amplitude measured in the trial immediately preceding motor imagery. In contrast, the subjects of the Sham-FB group were provided with a feedback value that was independent of the MEP amplitude. TMS was applied when the target, moving from right to left, overlapped the cross at the center of the screen, and the MEP amplitude was measured. The MEP was recorded in the right first dorsal interosseous muscle. We evaluated the pre-mental practice and post-mental practice motor performance in both groups. As a result, a significant difference was observed in the percentage change of error values between the Real-FB group and the Sham-FB group. Furthermore, the MEP was significantly different between the groups in the 4th and 5th sets. Therefore, it was suggested that TMS-induced MEP-based neurofeedback might enhance the effect of mental practice. (shrink)

A challenge in human genome research is how to describe the populations being studied. The use of improper and/or imprecise terms has the potential to both generate and reinforce prejudices and to diminish the clinical value of the research. The issue of population descriptors has not attracted enough academic attention outside North America and Europe. In January 2012, we held a two-day workshop, the first of its kind in Japan, to engage in interdisciplinary dialogue between scholars in the humanities, social (...) sciences, medical sciences, and genetics to begin an ongoing discussion of the social and ethical issues associated with population descriptors. (shrink)

On the philosophy of Carvaka (Lokayata) exponent of the materialistic school of Indian philosophy.

Verse treatise, with Prakasika commentary, on fundamentals of the Mīmāṃsā school in Hindu philosophy.

Critical edition, with autocommentary and Hindi translation of a verse work on Jaina logic.

Classical verse work, expounding the early Vedantic approach in Hindu philosophy; Sanskrit text with Hindi translation and exhaustive introduction.

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Tetsugaku Companion to Nishida Kitarō ed. by Matsumaru Hisao, Arisaka Yoko, and Lucy Christine SchultzFernando Wirtz (bio)Tetsugaku Companion to Nishida Kitarō. Edited by Matsumaru Hisao, Arisaka Yoko, and Lucy Christine Schultz. Cham, Switzerland: Springer, 2022. Pp. v + 240. Hardcover $109.99, isbn 978–3-319417-83-7.This collection of essays has several virtues. First, although Nishida is one of the most widely translated Japanese philosophers into English, this is the first collection (...) of interpretative essays that attempts to cover the different aspects and stages of his work in a comprehensive manner.Second, this collection gives voice to several Japanese scholars who have long been working on Nishida's philosophy, but who are nevertheless little known outside Japan. Of course, as the editors explain in the introduction, the book intentionally seeks to incorporate perspectives that may dislocate the reader given the "fact that academic authors in countries other than the English-speaking Anglo-American regions write differently to express their ideas" (p. vii). This is a significant gesture, since Japanese philosophy has from its very beginnings been wracked by the problem of translation and counter-translation. It is an act of courage for the book to acknowledge that there are different "forms of expression" that, even if they may confuse the Anglo-American reader, serve to broaden the reader's philosophical sensibility (p. xiii–xiv).Third, rather than each chapter limiting itself to expounding Nishida's thought in a general way, each in turn problematizes specific aspects of the philosopher's work, connecting it with other authors and problems.As the editors explain, the book has a bipartite structure. In the first part, several contributors explore "seven principal concepts" that are intended to reflect Nishida's perception of his own system, while in the second part, contributors investigate the place of Nishida's thought in the global history of philosophy, drawing connections between Nishida's thought and other fields such as religion, science, and art. In addition, the relevance of his thought to both the present and the future is discussed. The book includes an appendix with a chronology of Nishida's life and work and also a glossary of fundamental concepts.In Chapter 1, Nakajima Yuta explores the concept of "pure experience," highlighting its importance in Nishida's later philosophy and its relation to the self-developing structure of consciousness. In particular, Nakajima analyzes the influence of Wilhelm Wundt's Outlines of Psychology in the work An Inquiry into [End Page 1] the Good. In that sense, this article provides the historical context in which Nishida developed his ideas in contrast to the psychologist. As the author points out: "The main point of criticism is that Nishida regards the foundational elements in Wundtian psychology as mere virtual abstractions of the primordial systematic unity of experience" (p. 7). This last statement leads to the recognition that any linguistic limitation of this primordial unity becomes an abstraction, since pure experience is the framework of the meaningful, where all meanings are dynamically generated and superimposed (p. 10).Itabashi Yūjin, in Chapter 2, establishes the transition from pure experience to "absolute free will" in the work, Intuition and Reflection in Self-Awareness, by comparing Nishida's text with the philosophies of Cohen and Schopenhauer. To understand this transition, we must not lose sight, as the author says, that when the self reflects itself in itself, it is self-producing and self-determining. This self-determination is not purely intellectual, but a total activity in which "thinking and sensation are one" (p. 20). Thus, the will is absolute because there is nothing prior to the self-productive activity of the will. For this reason, it is precisely in religious experience that "authentic life" (p. 22) emerges from the negation of the subjective self, that is, from the fiction of a foundation of absolute will.The person responsible for presenting the concept of "self-awareness" is Okada Katsuaki. In Chapter 3, Okada takes as a starting point the "subjectless" (p. 28) character of the Japanese language in order to explain the paradoxical possibility of experience experiencing itself. (p. 30). The self-awareness of the activity of the previous chapters becomes... (shrink)