In the October edition of the Journal of Medical Ethics, Akabayashi and colleagues state that ’to establish a heterogeneous [induced pluripotent stem cell] iPSC bank covering roughly 80% of Japan’s population…the Japanese government decided to invest JPY110 billion over 10 years in regenerative medicine research; a quarter of this was to be allocated to the iPSC stock project'. While they claim this amount of money to be an unfair distribution of state resources, we believe their assessment is based on a (...) misunderstanding of the facts. Similarly, other criticisms by them are based on mistaken interpretations. This article is a rebuttal to the arguments that form the basis of Akabayashi and colleagues’ five criticisms by explaining their misinterpretations. (shrink)

Sparrow highlights three potential applications of in vitro eugenics, that is, (a) research into the heredity of genetic disorders, (b) production of cell lines with specific genotypes, and (c) breeding better babies, and points to the need for researchers to discuss in advance the potential ethical problems that may emerge if the realization of this technology occurs in the near future. In this commentary, we pose a question for the sake of discussion. Is it, in fact, appropriate to label all (...) three applications raised by Sparrow as eugenics? By doing so, an unnecessary level of concern might be borne among the public, and as a result, the sound development of this specialized technology would be affected. If the label of eugenics is to be applied to all three of these applications, then Sparrow must justify how he perceives (a) and (b) as not inherently different from (c). (shrink)

BackgroundThe Act Regarding the Promotion of the Appropriate Supply of Hematopoietic Stem Cells for Transplant regulates only how public banks store and provide umbilical cord blood for research or transplantation. Japan had no laws to regulate how the private banks manage the procedures, harvesting, preparation, and storage of such blood. As a result, the status of UCB distribution remains unknown. We conducted a survey to investigate the current status of UCB storage and provision to private biobanks by Japanese institutions that (...) handle childbirth.MethodsQuestionnaire forms were mailed to 3,277 facilities handling childbirth that were registered in the Japan Council for Quality Health Care website.ResultsOf the 1,192 institutions handling childbirth that participated in the survey, 34.4% responded that they currently provide UCB to private biobanks, while 16.1% of facilities did so in the past. Moreover, some institutions currently provide or formerly provided UCB to medical treatment facilities, research institutions, companies, or overseas treatment facilities, research institutions, or companies. A certain number of institutions handling childbirth did not even provide explanations or obtain consent when the UCB was harvested from private bank users.ConclusionsThis is the first study to determine the status of UCB provision to private banks by Japanese institutions handling childbirth. Future studies will need to examine in detail how institutions handling childbirth provide explanations to private bank users and UCB providers as well as how these institutions obtain consent. (shrink)

In this article, we provide an ethical analysis of the first porcine cardiac xenotransplant, performed in Maryland, USA in early 2022. David Bennett was offered the experimental procedure after he was deemed ineligible for human heart transplantation and mechanical circulatory support, based on a history of non-compliance. It was reported that Mr Bennett’s previous instances of non-compliance were for medically non-life-threatening conditions years earlier, where the risks of non-compliance were not as high. We argue that, in Mr Bennett’s case, a (...) history of non-compliance in a different context, should not necessarily rule him ineligible for a potentially life-saving treatment now. Furthermore, using previous non-compliance to exclude individuals from donor organs may have the unintended effect of placing the burden of testing xenotransplantation on those who are already disadvantaged. We then argue that it is not enough to rely on patient consent to ethically justify xenotransplantation research. Taking a broad ethical perspective is crucial when mapping a clinical pathway for xenotransplantation. (shrink)

