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

Genshi shiroku -- Hakurokudō Shoin keijimon.

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

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)

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)

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)

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)

Should Germany be prosecuting crimes committed in Syria pursuant to universal jurisdiction? This article revisits the normative questions raised by UJ—the principle that a state can prosecute serious international crimes such as genocide, crimes against humanity, and war crimes committed by foreigners outside of its territories—against the backdrop of increasing European UJ proceedings regarding Syrian conflict–related crimes, focusing on Germany as an illustrative example. While existing literature justifies UJ on the basis of universal prohibition of certain atrocities, this creates residual (...) normative issues. Alternatively, this article applies the “two-tiered test” derived from the “dual foundation” thesis of the Eichmann judgment, in which the normative appropriateness of UJ is evaluated against both accounts of universal prohibition and the specific politics surrounding the prosecution. It contends that the large number of Syrian refugees in Germany means that Germany, in particular, should initiate Syrian conflict–related UJ proceedings to prevent continued harm and recognize the political agency of refugees. Ultimately, the article suggests UJ should normatively be thought of as a domestic, rather than international, political event. (shrink)

Agri-food clusters have generated great interest in recent years and prompted a new wave of research dedicated to ‘Localized Agri-Food Systems’. However, the specific nature of relations between firms who belong to SYALs has rarely been studied. Our purpose is to show how the analysis of company directors’ advice networks helps to better understand the specificity and innovative dynamics of SYALs. Our research was based on a case study in the Biterrois wine growing region of southern France. We conducted a (...) survey to collect information on advice relations between wine cooperative managers, who play a key role in the innovation process toward quality wine. Sociometric analysis of the advice relations, coupled with interviews, led to three main results: the first was that managers simultaneously cooperate on technical projects and compete for business ends. The second was a correlation between the innovations implemented by the cooperatives and the degree of centrality of the managers in the networks, revealing the relational and local conditions of innovations in SYALs. The third was that managers can modify their own network to improve the competitiveness of both their own cooperative and of the SYAL as a whole. In conclusion, we show that advice network analysis is an appropriate tool to describe the relational dimension of SYALs, to better understand their process of innovation, and to help managers improve the collective strategies they apply within the SYAL. (shrink)

IntroductionInternational trade in digitally deliverable services has been developing rapidly in recent years, especially during pandemics. However, the growth rate and scale differ among regions and countries. To promote the growth and bridge the divide of global trade in digitally deliverable services, we provide feasible policy suggestions in this paper.MethodsBased on panel data of 33 countries' digitally deliverable service trade from 2005 to 2020, this study analyzes the development trends and influencing factors of international trade in digital-global service trade.ResultsThe development (...) of digitally deliverable services in developed countries is far ahead, while in emerging economies such as China and India, it is growing at a high speed. Digital infrastructure; human capital; and science, technology, and innovation capacity have a significant impact on the digitally deliverable trade of countries with the level of STI playing the most important influence. Further, heterogeneity analysis shows that human capital and STI capacity are more sensitive to the digitally deliverable trade of middle-income countries than to the impact of high-income countries, and the contribution of population in middle-income countries is more pronounced.ConclusionAs the proportion of digital trade in global trade continues to increase, the role of digital service trade in countries' sustainable development is becoming more prominent. To cope with such opportunities and challenges, countries, especially developing countries, should actively increase digital infrastructure construction, improve talent training, vigorously develop digital technology, and enhance their innovation capacity. (shrink)

In the era of the knowledge economy, the improvement of national innovation systems is playing a significant role in the global entrepreneurship ecosystem. Entrepreneurs are accelerating international intellectual property applications to be competitive. What remains to be explored is the evolution of international intellectual property network in the globe. With the application of social network analysis and intellectual property application database, the global innovation network structure from 2000 to 2019 is explored. Results showed that in the period 2000–2019, the global (...) innovation network has been expanding rapidly from a sparse network to a dense and complex one. Patent application is unevenly distributed in the globe. Countries such as the US, China, and Canada have been the top countries flowing in, while Japan, Korea, EU, and Switzerland have been the main countries flowing out. Global innovation network shows an obvious “core-periphery” pattern. The distribution pattern presents a quadrilateral structure with the four core regions of “US, Japan, EU, and China” as the apex. This analysis contributes to the visualization of the global layout of intellectual property and the evolution trend by analyzing intellectual property application networks. This can provide important experience reference for enterprises to study the global entrepreneurship ecosystem. (shrink)

