昨今、死にまつわる問題、とりわけ葬儀についての関心が高く、経済誌などでも特集記事が組まれるほどである。そのようななか、本書では、現代における死生観を問い直し、多様化する葬送儀礼のあり方をめぐって学際的 に検討する。.

近現代日本において、マルクス主義と交差した局面で構築された親鸞論に注目し、「親鸞を語る」という営為の思想史的意義を検証する。.

In this paper we give an axiom system of a logic which we call an approximation logic (AL), whose Lindenbaum-Tarski algebra is a strong Bunge algebra (or simply s-Bunge algebra), and show thatFor every s-Bunge algebra , a quotient algebra by a maximal filter is isomorphic to the simplest nontrivial s-Bunge algebra ;The Lindenbaum algebra of AL is an s-Bunge algebra;AL is complete;AL is decidable.

In this paper we shall first show that for every weak DeMorgan algebra $L$ of order $n$ , there is a quotient weak DeMorgan algebra $L{\sim}$ which is embeddable in the finite WDM-$n$ algebra $\Omega $. We then demonstrate that the finite WDM-$n$ algebra $\Omega $ is functionally free for the class $CL$ of WDM-$n$ algebras. That is, we show that any formulas $f$ and $g$ are identically equal in each algebra in $CL$ if and only if they are identically (...) equal in $\Omega $. Finally we establish that there is no weak DeMorgan algebra whose quotient algebra by a maximal filter has exactly seven elements. (shrink)

Since the discovery that the characteristics of dreaming sleep are far stronger in Stage 1 rapid eye movement sleep than in any other biological state, investigators have attempted to determine the relative responsibility of the tonic versus the phasic properties of REM sleep for the different characteristics of dreaming–features such as the amount of information in the dream report, the brightness and clarity of the visual images, shifts in thematic continuity, and incongruities of image and meaning. The present experiment is (...) designed to identify dream characteristics that are specifically associated with tonic changes in level of cortical activation within sleep. It samples reports of imagery and thought during spontaneous variations within one phase of the 24-h diurnal rhythm and across the REM-NREM sleep cycle in order to identify the independent and joint contributions of the two cycles to imagery and thought. The rising phase of the diurnal cycle in the late night and morning was estimated from clock time during the late night and early morning and was varied by delaying the sleep onset and waking time of the subjects. Considered together with other studies, the results suggest that the major determinant of vivid visual imagery and enhanced cognitive activity during sleep is a pattern of subcortical and cortical activation that is common to both the REM phase of the REM-NREM cycle and the activated phase of the 24-h diurnal wake-sleep cycle. (shrink)

In this work, an intuitionistic propositional logic with a Galois connection is introduced. In addition to the intuitionistic logic axioms and inference rule of modus ponens, the logic contains only two rules of inference mimicking the performance of Galois connections. Both Kripke-style and algebraic semantics are presented for IntGC, and IntGC is proved to be complete with respect to both of these semantics. We show that IntGC has the finite model property and is decidable, but Glivenko's Theorem does not hold. (...) Duality between algebraic and Kripke semantics is presented, and a representation theorem for Heyting algebras with Galois connections is proved. In addition, an application to rough L-valued sets is presented. (shrink)

As kendo continues to gain in international popularity, there are hopes for its adoption in the Olympic Games as an international competitive event, even while moves to further this aim have not necessarily occurred in Japan or elsewhere. One reason for the efforts to achieve a form of globalization of kendo different from Judo is the attempt to adhere to and preserve the unique concepts kendo, the sport embodies by remaining true to the forms of traditional Japanese culture. This is (...) epitomized by the importance given to zanshin (the combination of posture and fighting spirit after striking), one of the key concepts that constitute yuko-datotsu in kendo. Our purpose in this study is to discuss the intersubjective nature of the decisions regarding the conditions for point-scoring in competitive sports. In particular, we will focus on the aesthetics required for zanshin in kendo, focusing on the theory behind yuko-datotsu (point score), which will also considerably influence its international dissemination. Kendo is characterized from the perspective of western rationalism as an appreciation of form and rules of behavior referred to as formalism and, in this respect, it has unique characteristics differing from those of modern sports that are disseminated internationally. In martial arts, besides refinement and proficiency in the rules of behavior by rigidly adhering to form and rules of behavior and repetition, the aim is to transcend said form and the rules of behavior and embody the spiritual nature dwelling in the background. Kendo should remain traditional path and keep zanshin in the value of point (yuko-datotsu) for its virtue. Kendo has not yet developed into an international competitive sport, but it is in the process of traversing that Geido path as a Do for the purpose of character building through it. Throughout life, one should try to devote oneself to kendo with thought for the value of transcending form and the rules of behaviour, and embodying the spiritual nature of the sport that inheres in its background. That is why one may perceive an evident hesitation or indeed negativity regarding the possible internationalization or development as an Olympic event. (shrink)

With more than half of individuals incarcerated having serious mental health concerns, correctional settings offer excellent opportunities for epidemiological, prevention, and intervention research. However, due to unique ethical and structural challenges, these settings create risks and vulnerabilities for participants not typically encountered in research populations. We surveyed 1,224 researchers, Institutional Review Board members, and IRB prisoner representatives to assess their perceptions of risks and vulnerabilities associated with mental health research conducted in correctional settings. Highest ranked risks were related to privacy, (...) stigma, and confidentiality; lowest ranked risks were related to prisoners’ loss of privileges or becoming targets of violence due to having participated in research. Cognitive impairment, mental illness, lack of autonomy, and limited access to services emerged as the greatest sources of vulnerability; being male, being female, being older than age 60, being a minority, and being pregnant were the lowest ranked sources of vulnerability. Researchers with corrections experience perceived lower risks and vulnerabilities than all other groups, raising the question whether these researchers accurately appraise risk and vulnerability based on experience, or if their lower risk and vulnerability perceptions reflect potential bias due to their vested interests. By identifying areas of particular risk and vulnerability, this study provides important information for researchers and research reviewers alike. (shrink)

Something should be done for a better global environment as soon as possible. This paper investigates the direction of management of the global environment and proposes new, concrete ideas for it.

Court judgments contain valuable information on how statutory laws and past court precedents are interpreted and how the interdependence structure among them evolves in the courtroom. Data-mining the evolving structure of such customs and norms that reflect myriad social values from a large-scale court judgment corpus is an essential task from both the academic and industrial perspectives. In this paper, using data from approximately 110,000 court judgments from Japan spanning the period 1998–2018 from the district to the supreme court level, (...) we propose two tasks that grasp such a structure from court judgments and highlight the strengths and weaknesses of major machine learning models. One is a prediction task based on masked language modeling that connects textual information to legal codes and past court precedents. Another is a dynamic link prediction task where we predict the hidden interdependence structure in the law. We make quantitative and qualitative comparisons among major machine learning models to obtain insights for future developments. (shrink)

In [1], D. W. Hart and C. Mcginn considered two logics Al and A2. These logics embody part of a tradition about a priori knowledge and necessity. They proved that A2 is a conservative extension of a well-known modal logic S5 but left the problem whether Al is a conservative extension of S4 open. In this note, we shall show that Al is not a conservative extension of S4 but of S5, and also correct an inadequate proof.

A discussion of Einstein's great theory of the universe, the theory of relativity, covering the factors of space, motion, time, energy, inertia, and gravity.