BackgroundPrevious studies have found that the decision-making process for stored unused frozen embryos involves much emotional burden influenced by socio-cultural factors. This study aims to ascertain how Japanese patients make a decision on the fate of their frozen embryos: whether to continue storage discard or donate to research.MethodsTen Japanese women who continued storage, 5 who discarded and 16 who donated to research were recruited from our infertility clinic. Tape-recorded interviews were transcribed and analyzed for emergent themes.ResultsA model of patients’ decision-making (...) processes for the fate of frozen embryos was developed, with a common emergent theme, “coming to terms with infertility” resulting in either acceptance or postponing acceptance of their infertility. The model consisted of 5 steps: 1) the embryo-transfer moratorium was sustained, 2) the “Mottainai”- embryo and having another child were considered; 3) cost reasonability was taken into account; 4) partner’s opinion was confirmed to finally decide whether to continue or discontinue storage. Those discontinuing, then contemplated 5): the effect of donation. Great emotional conflict was expressed in the theme, steps 2, 4, and 5.ConclusionsPatients’ 5 step decision-making process for the fate of frozen embryos was profoundly affected by various Japanese cultural values and moral standards. At the end of their decision, patients used culturally inherent values and standards to come to terms with their infertility. While there is much philosophical discussion on the moral status of the embryo worldwide, this study, with actual views of patients who own them, will make a significant contribution to empirical ethics from the practical viewpoint. (shrink)

BackgroundFew comparative studies of clinical ethics consultation practices have been reported. The objective of this study was to explore how American and Japanese experts analyze an Alzheimer's case regarding ethics consultation.MethodsWe presented the case to physicians and ethicists from the US and Japan (one expert from each field from both countries; total = 4) and obtained their responses through a questionnaire and in-depth interviews.ResultsEstablishing a consensus was a common goal among American and Japanese participants. In attempting to achieve consensus, the (...) most significant similarity between Japanese and American ethics consultants was that they both appeared to adopt an "ethics facilitation" approach. Differences were found in recommendation and assessment between the American and Japanese participants. In selecting a surrogate, the American participants chose to contact the grandson before designating the daughter-in-law as the surrogate decision-maker. Conversely the Japanese experts assumed that the daughter-in-law was the surrogate.ConclusionOur findings suggest that consensus building through an "ethics facilitation" approach may be a commonality to the practice of ethics consultation in the US and Japan, while differences emerged in terms of recommendations, surrogate assessment, and assessing treatments. Further research is needed to appreciate differences not only among different nations including, but not limited to, countries in Europe, Asia and the Americas, but also within each country. (shrink)

A BCK-algebra is an algebra in which the terms are generated by a set of variables, 1, and an arrow. We mean by aBCK-identity an equation valid in all BCK-algebras. In this paper using a syntactic method we show that for two termss andt, if neithers=1 nort=1 is a BCK-identity, ands=t is a BCK-identity, then the rightmost variables of the two terms are identical.This theorem was conjectured firstly in [5], and then in [3]. As a corollary of this theorem, we (...) derive that the BCK-algebras do not form a variety, which was originally proved algebraically by Wroski ([4]). (shrink)

This paper presents a new correctness criterion for marked Danos-Reginer graphs (D-R graphs, for short) of Multiplicative Cyclic Linear Logic MCLL and Abrusci's non-commutative Linear Logic MNLL. As a corollary we obtain an affirmative answer to the open question whether a known quadratic-time algorithm for the correctness checking of proof nets for MCLL and MNLL can be improved to linear-time.

This paper presents a new correctness criterion for marked Danos-Reginer graphs of Multiplicative Cyclic Linear Logic MCLL and Abrusci's non-commutative Linear Logic MNLL. As a corollary we obtain an affirmative answer to the open question whether a known quadratic-time algorithm for the correctness checking of proof nets for MCLL and MNLL can be improved to linear-time.

In this paper we consider properties, related to model-completeness, of the theory of integrally closed commutative regular rings. We obtain the main theorem claiming that in a Boolean algebra B, the truth of a prenex Σn-formula whose parameters ai partition B, can be determined by finitely many conditions built from the first entry of Tarski invariant T(ai)'s, n-characteristic D(n, ai)'s and the quantities S(ai, l) and S'(ai, l) for $l < n$. Then we derive two important theorems. One claims that (...) for any Boolean algebras A and B, an embedding of A into B preserving D(n, a) for all a ∈ A is a Σn-extension. The other claims that the theory of n-separable Boolean algebras admits elimination of quantifiers in a simple definitional extension of the language of Boolean algebras. Finally we translate these results into the language of commutative regular rings. (shrink)

