We study the dynamics of a vortex in superfluid He4. This is carried out by deriving the effective Lagrangian for the center of the vortex by starting with the time-dependent Ginzburg-Landau formalism. From the resultant equation of motion for a vortex, we arrive at a novel aspect for the Magnus force which has long been known in fluid dynamics. This force has a geometric origin and is expected to occur in other form of condensates such as vortex excitations for quantum (...) Hall fluids or ferromagnets. We also consider the force of non geometric origin, the pinning force coming from the impurity. (shrink)

dai 1-kan. Ningen, kyōiku ga umarekawaru tame -- dai 2-kan. Ningen to no deai, kyōiku to no deai -- dai 3 kan. Ningenrashiku naru tedate -- dai 4-kan. Jinrui no kibō, osanago -- dai 5-kan. Shishū, ushinawareta kisetsu o motomete -- dai 6-kan. Aru mazushiki shōgai no kiroku -- [7] Kyōiku to kyōikugaku.

『日本唯物論史』などで知られるわが国の唯物論哲学の開拓者・永田廣志の生涯をまとめ、その理論活動の意義を解明。哲学研究者と在野の郷土史家との共同研究が生み出した成果。本邦初公開の貴重な資料や秘蔵写真も多 数紹介。.

The theme arises from the legal-academic movement "Law and Literature". This newly developed field should aim at two major goals, first, to investigate the meaning of law in a social context by questioning how the characters appearing in literary works understand and behave themselves to the law, and second, to find out a theoretical solution of the methodological question whether and to what extent the legal text can be interpreted objectively in comparison with the question how literary works should be (...) interpreted. The subject of justice and injustice has been covered not only in treatises of law and philosophy, but also in many works of literature: On the one hand, poets and writers have been outraged at the social conditions of their time. On the other hand, some of them have also contributed fundamental reflections on the idea of justice itself. (shrink)

A proof is given for the theorem that at least one bound state exists in a one-dimensional attractive potential however weak it may be. The proof is constructive in that it provides a method to explicitly solve the eigenvalue problem for the eigenvalues as well as the eigenfunctions. The method is well suited to precise numerical calculations.

In this paper we will study a formal system of intuitionistic modal predicate logic. The main result is its semantic completeness theorem with respect to algebraic structures. At the end of the paper we will also present a brief consideration of its syntactic relationships with some similar systems.

ウィトゲンシュタインの言語ゲームと龍樹の空思想を軸に、無明=実在論を反実在論に転ずれば、仏教思想は相貌を一変し、和辻哲郎の説く「縁起‐内‐存在」の倫理の哲学史的意義も鮮明になる。本書の透徹した言葉を熟 読玩味するときひらかれる新しい世界像にあなたは驚くに違いない。.

環境問題が生じる存在論的根拠とは―。本書は、環境問題を存在論的問題として捉え、空間、時間、言語論の観点から、そして労働と環境の関連、環境倫理の存在論的根拠について論じる。.

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)

It has been reported as a robust effect that people are likely to select a matching case in the Wason selection task. For example, they usually select the 5 case, in the Wason selection task with the conditional "if an E, then a not-5". This was explained by the matching bias account that people are likely to regard a matching case as relevant to the truth of the conditional (Evans, 1998). However, because a positive concept usually constructs a smaller set (...) than its negative one does (a rarity assumption), it is more effective to get information on the truth of the conditional in a positive set than in a negative set. Thus the optimal data selection account can also explain the effect. The set size of Q and matching by introducing negation were manipulated independently in four experiments. From the results it was inferred that the so-called matching bias was an amalgam of two different cognitive components-relevance judgement by matching and optimal data selection. (shrink)

We investigate how weak square principles are denied by Chang’s Conjecture and its generalizations. Among other things we prove that Chang’s Conjecture does not imply the failure of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\square_{\omega_1, 2}}$$\end{document}, i.e. Chang’s Conjecture is consistent with \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\square_{\omega_1, 2}}$$\end{document}.

