Results for 'Takemura Mizuho'

22 found
Order:
  1.  13
    Doping as an Act of Body Self-Ownership.Mizuho Takemura - 2015 - Journal of the Philosophy of Sport and Physical Education 37 (1):15-28.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  13
    The Morality of Fair-Play in Sports From a Point of Kantian View.Mizuho Takemura & Yoshitaka Kondo - 2007 - Journal of the Philosophy of Sport and Physical Education 29 (2):139-149.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  10
    The Ethical Dialogue on Doping with Free Will.Mizuho Takemura, Dai Shigematsu & Daisuke Kobayashi - 2011 - Journal of the Philosophy of Sport and Physical Education 33 (1):27-40.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  8
    The Doping Matters as Those of ^|^Lsquo;Property of the Body by Others^|^Rsquo; From the Historical Facts of Doping Problems Under the DDR Government.Mizuho Takemura - 2009 - Journal of the Philosophy of Sport and Physical Education 31 (2):95-107.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  11
    Prolegomena to Philosophical Considerations of Sports and Gender: A Critical Consideration of Research in Japan.Takemura Mizuho - 2014 - Journal of the Philosophy of Sport 41 (1):97-111.
    The objective of this paper is to consider some of the philosophical problems on gender in sport in terms of practical philosophy by examining previous studies on sports and gender in Japan. The previous studies of the Journal of Sport and Gender Studies, an institutional journal of the Japan Society for Sport and Gender Studies , and were reviewed to explain the characteristics and the limits of previous sports-gender studies in Japan to establish the parameters for a philosophical discussion of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  9
    Completeness of Second-Order Intuitionistic Propositional Logic with Respect to Phase Semantics for Proof-Terms.Yuta Takahashi & Ryo Takemura - forthcoming - Journal of Philosophical Logic:1-18.
    Girard introduced phase semantics as a complete set-theoretic semantics of linear logic, and Okada modified phase-semantic completeness proofs to obtain normal-form theorems. On the basis of these works, Okada and Takemura reformulated Girard’s phase semantics so that it became phase semantics for proof-terms, i.e., lambda-terms. They formulated phase semantics for proof-terms of Laird’s dual affine/intuitionistic lambda-calculus and proved the normal-form theorem for Laird’s calculus via a completeness theorem. Their semantics was obtained by an application of computability predicates. In this (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  16
    Contextual Effect of Wealth on Independence: An Examination Through Regional Differences in China.Kosuke Takemura, Takeshi Hamamura, Yanjun Guan & Satoko Suzuki - 2016 - Frontiers in Psychology 7.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  43
    Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization.Ryo Takemura - 2013 - Studia Logica 101 (1):157-191.
    Proof-theoretical notions and techniques, developed on the basis of sentential/symbolic representations of formal proofs, are applied to Euler diagrams. A translation of an Euler diagrammatic system into a natural deduction system is given, and the soundness and faithfulness of the translation are proved. Some consequences of the translation are discussed in view of the notion of free ride, which is mainly discussed in the literature of cognitive science as an account of inferential efficacy of diagrams. The translation enables us to (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  46
    A Diagrammatic Inference System with Euler Circles.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Journal of Logic, Language and Information 21 (3):365-391.
    Proof-theory has traditionally been developed based on linguistic (symbolic) representations of logical proofs. Recently, however, logical reasoning based on diagrammatic or graphical representations has been investigated by logicians. Euler diagrams were introduced in the eighteenth century. But it is quite recent (more precisely, in the 1990s) that logicians started to study them from a formal logical viewpoint. We propose a novel approach to the formalization of Euler diagrammatic reasoning, in which diagrams are defined not in terms of regions as in (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10.  37
    A Generalized Syllogistic Inference System Based on Inclusion and Exclusion Relations.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Studia Logica 100 (4):753-785.
    We introduce a simple inference system based on two primitive relations between terms, namely, inclusion and exclusion relations. We present a normalization theorem, and then provide a characterization of the structure of normal proofs. Based on this, inferences in a syllogistic fragment of natural language are reconstructed within our system. We also show that our system can be embedded into a fragment of propositional minimal logic.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  9
    Counter-Example Construction with Euler Diagrams.Ryo Takemura - 2015 - Studia Logica 103 (4):669-696.
    One of the traditional applications of Euler diagrams is as a representation or counterpart of the usual set-theoretical models of given sentences. However, Euler diagrams have recently been investigated as the counterparts of logical formulas, which constitute formal proofs. Euler diagrams are rigorously defined as syntactic objects, and their inference systems, which are equivalent to some symbolic logical systems, are formalized. Based on this observation, we investigate both counter-model construction and proof-construction in the framework of Euler diagrams. We introduce the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  27
    Evaluating Distal and Proximal Explanations for Withdrawal: A Rejoinder to Varnum and Kwon’s “The Ecology of Withdrawal”.Vinai Norasakkunkit, Yukiko Uchida & Kosuke Takemura - 2017 - Frontiers in Psychology 8.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  13.  2
    Tracking Abnormalities in Video Capsule Endoscopy Via Convolutional Neural Networks by Intra-Frame Trainingイントラフレーム学習によるConvolutional Neural Networksを用いたカプセル内視鏡画像における病変領域の追跡.Yukiko Yanagawa, Tomio Echigo, Yuta Miyazaki, Noriko Takemura & Yasushi Yagi - 2018 - Transactions of the Japanese Society for Artificial Intelligence 33 (6):C-I33_1-12.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  16
    Probability Weighting Functions Derived From Hyperbolic Time Discounting: Psychophysical Models and Their Individual Level Testing.Kazuhisa Takemura & Hajime Murakami - 2016 - Frontiers in Psychology 7.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  15.  16
    A Study of the Logical Thinking Skills and Integrated Process Skills of Junior High School Students in North Carolina and Japan.Floyd E. Maltheis, William E. Spooner, Charles R. Coble, Shigekazu Takemura, Shinji Matsumoto, Katsunobu Matsumoto & Atsushi Yoshida - 1992 - Science Education 76 (2):211-222.
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  5
    A Phase Semantics for Polarized Linear Logic and Second Order Conservativity.Masahiro Hamano & Ryo Takemura - 2010 - Journal of Symbolic Logic 75 (1):77-102.
    This paper presents a polarized phase semantics, with respect to which the linear fragment of second order polarized linear logic of Laurent [15] is complete. This is done by adding a topological structure to Girard's phase semantics [9]. The topological structure results naturally from the categorical construction developed by Hamano—Scott [12]. The polarity shifting operator ↓ (resp. ↑) is interpreted as an interior (resp. closure) operator in such a manner that positive (resp. negative) formulas correspond to open (resp. closed) facts. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  17. At the Crossroads of Logic, Psychology, and Behavioral Genetics.J. Ando, C. Shikishima, K. Hiraishi, Y. Sugimoto, R. Takemura & M. Okada - 2006 - In D. Andler, M. Okada & I. Watanabe (eds.), Reasoning and Cognition. pp. 9-36.
     
    Export citation  
     
    Bookmark  
  18. Nishida Kitarō to Suzuki Daisetsu: Sono Tamashii No Kōryū Ni Kiku.Makio Takemura - 2004 - Daitō Shuppansha.
    Translate
     
     
    Export citation  
     
    Bookmark  
  19. Yokubō Bōryoku No Rejīmu: Yuragu Hyōshō Kakutōsuru Riron.Kazuko Takemura (ed.) - 2008 - Sakuhinsha.
  20.  3
    Identification of Muscle Synergies Associated with Gait Transition in Humans.Shota Hagio, Mizuho Fukuda & Motoki Kouzaki - 2015 - Frontiers in Human Neuroscience 9.
  21.  21
    An Ecologic Study of the Relationship Between Mean Birth Weight, Temperature and Calorie Consumption Level in Japan.Shinya Matsuda, Mizuho Furuta & Hiroaki Kahyo - 1998 - Journal of Biosocial Science 30 (1):85-93.
    This study reports an ecologic analysis of the relationship between mean birth weight (MBW) and nutritional, medical and social variables, using 1982 data for 47 prefectures in Japan.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  22.  7
    On Mathematical Aspects of Varieties of Cognitive Structures of Class-Inclusion Reasoning.Mizuho Mishima & Makoto Kikuchi - 2009 - Journal of the Japan Association for Philosophy of Science 36 (2):53-57.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark