The members of the Six gene family were identified as homologues of Drosophila sine oculis which is essential for compound-eye formation. The Six proteins are characterized by the Six domain and the Six-type homeodomain, both of which are essential for specific DNA binding and for cooperative interactions with Eya proteins. Mammals possess six Six genes which can be subdivided into three subclasses, and mutations of Six genes have been identified in human genetic disorders. Characterization of Six genes from various animal (...) phyla revealed the antiquity of this gene family and roles of its members in several different developmental contexts. Some members retain conserved roles as components of the Pax-Six-Eya-Dach regulatory network, which may have been established in the common ancestor of all bilaterians as a toolbox controlling cell proliferation and cell movement during embryogenesis. Gene duplications and cis-regulatory changes may have provided a basis for diverse functions of Six genes in different animal lineages. (shrink)

Dr. Sato's volume deals with the origin and formation of the political thought of pre-imperial Xun Zi, with close focus on this synthesizer's formative theory ...

Genshi shiroku -- Hakurokudō Shoin keijimon.

We introduce a new axiom called inductive dichotomy, a weak variant of the axiom of inductive definition, and analyze the relationships with other variants of inductive definition and with related axioms, in the general second order framework, including second order arithmetic, second order set theory and higher order arithmetic. By applying these results to the investigations on the determinacy axioms, we show the following. (i) Clopen determinacy is consistency-wise strictly weaker than open determinacy in these frameworks, except second order arithmetic; (...) this is an enhancement of Schweber–Hachtman separation of open and clopen determinacy into the consistency-wise separation. (ii) Hausdorff–Kuratowski hierarchy of differences of opens is faithfully reflected by the hierarchy of consistency strengths of corresponding parameter-free determinacies in the aforementioned frameworks; this result is valid also in second order arithmetic only except clopen determinacy. (shrink)

We consider two variants of transfinite induction, one with monotonicity assumption on the predicate and one with the induction hypothesis only for cofinally many below. The latter can be seen as a transfinite analogue of the successor induction, while the usual transfinite induction is that of cumulative induction. We calculate the supremum of ordinals along which these schemata for \ formulae are provable in \. It is shown to be larger than the proof-theoretic ordinal \ by power of base 2. (...) We also show a similar result for the structural transfinite induction, defined with fundamental sequences. (shrink)

Early modern humans developed mental capabilities that were immeasurably greater than those of non-human primates. We see this in the rapid innovation in tool making, the development of complex language, and the creation of sophisticated art forms, none of which we find in our closest relatives. While we can readily observe the results of this high-order cognitive capacity, it is difficult to see how it could have developed. We take up the topic of cave art and archeoacoustics, particularly the discovery (...) that cave art is often closely connected to the acoustic properties of the cave chambers in which it is found. Apparently, early modern humans were able to detect the way sound reverberated in these chambers, and they painted artwork on surfaces that were acoustic “hot spots,” i.e., suitable for generating echoes. We argue that cave art is a form of cross-modality information transfer, in which acoustic signals are transformed into symbolic visual representations. This form of information transfer across modalities is an instance of how the symbolic mind of early modern humans was taking shape into concrete, externalized language. We also suggest that the earliest rock art found in Africa may constitute one of the first fossilized proxies for the expression of full-fledged human linguistic behavior. (shrink)

We revisit the EPR problem and make clear what is a correct comprehension of its problem. When one applies the quantum mechanics correctly, it will be shown that there is no paradox. According to these lines of thought, a quantum teleportation scheme without resort to the von Neumann projection postulate is presented.

In theLysisSocrates deals with the problem of what is a friend and what is friendship. After giving an introduction and a synopsis of theLysisin section one, I explain, in section two, Socrates’ view that a true friend is “what is akin” or “what is belonging to oneself” which is what is taken from oneself and discovered in another person. When this happens among two persons, they become friends to each other. The content of what is akin is either a good (...) characteristic or ways or form of the soul. Friendship is the desire for what is akin. In section three I show that Socrates remains inaporiawhile he faces several problems. Unless he is able to answer such problems, he will not be truly confident about what is a friend. In section four I deal with and refute Penner’s and Rowe’s view that a true friend means wisdom. In section five I examine the view of friendship which occurs among people who share common deficit. As a conclusion, in section six, I reflect on the significance of my interpretation and the role of theLysisin Plato’s philosophy. (shrink)

