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)

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)

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)

We treat a class of multi-person bargaining mechanisms based on games in coalitional form. For this class of games we identify properties of non-cooperative solution concepts, which are necessary and sufficient for the equilibrium outcomes to coincide with the core of the underlying coalitional form game. We view this result as a non-cooperative axiomatization of the core. In contrast to most of the literature on multi-person bargaining we avoid a precise specification of the rules of the game. Alternatively, we impose (...) properties of such games, which give rise to a large class of mechanisms, all of which are relevant for our axiomatization. (shrink)

Fichtes Philosophie ist die Wissenschaftslehre vom Bild. Nun hat das Wort Bild viele und unterschiedliche Bedeutungen, zum Beispiel Zeichnung, Ansicht, Vorstellung, Ausdruck und so weiter. Die ihnen zugrunde liegende Tätigkeit, das Bilden, besagt, dass »einer Sache Gestalt gegeben wird«.

「主体から主体を越えて主体の底」へ行こうとした西田哲学と共に、「悲哀の底」の「底なき底」においたとうとする論考。.

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.

This study aims to explicate interviewer and candidate conversational practices in L2 job interviews as they relate to the assessment of a candidate’s qualification for a particular position. The data consisted of 27 audio-recorded job interviews for the position of student assistant in English classes at a Japanese university. The analysis of these interactional data, conducted using conversational analysis methodology, revealed that the inadequacy of a candidate’s response is constructed by means of the interviewer’s subsequent pursuit of a relevant answer (...) from the candidate. In addition, a candidate’s ability to build rapport by providing sequentially linked joke-serious responses evoked a positive evaluation from the interviewer. The findings indicate that a candidate’s understanding of expected behaviors and ability to accommodate his or her behaviors in a manner relevant to the interaction result in a positive assessment. (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.

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 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)

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)

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 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)

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)