We show, within the framework of Bishop's constructive mathematics, that (sequential) completeness of the locally convex space $\mathcal{D} (\mathbb{R})$ of test functions is equivalent to the principle BD-N which holds in classical mathemtatics, Brouwer's intuitionism and Markov's constructive recursive mathematics, but does not hold in Bishop's constructivism.

We show, within the framework of Bishop's constructive mathematics, that (sequential) completeness of the locally convex space $\mathcal{D} (\mathbb{R})$ of test functions is equivalent to the principle BD-N which holds in classical mathemtatics, Brouwer's intuitionism and Markov's constructive recursive mathematics, but does not hold in Bishop's constructivism.

Improving public understanding and acceptance are critical for promoting coronavirus vaccination. However, how to promote COVID-19 vaccine programs remains controversial due to various ethical issues. This study, thus, aimed to survey the acceptance of COVID-19 vaccines among Japanese citizens and discuss relevant ethical issues. A cross-sectional survey was conducted via an online platform. An anonymous, quantitative, self-administered online questionnaire was sent to 6965 registered Japanese residents, which included questions regarding the respondent’s general knowledge, experience, and opinions of vaccines, vaccine development, (...) COVID-19, and COVID-19 vaccines. Of the 1569 respondents, 730 and 839 were categorized into the younger and older groups, respectively. Most of the respondents possessed general knowledge of COVID-19 vaccines and their features. Of the respondents, 57.8% definitely agreed or somewhat agreed to receive COVID-19 vaccines. The older group showed significantly greater willingness to receive vaccines and higher literacy regarding vaccines in general. Possible reasons for the older group’s greater willingness to receive COVID-19 vaccines are a high risk of severe COVID-19 infection and their past accumulated experience of receiving various vaccinations. Although active public intervention could increase vaccination rates, most of the respondents did not agree with mandatory vaccination. Furthermore, a gap between the participants in the COVID-19 vaccine trials and the prioritized population in real-world vaccination should be adjusted in future vaccine development. (shrink)

Facial expressions influence our experience and perception of emotions—they not only tell other people what we are feeling but also might tell us what to feel via sensory feedback. We conducted three experiments to investigate the interaction between facial feedback phenomena and different environmental stimuli, by asking participants to remember emotional autobiographical memories. Moreover, we examined how people with schizotypal traits would be affected by their experience of emotional facial simulations. We found that using a directed approach (gripping a pencil (...) with teeth/lips) while remembering a specific autobiographical memory could successfully evoke participants’ positive (e.g. happy and excited)/negative (e.g. angry and sad) emotions (i.e. Experiment 1). When using indirective environmental stimuli (e.g. teardrop glasses), the results of our experiments (i.e. Experiments 2 and 3) investigating facial feedback and the effect of teardrop glasses showed that participants who scored low in schizotypy reported little effect from wearing teardrop glasses, while those with high schizotypy reported a much greater effect in both between- and within-subject conditions. The results are discussed from the perspective of sense of ownership, which people with schizophrenia are believed to have deficits in. (shrink)

We prove in the framework of Bishop's constructive mathematics that the sequential completion equation image of the space [MATHEMATICAL SCRIPT CAPITAL D] is filter-complete. Then it follows as a corollary that the filter-completeness of [MATHEMATICAL SCRIPT CAPITAL D] is equivalent to the principle BD-ℕ, which can be proved in classical mathematics, Brouwer's intuitionistic mathematics and constructive recursive mathematics of Markov's school, but does not in Bishop's constructive mathematics. We also show that equation image is identical with the filter-completion which was (...) provided by Bishop. (shrink)