We can easily discriminate self-produced from externally generated sensory signals. Recent studies suggest that the prediction of the sensory consequences of one’s own actions made by forward model can be used to attenuate the sensory effects of self-produced movements, thereby enabling a differentiation of the self-produced sensation from the externally generated one. The present study showed that attenuation of sensation occurred both when participants themselves performed a goal-directed action and when they observed experimenter performing the same action, although they clearly (...) reported that the tones were produced by other during action observation and by themselves during their own action. These results suggest that sensory prediction of action modulates ongoing auditory processing irrespective of who produces the sounds and that the explicit judgment of agency does not necessarily rely on the same mechanisms on which implicit perceptual measures such as sensory attenuation rely. (shrink)

Android robots capable of emotional interactions with humans have considerable potential for application to research. While several studies developed androids that can exhibit human-like emotional facial expressions, few have empirically validated androids’ facial expressions. To investigate this issue, we developed an android head called Nikola based on human psychology and conducted three studies to test the validity of its facial expressions. In Study 1, Nikola produced single facial actions, which were evaluated in accordance with the Facial Action Coding System. The (...) results showed that 17 action units were appropriately produced. In Study 2, Nikola produced the prototypical facial expressions for six basic emotions, and naïve participants labeled photographs of the expressions. The recognition accuracy of all emotions was higher than chance level. In Study 3, Nikola produced dynamic facial expressions for six basic emotions at four different speeds, and naïve participants evaluated the naturalness of the speed of each expression. The effect of speed differed across emotions, as in previous studies of human expressions. These data validate the spatial and temporal patterns of Nikola’s emotional facial expressions, and suggest that it may be useful for future psychological studies and real-life applications. (shrink)

Pockett has drawn an alternative conclusion from the data of Libet, Alberts, Wright, and Feinstein , and suggested that it takes 80 ms, rather than 500 ms, for the sensation evoked by a stimulus to enter awareness. Here, I suggest that our conscious sensation evolves over time, during the period from 80 to 500 ms after a stimulus, until the sensation is stably localized in space.

By obtaining several new results on Cook-style two-sorted bounded arithmetic, this paper measures the strengths of the axiom of extensionality and of other weak fundamental set-theoretic axioms in the absence of the axiom of infinity, following the author’s previous work [K. Sato, The strength of extensionality I — weak weak set theories with infinity, Annals of Pure and Applied Logic 157 234–268] which measures them in the presence. These investigations provide a uniform framework in which three different kinds of (...) reverse mathematics–Friedman–Simpson’s “orthodox” reverse mathematics, Cook’s bounded reverse mathematics and large cardinal theory–can be reformulated within one language so that we can compare them more directly. (shrink)

In his previous work, the author has introduced the axiom schema of inductive dichotomy, a weak variant of the axiom schema of inductive definition, and used this schema for elementary ) positive operators to separate open and clopen determinacies for those games in which two players make choices from infinitely many alternatives in various circumstances. Among the studies on variants of inductive definitions for bounded ) positive operators, the present article investigates inductive dichotomy for these operators, and applies it to (...) constructive investigations of variants of determinacy statements for those games in which the players make choices from only finitely many alternatives. As a result, three formulations of open determinacy, that are all classically equivalent with each other, are equivalent to three different semi-classical principles, namely Markov’s Principle, Lesser Limited Principle of Omniscience and Limited Principle of Omniscience, over a suitable constructive base theory that proves clopen determinacy. Open and clopen determinacies for these games are thus separated. Some basic results on variants of inductive definitions for \ positive operators will also be given. (shrink)

Using artificially synthesized stimuli, previous research has shown that cotton-top tamarin monkeys easily learn simple AB grammar sequences, but not the more complex AnBn sequences that require hierarchical structure. Humans have no trouble learning AnBn combinations. A more recent study, using similar artificially created stimuli, showed that there is a neuroanatomical difference in the brain between these two kinds of arrays. While the simpler AB sequences recruit the frontal operculum, the AnBn array recruits the phylogenetically newer Broca’s area. We propose (...) that on close inspection, reported vocal repertoires of Old World Monkeys show that these nonhuman primates are capable of calls that have two items in them, but never more than two. These are simple AB sequences, as predicted by previous research. In addition, we suggest the two-item call cannot be the result of a combinatorial operation that we see in human language, where the recursive operation of Merge allows for a potentially infinite array of structures. In our view, the two-item calls of nonhuman primates result from a dual-compartment frame into which each of the calls can fit without having to be combined by an operation such as Merge. (shrink)