In this study, we analyze choice in the presence of some conflict that affects the decision time, a subject that has been documented in the literature. We axiomatize a multiattribute decision time representation, which is a dynamic extension of the classic multiattribute expected utility theory that allows potentially incomplete preferences. Under this framework, one alternative is preferred to another in a certain period if and only if the weighted sum of the attribute-dependent expected utility induced by the former alternative is (...) larger than that induced by the latter for all attribute weights in a closed and convex set. MDT uniquely determines the decision time as the earliest period at which the ranking between alternatives becomes decisive. The comparative statics result indicates that the decision time provides useful information to locate indifference curves in a specific setting. MDT also explains various empirical findings in economics and other relevant fields. (shrink)

Wabi Sabi is the Japanese Zen philosophy that all things are imperfect, unfinished and impermanent. It is a fresh way of seeing and moving through the world when our lives, literally and figuratively, feel cluttered. This book shows us how to apply this concept in the context of daily life and offers ideas on how to see it, embrace it and incorporate it into everyday thoughts, objects and situations."--Publisher description.

Experimental studies have developed, conducted, and evaluated classroom interventions for foreign language anxiety reduction. However, various characteristics of those classroom interventions make it difficult to synthesize the findings and apply them to practice. We conducted what is, to the best of our knowledge, the first systematic review on educational interventions for FLA. Six criteria were established for inclusion of studies. Using English keywords, we identified 854 potentially eligible studies through ProQuest and Scopus, 40 of which were finally included. All included (...) studies were published from 2007 to 2020. The studies differed in type of intervention, duration of intervention, and scale to measure FLA. Our systematic review resulted in seven features of classroom interventions, categorized as student–student interactions, student-teacher interactions, self-management, and mood boosters; we also categorized interventions as either individual or interactional. (shrink)

In this paper, we discuss uniform versions of some axioms of second order arithmetic in the context of higher order arithmetic. We prove that uniform versions of weak weak König's lemma WWKL and Σ01 separation are equivalent to over a suitable base theory of higher order arithmetic, where is the assertion that there exists Φ2 such that Φf1 = 0 if and only if ∃x0 for all f. We also prove that uniform versions of some well-known theorems are equivalent to (...) or the axiom of the existence of the Suslin operator. (shrink)

イスラーム哲学vs中国哲学、対決・調和・熟成。イスラーム思想はどのように東漸し、中国はそれをいかに受容し、そしていかにして新たな哲学を形成したのか。イスラームと中国の文明接触を哲学レベルで解明し、その 歴史を実証的に探求する。.

Using anthropological theory, this paper examines human–android interactions (HAI) as an emerging aspect of android science. These interactions are described in terms of adaptive learning (which is largely subconscious). This article is based on the observations reported and supplementary data from two studies that took place in Japan with a teleoperated android robot called Telenoid in the socialization of school children and older adults. We argue that interacting with androids brings about a special context, an interval, and a space/time for (...) reflection and imagination that was not there before. During the interaction something happens. There is adaptive learning and as a result, both children and older adults accepted Telenoid, and the children and older adults accepted each other. Using frames of play and ritual, we make sense and ‘capture’ moments of adaptive learning, and the feedback that elicits a social response from all study participants that results in self-efficacy and socialization. While “ritual” refers to the application of what has been learned and “play” means that there are no obvious consequences of what has been learned. This analysis illuminates new understanding about the uncanny valley, cultural robotics and the therapeutic potential of HAI. This has implications for the acceptance of androids in ‘socialized roles’ and gives us insight into the subconscious adaptive learning processes that must take place within humans to accept androids into our society. This approach aims to provides a clearer conceptual basis and vocabulary for further research of android and humanoid development. (shrink)

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 investigate the logical strength of two types of fixed point theorems in the context of reverse mathematics. One is concerned with extensions of the Banach contraction principle. Among theorems in this type, we mainly show that the Caristi fixed point theorem is equivalent to math formula over math formula. The other is dedicated to topological fixed point theorems such as the Brouwer fixed point theorem. We introduce some variants of the Fan-Browder fixed point theorem and the (...) Kakutani fixed point theorem, which we call math formula and math formula, respectively. Then we show that math formula is equivalent to math formula and math formula is equivalent to math formula, over math formula. In addition, we also study the application of the Fan-Browder fixed point theorem to game systems. (shrink)

We present a nonparametric approach to prediction of the n-back n \in {1, 2} task as a proxy measure of mental workload using Near Infrared Spectroscopy (NIRS) data. In particular, we focus on measuring the mental workload through hemodynamic responses in the brain induced by these tasks, thereby realizing the potential that they can offer for their detection in real world scenarios (e.g., difficulty of a conversation). Our approach takes advantage of intrinsic linearity that is inherent in the components of (...) the NIRS time series to adopt a one step regression strategy. We demonstrate the correctness of our approach through its mathematical analysis. Furthermore, we study the performance of our model in an inter-subject setting in contrast with state-of-the-art techniques in the literature to show a significant improvement on prediction of these tasks (82.50% and 86.40% for female and male participants, respectively). Moreover, our empirical analysis suggest a gender difference effect on the performance of the classifiers (with male data exhibiting a higher non-linearity) along with the left-lateralized activation in both genders with higher specificity in females. (shrink)