This paper applies Dehornoy et al.’s Z theorem and its variant, called the compositional Z theorem, to prove confluence of Parigot’s \-calculi extended by the simplification rules. First, it is proved that Baba et al.’s modified complete developments for the call-by-name and the call-by-value variants of the \-calculus with the renaming rule, which is one of the simplification rules, satisfy the Z property. It gives new confluence proofs for them by the Z theorem. Secondly, it is shown that the compositional (...) Z theorem can be applied to prove confluence of the call-by-name and the call-by-value \-calculi with both simplification rules, the renaming and the \-rules, whereas it is hard to apply the ordinary parallel reduction technique or the original Z theorem by one-pass definition of mappings for these variants. (shrink)

Dans 'les Deux sources de la morale et de la religion', Bergson évoque rarement le Japon. Et pourtant dans le quatrième chapitre du même texte, intitulé Remarques finales 'Mécanique et mystique', c'était lui qui a bien prévu Hiroshima avec ces mots testamentaires: ' Il faut que tous se battent contre tous, comme firent les hordes des premiers temps. Seulement on se bat avec les armes forgées par notre civilisation, et les massacres sont d'une horreur que les anciens n'auraient même pas (...) imaginée. Au train dont va la science, le jour approche où l'un des adversaires, possesseur d'un secret qu'il tenait en réserve, aura le moyen de supprimer l'autre'. Ainsi se pose la question de savoir comment envisager les Deux Sources, à travers les relations assez particulières de ce philosophe avec le Japon. À partir de cette interrogation, PBJ (Projet Bergson au Japon) a organisé, aux 5-8 novembre 2013, à Paris, un colloque qui s'intitule Remarques finales : autour des Deux sources de la morale et de la religion de Bergson. Le présent volume présente les actes de ce colloque ellipsoïdal dont les centres étaient Bergson et le Japon"--Back cover. (shrink)

We define and investigate a uniformly locally o-minimal structure of the second kind in this paper. All uniformly locally o-minimal structures of the second kind have local monotonicity, which is a local version of monotonicity theorem of o-minimal structures. We also demonstrate a local definable cell decomposition theorem for definably complete uniformly locally o-minimal structures of the second kind. We define dimension of a definable set and investigate its basic properties when the given structure is a locally o-minimal structure which (...) admits local definable cell decomposition. (shrink)

Consider a definably complete uniformly locally o-minimal expansion of the second kind of a densely linearly ordered abelian group. Let $f:X \rightarrow R^n$ be a definable map, where X is a definable set and R is the universe of the structure. We demonstrate the inequality $\dim ) \leq \dim $ in this paper. As a corollary, we get that the set of the points at which f is discontinuous is of dimension smaller than $\dim $. We also show that the (...) structure is definably Baire in the course of the proof of the inequality. (shrink)

Although dual-process or divided-mind models of self-control dominate the literature, they suffer from empirical and conceptual challenges. We propose an alternative approach, suggesting that self-control can be characterized by a fragmented part versus integrated whole dynamic. Whereas responses to events derived from fragmented parts of the mind undermine self-control, responses to events derived from integrated wholes enhance self-control. We review empirical evidence from psychology and related disciplines that support this model. We, moreover, discuss the implications of this work for psychology, (...) neuroscience, economics, and philosophy. In particular, we highlight how this model addresses many of the conceptual and empirical short-comings of divided-mind models. We suggest that understanding self-control as the interplay between fragmented parts versus integrated wholes, moreover, provides novel insights and testable new hypotheses. (shrink)

