This paper proposes a class of independence axioms for simple acts. By introducing the E\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {E}}$$\end{document}-cominimum independence axiom that is stronger than the comonotonic independence axiom but weaker than the independence axiom, we provide a new axiomatization theorem of simple acts within the framework of Choquet expected utility. Furthermore, in order to provide the axiomatization of simple acts, we generalize Kajii et al. into an infinite state space. Our axiomatization theorem relates (...) Choquet expected utility to multi-prior expected utility through the core of a capacity that is explicitly derived within our framework. Our result in this paper also derives Gilboa, Eichberger and Kelsey, and Rohde as a corollary. (shrink)

明治維新を支えた志士たちは、儒教を行動の指針としていた。尊王攘夷という中国からの思想は、やがて日本中心主義へと置き変わる。.

日本朱子学、日本陽明学、徂徠学、幕末思想など、代表的な思想家たちの歴史観/政治観を軸に近世を俯瞰する著者の代表研究。.

簡潔性、実用性に卓越したQuineの『方法』を詳説、それに基づきG ̈odelやChurchの定理を含む、標準的な論理学を厳密に展開する。また、認識論理学の「自然演繹法」化の、1つの可能性を提案する。更に、「超実数」の必要性を強調し、それにより種々のアポリア(パラドッ クス等)の解明を試みる。.

1-2. Sōkō -- 3. Katō Hiroyuki kōen zenshū ; Shizen to rinri ; Kokka no tōchiken ; Sekininron ; Jinsei no shizen to waga kuni no zento.

Establishment of cell lineage identity from multipotent progenitors is controlled by cooperative actions of lineage‐specific and stably expressed transcription factors, combined with input from environmental signals. Lineage‐specific master transcription factors activate and repress gene expression by recruiting consistently expressed transcription factors and chromatin modifiers to their target loci. Recent technical advances in genome‐wide and multi‐omics analysis have shed light on unexpected mechanisms that underlie more complicated actions of transcription factors in cell fate decisions. In this review, we discuss functional dynamics (...) of stably expressed and continuously required factors, Notch and Runx family members, throughout developmental stages of early T cell development in the thymus. Pre‐ and post‐commitment stage‐specific transcription factors induce dynamic redeployment of Notch and Runx binding genomic regions. Thus, together with stage‐specific transcription factors, shared transcription factors across distinct developmental stages regulate acquisition of T lineage identity. (shrink)

This collection of classic works from the mid-nineteenth through mid-twentieth centuries was originally published under the auspices of the Royal Asiastic Society. Spanning over 100 years in oriental scholarship, primary texts include work by Frederic Rosen, W.F. Thompson, C. Edward Sachau, R.A. Nicholson, W.H.T. Gairdner, W.M. Miller, James Robson, and many others.

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)

エンジニアの「知」は21世紀を拓けるか。モノを「つくる」とは、どういうことか。技術者の心に由来する「知」のありように迫る。技術における「知」の現代性を確認する。.

In this paper, we would present an overview of the recent studies on the role of diagram in mathematics. Traditionally, mathematicians and philosophers had thought that diagram should not be used in mathematical proofs, because relying on diagram would cause to various types of fallacies. But recently, some logicians and philosophers try to show that diagram has a legitimate place in proving mathematical theorems. We would review such trends of studies and provide some perspective from viewpoint of philosophy of mathematics.

This paper studies a fundamental mechanism by which conflicts between arguments are drawn from sentiments regarding acceptability of the arguments. Given sets of arguments, an inverse abstract argumentation problem seeks attack relations between arguments such that acceptability semantics interprets each argument in the sets of arguments as being acceptable in each of the attack relations. It is an inverse problem of the traditional problem we refer to as the forward abstract argumentation problem. Given an attack relation, the forward abstract argumentation (...) problem seeks sets of arguments such that acceptability semantics interprets each argument in the sets of arguments as being acceptable in the attack relation. We give a probabilistic model of argumentation-theoretic inference. It is a generative model formalising the process by which acceptability semantics interprets acceptability of arguments in a given attack relation. We show that it gives a broad view of solutions to the forward and inverse abstract argumentation problems. Specifically, solutions to the inverse and forward abstract argumentation problems are shown to be equivalent to a maximum likelihood estimate and maximum likelihood prediction, respectively, which are both available with the generative model. In addition, they are shown to be special cases of the posterior distribution and the evidence, respectively, which are both obtained by probabilistic inference on the generative model. We report an experiment result and application example of the generative model in the inverse problems. (shrink)

Volume 6, Issue 3, September 2015, Page 292-309.

Volume 6, Issue 3, September 2015, Page 292-309.