人間であること、これを問う政治哲学の徹底。その先に見えるのは、果たして平和的共存の根源性か、戦いのそのとき、自分以外ではありえない人間の生々しさか。.

The genomics community has long acknowledged the lack of diversity in datasets used for research, prompting various stakeholders to confront this issue. In response, the Global Alliance for Genomics and Health (GA4GH) formulated a policy framework that recognizes the multiplicity of perspectives on diversity and proposed a systemic approach for more optimal data diversity. Given the importance of the research context, assessing this policy’s applicability within countries where diversity is less discussed is important. This study investigated the feasibility of implementing (...) the GA4GH policy in Japan, a nation with a smaller genetic diversity than many Western countries. As the proportion of East Asian genomic research is limited internationally, focusing on the Japanese genome contributes to enhancing diversity. Meanwhile, labelling findings as “Japanese” can inadvertently reinforce perceptions of homogeneity and overlook ethnic minorities. Regions and socioeconomic status are also recognized as substantial factors of diversity within academia, yet concerns persist among the public regarding the heritability of stigmatized conditions. Social inclusion of sexual minorities has begun in Japan, but research surveys generally still use binary sex and gender categories, which underscores the need for additional variables. This study found that both academia and the public need to confront the overemphasis on homogeneity within Japanese society and hesitancy in addressing genetic factors. By doing so, more inclusive and diverse datasets can advance the field both ethically and scientifically. Perhaps the most important impact of the GA4GH policy will be to draw greater attention to the complex diversity challenges ahead in Japan. (shrink)

The role of research ethics consultants in biomedical research has increased to the point that they have an advisory capacity at all research institutes. For such professionals, we have established an educational system, which includes teaching materials, training methods, and nationwide educational workshops. These workshops have served to examine the developed system’s usefulness and to provide realistic training for consultant candidates. In addition, we have used the current workshop to encourage clinical research investigators to participate. Subsequently, we examined its usefulness (...) as an opportunity to provide exposure to research ethics. In October 2019, we held a 1-day pilot workshop in Tokushima, Japan, which included a basic lecture in research ethics. During the lecture, two sets of materials were used for case discussion: case 1, covering issues related to a clinical trial, and case 2, covering issues related to human biological specimens. At the end of the workshop, a 30-item self-reporting anonymous questionnaire was provided. Of the 13 total participants, 9 were clinical research investigators and related personnel, while 6 had no direct intention to act as consultants. Respondents indicated that case 2 was more difficult than case 1. However, both cases were generally accepted as educational materials; thus, satisfaction was expressed in relation to both. As the evaluations of the cases were generally positive, we will further examine the usefulness of participation in the workshop in the cultivation of research ethics in the investigator community. (shrink)

This paper undertakes a comparative legal study to analyze the challenges of privacy and personal data protection posed by Artificial Intelligence embedded in Robots, and to offer policy suggestions. After identifying the benefits from various AI usages and the risks posed by AI-related technologies, I then analyze legal frameworks and relevant discussions in the EU, USA, Canada, and Japan, and further consider the efforts of Privacy by Design originating in Ontario, Canada. While various AI usages provide great convenience, many issues, (...) including profiling, discriminatory decisions, lack of transparency, and impeding consent, have emerged. The unpredictability arising from the AI machine learning function poses further difficulties, which have only been partially addressed by legal frameworks in the aforementioned jurisdictions. However, analyzing the relevant discussions yielded several suggestions. The first priority is adopting PbD as the most flexible, soft-legal, and preferable approach toward AI-oriented issues. Implementing PbD will protect individual privacy and personal data without specific efforts, and achieve both the development of AI and the advancement of privacy and personal data protection. Technical measures that can adapt to an individual’s dynamic choices according to the “context” should be further developed. Furthermore, alternative technical measures, including those to solve the “algorithmic black box” or achieve differential privacy, warrant thorough examination. If AI surpasses human intelligence, a terminating function, such as a “kill switch” will be the last resort to preserve individual choice. Despite numerous difficulties, we must prepare for the coming AI-prevalent society by taking a flexible approach. (shrink)

Genshi shiroku -- Hakurokudō Shoin keijimon.

1. Seikyō ronkō -- 2-3. Shibunrui -- 4-10. Rangai shorui -- 11-12. Genshi shiroku -- 13-14. Fukureki.

