A robot that is easy to teach not only has to be able to adapt to humans but also has to be easily adaptable to. In order to develop a robot with mutual adaptation ability, we believe that it will be beneficial to first observe the mutual adaptation behaviors that occur in humanâhuman communication. In this paper, we propose a humanâhuman WOZ (Wizard-of-Oz) experiment setting that can help us to observe and understand how the mutual adaptation procedure occurs between human (...) beings in nonverbal communication. By analyzing the experimental results, we obtained three important findings: alignment-based action, symbol-emergent learning, and environmental learning. (shrink)
A number of philosophers today endorse the view thatmaterial substances (ex. cats, stones, atoms) can be analyzed asbundles of “particular properties” or “tropes”. Among severaldevelopments, the theory that P. Simons proposed is seen as themost successful one. Simons’ theory seems to owe its high reputationto mainly two advantages which he claims for his theory: thecapacity for avoiding infinite regress, and the explanatory adequacyfor phenomenon of change. In this paper, however, I try to object tothis high appraisal, by showing that the (...) two alleged advantagesindeed cannot be simultaneously secured by Simons’ position. Tothis aim, I proceed as follows: First, I present Simons’ theory andexplain its alleged two advantages. Next, I take up A. Denkel’scriticism and show that the explanatory adequacy will be lost unlessSimons admits a certain revision of his theory. Finally, I show that asa result of the revision needed, Simons’ position comes to lose thecapacity for avoiding regress in turn. (shrink)
The aluminum?gold system exhibits various features that suggest high glass formability, such as a deep eutectic, formation of icosahedral clusters in the intermetallic compound near the eutectic minimum and a strongly negative heat of mixing. However, it is very difficult to form a glass with this system. Various issues related to glass formability are discussed using the Al?Au system as a negative test-case. In particular, the atomic level pressure was calculated from first principles for the first time for Al2Au, AlAu2 (...) and AlAu4 intermetallic compounds. The atomic level pressure is very high in these compounds, suggesting frustrated electronic states which destabilize both crystalline and glassy phases. (shrink)
We investigate several fluctuation effects in high-energy hadronic and nuclear collisions through the analysis of different observables. To introduce fluctuations in the initial stage of collisions, we use the interacting gluon model (IGM) modified by the inclusion of the impact parameter. The inelasticity and leading-particle distributions follow directly from this model. The fluctuation effects on rapidity distributions are then studied using Landau's hydrodynamic model in one dimension. To investigage further the effects of the multiplicity fluctuation, we use the longitudinal phase-space (...) model, with the multiplicity distribution calculated within the hydrodynamic model, and the initial conditions given by the IGM. Forward-backward correlation is obtained in this way. (shrink)
Science and technology are on trial due to the rapid changes — neither university nor science lead developments in technology, the most advanced military technology has lost linkages with industries, the widened North-South gaps — they are all sources of crisis in the global ecological balance. The Euro-centric universalism is useless to solve the global technology problems.
In our former works, for a given concept of reduction, we study the following hypothesis: “For a random oracle A, with probability one, the degree of the one-query tautologies with respect to A is strictly higher than the degree of A.” In our former works (Suzuki in Kobe J. Math. 15, 91–102, 1998; in Inf. Comput. 176, 66–87, 2002; in Arch. Math. Logic 44, 751–762), the following three results are shown: The hypothesis for p-T (polynomial-time Turing) reduction is equivalent to (...) the assertion that the probabilistic complexity class R is not equal to NP; The hypothesis for p-tt (polynomial-time truth-table) reduction implies that P is not NP; The hypothesis holds for each of the following: disjunctive reduction, conjunctive reduction, and p-btt (polynomial-time bounded-truth-table) reduction. In this paper, we show the following three results: (1) Let c be a positive real number. We consider a concept of truth-table reduction whose norm is at most c times size of input, where for a relativized propositional formula F, the size of F denotes the total number of occurrences of propositional variables, constants and propositional connectives. Then, our main result is that the hypothesis holds for such tt-reduction, provided that c is small enough. How small c can we take so that the above holds? It depends on our syntactic convention on one-query tautologies. In our setting, the statement holds for all c < 1. (2) The hypothesis holds for monotone truth-table reduction (also called positive reduction). (3) Dowd (in Inf. Comput. 96, 65–76, 1992) shows a polynomial upper bound for the minimum sizes of forcing conditions associated with a random oracle. We apply the above result (1), and get a linear lower bound for the sizes. (shrink)
1. Kō to shi no shisōshi -- 2. Kō to shi no shakai kagaku -- 3. Nihon ni okeru kō to shi -- 4. Ō-Bei ni okeru kō to shi -- 5. Kokka to ningen to kōkyōsei -- 6. Keizai kara mita kōshi mondai -- 7. Chūkan shūdan ga hiraku kōkyōsei -- 8. Kagaku gijutsu to kōkyōsei -- 9. chikyū kankyō to kōkyōsei -- 10. 21-seiki kōkyō tetsugaku no chihei -- 14. Rīdāshippu kara kangaeru kōkyōsei.
In this paper, we investigate the logical strength of completeness theorems for intuitionistic logic along the program of reverse mathematics. Among others we show that is equivalent over to the strong completeness theorem for intuitionistic logic: any countable theory of intuitionistic predicate logic can be characterized by a single Kripke model.
In this paper, we show within RCA 0 that weak Konig's lemma is necessary and sufficient to prove that any (separable) compact group has a Haar measure. Within WKL 0 , a Haar measure is constructed by a non-standard method based on a fact that every countable non-standard model of WKL 0 has a proper initial part isomorphic to itself .
Previous research has found cultural differences in the frequency of support seeking. Asians and Asian Americans report seeking support from their close others to deal with their stress less often compared to European Americans. Similarly, other research on professional help seeking has shown that Asians and Asian Americans are less likely than European Americans to seek professional psychological help. Previous studies link this difference to multitude of factors, such as cultural stigma and reliance on informal social networks. The present research (...) examined another explanation for cultural differences in professional help seeking. We predicted that the observed cultural difference in professional help seeking is an extension of culture-specific interpersonal relationship patterns. In the present research, undergraduate students in Japan and the United States completed the Inventory of Attitudes toward Seeking Mental Health Services (IASMHS), which measures professional help seeking propensity, psychological openness to acknowledging psychological problems, and indifference to the stigma of seeking professional help. The results showed that Japanese reported greater reluctance to seek professional help compared to Americans. Moreover, the relationship between culture and professional help seeking attitudes was partially mediated by use of social support seeking among close others. The implications of cultural differences in professional help seeking and the relationship between support seeking and professional help seeking are discussed. (shrink)