戦後の進歩的知識人の代表、思想史学のリーダーであった丸山真男。超国家主義、「原型」・「古層」を追究し、山崎闇斎学派、荻生徂徠、福沢諭吉らの思想構造を解明する丸山思想史学を再構成。丸山に対する論評を詳述 。.

The modern political consciousness of Japan cannot be understood without reference to the history of the Tokugawa period, the era between 1600 and 1868 that preceded Japan's modern transformation. Tetsuo Najita introduces the ideas of the leading political thinker of the period, Ogyu Sorai, a pivotal figure in laying the conceptual foundations of Japan's modernization. His basic thoughts about history and the ethical purposes of politics are presented, revealing the richness of the philosophical legacy of eighteenth-century Japan, a legacy (...) which cannot be seen through the perspective of 'westernization'. His ideas reveal a vision of human diversity and individual virtue which can be viewed in comparative perspective, as well as an insight into the history and politics of Japan. The texts are accompanied by a chronology of Sorai's life, a glossary, a guide to persons mentioned in the text, and a guide to further reading, as well as Professor Najita's introduction, which puts Sorai's work into philosophical and historical context. (shrink)

The energy spectrum of the bound states of the nucleon-monopole system is determined, the monopole harmonics Yq,l,m are related to Wigner's functions D m,m′ (L) of the rotation matrix, and the scattering wave functions of the proton in the dyon source field are calculated.

明治時代まで日本には「科学」という言葉がなかった―異国文化であった科学技術の受容にあたって、日本の伝統的なものの考え方・習慣と激しく衝突した。“文化の翻訳”に苦闘した人びとの姿を描く。.

Magnetoencephalography (MEG) and electroencephalography (EEG) are invaluable neuroscientific tools for unveiling human neural dynamics in three dimensions (space, time, and frequency), which are associated with a wide variety of perceptions, cognition, and actions. MEG/EEG also provides different categories of neuronal indices including activity magnitude, connectivity, and network properties along the three dimensions. In the last 20 years, interest has increased in inter-regional connectivity and complex network properties assessed by various sophisticated scientific analyses. We herein review the definition, computation, short history, (...) and pros and cons of connectivity and complex network (graph-theory) analyses applied to MEG/EEG signals. We briefly describe recent developments in source reconstruction algorithms essential for source-space connectivity and network analyses. Furthermore, we discuss a relatively novel approach used in MEG/EEG studies to examine the complex dynamics represented by human brain activity. The correct and effective use of these neuronal metrics provides a new insight into the multi-dimensional dynamics of the neural representations of various functions in the complex human brain. (shrink)

In our previous paper [5], we have studied Kripke-type semantics for propositional logics without the contraction rule. In this paper, we will extend our argument to predicate logics without the structure rules. Similarly to the propositional case, we can not carry out Henkin's construction in the predicate case. Besides, there exists a difficulty that the rules of inference () and () are not always valid in our semantics. So, we have to introduce a notion of normal models.

Takahashi translation * is a translation which means reducing all of the redexes in a λ-term simultaneously. In [4] and [5], Takahashi gave a simple proof of the Church–Rosser confluence theorem by using the notion of parallel reduction and Takahashi translation. Our aim of this paper is to give a simpler proof of Church–Rosser theorem using only the notion of Takahashi translation.

Research interest in cuteness perception and its effects on subsequent behavior and physiological responses has recently been increasing. The purpose of the present study was to produce a dataset of Japanese infant faces that are free of portrait rights and can be used for cuteness research. A total of 80 original facial images of 6-month-old infants were collected from their parents. The cuteness level of each picture was rated on a 7-point scale by 200 Japanese people. Prototypical high- and low-cuteness (...) faces were created by averaging the top 10 and bottom 10 faces according to the mean cuteness ratings. Then, 50 composite faces were made by mixing two faces randomly chosen from the 60 unused middle-cuteness faces. The normative cuteness ratings of these composite faces were obtained from 229 Japanese men and women in their 20s–60s. The shape of each composite face was transformed to be cuter or less cute along a continuum between the high- and low-cuteness prototypical faces. A two-alternative forced-choice task confirmed that cuteness discrimination was better than the chance level for all 50 face pairs. Moreover, the results showed that young men had poorer sensitivity to cuteness differences in infant faces than older men and women of any age. This Japanese Cute Infant Face dataset, including composite face images and normative rating scores, is publicly available online. (shrink)

生き残りを図る欧米のサバイバル戦略に対する共に死ぬという無常戦略。日本の文化が育んできた死生観、無常観を見つめなおすことで、明日を生きる道が開けてくる。.

“いのち”とは何だろう!!終末論的状況の今、人はいかに“いのち”を全うするのか。宗教学者・山折哲雄が様々な識者たちと根源的に“いのち”を問い直す。.

‘Popular culture’ has two Japanese translations: taishu bunka and minshu bunka. Bunka embraces the entire concept of ‘culture,’ but ‘popular’ isn't so easily translated. Taishu means a large number (tai) of population or groups (shu), while minshu means groups (shu) of ordinary people (min). Thus, minshu bunka is a more faithful translation of 'popular culture’ than taishu bunka. Yet, the expression minshu bunka does not occur as frequently as taishu bunka. This means that, in thejapanese context, ‘popular culture’ is generally (...) regarded as ‘mass culture.’ Only when the difference is intentionally stressed does the term of minshu bunka reappear. This is not a mere language problem but derives from the very process by which minshu bunka becomes taishu bunka. (shrink)