This thesis focuses on one of the mechanisms for solving the baryon asymmetry of the Universe (BAU) which is a long-standing open question in both particle physics and cosmophysics. Electroweak baryogenesis (EWBG) is one attractive hypothetical scenario to solve this mystery because it can be verified by collider experiments. The author aims to clarify the possibility of EWBG, and to show its verifiability using the Higgs physics and electric dipole moments (EDMs) of an electron, neutron, and proton. The thesis begins (...) with a review of the BAU and EWBG. Subsequently, the possibility of EWBG in one effective model is discussed, which can be applied to some motivated physics beyond the Standard Model. Numerical analyses of electroweak phase transition and sphaleron solution are presented, and the closed time path formalism is also explained to estimate the BAU. After essential calculations for investigation of the possibility of EWBG, the relationship between the BAU and EDMs is described. Through the discussion of the result, it is concluded that both EDMs and the Higgs physics verify the scenario completely. The whole discussion in this thesis causes us to accept the current situation that is ripe for verification of EWBG. (shrink)

This article characterizes Florence Nightingale's nursing reform as the cleaning of the Victorian home which she found unheimlich. She laid strong emphasis on an improvement in the hygiene of the house as a significant part of nursing, and, by establishing the nurse as a new occupation, gave the surplus of unmarried women a decent means of escape from the stifling domesticity in which they had been helplessly trapped. Her nursing at once reformed and reinforced the traditional role of woman as (...) a domestic figure, for she created the nurse as a mother figure in charge of the home space. In the Crimean War, Nightingale successfully nursed the idea of England as Home by attending to the dying soldiers at the front. Her crusade to nurse the unhomely space into a home, however, dismissed one uncanny place inside the imperial Home that needed urgent nursing, that is, Ireland, which had been suffering from the Great Famine and its aftermath. Nightingale confronted Irish Sisters of Mercy, who came to the Crimea to save the lives and souls of the Irish soldiers. These Irish nuns not only embodied the memories of the Famine which they had recently relieved, but also threatened Nightingale's single female authority by representing Ireland as a nation through their equally motherly presence. The service of the Irish nuns in the Crimean War was erased from the myth of the Lady with the Lamp. Nightingale could establish herself as an authoritative female subject and assumed the voice of England only by suppressing another female voice which challenged England's competence in Home management. (shrink)

As children grow, they increasingly encounter situations requiring them to follow multiple steps to manipulate objects or perform actions. This study examines how caregivers adjust their instructional behavior when a child fails to correctly execute part of a multi-step procedure. Thirty-two mothers demonstrated to their 2–3-year-old children how to use a novel toy with three action sequences. A motion capture system measured the movements of each mother’s hand during demonstrations to assess whether mothers modulated their motions during each manipulation phase. (...) Analyses revealed that mothers changed their demonstrations depending on their children’s imitation task performance. Specifically, mothers shortened their demonstrations for the parts that the children could perform and emphasized their movements for the parts that the children could not perform. This study reveal that, unlike in previous studies, infant-directed actions may contain strategies that are more understandable to children depending on the purpose of the action. (shrink)

Dr. Sato's volume deals with the origin and formation of the political thought of pre-imperial Xun Zi, with close focus on this synthesizer's formative theory ...

This paper examines the history of Japanese genetics in the 1920s to 1950s as seen through the work of Hitoshi Kihara, a prominent wheat geneticist as well as a leader in the development of the discipline in Japan. As Kihara's career illustrates, Japanese genetics developed quickly in the early twentieth century through interactions with biologists outside Japan. The interactions, however, ceased due to the war in the late 1930s, and Japanese geneticists were mostly isolated from outside information until the late (...) 1940s. During the isolation in wartime and under the postwar U.S. Occupation, Kihara adapted to political changes. During wartime, he developed a research institute focusing on applied biology of various crops, which conformed to the national need to address food scarcity. After the war, he led the campaign for the establishment of a national institute of genetics and negotiated with American Occupation officers. The Americans viewed this Japanese effort with suspicion because of the rising popularity of the controversial theory of the Russian agronomist, Trofim Lysenko, in Japan. The institute was approved in 1949 partly because Kihara was able to bridge the gap between the American and Japanese sides. With Kihara's flexible and generous leadership, Japanese genetics steadily developed, survived the wartime, and recovered quickly in the postwar period. The article discusses Kihara's interest in cytoplasmic inheritance and his synthetic approach to genetics in this political context, and draws attention to the relation between Kihara's genetics and agricultural practice in Japan. (shrink)

