Antigen presentation to CD8+ T cells by MHC class I molecules is essential for host defense against viral infections. Various mechanisms have evolved in multiple viruses to escape immune surveillance and defense to support viral proliferation in host cells. Through in vitro SARS‐CoV‐2 infection studies and analysis of COVID‐19 patient samples, we found that SARS‐CoV‐2 suppresses the induction of the MHC class I pathway by inhibiting the expression and function of NLRC5, a major transcriptional regulator of MHC class I genes. (...) In this review, we discuss the molecular mechanisms for suppression of the MHC class I pathway and clinical implications for COVID‐19. (shrink)

Apathy and depression are frequently observed as behavioral and psychological symptoms of dementia, respectively, and are important for ensuring adequate care. This study aims to explore effective non-pharmacological interventions for apathy and depression with mild cognitive impairment and dementia. Five search engines including PubMed, Scopus, CINAHL, PsycInfo, and Web of Science were used to extract relevant studies. Inclusion criteria were studies that involved participants who were diagnosed with MCI or dementia, included quantitative assessments of each symptom, and employed randomized controlled (...) trials. Twenty studies were extracted, with interventions have been conducted in care facilities, the community, and hospitals. Participants in many studies had MCI or mild-to-moderate dementia but were not diagnosed with the subtypes of dementia. Few studies had set apathy and depression as the primary outcomes of non-pharmacological interventions. The findings suggested that emotional and stimulation-oriented approaches to apathy and depression would be useful for people with MCI or mild-to-moderate dementia. It would be helpful for therapists to assess the clinical features of the target symptoms for selecting suitable interventions. Additionally, increasing the number of randomized controlled trials focusing on apathy or depression as primary outcomes would offer a more definite conclusion for future systematic reviews. (shrink)

Conscious visual perception can fail in many circumstances. However, little is known about the causes and processes leading to failures of visual awareness. In this study, we introduce a new signal detection measure termed subjective discriminability of invisibility that allows one to distinguish between subjective blindness due to reduction of sensory signals or to lack of attentional access to sensory signals. The SDI is computed based upon subjective confidence in reporting the absence of a target . Using this new measure, (...) we found that target misses were subjectively indistinguishable from physical absence when contrast reduction, backward masking and flash suppression were used, whereas confidence was appropriately modulated when dual task, attentional blink and spatial uncertainty methods were employed. These results show that failure of visual perception can be identified as either a result of perceptual or attentional blindness depending on the circumstances under which visual awareness was impaired. (shrink)

This article contributes to the revision of the procedure of robustness analysis of mathematical models in epistemic democracy using the systematic review method. It identifies the drawbacks of robustness analysis in epistemic democracy in terms of sample universality and inference from samples with the same results. To exemplify the effectiveness of systematic review, this article conducted a pilot review of diversity trumps ability theorem models, which are mathematical models of deliberation often cited by epistemic democrats. A review of nine models (...) extracted from 352 papers exemplifies the effectiveness of robustness analysis supplemented by systematic review in epistemic democracy. (shrink)

西田幾多郎の中心概念「永遠の今」を外部の多様な言説に向けて開放することで、西田哲学の新たな可能性を切り開く。プラトン、アウグスティヌス、ハイデッガー、九鬼周造、デリダ、アガンベン、木村敏といった西洋哲 学、宗教学、現代思想、精神病理学の代表者たちの議論と西田の言説を突き合わせ、その緻密な解釈と検証を通して、これまで時間論で見逃されてきたカイロスの系譜とその意義を照らし出す。既成の西田研究に問題を投げ かける著者十年の集大成。岩波現代文庫オリジナル版。.

We propose a triple test to evaluate the usefulness of behavioral economics models for public health policy. Test 1 is whether the model provides reasonably new insights. Test 2 is on whether these have been properly applied to policy settings. Test 3 is whether they are corroborated by evidence. We exemplify by considering the cases of social interactions models, self-control models and, in relation to health message framing, prospect theory. Out of these sets of models, only a correctly applied prospect (...) theory fully passes the tests at present. Specifically, in broad agreement with the evidence, a gain frame has positive implications for welfare encourages disease prevention activity, though this does not apply if the perceived probability of the bad health outcome is large enough. We see our tests as being useful to identify how much health policy weight policy makers should assign to specific behavioral economic models; they are also useful to verify what next steps would be most useful in further research. (shrink)

Human behavior depends on the ability to effectively introspect about our performance. For simple perceptual decisions, this introspective or metacognitive ability varies substantially across individuals and is correlated with the structure of focal areas in prefrontal cortex. This raises the possibility that the ability to introspect about different perceptual decisions might be mediated by a common cognitive process. To test this hypothesis, we examined whether inter-individual differences in metacognitive ability were correlated across two different perceptual tasks where individuals made judgments (...) about different and unrelated visual stimulus properties. We found that inter-individual differences were strongly correlated between the two tasks for metacognitive ability but not objective performance. Such stability of an individual’s metacognitive ability across different perceptual tasks indicates a general mechanism supporting metacognition independent of the specific task. (shrink)

