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

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)

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)

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)

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)

The number of competing-brands changes by new product's entry. The new product introduction is endemic among consumer packaged goods firm and is an integral component of their marketing strategy. As a new product's entry affects markets, there is a pressing need to develop market response model that can adapt to such changes. In this paper, we develop a dynamic model that capture the underlying evolution of the buying behavior associated with the new product. This extends an application of a dynamic (...) linear model, which is used by a number of time series analyses, by allowing the observed dimension to change at some point in time. Our model copes with a problem that dynamic environments entail: changes in parameter over time and changes in the observed dimension. We formulate the model with framework of a state space model. We realize an estimation of the model using modified Kalman filter/fixed interval smoother. We find that new product's entry (1) decreases brand differentiation for existing brands, as indicated by decreasing difference between cross-price elasticities; (2) decreases commodity power for existing brands, as indicated by decreasing trend; and (3) decreases the effect of discount for existing brands, as indicated by a decrease in the magnitude of own-brand price elasticities. The proposed framework is directly applicable to other fields in which the observed dimension might be change, such as economic, bioinformatics, and so forth. (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)

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)

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)

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)

There is a widely held view that visual representations (images) do not depict negation, for example, as expressed by the sentence, “the train is not coming.” The present study focuses on the real-world visual representations of photographs and comic (manga) illustrations and empirically challenges the question of whether humans and machines, that is, modern deep neural networks, can recognize visual representations as expressing negation. By collecting data on the captions humans gave to images and analyzing the occurrences of negation phrases, (...) we show some evidence that humans recognize certain images as expressing negation. Furthermore, based on this finding, we examined whether or not humans and machines can classify novel images as expressing negation. The humans were able to correctly classify images to some extent, as expected from the analysis of the image captions. On the other hand, the machine learning model of image processing was only able to perform this classification at about the chance level, not at the same level of performance as the human. Based on these results, we discuss what makes humans capable of recognizing negation in visual representations, highlighting the role of the background commonsense knowledge that humans can exploit. Comparing human and machine learning performances suggests new ways to understand human cognitive abilities and to build artificial intelligence systems with more human-like abilities to understand logical concepts. (shrink)

Genshi shiroku -- Hakurokudō Shoin keijimon.

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

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)

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)

東アジア世界のなかで日本思想史はいかに構築できるか...古代から現代までを網羅した概説、待望の増補版。.

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

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

In lieu of an abstract, here is a brief excerpt of the content:Guest Editor’s Concluding RemarksMaki SATO 本特別号は戦前・戦後の東京、特に東京帝国大学、東京大学を活躍の場に据えた哲学者たちの智の営みに光をあて特集した初の試みである。「東京学派」との掛け声に対して、いったいどれくらいの論文が集まるのだろうか 、蓋を開けてみるまでは全く分からなかった。特別号編者の一人としては、東京という場で行われた様々な哲学者たちによる知的営みのうち、いつの時代の、どの哲学者が研究対 象となっているのかを知ることは大変興味深かった。巻頭論文としては、『日本哲学小史(Engaging Japanese Philosophy: A Short History)』を上梓されたオハイオ州立大学名誉教授のトマス・カスリス先生に、2019年1月下旬に東京大学東洋文化研究所にて行われた国際ワークショップ「日本哲学と東京大学の哲学」、また同年11月下旬 に東京大学本郷キャンパスにおいて開催された集中講義でお話しいただいた内容に基づき、基調論文を執筆いただいた。快くお引き受け下さったことに、ここに心から感謝の意 を示したい。 今回、収録した論文が取り上げていたのは、井上哲次郎(1856~1944)、清沢満之(1863~1903)、桑木厳翼(1874~1946)、大森荘蔵(1921~1997)である。西周(1829~1897 )がphilosophyを「希哲学」と翻訳してから、新たな学問として日本に哲学が根付き、西洋哲学の解釈から日本独自の哲学へと花開き始めた頃の哲学者が主に取り上げられている。東京の哲学者たちの知的営みの 多くは「京都学派」と比較すると忘却され、埋もれてしまった概念が他にも多々あるだろう。しかしながら、東京という場所において、彼ら哲学者たちが掴もうとしていた新たな概念は、常に確実に日本の中枢、政治や経済 のダイナミックな動向への応答としてあったものである。今後、日本哲学を通して私たち人類の行く先を見据える上でも、東京という場所において活躍した過去の哲学者たちが、言葉や概念で掴もうとしていたものを、本特 集号が、再度、取り上げて見直す一機会にな れば幸いである。 [End Page 125]This special issue is the first attempt to highlight the intellectual activities of philosophers who were active in prewar and post-war Tokyo, particularly at the Tokyo Imperial University and the University of Tokyo. I had no idea how many papers we would receive under the special issue “Tokyo School” until we closed (...) our call for papers. As one of the editors of the special issue, it was exciting to know, among the intellectual activities conducted by various philosophers based in Tokyo, which philosophers were the subjects of contemporary research from which period. It is fascinating to see and to read how the philosophical thinking of the past may resonate and still keep on inspiring us to face humanity’s issues of the twenty-first century.For the opening article, we invited Professor Emeritus Thomas P. Kasulis of Ohio State University, who published Engaging Japanese Philosophy: A Short History back in 2018, to write a keynote paper. He kindly sent us an article based on his presentations at the international workshop “Japanese Philosophy and the Philosophy of the University of Tokyo” held in late January 2019 at the University of Tokyo’s Institute for Advanced Studies on Asia and during an intensive lecture held in late November 2019 at the Hongo Campus. I would like to express our sincere gratitude to him for contributing to this special issue.The papers included in this volume cover Inoue Tetsujiro (1856–1944), Kiyosawa Manshi (1863–1903), Kuwaki Genyoku (1874–1946), and Omori Shozo (1921–97). The focus of this volume is on philosophers from the period when philosophy took root in Japan as a new discipline after Nishi Amane (1829–97) translated the word “philosophy” as tetsugaku. The late nineteenth to the early twentieth century was a transition period when philosophical thoughts began to blossom from an interpretation of Western philosophy into a unique style of Japanese philosophy, which I see as an attempt at amalgamation to close the gap between West and East.Compared to the well-studied Kyoto School centered around Nishida, from the Tokyo School there are probably many other concepts that have been forgotten and buried. The new concepts that philosophers of Tokyo were trying to grasp were always a response to the significant trends of the time, including responses to the dynamism of Japan’s political and economic situation, Tokyo being the capital of Japan. We hope that this special issue will provide [End Page 126] an opportunity to take a fresh look at and discover what the philosophers active in Tokyo were trying to grasp through words and concepts that still engage well with universal questions that remain relevant to the humanity of the current time. [End Page 127]Copyright © 2023 State University of New York Press... (shrink)