We consider locally o-minimal structures possessing tame topological properties shared by models of DCTC and uniformly locally o-minimal expansions of the second kind of densely linearly ordered abelian groups. We derive basic properties of dimension of a set definable in the structures including the addition property, which is the dimension equality for definable maps whose fibers are equi-dimensional. A decomposition theorem into quasi-special submanifolds is also demonstrated.

We first show that the projection image of a discrete definable set is again discrete for an arbitrary definably complete locally o‐minimal structure. This fact together with the results in a previous paper implies a tame dimension theory and a decomposition theorem into good‐shaped definable subsets called quasi‐special submanifolds. Using this fact, we investigate definably complete locally o‐minimal expansions of ordered groups when the restriction of multiplication to an arbitrary bounded open box is definable. Similarly to o‐minimal expansions of ordered (...) fields, Łojasiewicz's inequality, Tietze's extension theorem and affiness of pseudo‐definable spaces hold true for such structures under the extra assumption that the domains of definition and the pseudo‐definable spaces are definably compact. Here, a pseudo‐definable space is a topological space having finite definable atlases. We also demonstrate Michael's selection theorem for definable set‐valued functions with definably compact domains of definition. (shrink)

This paper shows that the inhabitation problem in the lambda calculus with negation, product, polymorphic, and existential types is decidable, where the inhabitation problem asks whether there exists some term that belongs to a given type. In order to do that, this paper proves the decidability of the provability in the logical system defined from the second-order natural deduction by removing implication and disjunction. This is proved by showing the quantifier elimination theorem and reducing the problem to the provability in (...) propositional logic. The magic formulas are used for quantifier elimination such that they replace quantifiers. As a byproduct, this paper also shows the second-order witness theorem which states that a quantifier followed by negation can be replaced by a witness obtained only from the formula. As a corollary of the main results, this paper also shows Glivenko’s theorem, Double Negation Shift, and conservativity for antecedent-empty sequents between the logical system and its classical version. (shrink)

Mast cells are a unique class of blood cell. Unlike most blood cells, undifferentiated precursors of mast cells migrate in the bloodstream, invade tissues, proliferate there and then differentiate. Even after differentiation, some mast cells may proliferate extensively. Differentiation of mast cells is regulated by both diffusible growth factors and direct contact with fibroblasts.

In this paper we describe the Curry-Howard-De Bruijn isomorphism between Higher Order Many Sorted Intuitionistic Predicate Logic PREDω and the type system λPREDω, which can be considered a subsystem of the Calculus of Constructions. The type system is presented using the concept of a Pure Type System, which is a very elegant framework for describing type systems. We show in great detail how formulae and proof trees of the logic relate to types and terms of the type system, respectively. Finally, (...) we discuss some consequences of the isomorphism with respect to the relation between the systems discussed in this paper. (shrink)

If no property of a system of many particles discriminates among the particles, they are said to be indistinguishable. This indistinguishability is equivalent to the requirement that the many-particle distribution function and all of the dynamic functions for the system be symmetric. The indistinguishability defined in terms of the discrete symmetry of many-particle functions cannot change in the continuous classical statistical limit in which the number density n and the reciprocal temperature β become small. Thus, microscopic particles like electrons must (...) remain indistinguishable in the classical statistical limit although their behavior can be calculated as if they move following the classical laws of motion. In the classical mechanical limit in which quantum cells of volume (2πħ)3 are reduced to points in the phase space, the partition functionTr{exp(−βĤ) for N identical bosons (fermions) approaches (2πħ)−3N(N!) ∫ ... ∫ d3r1 d3p1 ... d3rN d3pN exp(−βH). The two factors, (2πħ)−3N and (N!)−1, which are often added in anad hoc manner in many books on statistical mechanics, are thus derived from the first principles. The criterion of the classical statistical approximation is that the thermal de Broglie wavelength be much shorter than the interparticle distance irrespective of any translation-invariant interparticle interaction. A new derivation of the Maxwell velocity distribution from Boltzmann's principle is given with the assumption of indistinguishable classical particles. (shrink)