簡潔性、実用性に卓越した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.

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