We highlight that the connection of well-foundedness and recursive definitions is more than just convenience. While the consequences of making well-foundedness a sufficient condition for the existence of hierarchies have been extensively studied, we point out that well-foundedness is a necessary condition for the existence of hierarchies e.g. that even in an intuitionistic setting α⊢wfwhereα\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${_\alpha \vdash \mathsf{wf}\, {\rm where}\, _\alpha}$$\end{document} stands for the iteration of Π10\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} (...) \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Pi^0_1}$$\end{document} comprehension along some ordinal α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\alpha}$$\end{document} and wf\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{wf}}$$\end{document} stands for the well-foundedness of α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\alpha}$$\end{document}. (shrink)

In the second book of Soliloquia, Augustine queries: what is ‘true’ and what is ‘false’. Through the examination, Augustine (Ratio) expresses the idea that ‘true’ is that which exists. Therefore, whatever exists is true; nothing will be false. But then, what is ‘false’? This paper will first clarify that the examination of ‘false’ in Soliloquia relates to Augustine’s awareness of the problem of sin. Already in Soliloquia, Augustine finds that the soul can have in itself the cause of sin so (...) as to be unable to have the truth. Secondly, the author examines how the epistemology of falsehood is developed in the early Augustine by examining his articles after Soliloquia, focusing on the concept of lying in De Genesi contra Manichaeos and De vera religione. This will show that Augustine's understanding of falsehood and lying is related to his soteriology. Thirdly, the paper focuses on q. 63 of De diversis quaestionibus LXXXIII, in order to clarify what Augustine thinks about the relationship between God and human soul, where Augustine notes the significance of knowing and confessing sin as the means of cooperative salvation already described in his early works. (shrink)

We study filters in residuated structures that are associated with congruence relations (which we call -filters), and develop a semantical theory for general substructural logics based on the notion of primeness for those filters. We first generalize Stone’s sheaf representation theorem to general substructural logics and then define the primeness of -filters as being “points” (or stalkers) of the space, the spectrum, on which the representing sheaf is defined. Prime FL-filters will turn out to coincide with truth sets under various (...) well known semantics for certain substructural logics. We also investigate which structural rules are needed to interpret each connective in terms of prime -filters in the same way as in Kripke or Routley-Meyer semantics. We may consider that the set of the structural rules that each connective needs in this sense reflects the difficulty of giving the meaning of the connective. A surprising discovery is that connectives , ⅋ of linear logic are linearly ordered in terms of the difficulty in this sense. (shrink)