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)

The famous Japanese novelist offers his personal interpretation of a classic work on samurai ethics, everyday life, and spiritual salvation.

Obtaining informed consent is a cornerstone of biomedical research, yet participants comprehension of presented information is often low. The most effective interventions to improve understanding rates have not been identified.

In lieu of an abstract, here is a brief excerpt of the content:Buddhist-Christian Studies 20 (2000) 59-69 [Access article in PDF] Buddhist Views on Ritual Pactice Protestant Character of Modern Buddhist Movements Yukio MatsudoUniversity of HeidelbergWhat is the relationship between ritual and ethical activities in Nichiren Buddhism, as practiced in the Soka Gakkai (SG)? SG is a lay Buddhist organization which is, as such, involved extensively in secular affairs, specifically in the field of educational, cultural, social, and peace-promoting programs. (...) The question is, therefore, not at all whether there is a connection of religious practice and ethical activities. Rather it begs an explanation regarding its ideological background. In this respect a further reflection on a metareflection level would be useful to clarify the "modern" character of SG, which may be discussed in relation to Christian Protestantism since it has been regarded as a spiritual background for the formation of modern ethos such as individualism, egalitarianism, and social engagement. Thus, I will depict the fundamental feature of Nichiren Buddhism as "reformative Buddhism," which makes the practice of Buddhism congruent with "modern" understanding of religious roles in daily life as well as social engagement. On the other hand, I will also discuss some problems being inherent to the Western acculturation of the reformed and "engaged Buddhism." 1 The Ethical Activities of the SG in the World Ethical and Social Aspects of the Movement It is generally well known that the lay Buddhist organization, SG, as a whole has initiated wide and multifaceted activities even in an international level in order to transform its religious ideals into social reality, specifically in the field of educational, cultural, social, and peace-promoting programs. For this purpose it established educational institutes ranging from kindergartens to universities as well as research [End Page 59] institutes such as the Institute of Oriental Philosophy (founded 1961), the Boston Research Center for the 21st Century (founded 1993), the Toda Institute for Global Peace and Policy Research (founded 1996), and other centers for ecological researches. For promoting mutual respect and understanding through cultural expressions and exchanges several institutes have been established, like the Min-On Concert Association (founded 1963), the Tokyo Fuji Art Museum (founded 1991), and La Maison Littéraire de Victor Hugo in Bièvre, France (founded 1992). On a global level, its political involvement is, for a large part, situated as a NGO in the frame of the UNO and the UNESCO. With the help of the UNO, SG has organized all over the world expositions translating its concerns for peace, e.g., "Nuclear War: Threat to our World" and "War and Peace." With the Simon Wiesenthal Center it organized an exhibition "The Courage to Remember: Anne Frank and the Holocaust Exhibition." The issue of human rights is another of its major concerns. Commemorating the forty-fifth anniversary of the United Nations' adoption of the Universal Declaration of Human Rights, SG held an exhibition entitled "Toward the Century of Humanity: An Overview of Human Rights in Today's World" at the UN office in Geneva. Also, money received from fund-raising activities has been donated to the Office of the United Nations High Commissioner for Refugees and related agencies to provide medical supplies and food, and to support educational programs in the areas concerned. To expose the horrors of war, SG has also published life histories written by members about their sufferings in war: "Women against War," "Cries for Peace," and "Peace is our Duty." Segmental Differentiation of Organizational Structure To meet the requirements of functional differentiation of today's modern societal life SG is organized in a segmental and hierarchical structure. The basic structure is the regional units, organized in a hierarchical model, and all members are integrated "in each group" in their residence area. At the same time each member belongs to a specific "division" which is organized according to gender, age, and occupation. There are the four divisions of men, women, young men, and young women. Additionally there are divisions for school boys and girls, university students, as well as divisions according to occupation such as artists, lawyers, medical doctors, academics, and so on. These divisional differentiations reflect the need... (shrink)

In this paper we study a certain class of Lie algebras over commutative von Neumann algebras satisfying a certain finiteness condition. By using Boolean valued methods developed by Takeuti [8]-[11], we will establish the basic structure and representation theorems.