To further develop three-dimensional (3D) applications, it is important to elucidate the negative effects of 3D applications on the human body and mind. Thus, this study investigated differences in the effects of visual fatigue on cognition and brain activity using visual and auditory tasks induced by watching a 1-h movie in two dimensions (2D) and 3D. Eighteen young men participated in this study. Two conditions were randomly performed for each participant on different days, namely, watching the 1-h movie on television (...) in 2D (control condition) and 3D (3D condition). Before and after watching the 1-h movie on television, critical flicker fusion frequency (CFF: an index of visual fatigue), and response accuracy and reaction time for the cognitive tasks were determined. Brain activity during the cognitive tasks was evaluated using a multi-channel near-infrared spectroscopy system. In contrast to the control condition, the decreased CFF, and the lengthened reaction time and the decreased activity around the right primary somatosensory cortex during Go/NoGo blocks in the visual task at post-viewing in the 3D condition were significant, with significant repeated measures correlations among them. Meanwhile, in the auditory task, the changes in cognitive performance and brain activity during the Go/NoGo blocks were not significant in the 3D condition. These results suggest that the failure or delay in the transmission of visual information to the primary somatosensory cortex due to visual fatigue induced by watching a 3D movie reduced the brain activity around the primary somatosensory cortex, resulting in poor cognitive performance for the visual task. This suggests that performing tasks that require visual information, such as running in the dark or driving a car, immediately after using a 3D application, may create unexpected risks in our lives. Thus, the findings of this study will help outlining precautions for the use of 3D applications. (shrink)

The Ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Omega $$\end{document}-rule was introduced by W. Buchholz to give an ordinal-free proof of cut-elimination for a subsystem of analysis with Π11\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Pi ^{1}_{1}$$\end{document}-comprehension. W. Buchholz’s proof provides cut-free derivations by familiar rules only for arithmetical sequents. When second-order quantifiers are present, they are introduced by the Ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Omega $$\end{document}-rule and some residual cuts are not (...) eliminated. In the present paper, we introduce an extension of the Ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Omega $$\end{document}-rule and prove the complete cut-elimination by the same method as W. Buchholz: any derivation of arbitrary sequent is transformed into its cut-free derivation by the standard rules. In fact we treat the subsystem of Π11\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Pi ^{1}_{1}$$\end{document}-CA that W. Buchholz used for his explanation of G. Takeuti’s finite reductions. Extension to full Π11\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Pi ^{1}_{1}$$\end{document}-CA is planned for another paper. (shrink)

This paper aims to give a correct proof of Tait's conservative extension theorem. Tait's own proof is flawed in the sense that there are some invalid steps in his argument, and there is a counterexample to the main theorem from which the conservative extension theorem is supposed to follow. However, an analysis of Tait's basic idea suggests a correct proof of the conservative extension theorem and a corrected version of the main theorem.

Gaisi Takeuti extended Gentzen's work to higher-order case in 1950's–1960's and proved the consistency of impredicative subsystems of analysis. He has been chiefly known as a successor of Hilbert's school, but we pointed out in the previous paper that Takeuti's aimed to investigate the relationships between "minds" by carrying out his proof-theoretic project rather than proving the "reliability" of such impredicative subsystems of analysis. Moreover, as briefly explained there, his philosophical ideas can be traced back to Nishida's philosophy in Kyoto's (...) school. For the proving the consistency of such systems, it is crucial to prove the well-foundedness of ordinals called "ordinal diagrams" developed for it. Takeuti presented such arguments several times in order to show that they are admitted in his stand point. As a starting point of investigating his finitist stand point, we formulate the system of ordinal notations up to ε0 and reconstruct the well-foundedness arguments of them. (shrink)

Genetic Algorithms(GAs) are effective approximation algorithms which focus on “hopeful area” in the searching process. However, in harder problems, it is often very difficult to maintain a favorable trade-off between exploitation and exploration. All individuals leave the big-valley including the global optimum, and concentrate on another big-valley including a local optimum often. In this paper, we define such a situation on conventional GAs as the “UV-phenomenon”, and suggest UV-structures as hard landscape structures that will cause the UV-phenomenon. We introduce a (...) test function which has explicit UV-structures, and show UV-phenomenon caused by them. Next we analyze Fletcher and Powell function to confirm our hypothesis. Finally we propose a novel framework of GAs which can cope with UV-structures. (shrink)

本研究は、史料的裏付けにもとづく、東アジア三地域における気の思想・文化の歴史や内容、特徴を明らかにし、東アジアにおける気の総合的・体系的研究の基礎を構築している。.