Genetic epidemiology is a rapidly advancing field due to the recent availability of large amounts of omics data. In recent years, it has become possible to obtain omics information at the single‐cell level, so genetic epidemiological models need to be updated to integrate with single‐cell expression data. In this perspective paper, we propose a cell population‐based framework for genetic epidemiology in the single‐cell era. In this framework, genetic diversity influences phenotypic diversity through the diversity of cell population profiles, which are (...) defined as high‐dimensional probability distributions of the state spaces of biomolecules of each omics layer. We discuss how biomolecular experimental measurement data can capture the different properties of this distribution. In particular, single‐cell data constitute a sample from this population distribution where only some coordinate values are observable. From a data analysis standpoint, we introduce methodology for feature extraction from cell population profiles. Finally, we discuss how this framework can be applied not only to genetic epidemiology but also to systems biology. (shrink)

Hobbes's unusual religious views in his classical work, Leviathan, are often seen as a product of his attempt to reconcile Christianity with his philosophical materialism. Yet given Hobbes's materialistic view in his earlier works too, this explanatory framework alone is not sufficient for grasping distinctive features of Leviathan. This article remedies this lacuna by paying close attention to an understudied aspect of the development of Hobbes's religious theory from The Elements of Law to Leviathan: his treatment of the supernatural and, (...) particularly, of matters of faith known by supernatural revelation as opposed to natural reason. I argue that over time Hobbes developed an epistemological analysis of supernatural revelation and refined his argument about the sense in which matters of faith are supernatural and about the extent to which they are found in the Bible. It was not materialism per se but the more sophisticated analysis of the supernatural in Leviathan that enabled Hobbes to admit the sphere of the supernatural to a much smaller extent than in De Cive and to discuss in detail what he sees as a matter of faith and beyond the scope of philosophy in De Cive. (shrink)

In Asian countries, there is a tradition that a rabbit, known as the Moon rabbit, lives on the Moon. Typically, two reasons are mentioned for the origin of this tradition. The first reason is that the color pattern of the lunar surface resembles the shape of a rabbit. The second reason is that both the Moon and rabbits are symbols of fertility, as the Moon appears and disappears (i.e., waxing and waning) cyclically and rabbits are known for their high fertility. (...) Considering the latter reason, is the color pattern of the lunar surface not similar to a rabbit? Here, the similarity between rabbit and the lunar surface pattern was evaluated using seven AI architectures. In the test conducted with Contrastive Language-Image Pre-Training (CLIP), which can classify images based on given words, it was assumed that people frequently observe the Moon in the early evening. Under this condition, the lunar surface pattern was found to be more similar to a rabbit than a face in low-latitude regions, while it could also be classified as a face as the latitude increases. This result is consistent with that the oldest literatures about the Moon rabbit were written in India and that a tradition of seeing a human face in the Moon exists in Europe. In a 1000-class test using seven AI architectures, ConvNeXt and CLIP sometimes classified the lunar surface pattern as a rabbit with relatively high probabilities. Cultures are generated by our attitude to the environment. Both dynamic and static similarities may be essential to induce our imagination. (shrink)

Centrosomes are the main microtubule organizing centers in animal cells. In particular during embryogenesis, they ensure faithful spindle formation and proper cell divisions. As metazoan centrosomes are eliminated during oogenesis, they have to be reassembled upon fertilization. Most metazoans use the sperm centrioles as templates for new centrosome biogenesis while the egg's cytoplasm re-prepares all components for on-going centrosome duplication in rapidly dividing embryonic cells. We discuss our knowledge and the experimental challenges to analyze zygotic centrosome reformation, which requires genetic (...) experiments to enable scrutinizing respective male and female contributions. Male and female knockout animals and mRNA injection to mimic maternal expression of centrosomal proteins could point a way to the systematic molecular dissection of the process. The most recent data suggest that timely expression of centrosome components in oocytes is the key to zygotic centrosome reformation that uses male sperm as coordinators for de novo centrosome production. Centrosome reformation at fertilization is essential for metazoan development. It requires a complicated interplay of sperm centrioles and the cytoplasm of the oocyte, which has eliminated its centrioles during oogenesis. The male centrioles launch centrosome duplication using female centrosome proteins for the first metazoan cell divisions. (shrink)

