404 research outputs found
A comparison of Landau-Ginzburg models for odd-dimensional Quadrics
Full text linkIn [Rie08], the second author defined a Landau-Ginzburg model for homogeneous spaces G/P, as a regular function on an affine subvariety of the Langlands dual group. In this paper, we reformulate this LG model (X^, W_t) in the case of the odd-dimensional quadric, as a rational function on a Langlands dual projective space, in the spirit of work by R. Marsh and the second author for type A Grassmannians and by both authors for Lagrangian Grassmannians. We also compare this LG model with the one obtained independently by Gorbounov and Smirnov, and we use this comparison to deduce part of a conjecture of the second author for odd-dimensional quadrics
Kentaro Sasaki : Physical education teacher belonged to Kinan-Sakkyou : His joining in Kinan・Sakkyou
No full textKentaro Sasaki, the author of "Taiiku-no-ko" had made many famous P.E.practices as a teacher of junior high school and high school at Kinan district since the end of the World War2.The features of his practices are ; 1) using compositions as educational method, 2) combining with educational guidance, 3) starting from reality of children's bodies and minds, and so on. This study attempts to clarify the process of his joining in Kinan-Sakkyou and the way to use compositions to practices anal- yzing his articles and "Kinan Kyoiku" which were bulletins of Kinan-Sakkyou
Genecialist manifesto: overcoming the “class struggle” in medicine
Full text linkKentaro Iwata Division of Infectious Diseases, Kobe University Hospital, Kobe, Hyogo, Japan Abstract: Generalists and specialists are often considered two completely distinct species, which culminates in the establishment of a concept of dichotomy. However, these dichotomy can at times fuel tension and even erupt into open conflict. In order to resolve this issue, the author herein proposes the concept of a “genecialist.” The genecialist refers to a hybrid comprising elements inherent to both generalists and specialists. This potentially overcomes the multitude of issues associated with both generalists and specialists in the practical aspects of medicine. The coalescence of these two contrarieties may hold the key to improving the future of health care. Mediating and integrating both categories into one consolidated entity carries the potential to stem the tide of class warfare between generalists and specialists. Keywords: genecialist, aufheben, generalist, specialist, asymmetr
Maritime Security—The Architecture of Japan’s Maritime-Security System in the East China Sea
Full text linkThe security of Japan’s maritime borders is a top priority for the country’s government. The roles of the Japan Coast Guard and the Japanese Maritime Self-Defense Force are paramount in these security operations as Japan navigates an international landscape in the East China Sea complicated by an emboldened China
Law Enforcement Measures Against Chinese Maritime Militia
Full text linkThis article undertakes a comprehensive legal assessment of Chinese maritime militia vessels and their operations, employing a law enforcement perspective as the analytical lens. During peacetime, those vessels engage in fishing and low-intensity military activities but during armed conflict they transition to tasks like reconnaissance. Notably, these maritime militias are frequently deployed in what is commonly termed as gray zone scenarios, which lack a clearly defined designation as either peacetime or armed conflict. Their principal objective lies in asserting territorial claims without resorting to full-scale armed conflict. This article delves into an exploration of the legal status accorded to these vessels, examining whether they are entitled to the sovereign immunity afforded to warships and ships operated by a State for non-commercial purposes under international law. Additionally, it scrutinizes the question of whether maritime militias and their activities are subject to functional immunity (ratione materiae) under international law. It embarks on an investigation into the permissible law enforcement measures that a coastal State can undertake against these vessels within its various maritime zones. Additionally, it explores potential avenues through which a third State might exercise jurisdiction in collaboration with the coastal State, should the need arise
Law Enforcement over Fishery Activities in Contested EEZs
Full text linkThe Exclusive Economic Zone (EEZ) was introduced with the adoption of the United Nations Convention on the Law of the Sea. In the vast waters extending from the baselines to 200 nautical miles, the Convention allows coastal States to enjoy sovereign rights over―fishing resources but has created delimitation issues with neighboring States. Law enforcement is vital to maintain fishery order for sustainable utilization of resources in EEZs, even in the contested maritime zones. Therefore, in this paper, the mechanism of law enforcement in the complicated contested maritime zone is described, taking the Japan-China Fisheries Agreement as an example of a possible practical solution
Cut-elimination, substitution and normalisation
No full textDate of Acceptance: 01/2015We present a proof (of the main parts of which there is a formal version, checked with the Isabelle proof assistant) that, for a G3-style calculus covering all of intuitionistic zero-order logic, with an associated term calculus, and with a particular strongly normalising and confluent system of cut-reduction rules, every reduction step has, as its natural deduction translation, a sequence of zero or more reduction steps (detour reductions, permutation reductions or simplifications). This complements and (we believe) clarifies earlier work by (e.g.) Zucker and Pottinger on a question raised in 1971 by Kreisel.Peer reviewe
The Effectiveness of Community-Based Development in Poverty Reduction : A Descriptive Analysis of a Women-Managed NGO in Rural Pakistan
Full text linkTo assess the targeting performance of community-based development activities and deduce the impact of such activities on poverty reduction, we implemented a survey of a non-governmental organization (NGO) in northwestern Pakistan. A distinct characteristic of this NGO is that it is managed mostly by women and its interventions are conducted through community-based organizations (COs), most of whose members are also female. This characteristic is rather unusual for a male-dominated society like Pakistan. Descriptive analyses of village, CO, and household level data shows that the NGO was able to target poorer villages. Villages with COs are characterized by lower adult literacy rates, lower availability of basic amenities, and higher susceptibility to natural disasters. With regard to household-level welfare indicators -- such as consumption, women’s empowerment, children’s school enrolment, and the weight-for-age of infants -- we found that the consumption levels of CO member households tended to be lower than that of households in non-CO villages. However, the difference between CO member households and non-member households in CO villages was insignificant, possibly owing to the mixing of the selection effect (i.e., poorer households are served by the NGO) and the causal effect of interventions on poverty reduction. On women’s empowerment and child schooling, CO member households tend to perform better than other households, suggesting the favorable impact of the interventions and/or the self-selection of such households vis-à-vis program participation.
A new model construction by making a detour via intuitionistic theories II: Interpretability lower bound of Feferman's explicit mathematics T0
Full text linkWe partially solve a long-standing problem in the proof theory of explicit mathematics or the proof theory in general. Namely, we give a lower bound of Feferman’s system T0 of explicit mathematics (but only when formulated on classical logic) with a concrete interpretat ion of the subsystem Σ12-AC+ (BI) of second order arithmetic inside T0. Whereas a lower bound proof in the sense of proof-theoretic reducibility or of ordinalanalysis was already given in 80s, the lower bound in the sense of interpretability we give here is new. We apply the new interpretation method developed by the author and Zumbrunnen (2015), which can be seen as the third kind of model construction method for classical theories, after Cohen’s forcing and Krivine’s classical realizability. It gives us an interpretation between classical theories, by composing interpretations between intuitionistic theories
- …
