The propositional fragment L 1 of Leniewski's ontology is the smallest class (of formulas) containing besides all the instances of tautology the formulas of the forms: (a, b) (a, a), (a, b) (b,). (a, c) and (a, b) (b, c). (b, a) being closed under detachment. The purpose of this paper is to furnish another more constructive proof than that given earlier by one of us for: Theorem A is provable in L 1 iff TA is a thesis of first-order (...) predicate logic with equality, where T is a translation of the formulas of L 1 into those of first-order predicate logic with equality such that T(a, b) = FblxFax (Russeltian-type definite description), TA B = TA TB, T A = TA, etc. (shrink)

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)

At the very beginning of L’Homme-Machine, La Mettrie claims that Leibnizians with their monads have “rather spiritualized matter than materialized the soul”; a few years later Pierre-Louis Moreau de Maupertuis, President of the Berlin Academy of Sciences and natural philosopher with a strong interest in the modes of transmission of ‘genetic’ information, conceived of living minima which he termed molecules, “endowed with desire, memory and intelligence,” in his Système de la nature ou Essai sur les corps organisés. This text first (...) appeared in Latin in 1751 under the title Dissertatio inauguralis metaphysica de universali naturae systemate, with the pseudonym Dr Baumann; it was translated by Maupertuis in 1754 as Essai sur la formation des corps organisés and was later included in his 1756 Œuvres under the title Système de la nature. Now, it is clear that Maupertuis was a kind of Leibnizian; and that his molecule possessed higher-level, ‘mental’ properties. In that sense he falls under the first category described by La Mettrie. But he was also involved in a debate on this issue with Diderot, who put forth a sustained critique of Maupertuis’ theory of the molecule in the additions to his 1753 Pensées sur l’interprétation de la nature. Where Maupertuis attributes higher-level properties to his living minima, Diderot argues that these properties are ‘organizational’, i.e., they can only be properties of the whole. At issue here is the degree of commitment to a form of materialism. (shrink)

"This is an excellent textbook on Neoplatonism which gives the reader a very concise and lucid overview of the basic doctrines and leading thinkers of the last great philosophy to emerge before the Christianization of the Roman Empire. I’ve no doubt that my students next semester will benefit from the analyses contained in the book. The contents of the chapters are very informative and adequately place developments in their socio-cultural context." --Michael B. Simmons, Auburn University at Montgomery.

Graphical AbstractYeast mitochondria frequently mutate, and some dysfunctional mitochondria out-compete wild-type versions. The retrograde response enables yeast to tolerate dysfunction, but also produces ribosomal DNA circles (ERCs). We propose that ERC accumulation increases expression of the rDNA antisense gene, TAR1, which counteracts spread of respiration-deficient mitochondria in matings with wild-type yeast.

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)

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

Political developments in Japan from the latter part of 2000 to the year 2001 were highlighted by the executive transition from unpopular Yoshiro Mori to exceptionally popular Junichiro Koizumu as the nation's leader.

Kei Yoshida’s recent book Philosophy of the Social Sciences: An Introduction is the first introductory textbook on the philosophy of the social sciences written in Japanese. It concisely expounds on a wide range of topics in the discipline, while its explication of those topics is not impartial or neutral as the author himself says. This paper gives a critical review of the book. The first half of it briefly overviews and assesses the book as a whole. The latter half of (...) the paper reconstructs the gist of the author’s exposition of the naturalism/interpretivism debate and criticizes it. (shrink)

This paper presents a kernel density estimation method by means of real-coded crossovers. Functions of real-coded crossover operators are composed of probabilistic density estimation from parental populations and sampling from estimated models. Real-coded Genetic Algorithm (RCGA) does not explicitly estimate probabilistic distributions, however, probabilistic model estimation is implicitly included in algorithms of real-coded crossovers. Based on this understanding, we exploit the implicit estimation of probabilistic distribution of crossovers as a kernel density estimator. We also propose an application of crossover kernels (...) to Expectation-Maximization estimation (EM) of Gaussian mixtures. (shrink)

We propose a new Real-coded GA(RCGA) using the combination of two crossovers, UNDX-m and EDX. The search region of UNDX-m is biased to the inside area that the population of the RCGA covers. Because of this search bias, the GA using UNDX-m causes stagnation of its search if the cost function has a kind of structure, so called, a ridge structure or a multiple-peak structure. In order to overcome this stagnation, we propose a new crossover EDX, whose search is biased (...) toward extrapolative one. Experimental results show that RCGA with EDX can deal with both ridge-structure function whose dimension reaches more than hundreds and multiple-peak function whose optimum resides at the corner of the search area. (shrink)

In his book Bad Beliefs, Neil Levy defends the engineering of our epistemic environment by removing epistemic pollutions and by nudging people through second-order evidence. Although we agree with his core ideas, in this commentary, we aim at supplementing his approach in light of the participation of the general public in science. In the first part, we argue that the issue of participatory epistemic injustice in the scientific community remains unaddressed in Levy’s discussion and that addressing the issue is equal (...) to removing an epistemic pollution. In the second part, we address the issue of transparency in nudging. Here, we discuss the significance of public engagement in controlling the system of nudges to respect our rational and autonomous choices. (shrink)

In his Philosophical Inquiry concerning Human Liberty (1717), the English deist Anthony Collins proposed a complete determinist account of the human mind and action, partly inspired by his mentor Locke, but also by elements from Bayle, Leibniz and other Continental sources. It is a determinism which does not neglect the question of the specific status of the mind but rather seeks to provide a causal account of mental activity and volition in particular; it is a ‘volitional determinism’. Some decades later, (...) Diderot articulates a very similar determinism, which seeks to recognize the existence of “causes proper to man” (as he says in the Réfutation d’Helvétius). The difference with Collins is that now biological factors are being taken into account. Obviously both the ‘volitional’ and the ‘biological’ forms of determinism are noteworthy inasmuch as they change our picture of the nature of determinism itself, but my interest here is to compare these two determinist arguments, both of which are broadly Spinozist in nature – and as such belong to what Jonathan Israel called in his recent book “the radical Enlightenment,” i.e. a kind of underground Enlightenment constituted by Spinozism – and to see how Collins’ specifically psychological vision and Diderot’s specifically biological vision correspond to their two separate national contexts: determinism in France in the mid-1750s was a much more medico-biological affair than English determinism, which appears to be on a ‘path’ leading to Mill and associationist psychology. (shrink)

科学技術と社会の間に、「新たな関係」を構築する。原発事故、気候工学、ゲノム編集、...現代に生じるさまざまな課題にどう取り組むか?科学技術社会論(STS)は、日ごろあたりまえと考えられている事柄の見え 方を変える力をもつ。イノベーション論や科学技術政策との関係もふくめて問い直す。.

Job-shop Scheduling Problem (JSP) is one of the most difficult benchmark problems. GA approaches often fail searching the global optimum because of the deception UV-structure of JSPs. In this paper, we introduce a novel framework model of GA, Innately Split Model (ISM) which prevents UV-phenomenon, and discuss on its power particularly. Next we analyze the structure of JSPs with the help of the UV-structure hypothesys, and finally we show ISM's excellent performance on JSP.

滝沢教授の古稀を祝して捧げられる論文集。生と死をめぐる法的問題と裁判と法をめぐる諸問題について、学恩を受けた気鋭の学者が執筆。.