Recent fMRI studies have shown that functional networks can be extracted even from resting state data, the so called “resting state networks” (RSNs) by applying independent component analysis (ICA). However, compared to fMRI, EEG and MEG have much higher temporal resolution and provide a direct estimation of cortical activity. To date, MEG studies have applied ICA for separate frequency bands only, disregarding cross-frequency couplings. In this study, we aimed to detect EEG-RSNs and their interactions in all frequency bands. We applied (...) low resolution brain electromagnetic tomography-ICA (LORETA-ICA) to resting-state EEG data in 80 healthy subjects using five frequency bands (delta, theta, alpha, beta and gamma band) and found five RSNs in alpha, beta and gamma frequency bands. Next, taking into account these frequency properties, five RSNs were identified; 1) the visual network, 2) dual-process of visual perception network, characterized by a negative correlation between the right ventral visual pathway (VVP) and left posterior dorsal visual pathway (DVP), 3) self-referential processing network, characterized by a positive correlation between the medial PFC and right VVP, 4) dual-process of memory perception network, functionally related to a negative correlation between the left VVP and the precuneus and 5) sensorimotor network. To detect aging-related changes of these five RSNs, the subjects were divided into three age groups: younger, middle aged, and elderly group, and Student's t test with Bonferroni correction on each coefficient of five independent components were performed. We found a significant attenuation in dual-process of visual perception network in elderly relative to middle aged subjects. Overall findings indicate that LORETA-ICA with EEG data can precisely identify five RSNs in their intrinsic frequency bands, and correct correlations and aging-related changes between and within RSNs. (shrink)

Many cultures have had knowledge imposed from outside, whether by force or for reasons of power, to the detriment of their own endogenous knowledge and the wisdom developed throughout their history. Would Japan’s acquisition of Western knowledge have led but to the development of a lesser know-how, devoid of meaning or sense, or even of knowledge which it might be better to ignore? Far from benefiting from an endogenous development or a modernization respectful of beings and of their environment, the (...) developing countries that superficially adopt this unilateral knowledge undergo a type of ‘self-colonization’. Although concurring with biologist Keiko Nakamura’s theory that scientific attitudes must be studied from within, Masahiro Hamashita considers that knowledge from outside allows for more solid internal reflection. He thus advocates the development of an integrated, hybrid knowledge, where external knowledge is mixed with internal knowledge in a spontaneous, harmonious way, as was the case with the traditional knowledge that Japan acquired from China. (shrink)

Determining the relationship between the entire brain structure and individual differences is important in extending healthy life expectancy, which can be affected by brain atrophy. The entire brain structure has been gradually known to be correlated not only with age but also with individual differences, such as quality of life, general intelligence, and lifestyle. However, little attention has been paid to the relationship between the entire brain structure and personal traits. We herein focused on one personal trait, namely spiritual growth, (...) and examined its relationship with the entire brain structure using two neuroimaging-derived measures, namely the gray matter Brain Healthcare Quotient, a measure of GM volume, and the fractional anisotropy Brain Healthcare Quotient, a measure of white matter integrity, in 229 healthy participants. The results indicated no significant relationship between the GM-BHQ and spiritual growth, but there was a significant positive correlation between the FA-BHQ and spiritual growth after controlling for age, sex, and body mass index with partial correlation analysis. Furthermore, multiple regression analysis revealed a significant positive correlation between the FA-BHQ and spiritual growth after controlling for physical characteristics, such as age, sex, and BMI, as well as other variables related to lifestyle that were collected using the Health-Promoting Lifestyle Profile. These results support the idea that there is a relationship between the entire WM brain structure and spiritual growth. Further studies are required to clarify the causal relationship between the entire WM brain structure and spiritual growth with some interventions to improve spiritual growth. Such studies will help extend healthy life expectancy from a new perspective of personal trait. (shrink)

We give an extender characterization of a very strong elementary embedding between transitive models of set theory, whose existence is known as the axiom I2. As an application, we show that the positive solution of a partition problem raised by Magidor would refute it.

A change of gaze behavior at a small mistake moment is a natural response that reveals our own mistakes and suggests an apology to others with whom we are working or interacting. In this paper we investigate how robot gaze behaviors at small mistake moments change the impressions of others. To prepare gaze behaviors for a robot, first, we identified by questionnaires how human gaze behaviors change in such situations and extracted three kinds: looking at the other, looking down, and (...) looking away. We prepared each gaze behavior, added a no-gaze behavior, and investigated how a robot’s gaze behavior at a small mistake moment changes the impressions of the interacting people in a simple cooperative task. Experiment results show that the ‘looking at the other’ gaze behavior outperforms the other gaze behaviors and indicates the degrees of perceived apologeticness and friendliness. Keywords: Communication robots; gaze; mistake; mitigation. (shrink)