For a robot to cohabit with people, it should be able to learn people’s nonverbal social behavior from experience. In this paper, we propose a novel machine learning method for recognizing gestures used in interaction and communication. Our method enables robots to learn gestures incrementally during human–robot interaction in an unsupervised manner. It allows the user to leave the number and types of gestures undefined prior to the learning. The proposed method (HB-SOINN) is based on a self-organizing incremental neural network (...) and the hidden Markov model. We have added an interactive learning mechanism to HB-SOINN to prevent a single cluster from running into a failure as a result of polysemy of being assigned more than one meaning. For example, a sentence: “Keep on going left slowly” has three meanings such as, “Keep on (1)”, “going left (2)”, “slowly (3)”. We experimentally tested the clustering performance of the proposed method against data obtained from measuring gestures using a motion capture device. The results show that the classification performance of HB-SOINN exceeds that of conventional clustering approaches. In addition, we have found that the interactive learning function improves the learning performance of HB-SOINN. (shrink)

This study compares Pairs of subjects with Single subjects in a task of discovering scientific laws with the aid of experiments. Subjects solved a molecular genetics task in a computer micro‐world (Dunbar, 1993). Pairs were more successful in discovery than Singles and participated more actively in explanatory activities (i.e., entertaining hypotheses and considering alternative ideas and justifications). Explanatory activities were effective for discovery only when the subjects also conducted crucial experiments. Explanatory activities were facilitated when paired subjects made requests of (...) each other for explanation and focused on them. The study extends from individual to collaborative discovery activities the importance to the discovery process of setting goals to find hypotheses and evidence (Dunbar, 1993) and to construct explanations of phenomena and processes encountered in examples (Chi, Bassok, Lewis, & Glaser, 1989). (shrink)

The English Revolution saw fierce controversy over religious toleration. While this controversy was usually associated with parliamentarians and Puritans, major contributions to the debate were also made by a few thinkers from the royalist side: Jeremy Taylor and Thomas Hobbes. Despite their prominence in the toleration debate, however, the intellectual context of the English Revolution in which their distinctive views of toleration were formed remains unclear apart from Hobbes’s association with the Independents. Here, I suggest the potential importance of Taylor (...) and Hobbes for understanding each other. While studies of Hobbes and Taylor have developed in relative isolation from each other, I show that their views of toleration have various features in common, and that these features are rarely found in their celebrated predecessor William Chillingworth or in major Puritan tolerationists. In several key respects, moreover, Hobbes and Taylor were more similar than Hobbes and the Independents. This research also helps to clarify the contribution to the toleration controversy at that time by the two leading thinkers. Furthermore, the similarities between Taylor and Hobbes, as shown in this paper, may contribute to better understanding the reception of Hobbes in the Restoration toleration debate. (shrink)

Recently Lafont [6] showed the finite model property for the multiplicative additive fragment of linear logic (MALL) and for affine logic (LLW), i.e., linear logic with weakening. In this paper, we shall prove the finite model property for intuitionistic versions of those, i.e. intuitionistic MALL (which we call IMALL), and intuitionistic LLW (which we call ILLW). In addition, we shall show the finite model property for contractive linear logic (LLC), i.e., linear logic with contraction, and for its intuitionistic version (ILLC). (...) The finite model property for related substructural logics also follow by our method. In particular, we shall show that the property holds for all of FL and GL - -systems except FL c and GL - c of Ono [11], that will settle the open problems stated in Ono [12]. (shrink)

To investigate the cognitive processes underlying creative inspiration, we tested the extent to which viewing or copying prior examples impacted creative output in art. In Experiment 1, undergraduates made drawings under three conditions: copying an artist's drawing, then producing an original drawing; producing an original drawing without having seen another's work; and copying another artist's work, then reproducing that artist's style independently. We discovered that through copying unfamiliar abstract drawings, participants were able to produce creative drawings qualitatively different from the (...) model drawings. Process analyses suggested that participants' cognitive constraints became relaxed, and new perspectives were formed from copying another's artwork. Experiment 2 showed that exposure to styles of artwork considered unfamiliar facilitated creativity in drawing, while styles considered familiar did not do so. Experiment 3 showed that both copying and thoroughly viewing artwork executed using an unfamiliar style facilitated creativity in drawing, whereas merely thinking about alternative styles of artistic representation did not do so. These experiments revealed that deep encounters with unfamiliar artworks—whether through copying or prolonged observation—change people's cognitive representations of the act of drawing to produce novel artwork. (shrink)

1. Towareru kagaku gijutsu -- 2. Senmonka shūdan no shikō to kōdō -- 3. Gendai shakai no naka no kagaku gijutsu -- 4-5. Kagaku gijutsu no nyū furontia -- 6. Taishō to shite no ningen -- 7. Seimeitai no naka no hito -- 8. Chikyū shisutemu no naka no ningen -- 9. Shisō to shite no kagaku gijutsu -- 10. Kagaku gijutsu to gengo -- 11. 21-seiki kagaku gijutsu e no tenbō -- [12] Bekkan. Atarashii kagaku gijutsu o hiraita hitobito.