Traduction de l’« Introduction à la mésologie », premier des quatre actes de Mésologie de la rencontre : une invitation au dialogue, de Kioka Nobuo. Cet acte comprend trois scènes dont chacune se compose d’abord d’un cours suivi d’un dialogue entre trois personnages. La scène 1 « Qu’est-ce qu’un milieu? » définit les trois concepts d’environnement, d’écosystème et de milieu, le « milieu » se distinguant des deux autres en tant que leur trajection. La scène 2 « La mésologie (...) comme géo-philosophie » montre que les notions géophilosophiques, « lieu » « paysage » et « rencontre » ont une importance décisive pour la philosophie japonaise comme mésologie. La scène 3 « Critique de la civilisation moderne », enfin, insiste sur la nécessité de renouer l’« entrelien » ( aida ) brisé par le dualisme moderne, afin de dépasser la « logique du désir », source de la crise environnementale d’aujourd’hui. (shrink)

Nishida’s analyses of human bodily existence, anticipating Merleau-Ponty’s, led him to accomplish his own “return to the lifeworld.” The later Nishida wrote: “I have now come to regard what I used to call the world of pure experience as the world of historical reality. The world of action-intuition is none other than the world of pure experience.” But Nishida’s attempt at a radical reconstruction of philosophy seems to suffer from a metaphysical optimism deriving from his notion of the “place of (...) absolute nothingness”; in 1945, when Japan’s defeat and his own death were approaching him as if competing with each other, Nishida wrote: “A world war must be a world war which aims to negate a world war and to contribute to eternal peace.” "Our motivation for philosophizing must be, not wonder, but the deep sorrow of life"---Nishida's often-quoted metaphilosophical prescription was meant to be a critique of Western philosophy's penchant to objectify Being. It is said, however, that the "philosophy in search of peace" in the "Post-Hiroshima Age" was occasioned with "fear." By way of critical reconsideration of Nishidaphilosophy, this paper intends to search for a new philosophy of history, one prerequisite for which would be to comprehend concretely the relationships between the various “dimensions of reality.” And it would be nothing but those cardinal questions accompanied with wonder, sorrow, or fear that can bring into lightthe principal dimensions structuring the multiple-reality of our times. (shrink)

Ethics, Policy & Environment, Volume 15, Issue 1, Page 37-43, March 2012.

“邂逅”の不在こそが世界の危機の根源にある。真に生きられる世界を目指し、新たな哲学の地平を切り拓く画期的論究。.

構造主義からアクターネットワークセオリーまで、哲学と人類学という二つの知的実践は交錯してきた。その現代的な意義を考える。 ドゥルーズ=ガタリ、メルロ=ポンティ、サルトル、モース、デュルケム、ヴィヴェイロス・デ・カストロ、デスコラ、ストラザーン――いずれも「自然」をめぐり、レヴィ=ストロースの神話論理の再解釈や「構造」の捉 えなおしとして進行してきた哲学と人類学について、思考様式の違いや歴史的な影響関係、主題の反復を浮き彫りにする。.

Currently in Japan, discontinuing an invasive mechanical ventilator (IMV) is illegal; therefore IMV-related decision making is a crucial issue. This study examined IMV decision-making factors and psychological conflict in 50 patients with amyotrophic lateral sclerosis. The Herth Hope Index was used for the assessment of pre- and post-IMV conflict. Interviews identified some decision-making factors: patient’s decision, patient’s and family’s mutual decision, family’s decision, and emergency-induced without patient’s or family’s consent. Participants who experienced no IMV-related regret received sufficient prior IMV education (...) from physicians and nurses, and time for reflection and family consultation. Their hope was similar to their pre-onset levels. Patients who received no prior IMV education accepted treatment as a natural progression. Their hope levels were lower than pre-onset. Those who received only a brief prior IMV explanation rejected the ventilator, experiencing regret if they were given an emergency IMV. Their hope levels were among the lowest. However, some of these patients managed to overcome their regret through being helped by nurses. Sufficient physician explanation and nursing advocacy for autonomous patient decision making are critical for improving hope in this patient group. (shrink)

Understanding employee stress has become a key issue for top management for corporate growth and risk reduction. So far, annual employee satisfaction surveys have been conducted to assess the soundness of an organization. However, since it is difficult to collect questionnaires quantitatively and continuously, there is a need for a practical method that can be used to frequently measure group stress levels with a small burden on employees. We propose such a method and evaluated four combinations of approaches, using activity/rest (...) duration distributions from body motion data and generating estimation models on an individual/group basis. The optimal result was obtained when modeling was made on a group basis by using the activity duration distribution, making it possible to assess the degree of the stress of employees quantitatively and easily, and this showed the possibility of this method being useful as a management guide for companies. (shrink)

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)

In this paper, we generalize a result of Brown and Simpson [1] to prove that RCA0+Π0∞-BCT is conservative over RCA0 with respect to the set of formulae in the form ∃!Xφ, where φ is arithmetical. We also consider the conservation of Π00∞-BCT over Σb1-NIA+∇b1-CA.

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 [10].