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.

In Visible and Invisible in Greek Philosophy, Professor Yamakawa has collected a number of groundbreaking essays covering the entire history of Greek philosophy from the Presocratics to the Postaristotelians. He explores in a systematic and methodical manner 'the dynamic correlation between the visible and the invisible aspects of Greek philosophers' particularly thoughts.'—Christos Evangeliou, Honorary President, The International Association for Greek Philosophy, Professor of Philosophy, Towson University.

Determining the relationship between the entire brain structure and individual differences is important in extending healthy life expectancy, which can be affected by brain atrophy. The entire brain structure has been gradually known to be correlated not only with age but also with individual differences, such as quality of life, general intelligence, and lifestyle. However, little attention has been paid to the relationship between the entire brain structure and personal traits. We herein focused on one personal trait, namely spiritual growth, (...) and examined its relationship with the entire brain structure using two neuroimaging-derived measures, namely the gray matter Brain Healthcare Quotient, a measure of GM volume, and the fractional anisotropy Brain Healthcare Quotient, a measure of white matter integrity, in 229 healthy participants. The results indicated no significant relationship between the GM-BHQ and spiritual growth, but there was a significant positive correlation between the FA-BHQ and spiritual growth after controlling for age, sex, and body mass index with partial correlation analysis. Furthermore, multiple regression analysis revealed a significant positive correlation between the FA-BHQ and spiritual growth after controlling for physical characteristics, such as age, sex, and BMI, as well as other variables related to lifestyle that were collected using the Health-Promoting Lifestyle Profile. These results support the idea that there is a relationship between the entire WM brain structure and spiritual growth. Further studies are required to clarify the causal relationship between the entire WM brain structure and spiritual growth with some interventions to improve spiritual growth. Such studies will help extend healthy life expectancy from a new perspective of personal trait. (shrink)

Most previous research has demonstrated that receiving ability-focused praise negatively affects intrinsic motivation following failure. Surprisingly, a recent study showed that ability-focused praise affects not only the praisee but also the person offering praise, that is, the praiser. However, evidence of the effects on the praiser is quite limited, despite the utility of praise in education. Therefore, the present study employed face-to-face interaction to advance the knowledge of the effects of praise on the praiser. Two experiments were conducted in which (...) undergraduate participants praised a research confederate. We measured attentional engagement using an eye-tracker as a behavioral indicator of intrinsic motivation, as well as self-reported task enjoyment. To estimate the effect of praise, we combined the results of two experiments and conducted a Bayes factor meta-analysis. The results showed that in the ability praise group, participants’ attentional engagement in a task was significantly lower than in the control group. The present finding indicates that ability-focused praise negatively affects the praiser’s intrinsic motivation and suggests that praise should be used with caution in social and educational contexts. (shrink)

Why should the work of the ancient and the medievals, so far as it relates to nature, still be of interest and an inspiration to us now? The contributions to this enlightening volume explore and uncover contemporary scholarship's debt to the classical and medieval past. Thinking About the Environment synthesizes religious thought and environmental theory to trace a trajectory from Mesopotamian mythology and classical and Hellenistic Greek, through classical Latin writers, to medieval Christian views of the natural world and our (...) relationship with it. The work also offers medieval Arabic and Jewish views on humanity's inseparability from nature. The volume concludes with a study of the breakdown between science and value in contemporary ecological thought. Thinking About the Environment will be a invaluable source book for those seeking to address environmental ethics from a historical perspective. (shrink)

Though there has been an array of methods to evaluate the extent of sarcoidosis, it is generally difficult to detect central nervous system involvement. Recently it has become accepted that 18F-FDG PET is more sensitive than gallium scintigraphy in finding sarcoid lesions, however its usefulness and limitations for detecting sarcoidosis in the central nervous system, especially in the spinal cord, has rarely been investigated. Two patients with pathologically confirmed sarcoidosis manifested spinal symptoms. We conducted 18F-FDG PET along with conventional imagings (...) before and after treatment. Abnormal FDG uptakes which could not be detected by gallium scintigraphy were shown in the spinal cords in both patients. These abnormal uptakes were diminished in accordance with clinical improvement after treatment. Our findings suggest that 18F-FDG PET is effective in detecting and tracking the activity of spinal sarcoidosis. (shrink)