We introduce subsystems WLJ and SI of the intuitionistic propositional logic LJ, by weakening the intuitionistic implication. These systems are justifiable by purely constructive semantics. Then the intuitionistic implication with full strength is definable in the second order versions of these systems. We give a relationship between SI and a weak modal system WM. In Appendix the Kripke-type model theory for WM is given.

The involvement of nitric oxide in cerebellar long-term depression is supported by the observation that nitric oxide is released by climbing fiber stimulation and by pharmacological tool usage. Two forms of long-term depression should be distinguished by their physiological relevance. [CRÉPEL et al.; LINDEN; VINCENT].

We introduce a simple inference system based on two primitive relations between terms, namely, inclusion and exclusion relations. We present a normalization theorem, and then provide a characterization of the structure of normal proofs. Based on this, inferences in a syllogistic fragment of natural language are reconstructed within our system. We also show that our system can be embedded into a fragment of propositional minimal logic.

How do expert performers practice as they develop creatively? This study investigated the processes involved in the practice of new skills by expert breakdancers. A great deal of evidence supports the theory of “deliberate practice” (Ericsson, Krampe, & Tesch‐Römer, 1993,Psychological Review, 100,363) in skill acquisition; however, expert creative performers may emphasize other forms of practice for skill development. Four case studies collected through fieldwork and laboratory observation were analyzed to evaluate expert dancers’ practice processes as they developed proficiency in new, (...) specific skills. We focused on three aspects of learning: the degree of skill acquisition, the content of skills included in practice, and dancers’ stated purposes for practicing. The results showed that dancers’ practice improved skills (as suggested by deliberate practice) and engaged the exploration of new, original skills, along with coordinating skills within performance. In their practice, these dance experts went beyond deliberative practice to highly exploratory processes for skill development. (shrink)

We present some ideas on logical process descriptions, using relations from the DIO (Drug Interaction Ontology) as examples and explaining how these relations can be naturally decomposed in terms of more basic structured logical process descriptions using terms from linear logic. In our view, the process descriptions are able to clarify the usual relational descriptions of DIO. In particular, we discuss the use of logical process descriptions in proving linear logical theorems. Among the types of reasoning supported by DIO one (...) can distinguish both (1) basic reasoning about general structures in reality and (2) the domain-specific reasoning of experts. We here propose a clarification of this important distinction between (realist) reasoning on the basis of an ontology and rule-based inferences on the basis of an expert’s view. (shrink)

The paper traces the development and the role of syntactic reduction in Edmund Husserl’s early writings on mathematics and logic, especially on arithmetic. The notion has its origin in Hermann Hankel’s principle of permanence that Husserl set out to clarify. In Husserl’s early texts the emphasis of the reductions was meant to guarantee the consistency of the extended algorithm. Around the turn of the century Husserl uses the same idea in his conception of definiteness of what he calls “mathematical manifolds.” (...) The paper argues that the notion anticipates the notion of reduction in term rewrite theory in computer science. The role of the reduction for Husserl is, however, primarily epistemological: its purpose is to impart clarity to formal mathematics. (shrink)

It is well known that the modal logic S5 can be embedded in the classical predicate logic by interpreting the modal operator in terms of a quantifier. Wajsberg [10] proved this fact in a syntactic way. Mints [7] extended this result to the quantified version of S5; using a purely proof-theoretic method he showed that the quantified S5 corresponds to the classical predicate logic with one-sorted variable. In this paper we extend Mints' result to the basic modal logic S4; we (...) investigate the correspondence between the quantified versions of S4 (with and without the Barcan formula) and the classical predicate logic (with one-sorted variable). We present a purely proof-theoretic proof-transformation method, reducing an LK-proof of an interpreted formula to a modal proof. (shrink)

The laser chaos decision maker has been demonstrated to enable ultra-high-speed solutions of multiarmed bandit problems or decision-making in the GHz order. However, the underlying mechanisms are not well understood. In this paper, we analyze the chaotic dynamics inherent in experimentally observed laser chaos time series via surrogate data and further accelerate the decision-making performance via parameter optimization. We first evaluate the negative autocorrelation in a chaotic time series and its impact on decision-making detail. Then, we analyze the decision-making ability (...) using three different surrogate chaos time series to examine the underlying mechanism. We clarify that the negative autocorrelation of laser chaos improves decision-making and that the amplitude distribution of the original laser chaos time series is not optimal. Hence, we introduce a new parameter for adjusting the amplitude distribution of the laser chaos to enhance the decision-making performance. This study provides a new insight into exploiting the supremacy of chaotic dynamics in artificially constructed intelligent systems. (shrink)