Organisms must adapt to environmental stresses to ensure their survival and prosperity. Different types of stresses, including thermal, mechanical, and hypoxic stresses, can alter the cellular state that accompanies changes in gene expression but not the cellular identity determined by a chromatin state that remains stable throughout life. Some tissues, such as adipose tissue, demonstrate remarkable plasticity and adaptability in response to environmental cues, enabling reversible cellular identity changes; however, the mechanisms underlying these changes are not well understood. We hypothesized (...) that positive and/or negative “Integrators” sense environmental cues and coordinate the epigenetic and transcriptional pathways required for changes in cellular identity. Adverse environmental factors such as pollution disrupt the coordinated control contributing to disease development. Further research based on this hypothesis will reveal how organisms adapt to fluctuating environmental conditions, such as temperature, extracellular matrix stiffness, oxygen, cytokines, and hormonal cues by changing their cellular identities. (shrink)

A psycho-historical framework for the science of art appreciation will be an experimental discipline that may shed new light on the highest capacities of the human brain, yielding new scientific ways to talk about the art appreciation. The recent findings of the contextual information processing in the human brain make the concept of the art-historical context clear for empirical experimentation.

Recently, agent technologies have attracted a lot of interest as an emerging programming paradigm. With such agent technologies, services are provided through collaboration among agents. At the same time, the spread of mobile technologies and communication infrastructures has made it possible to access the network anytime and from anywhere. Using agents and mobile technologies to realize ubiquitous computing systems, we propose a new framework based on KODAMA and VPC. KODAMA provides distributed management mechanisms by using the concept of community and (...) communication infrastructure to deliver messages among agents without agents being aware of the physical network. VPC provides a method of defining peer-to-peer services based on agent communication with policy packages. By merging the characteristics of both KODAMA and VPC functions, we propose a new framework for ubiquitous computing environments. It provides distributed management functions according to the concept of agent communities, agent communications which are abstracted from the physical environment, and agent collaboration with policy packages. Using our new framework, we conducted a large-scale experiment in shopping malls in Nagoya, which sent advertisement e-mails to users' cellular phones according to user location and attributes. The empirical results showed that our new framework worked effectively for sales in shopping malls. (shrink)

Gentzen's three consistency proofs for elementary number theory have a common aim that originates from Hilbert's Program, namely, the aim to justify the application of classical reasoning to quantified propositions in elementary number theory. In addition to this common aim, Gentzen gave a “finitist” interpretation to every number-theoretic proposition with his 1935 and 1936 consistency proofs. In the present paper, we investigate the relationship of this interpretation with intuitionism in terms of the debate between the Hilbert School and the Brouwer (...) School over the significance of consistency proofs. First, we argue that the interpretation had the role of responding to a Brouwer-style objection against the significance of consistency proofs. Second, we propose a way of understanding Gentzen's response to this objection from an intuitionist perspective. (shrink)

Nevin & Grace's primary argument against theory and research on behavioral momentum is that preference and resistance to change may not covary. The method for evaluating preference and resistance to change seems problematic. Moreover, the theory fails to account convincingly for effects of average overall time to primary reinforcement on choice and preference for unsegmented schedules.

Hegel, in his work _Philosophy of Right_, defines ownership through three elements: acquisition by occupation, use, and transfer. To own something involves mere acquisition and encompasses its appropriate use and potential transfer to others. Subsequently, the final aspect mentioned was the concept of infinite judgement. The acts of owning and transferring to others are diametrically opposed, and Hegel’s unique logic forcibly connects these opposing concepts. This form of infinite judgement was advocated by the young Hegel during the era of _Phenomenology (...) of Spirit_. There, he stated, “Spirit is a bone”. However, when he later wrote _Science of Logic_ or _Encyclopedia_, the formulation of infinite judgement changed to “Spirit is not something that is bone”. This shift was influenced by Kant. In _Logic_, the discourse advances into syllogism, inferential theory, leading to “Spirit is a bone for such-and-such reasons”. In essence, Hegel binarily connected spirit and bone in his youth and introduced a mediating term in this connection later in his life, establishing inferential links. However, the notion of forcibly connecting opposing concepts remains. Therefore, the statement “Ownership is transfer” represents an infinite judgement while simultaneously signifying syllogism that “I truly own this object if I can transfer it to others”. This contributes to the reasoning that “I and objects can be connected through the intermediary of others”, progressing to the inference that “I and others can be connected through objects”, thereby laying the foundation for society. (shrink)

Girard introduced phase semantics as a complete set-theoretic semantics of linear logic, and Okada modified phase-semantic completeness proofs to obtain normal-form theorems. On the basis of these works, Okada and Takemura reformulated Girard’s phase semantics so that it became phase semantics for proof-terms, i.e., lambda-terms. They formulated phase semantics for proof-terms of Laird’s dual affine/intuitionistic lambda-calculus and proved the normal-form theorem for Laird’s calculus via a completeness theorem. Their semantics was obtained by an application of computability predicates. In this paper, (...) we first formulate phase semantics for proof-terms of second-order intuitionistic propositional logic by modifying Tait-Girard’s saturated sets method. Next, we prove the completeness theorem with respect to this semantics, which implies a strong normalization theorem. (shrink)

In this paper, I will argue from a historical perspective that Gentzen’s 1935 consistency proof of 1st order Peano Arithmetic PA principally aimed to give a finitist interpretation of implication and this aspect of the 1935 proof emerged as the attempt to cope with the non-finiteness in BHK-interpretation of implication. My argument consists of two parts. First, I will explain that the fundamental idea of the 1935 proof is to show the soundness of PA on some finitist interpretation and Gentzen (...) had attempted to use BHK-interpretation as such an interpretation. It is claimed that he eventually thought that there is a ‘circularity’ which is due to the non-finiteness of BHK-interpretation of implication, so it cannot be used as a finitist interpretation. Secondly, I will argue that the principal aim of the 1935 proof is to give his own finitist interpretation of implication which avoids such a ‘circularity’. Finally, this paper’s conclusion and an open question are presented. (shrink)

自己決定概念は、患者の自律やインフォームド・コンセント、プライバシー概念等の基礎にあり、生命倫理において核となる重要な概念である。しかし、その歴史的由来について、またその概念の意味するところについて、 これまで本巻のように主題的に扱われることはほとんどなかった。ここでの諸論考は、「自己決定権」や「自律」概念の理解にも大いに役立つはずである。.