As of the first week of February 2021, the COVID-19 pandemic has resulted in over two million people dead across the globe. This essay argues that in order to fully understand the politics arising from the COVID-19 pandemic, we need to focus on the individual and collective experiences of death, loss, and grief. While the emerging scholarly discourse on the pandemic, particularly in political science and international relations, typically considers death only in terms of its effects on formal state-level politics (...) and as a policy objective for mitigation, we argue that focusing on the particularities of the experience of death resulting from COVID-19 can help us fully understand the ways in which the pandemic is reordering our worlds. Examining the ambiguous sociopolitical meaning of death by COVID-19 can provide broader analytical comparisons with other mass death events. Ultimately, the essay argues that centering the impact of the pandemic on the experience of death and loss directly poses the question of how politics should value human lives in the post-pandemic world, helping us better formulate the normative questions necessary for a more ethical future. (shrink)

... because the thing-in-itself has no abnormality. Anything unusual will appear, after I myself see it: Abnormality belongs not to the thing-in-itself, but to myself. Kuo P'u (276-324), Shan-hai ching (Scriptures of the Mountains and the Seas).

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)

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)

Crew Pairing is one of the most important and difficult problems for airline companies. Nets to fuel costs, the crew costs constitute the largest cost of airlines, and the crew costs depend on the quality of the solution to the pairing problem. Conventional systems have been used to solve a daily model, which handles only regular flights with many simplifications, so a lot of corrections are needed to get a feasible solution and the quality of the solution is not so (...) high. A fully dated model, which handles regular flights and irregular flights simultaneously, is extremely hard and has not been solved directly hitherto. The number of irregular flights tend to increase in Europe and Japan, hence the resolution of the practical fully dated pairing system is desired. This paper presents a new approach which solves directly the fully dated crew pairing by Genetic Algorithms. GA is improved with stochastic processes to attack the fully dated model, and many heuristics are included in the decoding mecanism of the GA. For several hundred flights per day for fully dated 2 months scheduling period, the system found better or equivalent solutions to the human scheduler’s without any simplification from 5 to 20 times faster. (shrink)

Upshot: In the model simulation and the human experiment, we observed that attention shifted from a tool to a task. This was accompanied by bodily extension. However, our experiments lack a sense of bodily incorporation (the sense of ownership. Based on the valuable commentaries, we would like to discuss the necessary conditions for possible bodily incorporation in terms of redundant degrees of freedom, synchronous visual tactile stimulation, and 1/f noise.

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)

This paper considers undecidability in the imitation game, the so-called Turing Test. In the Turing Test, a human, a machine, and an interrogator are the players of the game. In our model of the Turing Test, the machine and the interrogator are formalized as Turing machines, allowing us to derive several impossibility results concerning the capabilities of the interrogator. The key issue is that the validity of the Turing test is not attributed to the capability of human or machine, but (...) rather to the capability of the interrogator. In particular, it is shown that no Turing machine can be a perfect interrogator. We also discuss meta-imitation game and imitation game with analog interfaces where both the imitator and the interrogator are mimicked by continuous dynamical systems. (shrink)

Schedule planning is one of the most crucial issues for any airline company, because the profit of the company directly depends on the efficiency of the schedule. This paper presents a novel scheduling method which solves problems related to time scheduling, fleet assignment and maintenance routing simultaneously by Genetic Algorithms. Every schedule constraint is embeded in the fitness function, which is described as an object oriented model and works as a simulater developing itself over time, and whose solution is executable (...) without human correction. The schedular is able to solve the problems involving several hundred flights in a few hours, and the solutions are superior or equivalent to those by human experts in terms of the estimated profit. (shrink)

日米開戦前夜、京大の哲学教授はいかにしてエリート学生を洗脳し、戦地へ送ったのか? 悪魔の講義の構造を解明する合宿講座全記録。.