In this note, we will study four implicational logicsB, BI, BB and BBI. In [5], Martin and Meyer proved that a formula is provable inBB if and only if is provable inBBI and is not of the form of » . Though it gave a positive solution to theP - W problem, their method was semantical and not easy to grasp. We shall give a syntactical proof of the syntactical relation betweenBB andBBI logics. It also includes a syntactical proof of (...) Powers and Dwyer's theorem that is proved semantically in [5]. Moreover, we shall establish the same relation betweenB andBI logics asBB andBBI logics. This relation seems to say thatB logic is meaningful, and so we think thatB logic is the weakest among meaningful logics. Therefore, by Theorem 1.1, our Gentzentype system forBI logic may be regarded as the most basic among all meaningful logics. It should be mentioned here that the first syntactical proof ofP - W problem is given by Misao Nagayama [6]. (shrink)

Experiment with public deployment of the semantic service matchmaker to a UDDI registry for a year is described in this paper. UDDI is a standard registry for Web Services, but, its search functionality has been limited to a keyword search. Therefore, we propose an enhancement of UDDI, called Matchmaker, that supports semantic service capability discovery. Since September 2003, we have deployed the Matchmaker in one of four official UDDI registries operated by NTT-Communications. In this paper, we first introduce the Matchmaker, (...) and illustrate client tools which lower the threshold of use of semantics. Then, we evaluate this experiment by benchmarks in terms of its performance and functionality. Finally, we discuss user requirements obtained by two ways: questionnaire and observation of search behavior. (shrink)

The main part of the proof of Kripke's completeness theorem for intuitionistic logic is Henkin's construction. We introduce a new Kripke-type semantics with semilattice structures for intuitionistic logic. The completeness theorem for this semantics can he proved without Henkin's construction.

This paper provides a history of more than a century of efforts to establish and maintain a homegrown Canadian sugar supply – a twentieth-century version of what Eric Williams called the ‘war of the two sugars’, or the global competition between sugar beet and cane. To resolve beet sugar’s so-called ‘labour problem’, the industry has collaborated with the Canadian state to produce new classes of temporary workers, mobilising incarcerated Japanese Canadians, migrant Indigenous families, and Mexican and Caribbean workers employed through (...) the Seasonal Agricultural Worker Program. At the same time, the sugar industry has sought to refine itself of the racialised workers upon whom it relies by promoting the figure of the white Canadian worker. The Canadian ‘war of the two sugars’ has been fought through the stratification of the labour force along the lines of citizenship, resulting in the production of unique racial forms. (shrink)

Konrad Lorenz, an ethologist, proposed that certain physical elements are perceived as cute and induce caretaking behavior in other individuals, with the evolutionary function of enhancing offspring survival. He called these features Kindchenschema, baby schema. According to his introspection, these include a large forehead, chubby round features, and chubby cheeks. Previous studies are limited to examining the effects of these facial features on perceived cuteness. However, other morphological factors may be related to perceived cuteness. This study uses Bayesian optimization, one (...) of the global sequential optimization methods for estimating unknown functions, to search for facial morphological features that enhance the perceptions of facial cuteness. We applied Bayesian optimization incorporating Gaussian process ordinal regression, which allows an estimation of the latent cuteness function based on evaluations using the Likert scale. A total of 96 preschool children provided the facial images used in this study. We summarized the facial shape variations using methodologies of geometric morphometrics and principal component analysis up to the third principal component, which we refer to as the face space. A total of 40 participants evaluated the images created by warping the average facial texture of the children's faces with randomly generated parameters in the face space. Facial traits related to perceived cuteness were estimated based on the averaged cuteness function. Perceived cuteness was linked to the relative lower position of facial components and narrower jawline but not to the forehead height. (shrink)

The logical system P-W is an implicational non-commutative intuitionistic logic defined by axiom schemes B = (b → c) → (a → b) → a → c, B' = (a → b) → (b → c) → a → c, I = a → a with the rules of modus ponens and substitution. The P-W problem is a problem asking whether α = β holds if α → β and β → α are both provable in P-W. The answer is (...) affirmative. The first to prove this was E. P. Martin by a semantical method. In this paper, we give the first proof of Martin's theorem based on the theory of simply typed λ-calculus. This proof is obtained as a corollary to the main theorem of this paper, shown without using Martin's Theorem, that any closed hereditary right-maximal linear (HRML) λ-term of type α → α is βη-reducible to λ x.x. Here the HRML λ-terms correspond, via the Curry-Howard isomorphism, to the P-W proofs in natural deduction style. (shrink)

A reduction rule is introduced as a transformation of proof figures in implicational classical logic. Proof figures are represented as typed terms in a -calculus with a new constant P (()). It is shown that all terms with the same type are equivalent with respect to -reduction augmented by this P-reduction rule. Hence all the proofs of the same implicational formula are equivalent. It is also shown that strong normalization fails for P-reduction. Weak normalization is shown for P-reduction with another (...) reduction rule which simplifies of (( ) ) into an atomic type. (shrink)