Objective: This study aimed to investigate whether galvanic vestibular stimulation with stochastic noise modulates the body sway and muscle activity of the lower limbs, depending on visual and somatosensory information from the foot using rubber-foam.Methods: Seventeen healthy young adults participated in the study. Each subject maintained an upright standing position on a force plate with/without rubber-foam, with their eyes open/closed, to measure the position of their foot center of pressure. Thirty minutes after baseline measurements under four possible conditions performed without (...) nGVS, the stimulation trials were conducted under the same conditions in random order, which were then repeated a week or more later. The total center of pressure path length movement and COP movement velocity in the mediolateral and anteroposterior directions were recorded for 30 s during nGVS. Furthermore, electromyography activity of the right tibial anterior muscle and soleus muscle was recorded for the same time and analyzed.Results: Three-way analysis of variance and post-hoc multiple comparison revealed a significant increment in COP-related parameters by nGVS, and a significant increment in soleus muscle activity on rubber. There was no significant effect of eye condition on any parameter.Conclusions: During nGVS, body sway and muscle activity in the lower limb may be increased depending not on the visual condition, but on the foot somatosensory condition. (shrink)

ObjectiveNoisy galvanic vestibular stimulation (nGVS) is often used to improve postural stability in disorders, such as neurorehabilitation montage. For the safe use of nGVS, we investigated whether arterial pressure (AP) and heart rate vary during static supine and slow whole-body tilt with random nGVS (0.4 mA, 0.1–640 Hz, gaussian distribution) in a healthy elderly population.MethodsThis study was conducted with a double-blind, sham-controlled, cross-over design. Seventeen healthy older adults were recruited. They were asked to maintain a static supine position on a (...) bed for 10 min, and the bed was tilted up (TU) to 70 degrees within 30 s. After maintaining this position for 3 min, the bed was passively tilted down (TD) within 30 s. Real-nGVS or sham-nGVS was applied from 4 to 15 min. The time course of mean arterial pressure (MAP) and RR interval variability (RRIV) were analyzed to estimate the autonomic nervous activity.ResultnGVS and/or time, including pre-/post-event (nGVS-start, TU, and TD), had no impact on MAP and RRIV-related parameters. Further, there was no evidence supporting the argument that nGVS induces pain, vertigo/dizziness, and uncomfortable feeling.ConclusionnGVS may not affect the AP and RRIV during static position and whole-body tilting or cause pain, vertigo/dizziness, and discomfort in the elderly. (shrink)

Cet article rend compte des modes d'utilisation et d'accès aux TIC au Japon, sous l'angle des controverses et des défis qui se présentent aux différentes générations. Pour les parents, il s'agit d'assurer un environnement informatique sans risque tout en aidant leurs enfants à découvrir des informations en ligne et à en tirer le meilleur parti. Quant aux adultes en général, les inégalités existantes déterminent la nature et les modes d'utilisation des TIC. En conclusion, l'article suggère qu'Internet présente non pas un (...) moyen d'expression transparent à une société civile pré-existante, mais soulève au contraire des problématiques classiques dans la société civile japonaise, ayant trait par exemple à l'égalité, à l'intégration et à la participation aux délibérations civiques.This article reports on usage patterns and access to ICTs in Japan, in terms of controversies and challenges that arise between generations. For parents, it is to ensure a safe computing environment while helping their children discover information online and get the best. For adults in general, existing inequalities determine the nature and patterns of use of ICT. In conclusion, the article suggests that the Internet has not a transparent medium of a pre-existing civil society, but instead raises issues in traditional Japanese civil society, for example in relation to equality, integration and civic participation in the deliberations. (shrink)

The Ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Omega $$\end{document}-rule was introduced by W. Buchholz to give an ordinal-free proof of cut-elimination for a subsystem of analysis with Π11\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Pi ^{1}_{1}$$\end{document}-comprehension. W. Buchholz’s proof provides cut-free derivations by familiar rules only for arithmetical sequents. When second-order quantifiers are present, they are introduced by the Ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Omega $$\end{document}-rule and some residual cuts are not (...) eliminated. In the present paper, we introduce an extension of the Ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Omega $$\end{document}-rule and prove the complete cut-elimination by the same method as W. Buchholz: any derivation of arbitrary sequent is transformed into its cut-free derivation by the standard rules. In fact we treat the subsystem of Π11\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Pi ^{1}_{1}$$\end{document}-CA that W. Buchholz used for his explanation of G. Takeuti’s finite reductions. Extension to full Π11\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Pi ^{1}_{1}$$\end{document}-CA is planned for another paper. (shrink)