By obtaining several new results on Cook-style two-sorted bounded arithmetic, this paper measures the strengths of the axiom of extensionality and of other weak fundamental set-theoretic axioms in the absence of the axiom of infinity, following the author’s previous work [K. Sato, The strength of extensionality I — weak weak set theories with infinity, Annals of Pure and Applied Logic 157 234–268] which measures them in the presence. These investigations provide a uniform framework in which three different kinds of (...) reverse mathematics–Friedman–Simpson’s “orthodox” reverse mathematics, Cook’s bounded reverse mathematics and large cardinal theory–can be reformulated within one language so that we can compare them more directly. (shrink)

In his previous work, the author has introduced the axiom schema of inductive dichotomy, a weak variant of the axiom schema of inductive definition, and used this schema for elementary ) positive operators to separate open and clopen determinacies for those games in which two players make choices from infinitely many alternatives in various circumstances. Among the studies on variants of inductive definitions for bounded ) positive operators, the present article investigates inductive dichotomy for these operators, and applies it to (...) constructive investigations of variants of determinacy statements for those games in which the players make choices from only finitely many alternatives. As a result, three formulations of open determinacy, that are all classically equivalent with each other, are equivalent to three different semi-classical principles, namely Markov’s Principle, Lesser Limited Principle of Omniscience and Limited Principle of Omniscience, over a suitable constructive base theory that proves clopen determinacy. Open and clopen determinacies for these games are thus separated. Some basic results on variants of inductive definitions for \ positive operators will also be given. (shrink)

We can easily discriminate self-produced from externally generated sensory signals. Recent studies suggest that the prediction of the sensory consequences of one’s own actions made by forward model can be used to attenuate the sensory effects of self-produced movements, thereby enabling a differentiation of the self-produced sensation from the externally generated one. The present study showed that attenuation of sensation occurred both when participants themselves performed a goal-directed action and when they observed experimenter performing the same action, although they clearly (...) reported that the tones were produced by other during action observation and by themselves during their own action. These results suggest that sensory prediction of action modulates ongoing auditory processing irrespective of who produces the sounds and that the explicit judgment of agency does not necessarily rely on the same mechanisms on which implicit perceptual measures such as sensory attenuation rely. (shrink)

A new research project has, quite recently, been launched to clarify how different, from systems in second order number theory extending ACA0, those in second order set theory extending NBG are. In this article, we establish the equivalence between Δ01-LFP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Delta^1_0\mbox{\bf-LFP}}$$\end{document} and Δ01-FP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Delta^1_0\mbox{\bf-FP}}$$\end{document}, which assert the existence of a least and of a fixed point, respectively, for positive elementary operators. Our proof also shows (...) the equivalence between ID1 and ID^1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\widehat{\it ID}_1}$$\end{document}, both of which are defined in the standard way but with the starting theory PA replaced by ZFC. (shrink)

We introduce a new axiom called inductive dichotomy, a weak variant of the axiom of inductive definition, and analyze the relationships with other variants of inductive definition and with related axioms, in the general second order framework, including second order arithmetic, second order set theory and higher order arithmetic. By applying these results to the investigations on the determinacy axioms, we show the following. (i) Clopen determinacy is consistency-wise strictly weaker than open determinacy in these frameworks, except second order arithmetic; (...) this is an enhancement of Schweber–Hachtman separation of open and clopen determinacy into the consistency-wise separation. (ii) Hausdorff–Kuratowski hierarchy of differences of opens is faithfully reflected by the hierarchy of consistency strengths of corresponding parameter-free determinacies in the aforementioned frameworks; this result is valid also in second order arithmetic only except clopen determinacy. (shrink)

Drawing upon two independent national samples of 201 and 241 psychology graduate students, this article describes the development and psychometric evaluation of 4 Web-based student self-report scales tapping student socialization in the responsible conduct of research (RCR) with human participants. The Mentoring the Responsible Conduct of Research Scale (MRCR) is composed of 2 subscales assessing RCR instruction and modeling by research mentors. The 2 subscales of the RCR Department Climate Scale (RCR-DC) assess RCR department policies and faculty and student RCR (...) practices. The RCR Preparedness scale (RCR-P) and the RCR Field Integrity scale (RCR-FI) measure respectively students' confidence in their ability to conduct research responsibly and their belief in the RCR integrity of psychology as a discipline. Factor analysis, coefficient alphas, correlations, and multiple regression analyses demonstrated each of the scales had good internal consistency and concurrent and construct validity. (shrink)

