Gene regulation involves various cis-regulatory elements that can act at a distance. They may physically interact each other or with their target genes to exert their effects. Such interactions are beginning to be uncovered in the imprinted Igf2/H19 domain.1 The differentially methylated regions (DMRs), containing insulators, silencers and activators, were shown to have physical contacts between them. The interactions were changeable depending on their epigenetic state, presumably enabling Igf2 to move between an active and a silent chromatin domain. The study (...) gives us a novel view on how regulatory elements influence gene expression and how epigenetic modifications modulate their long-range effects. (shrink)

1-2. Sōkō -- 3. Katō Hiroyuki kōen zenshū ; Shizen to rinri ; Kokka no tōchiken ; Sekininron ; Jinsei no shizen to waga kuni no zento.

9th and 10th Nov. 2013 at Kyoto University. Organizers: Takeshi Sato and Shunsuke Sugimoto.

Establishment of cell lineage identity from multipotent progenitors is controlled by cooperative actions of lineage‐specific and stably expressed transcription factors, combined with input from environmental signals. Lineage‐specific master transcription factors activate and repress gene expression by recruiting consistently expressed transcription factors and chromatin modifiers to their target loci. Recent technical advances in genome‐wide and multi‐omics analysis have shed light on unexpected mechanisms that underlie more complicated actions of transcription factors in cell fate decisions. In this review, we discuss functional dynamics (...) of stably expressed and continuously required factors, Notch and Runx family members, throughout developmental stages of early T cell development in the thymus. Pre‐ and post‐commitment stage‐specific transcription factors induce dynamic redeployment of Notch and Runx binding genomic regions. Thus, together with stage‐specific transcription factors, shared transcription factors across distinct developmental stages regulate acquisition of T lineage identity. (shrink)

This paper describes the situation of philosophy in Japan with respect to the question of internationalism. For more than a hundred years, Japan took Western culture as its model and European philosophy as the authentic philosophy. This tendency was paradoxically strengthened by the post‐war humanism. It gave us Japanese philosophers a clear discipline to work in but cut us off from our own native culture, history, and philosophical traditions. In wishing to recover this loss, I argue that it is necessary (...) to distinguish between two forms of internationalism: humanistic and merely fashionable. The latter in fact derives from domestic reasons. (shrink)

Previous research found that application of eyeshadow on the upper eyelids induces overestimation of eye size. The present study examined whether this eyeshadow illusion is dependent on or independent of viewpoint. We created a three-dimensional model of a female face and manipulated the presence/absence of eyeshadow and face orientation around the axis of yaw (Experiment 1) or pitch (Experiment 2) rotation. Using the staircase method, we measured perceived eye size for each face stimulus. Results showed that the eyeshadow illusion occurred (...) regardless of face orientation around axes of both yaw and pitch rotations. Crucially, the illusion’s magnitude did not vary across face orientations; lack of interaction between the illusion’s magnitude and face orientation was confirmed by small values of Bayes factors. These findings ruled out the hypothesis that eyeshadow serves as a depth cue and leads to overestimation of eye size due to size-distance scaling. Alternatively, the present findings suggest that the eyeshadow illusion can be well explained by the assimilation between the eyes and eyeshadow, which also facilitates assimilation between the eyes and eyebrows. Practical implications and the present findings’ generalizability are also discussed. (shrink)

The idea of interpretability logics arose in Visser [Vis90]. He introduced the logics as extensions of the provability logic GLwith a binary modality. The arithmetic realization of A B in a theory T will be that T plus the realization of B is interpretable in T plus the realization of A. More precisely, there exists a function f on the formulas of the language of T such that T + B C implies T + A f.The interpretability logics were considered (...) in several papers. An arithmetic completeness of the interpretability logic ILM, obtained by adding Montagna ''s axiom to the smallest interpretability logic IL, was proved in Berarducci [Ber90] and Shavrukov [Sha88]. [Vis90] proved that the interpretability logic ILP, an extension of IL, is also complete for another arithmetic interpretation. The completeness with respect to Kripke semantics due to Veltman was, for IL, ILMand ILP, proved in de Jongh and Veltman [JV90]. The fixed point theorem of GLcan be extended to ILand hence ILMand ILP. The unary pendant "T interprets T + A" is much less expressive and was studied in de Rijke [Rij92]. For an overview of interpretability logic, see Visser [Vis97], and Japaridze and de Jongh [JJ98]. (shrink)