現代における重要テーマをめぐって重ねてきた言葉たちを結晶化した対談集。対談者:戸谷洋志、小松原織香、山口尚、永井玲衣.

In this article, we examine philosophy of sport as a field of study in Japan, its history, characteristics, and future prospects, as part of a contribution to the international development of the discipline of sport philosophy. The Japan Society for the Philosophy of Sport and Physical Education has been holding an annual sport philosophy conference every year since its inception in 1978. Nevertheless, the trends of sport philosophy in Japan have not been conveyed abroad. The language barrier between Japanese and (...) English as an international communication tool makes it difficult to spread our work on the philosophy of sport throughout the world. The question arises as to whether the philosophy of sport in Japan has the same trends as those in the Western countries. Is it reasonable to assume that it has different aspects and interests than philosophy of sport in English-speaking countries? We will also try to address these questions for our audience. (shrink)

We introduce the Easton collapse and show that the two-stage iteration of Easton collapses gives a model in which the successor of a regular cardinal carries a strongly saturated filter. This allows one to get a model in which many successor cardinals carry saturated filters just by iterating Easton collapses.

We first note that Gentzen's proof-reduction for his consistency proof of PA can be directly interpreted as moves of Kirby-Paris' Hydra Game, which implies a direct independence proof of the game . Buchholz's Hydra Game for labeled hydras is known to be much stronger than PA. However, we show that the one-dimensional version of Buchholz's Game can be exactly identified to Kirby-Paris' Game , by a simple and natural interpretation . Jervell proposed another type of a combinatorial game, by abstracting (...) Gentzen's proof-reductions and showed that his game is independent of PA. We show that this Jervell's game is actually much stronger than PA, by showing that the critical ordinal of Jervell's game is φω = ϵ0) in the Veblen hierarchy of ordinals. (shrink)

In this paper, we present a categorical model for Multiplicative Additive Polarized Linear Logic , which is the linear fragment of Olivier Laurent’s Polarized Linear Logic. Our model is based on an adjunction between reflective/coreflective full subcategories / of an ambient *-autonomous category . Similar structures were first introduced by M. Barr in the late 1970’s in abstract duality theory and more recently in work on game semantics for linear logic. The paper has two goals: to discuss concrete models and (...) to present various completeness theorems.As concrete examples, we present a hypercoherence model, using Ehrhard’s hereditary/anti-hereditary objects, a Chu-space model, a double gluing model over our categorical framework, and a model based on iterated double gluing over a *-autonomous category.For the multiplicative fragment of. (shrink)

Why would a philosopher choose to convey his ideas in the form of Manga? This discussion between Masahiro Morioka, author of Manga Introduction to Philosophy, and the translator of its French edition, Pierre Bonneels, shows how philosopher and artist Morioka became acquainted, through images, with fundamental abstract notions. After a short historical analysis of the aesthetic advantages of Manga, consideration is given to this unique way of provoking thought. On this basis, theoretical aspects of “time” and the “I” proposed (...) by Ōmori Shōzō are compared with Morioka’s Manga presentation. Although the questions raised are universal, the authors note that the use of Japanese metaphors enables these two thinkers to draw on a concrete understanding of notions like temporality and identity. (shrink)

We show that every MALL proof-structure [9] satisfies the property of softness, originally a categorical notion introduced by Joyal. Furthermore, we show that the notion of hereditary softness precisely captures Girard’s algebraic restriction of the technical condition on proof-structures. Relying on this characterization, we prove a MALL+Mix sequentialization theorem by a proof-theoretical method, using Girard’s notion of jump. Our MALL+Mix correctness criterion subsumes the Danos/Fleury-Retoré criterion [6] for MLL+Mix.

Let f ϵ Z [ X, Y ] be irreducible. We give a condition that there are only finitely many integers n ϵ Z such that f is reducible and we give a bound for such integers. We prove a similar result for polynomials with coefficients in polynomial rings. Both results are proved by, so-called, nonstandard arithmetic.

LetKbe an algebraic number field andIKthe ring of algebraic integers inK. *Kand *IKdenote enlargements ofKandIKrespectively. LetxЄ *K–K. In this paper, we are concerned with algebraic extensions ofKwithin *K. For eachxЄ *K–Kand each natural numberd, YKis defined to be the number of algebraic extensions ofKof degreedwithin *K.xЄ *K–Kis called a Hilbertian element ifYK= 0 for alldЄ N,d> 1; in other words,Khas no algebraic extension within *K. In their paper [2], P. C. Gilmore and A. Robinson proved that the existence of a (...) Hilbertian element is equivalent to Hilbert's irreducibility theorem. In a previous paper [9], we gave many Hilbertian elements of nonstandard integers explicitly, for example, for any nonstandard natural numberω, 2ωPωand 2ω are Hilbertian elements in*Q, where pωis theωth prime number. (shrink)