Given the growing centrality of interdisciplinarity to scientific research, gaining a better understanding of successful interdisciplinary collaborations has become imperative. Drawing on extensive case studies of nine research networks in the social, natural, and computational sciences, we propose a construct that captures the multidimensional character of such collaborations, that of a shared cognitive–emotional–interactional platform. We demonstrate its value as an integrative lens to examine markers of and conditions for successful interdisciplinary collaborations as defined by researchers involved in these groups. We (...) show that markers and conditions embody three different dimensions: cognitive, emotional, and interactional; these dimensions are present in all networks, albeit to different degrees; the dimensions are intertwined and mutually constitutive; and they operate in conjunction with institutional conditions created by funders. We compare the SCEI platforms to available frameworks for successful interdisciplinary work. (shrink)

This article reports that some robustness of the notions of predicativity and of autonomous progression is broken down if as the given infinite total entity we choose some mathematical entities other than the traditionalω. Namely, the equivalence between normal transfinite recursion scheme and newdependent transfinite recursionscheme, which does hold in the context of subsystems of second order number theory, does not hold in the context of subsystems of second order set theory where the universeVof sets is treated as the given (...) totality. (shrink)

We consider two variants of transfinite induction, one with monotonicity assumption on the predicate and one with the induction hypothesis only for cofinally many below. The latter can be seen as a transfinite analogue of the successor induction, while the usual transfinite induction is that of cumulative induction. We calculate the supremum of ordinals along which these schemata for \ formulae are provable in \. It is shown to be larger than the proof-theoretic ordinal \ by power of base 2. (...) We also show a similar result for the structural transfinite induction, defined with fundamental sequences. (shrink)

This paper explores the question of what makes diagrammatic representations effective for human logical reasoning, focusing on how Euler diagrams support syllogistic reasoning. It is widely held that diagrammatic representations aid intuitive understanding of logical reasoning. In the psychological literature, however, it is still controversial whether and how Euler diagrams can aid untrained people to successfully conduct logical reasoning such as set-theoretic and syllogistic reasoning. To challenge the negative view, we build on the findings of modern diagrammatic logic and introduce (...) an Euler-style diagrammatic representation system that is designed to avoid problems inherent to a traditional version of Euler diagrams. It is hypothesized that Euler diagrams are effective not only in interpreting sentential premises but also in reasoning about semantic structures implicit in given sentences. To test the hypothesis, we compared Euler diagrams with other types of diagrams having different syntactic or semantic properties. Experiment compared the difference in performance between syllogistic reasoning with Euler diagrams and Venn diagrams. Additional analysis examined the case of a linear variant of Euler diagrams, in which set-relationships are represented by one-dimensional lines. The experimental results provide evidence supporting our hypothesis. It is argued that the efficacy of diagrams in supporting syllogistic reasoning crucially depends on the way they represent the relational information contained in categorical sentences. (shrink)

We measure, in the presence of the axiom of infinity, the proof-theoretic strength of the axioms of set theory which make the theory look really like a “theory of sets”, namely, the axiom of extensionality Ext, separation axioms and the axiom of regularity Reg . We first introduce a weak weak set theory as a base over which to clarify the strength of these axioms. We then prove the following results about proof-theoretic ordinals:1. and ,2. and . We also show (...) that neither Reg nor affects the proof-theoretic strength, i.e., where T is Basic plus any combination of Ext and. (shrink)

We introduce a new simple way of defining the forcing method that works well in the usual setting under FA, the Foundation Axiom, and moreover works even under Aczel's AFA, the Anti-Foundation Axiom. This new way allows us to have an intuition about what happens in defining the forcing relation. The main tool is H. Friedman's method of defining the extensional membership relation ∈ by means of the intensional membership relation ε .Analogously to the usual forcing and the usual generic (...) extension for FA-models, we can justify the existence of generic filters and can obtain the Forcing Theorem and the Minimal Model Theorem with some modifications. These results are on the line of works to investigate whether model theory for AFA-set theory can be developed in a similar way to that for FA-set theory.Aczel pointed out that the quotient of transition systems by the largest bisimulation and transition relations have the essentially same theory as the set theory with AFA. Therefore, we could hope that, by using our new method, some open problems about transition systems turn out to be consistent or independent. (shrink)

Name der Zeitschrift: Language and Cognition - An Interdisciplinary Journal of Language and Cognitive Science Jahrgang: 5 Heft: 4 Seiten: 345-373.