This paper presents a new method that improves robustness of real-coded Genetic Algorithm (GA) for function optimization. It is reported that most of crossover operators for real-coded GA have sampling bias, which prevents to find the optimum when it is near the boundary of search space. They like to search the center of search space much more than the other. Therefore, they will not work on functions that have their optima near the boundary of the search space. Although several methods (...) have been proposed to relax this sampling bias, they could not cancel whole bias. In this paper, we propose a new method, Toroidal Search Space Conversion (TSC), to remove this sampling bias. TSC converts bounded search space into toroidal one without any parameter. Experimental results show that a GA with TSC has higher performance to find the optimum near the boundary of search space and the GA has more robustness concerning the relative position of the optimum. (shrink)

Since the first half of the nineteenth century in which English was introduced as the language of higher education in India, the word and concept of “philosophy” has played an important role in Indian intellectual life. First the study of philosophy must have meant the study of Western philosophy in Indian universities, butlater various attempts were made to discover the Indian versions of philosophical traditions in Sanskrit literature. Today no one doubts that there has been a rich and very long (...) tradition of such intellectual activities as are fully compatible with what European philosophers have actually been doing. Nevertheless, it is sometimes very difficult to draw a strict line between philosophy and religion in Indian thought. The present study will focus on that passage of the Nyāyamañjarī by a Kashmirian Nyāya scholar Jayanta which deals with the justification of the authority of the Vedas and other religious scriptures. From the analysis of the passage we may detect that there are two different dimensions in his application of logic for this issue. On the one hand he appeals to logical thinking for the defence of the Vedic authority and tries to establish the proper proof. But on the other hand he seems to be conscious of the limitation of reasoning, for he refers to those thinkers without refuting them in the latter half of the passage, according to whom every religious scripture must be accepted as valid insofar as the path of reasoning and argumentation is taken. (shrink)

Minami–Sakai :883–898, 2016) investigated the cofinal types of the Katětov and the Katětov–Blass orders on the family of all \ ideals. In this paper we discuss these orders on analytic P-ideals and Borel ideals. We prove the following:The family of all analytic P-ideals has the largest element with respect to the Katětov and the Katětov–Blass orders.The family of all Borel ideals is countably upward directed with respect to the Katětov and the Katětov–Blass orders. In the course of the proof of (...) the latter result, we also prove that for any analytic ideal \ there is a Borel ideal \ with \. (shrink)

The philosopher's controversial link with Heidegger is explored by Jon Mark Mikkelsen in the final essay, which concludes that, although Heidegger's view of art is consistent, both historically and conceptually, with his political involvement with fascism, the same cannot be said of Kuki.".

In this paper, we study the relationship among classical logic, intuitionistic logic, and quantum logic . These logics are related in an interesting way and are not far apart from each other, as is widely believed. The results in this paper show how they are related with each other through a dual intuitionistic logic . Our study is completely syntactical.

The mitogenic action of cytokines such as epidermal growth factor (EGF)d̊ or platelet dericed growth factor (PDGF) involves the stimulation of a signal cascade controlled by a small G protein called Ras. Mutations of Ras can cause its constitutive activation and, as a consequence, bypass the regulation of cell growth by cytokines. Both growth factor‐induced and oncogenic activation of Ras involve the conversion of Ras from the GDP‐bound (D‐Ras) to the GTP‐bound (T‐Ras) forms. T‐Ras activates a network of protein kinases (...) including c‐Mos, c‐Raf‐1 and MAP kinase. Eventually the activation of MAP kinase leads to the activation of the elongation factor 4E and several transcription factors such as c‐Jun, c‐Myc and c‐Fos. There are several modulators of Ras activity, such as the GTPase activating proteins (GAP1 and NF1), which stimulate the coversion of T‐Ras to D‐Ras. A series of small NF1 fragments, which bind T‐Ras, as well as truncated forms or derivatives of c‐Raf‐1, c‐Jun and c‐Myc, are capable of blocking the T‐Ras‐activated mitogenesis in a competitive manner. These agents offer a unique opportunity to control the proliferation of T‐Ras‐associated tumors, which represent more than 30% of total human carcinomas. (shrink)