Floridi’s infosphere consisting of informational reality is estimated and delineated by introducing the new notion of Typ-Ken, an undifferentiated amalgam of type and token that can be expressed as either type or token dependent on contingent ontological commitment. First, we elaborate Floridi’s system, level of abstraction (LoA), model, and structure scheme, which is proposed to reconcile ontic with epistemic structural reality, and obtain the duality of type and token inherited in the relationship between LoA and model. While we focus on (...) the ontological commitment that can negotiate and emphasize the discrepancy between type and token, we show that most research focusing on different hierarchical layers (type and token) has converged onto the flattened perspective of type and token to clarify the role of ontological commitment. We propose the idea of Typ-Ken to avoid this flattening. In addition, we elaborate Taddeo and Floridi’s criticism of approaches to the symbol grounding problem and show that their criticism based on the zero semantical commitment condition is specific to the agents affected by the flattening. We then take bird flocks as a metaphor for the living infosphere as if it had one mind. The knowledge recently yielded by image analysis indicates that it is difficult for previous flock models based on agents equipped with the flattening of local (token) and global (type) to show the special feature of a flock of the scale-free proportion (SFP). We show here that agents based on the Typ-Ken can reveal the SFP, which is the essential characteristic of the living infosphere. In other words, Typ-Ken is an expression for informational reality (LoA and model with ontological commitment) that can reveal seamless local and global interactions in the functioning of a flock or infosphere. (shrink)

Just as Kaplansky [4] has introduced the notion of an AW*-module as a generalization of a complex Hilbert space, we introduce the notion of an AL*-algebra, which is a generalization of that of an L*-algebra invented by Schue [9, 10]. By using Boolean valued methods developed by Ozawa [6–8], Takeuti [11–13] and others, we establish its basic properties including a fundamental structure theorem. This paper should be regarded as a continuation or our previous paper [5], the familiarity with which is (...) presupposed. MSC: 03C90, 03E40, 17B65, 46L10. (shrink)

We used a response competition paradigm to investigate whether a distractor is effectively rejected under conditions where it is projected to a highly-loaded hemisphere. In two experiments we asked right-handed participants to identify a target among five task-relevant letters while they ignored a distractor. We manipulated both the distractor visual-field and the compatibility of the target and the distractor. In the low-loaded visual-field, we presented a distractor with one task-relevant stimulus to one visual-field and the remaining task-relevant stimuli to the (...) opposite visual-field. In the high-loaded visual-field, we presented a distractor and task-relevant stimuli in reverse. In Experiment 1 , we found a compatibility effect for the low-loaded, but not for the high-loaded visual-field. In Experiment 2, this modulation of the compatibility effect did not appear when the upper/lower visual-field was manipulated. These findings demonstrate that a distractor is successfully ignored when it is presented to a highly-loaded hemisphere. (shrink)

In conventional generalization of the main results of classical measure theory to Stone algebra valued measures, the values that measures and functions can take are Booleanized, while the classical notion of a σ-field is retained. The main purpose of this paper is to show by abundace of illustrations that if we agree to Booleanize the notion of a σ-field as well, then all the glorious legacy of classical measure theory is preserved completely.

In contemporary Japanese society, it is difficult to find a marriage partner, and therefore, “Konkatsu,” the search for a marriage partner, has become a socially accepted activity in Japan. In response to this social challenge, in addition to private companies, governments and non-profit organizations are supporting individuals in their search for a marriage partner. This paper reviews statistical information related to marriage hunting published in Japan. In addition, some of the authors’ collaborative activities and academic publications based on these activities (...) are reviewed. Subsequently, the paper discusses and highlights the importance of helping individuals have confidence in their physical attractiveness. (shrink)

In spite of the philosophical significance of higher-order modal logic, the modal logician's main concern has been with sentential logic. In this paper we do not intend to go into philosophical details, but we only remark that higher-order modal logic has a close relationship with Montague's well-known idea of “universal grammar”, which is an ambitious attempt to build a logical theory of natural languages with exact syntax and semantics, comparable with the artificial languages of mathematical logic. For this matter, the (...) reader can consult, e.g., Montague [8], [9] and Gallin [2]. (shrink)

教養と学問が関係することは、実は自明ではない。教養とは何か。また学問と思想はどのように関わるのか。知識人として、学者として、丸山が発し続けた問いと思考の展開を、遺された言葉の総体から精緻に読み解き、「 丸山論」をこえて現代日本に提示。.

The aims of this paper are: (1) to present tense-logical versions of such classical notions as saturated and special models; (2) to establish several fundamental existence theorems about these notions; (3) to apply these powerful techniques to tense complexity.In this paper we are concerned exclusively with quantifiedK 1 (for linear time) with constant domain. Our present research owes much to Bowen [2], Fine [5] and Gabbay [6].

By creating an unbounded topological reduction theory for complex Hilbert spaces over Stonean spaces, we can give a category-theoretic duality between Boolean valued analysis and topological reduction theory for complex Hilbert spaces. MSC: 03C90, 03E40, 06E15, 46M99.