「西欧」と「近代」を相対化し、今、エスニックの次元から『日本哲学』を創始すること=「われわれの問題に発して思索する」スタイルを提唱。.

Il s’agit ici de mettre en évidence une propriété de la beauté, à la fois subtile et évidente, mais largement ignorée de l’esthétique occidentale : la capacité du beau à embellir ce qui l’entoure. L’analyse s’appuie sur le commentaire d’un waka d’Akiko Yosano et étudie les proximités et les différences de cette beauté embellissante et de concepts philosophiques européens qui s’en rapprochent : l’éclat selon Platon, l’aura selon W. Benjamin, et le cérémonial, selon H. Kuhn.

We study the dynamics of a vortex in superfluid He4. This is carried out by deriving the effective Lagrangian for the center of the vortex by starting with the time-dependent Ginzburg-Landau formalism. From the resultant equation of motion for a vortex, we arrive at a novel aspect for the Magnus force which has long been known in fluid dynamics. This force has a geometric origin and is expected to occur in other form of condensates such as vortex excitations for quantum (...) Hall fluids or ferromagnets. We also consider the force of non geometric origin, the pinning force coming from the impurity. (shrink)

Volume 6, Issue 3, September 2015, Page 292-309.

This paper studies a fundamental mechanism by which conflicts between arguments are drawn from sentiments regarding acceptability of the arguments. Given sets of arguments, an inverse abstract argumentation problem seeks attack relations between arguments such that acceptability semantics interprets each argument in the sets of arguments as being acceptable in each of the attack relations. It is an inverse problem of the traditional problem we refer to as the forward abstract argumentation problem. Given an attack relation, the forward abstract argumentation (...) problem seeks sets of arguments such that acceptability semantics interprets each argument in the sets of arguments as being acceptable in the attack relation. We give a probabilistic model of argumentation-theoretic inference. It is a generative model formalising the process by which acceptability semantics interprets acceptability of arguments in a given attack relation. We show that it gives a broad view of solutions to the forward and inverse abstract argumentation problems. Specifically, solutions to the inverse and forward abstract argumentation problems are shown to be equivalent to a maximum likelihood estimate and maximum likelihood prediction, respectively, which are both available with the generative model. In addition, they are shown to be special cases of the posterior distribution and the evidence, respectively, which are both obtained by probabilistic inference on the generative model. We report an experiment result and application example of the generative model in the inverse problems. (shrink)

This collection of classic works from the mid-nineteenth through mid-twentieth centuries was originally published under the auspices of the Royal Asiastic Society. Spanning over 100 years in oriental scholarship, primary texts include work by Frederic Rosen, W.F. Thompson, C. Edward Sachau, R.A. Nicholson, W.H.T. Gairdner, W.M. Miller, James Robson, and many others.

In the natural deduction system for classical propositional logic given by G. Gentzen, there are some inference rules with assumptions discharged by the rule. D. Prawitz calls such inference rules improper as opposed to proper ones. Improper inference rules are more complicated than proper ones and more difficult to understand. In 2022, we provided a sequent system based solely on the application of proper rules. In the present paper, on the basis of our system from 2022, we classify improper inference (...) rules. (shrink)

『不思議の国のアリス』の数学観から、古代ギリシャから現代への懐疑主義思想との格闘をたどって、数学的知識の成立根拠を探る。.