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)

「法の支配に基づく実践理性の制度化」という法構想の基本的な方向をさぐり、その全体的な理論枠組を再構築する意欲的論文集。.

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

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)

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.

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

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)

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

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)

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.

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)

Introduction Social anxiety disorder (SAD) symptoms are maintained by cognitive biases, which are overestimations of the severity and likelihood of negative social events (cost/probability biases), and by sensitivity to rewards and punishments that are determined according to behavioral inhibition/behavioral activation systems (BIS/BAS). Cost/probability biases might activate the behavioral immune system and exacerbate the avoidance of social events. Earlier studies have proposed that low BIS or high BAS decrease SAD symptoms; BIS/BAS may even change the effects of cognitive biases on SAD (...) symptoms. Hence, the current study investigates the interaction effects of BIS/BAS and cost/probability biases on SAD symptoms. Method Seventy-six Japanese undergraduate students completed the Japanese version of the Liebowitz Social Anxiety Scale (LSAS), which comprises Fear and Avoidance subscales, the BIS/BAS Scale, and the Social Cost Probability Scale. Results A multiple regression analysis was performed to examine whether cost/probability biases, BIS/BAS, and their interactions affected SAD symptoms; following this, the main effects of cost bias and BIS were determined for LSAS-Fear (β =.64, p <.001; β =.33, p <.01) and LSAS-Avoidance (β =.49, p <.001; β =.35, p <.01). The interaction effect between cost bias and BAS was significant for LSAS-Avoidance (β = −.32, p <.05). Simple slope analysis showed that the slope of cost bias was significant for low-BAS individuals (β =.77, p <.001) but not for high-BAS individuals (β = −.21, n.s.). The interaction effect between probability bias and BAS was significant for LSAS-Avoidance (β =.40, p <.01) as well. Further, simple slope analysis revealed that the slope of probability bias was significant for low-BAS individuals (β = −.53, p <.05) but not for high-BAS individuals (β =.17, n.s.). Discussion The study found interesting results with respect to the avoidance of social events. Low-BAS individuals with high cost or low probability biases regarding social events may have a tendency to avoid social events. In contrast, if high-BAS individuals overestimate the cost of social events or underestimate the probability of social events, their anticipation of rewards might prevent them from avoiding social events. (shrink)

In this article Kobayashi Toshiaki discusses the importance in all periods of Karatani’s oeuvre of the notion of an “exterior” that necessarily falls beyond the bounds of a system, together with the notion of “singularity” as that which cannot be contained within a “universal.” The existential dread vis-à-vis the uncanny other that Karatani in his early works of literary criticism had initially found to be the underlying tone in Sōseki’s works remained with Karatani himself throughout his career and is (...) what had drawn him closer to philosophy. This sense of the “exterior” to—or other than—the normality of consciousness and the meaningfulness of the world is then extended and applied as the “exterior to systems” in his analyses of logical, mathematical, and linguistic systems, in his reading of Marx’s discussion of capitalist economics, and most recently in his analysis of commodity exchange between communities. (shrink)