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 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.

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 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)

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)

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

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)

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)

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)

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

The storage and access of genetic testing results have unique considerations for medical records. Initially, genetic testing was limited to patients with single gene diseases. Genetic medicine and testing have expanded, as have concerns about appropriately handling genetic information. In this study, we surveyed the management of genetic information in general hospitals in Japan using a questionnaire on access restrictions. Our questions included whether any other medical information was managed in a unique way. We identified 1037 hospitals designated for clinical (...) training located throughout Japan and received responses from 258 hospitals, and 191 reported that they handle genetic information and results of genetic tests. Of the 191 hospitals that handle genetic information, 112 hospitals implement access restrictions to genetic information. Seventy-one hospitals, one of which uses paper medical records rather than electrical medical records, do not enforce access restrictions. For eight hospitals, it was not known whether access restrictions were enforced or not. The responses from these hospitals indicated that access restrictions and storage methods varied across institution type (e.g., general vs. university hospitals), institution size, and the presence of a clinical genetics department. Other information, such as infectious disease diagnosis, psychological counseling records, abuse, and criminal history, was also subject to access restriction in 42 hospitals. The disparity in how medical facilities handle sensitive genetic information demonstrates a need for discussion between medical professionals and the general public on the storage of sensitive records, including genetic information. (shrink)

While changes in response to the different stages of the pandemic remain unknown, this study investigated the longitudinal impact of the COVID-19 pandemic on depressive symptoms in Japanese university students and identified factors associated with new onset of depression and suicidal ideation. Two surveys were conducted at one university in Akita, Japan, during the first COVID-19 outbreak period and 1 year later. Moderate depressive symptoms were defined as a Patient Health Questionnaire-9 score ≥ 10 and suicide-related ideation score ≥ 1 (...) on question 9 of the questionnaire. Among 985 students who completed surveys in T1 and T2, participants with moderate depressive symptoms and suicide-related ideation increased from 11 to 17% and from 5.8 to 11.8%, respectively. Among 872 students at risk after excluding those with moderate depressive symptoms at T1, 103 students developed moderate depressive symptoms at T2. Among the 928 students at risk, after excluding those who had suicidal ideation at T1, 79 developed suicidal ideation. Multivariate logistic modeling revealed financial insecurity and academic performance as risk factors, while having someone to consult about worries was a coping factor for depressive symptoms and suicidal ideation. Our findings demonstrated that socioenvironmental factors may determine depressive symptoms of university students. (shrink)

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)

Este ensaio tem a intenção de trazer uma discussão sobre os pressupostos epistemológicos de Bachelard e Fleck, dois referenciais teóricos hoje muito utilizados em teses e pesquisas em Educação, Filosofia e Ensino. Estaremos argumentando que as duas referências têm interessantes convergências epistemológicas e que podem ser potencialmente úteis para pensar a educação científica.

Sleep is mandatory in most animals that have the nervous system and is universally observed in model organisms ranging from the nematodes, zebrafish, to mammals. However, it is unclear whether different sleep states fulfill common functions and are driven by shared mechanisms in these different animal species. Mammals and birds exhibit two obviously distinct states of sleep, i.e., non-rapid eye movement sleep and rapid eye movement sleep, but it is unknown why sleep should be so segregated. Studying sleep in other (...) animal models might give us clues that help solve this puzzle. Recent studies suggest that REM sleep, or ancestral forms of REM sleep might be found in non-mammalian or -avian species such as reptiles. These observations suggest that REM sleep and NREM sleep evolved earlier than previously thought. In this review, we discuss the evolutionary origin of the distinct REM/NREM sleep states to gain insight into the mechanistic and functional reason for these two different types of sleep. (shrink)

This paper reports on a quiz robot experiment in which we explore similarities and differences in human participant speech, gaze, and bodily conduct in responding to a robot’s speech, gaze, and bodily conduct across two languages. Our experiment involved three-person groups of Japanese and English-speaking participants who stood facing the robot and a projection screen that displayed pictures related to the robot’s questions. The robot was programmed so that its speech was coordinated with its gaze, body position, and gestures in (...) relation to transition relevance places, key words, and deictic words and expressions in both languages. Contrary to findings on human interaction, we found that the frequency of English speakers’ head nodding was higher than that of Japanese speakers in human-robot interaction. Our findings suggest that the coordination of the robot’s verbal and non-verbal actions surrounding TRPs, key words, and deictic words and expressions is important for facilitating HRI irrespective of participants’ native language. Keywords: coordination of verbal and non-verbal actions; robot gaze comparison between English and Japanese; human-robot interaction ; transition relevance place ; conversation analysis. (shrink)

In the current model of visual transduction, the lifetime of active cGMP phosphodiesterase depends upon the period of its interaction with GTP-bound transducin. If recoverin regulates the lifetime of light-activated cGMP phosphodiesterase through inhibition of rhodopsin phosphorylation, rhodopsin should directly interact with cGMP phosphodiesterase and/or GTP-bound transducin complexed with cGMP phosphodiesterase. Is this true?