This paper aims to give a correct proof of Tait's conservative extension theorem. Tait's own proof is flawed in the sense that there are some invalid steps in his argument, and there is a counterexample to the main theorem from which the conservative extension theorem is supposed to follow. However, an analysis of Tait's basic idea suggests a correct proof of the conservative extension theorem and a corrected version of the main theorem.

Gaisi Takeuti extended Gentzen's work to higher-order case in 1950's–1960's and proved the consistency of impredicative subsystems of analysis. He has been chiefly known as a successor of Hilbert's school, but we pointed out in the previous paper that Takeuti's aimed to investigate the relationships between "minds" by carrying out his proof-theoretic project rather than proving the "reliability" of such impredicative subsystems of analysis. Moreover, as briefly explained there, his philosophical ideas can be traced back to Nishida's philosophy in Kyoto's (...) school. For the proving the consistency of such systems, it is crucial to prove the well-foundedness of ordinals called "ordinal diagrams" developed for it. Takeuti presented such arguments several times in order to show that they are admitted in his stand point. As a starting point of investigating his finitist stand point, we formulate the system of ordinal notations up to ε0 and reconstruct the well-foundedness arguments of them. (shrink)

This paper aims to construct a logic of alternative-I that provides a proper conceptual framework for talk of possible-I in decision-making context, and thereby solves what we call the paradox of possible-I. The model of our logic, Alt-I model, is an adaptation of N. Belnap’s branching-time model, and the STIT (see to it that) operator defined on the model serves to represent choices and decisions made by actual and counterfactual agents. We conclude this paper by discussing the application of Alt-I (...) model to the case of digital twins, digital copies of a person. (shrink)

Sightings of the revolutionary comet that appeared in the skies of evolutionary biology in 1976—the selfish gene—date back to the 19th and early 20th centuries. It became generally recognized that genes were located on chromosomes and compete with each other in a manner consistent with the later appellation “selfish.” Chromosomes were seen as disruptable by the apparently random “cut and paste” process known as recombination. However, each gene was only a small part of its chromosome. On a statistical basis a (...) gene should escape disruption for many generations. This led George Williams and Richard Dawkins to a new definition of the gene, differing from conventional biochemical definitions in that there were no consistent genic boundaries. There had been no previous sightings of another revolutionary, albeit less verbally spectacular, comet that appeared in 1975—the homostability principle of Akiyoshi Wada. Each gene has a base composition “accent” that distinguishes it from its neighbors. We now see that recombination can be triggered by the shift in base composition at genic boundaries. Hence, the Williams-Dawkins definition approaches the conventional definitions. (shrink)

Sightings of the revolutionary comet that appeared in the skies of evolutionary biology in 1976—the selfish gene—date back to the 19th and early 20th centuries. It became generally recognized that genes were located on chromosomes and compete with each other in a manner consistent with the later appellation “selfish.” Chromosomes were seen as disruptable by the apparently random “cut and paste” process known as recombination. However, each gene was only a small part of its chromosome. On a statistical basis a (...) gene should escape disruption for many generations. This led George Williams and Richard Dawkins to a new definition of the gene, differing from conventional biochemical definitions in that there were no consistent genic boundaries. There had been no previous sightings of another revolutionary, albeit less verbally spectacular, comet that appeared in 1975—the homostability principle of Akiyoshi Wada. Each gene has a base composition “accent” that distinguishes it from its neighbors. We now see that recombination can be triggered by the shift in base composition at genic boundaries. Hence, the Williams-Dawkins definition approaches the conventional definitions. (shrink)

The Routledge Companion to Contemporary Japanese Social Theory breaks new ground in providing a detailed, systematic appraisal of the major traditions of social theory prominent in Japan today – from theories of identity and individualization to globalization studies. The volume introduces readers to the rich diversity of social-theoretical critique in contemporary Japanese social theory. The editors have brought together some of the most influential Japanese social scientists to assess current trends in Japanese social theory, including Kazuhisa Nishihara, Aiko Kashimura, Masahiro (...) Ogino, Yumiko Ehara and Kiyomitsu Yui. The volume also contains dialogues with these Japanese contributors from authoritative Western social theorists – including, among others, Axel Honneth, Roland Robertson, Bryan S. Turner, Charles Lemert and Anthony Elliott – to reflect on such developments. The result is an exciting, powerful set of intellectual exchanges. The book introduces, contextualizes and critiques social theories in the broader context of Japanese society, culture and politics – with particular emphasis upon Japanese engagements and revisions of major traditions of social thought. Divided into two sections, the book surveys traditions of social thought in Japanese social science and presents the major social issues facing contemporary Japan. The book will appeal to students and scholars of sociology, social theory, critical theory, psychoanalysis, risk, gender studies, feminist studies, self and identity studies, media studies and cultural studies. (shrink)