Results for 'Ryo Oota'

55 found
Order:
  1.  12
    Phason Space Analysis and Structure Modelling of 100 Å-Scale Dodecagonal Quasicrystal in Mn-Based Alloy.Tsutomu Ishimasa, Shuhei Iwami, Norihito Sakaguchi, Ryo Oota & Marek Mihalkovič - 2015 - Philosophical Magazine 95 (33):3745-3767.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  26
    Human Genetic Research, Race, Ethnicity and the Labeling of Populations: Recommendations Based on an Interdisciplinary Workshop in Japan.Yasuko Takezawa, Kazuto Kato, Hiroki Oota, Timothy Caulfield, Akihiro Fujimoto, Shunwa Honda, Naoyuki Kamatani, Shoji Kawamura, Kohei Kawashima, Ryosuke Kimura, Hiromi Matsumae, Ayako Saito, Patrick E. Savage, Noriko Seguchi, Keiko Shimizu, Satoshi Terao, Yumi Yamaguchi-Kabata, Akira Yasukouchi, Minoru Yoneda & Katsushi Tokunaga - 2014 - BMC Medical Ethics 15 (1):33.
    A challenge in human genome research is how to describe the populations being studied. The use of improper and/or imprecise terms has the potential to both generate and reinforce prejudices and to diminish the clinical value of the research. The issue of population descriptors has not attracted enough academic attention outside North America and Europe. In January 2012, we held a two-day workshop, the first of its kind in Japan, to engage in interdisciplinary dialogue between scholars in the humanities, social (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  3.  6
    Japanese Immigrants and Their Christian Communities in North America: A Case Study of the Fukuinkai, 1877–1896.Yoshida Ryo - 2007 - Japanese Journal of Religious Studies 34 (1):229-244.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  4
    Lane Ryo Hirabayashi. The Politics of Fieldwork: Research in an American Concentration Camp. Xii + 219 Pp., Illus., App., Bibl., Index. Tucson: University of Arizona Press, 1999. $35. [REVIEW]Paul Weindling - 2004 - Isis 95 (4):723-723.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  26
    Cut-Free Sequent Calculi for Some Tense Logics.Ryo Kashima - 1994 - Studia Logica 53 (1):119 - 135.
  6.  21
    Russell’s Theories of Judgement.Ryo Ito - forthcoming - British Journal for the History of Philosophy:1-22.
    ABSTRACTThis paper is an attempt to explain why Russell abandoned the ontology of propositions, mind-independent complex entities that are possible objects of judgements. I argue that he did so not because of any decisive argument but because he found it better to endorse the existential account of truth, according to which a judgement is true if and only if there exists a corresponding fact. In order to endorse this account, he had examined various theories of judgement before he adopted the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  7.  5
    ショーペンハウアーにおける意味の使用理論と文脈原理 : ヴィトゲンシュタイン.Jens Lemanski - 2017 - ショーペンハウアー研究 = Schopenhauer-Studien 22:150-190.
    Japanese translation of ""Schopenhauers Gebrauchstheorie der Bedeutung und das Kontextprinzip. Eine Parallele zu Wittgensteins Philosophischen Untersuchungen". In: 97. Schopenhauer-Jahrbuch (2016), S. 29–51" by Tadahiro Oota (太田 匡洋 [訳]).
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8.  48
    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   4 citations  
  9.  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  
  10.  10
    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   2 citations  
  11.  17
    Reduction of Medication Errors Related to Sliding Scale Insulin by the Introduction of a Standardized Order Sheet.Saki Harada, Akio Suzuki, Shohei Nishida, Ryo Kobayashi, Sayuri Tamai, Keisuke Kumada, Nobuo Murakami & Yoshinori Itoh - 2017 - Journal of Evaluation in Clinical Practice 23 (3):582-585.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  23
    The Origin of the Theory of Types.Ryo Ito - 2018 - Annals of the Japan Association for Philosophy of Science 27:27-44.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  40
    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  
  14.  12
    Interpersonal Touch Suppresses Visual Processing of Aversive Stimuli.Hiroaki Kawamichi, Ryo Kitada, Kazufumi Yoshihara, Haruka K. Takahashi & Norihiro Sadato - 2015 - Frontiers in Human Neuroscience 9.
  15.  15
    Clathrate Hydrate Crystal Growth in Liquid Water Saturated with a Hydrate-Forming Substance: Variations in Crystal Morphology.Ryo Ohmura, Wataru Shimada, Tsutomu Uchida, Yasuhiko H. Mori, Satoshi Takeya, Jiro Nagao, Hideki Minagawa, Takao Ebinuma & Hideo Narita - 2004 - Philosophical Magazine 84 (1):1-16.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  5
    Emotional Tears Communicate Sadness but Not Excessive Emotions Without Other Contextual Knowledge.Kenichi Ito, Chew Wei Ong & Ryo Kitada - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  18
    Sexually Dimorphic Mate Preference in Japan.Ryo Oda - 2001 - Human Nature 12 (3):191-206.
    Lonely hearts advertisements (LHA) published in Japan were examined in a comparative study on sexually dimorphic mate preference. I analyzed 944 LHA written by Japanese (730 by males and 214 by females) seeking short-term relationships and 780 LHA (577 by males and 203 by females) seeking long-term relationships. Some universal patterns of mate preference were confirmed and others were not. Female advertisers in both categories sought more traits than they offered; they also sought more traits than male advertisers. Males tended (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  7
    Coalition Structure Generation Utilizing Compact Characteristic Function Representations.Naoki Ohta, Vincent Conitzer, Ryo Ichimura, Yuko Sakurai, Atsushi Iwasaki & Makoto Yokoo - 2011 - Transactions of the Japanese Society for Artificial Intelligence 26:451-460.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  11
    Completeness of Second-Order Intuitionistic Propositional Logic with Respect to Phase Semantics for Proof-Terms.Yuta Takahashi & Ryo Takemura - 2019 - Journal of Philosophical Logic 48 (3):553-570.
    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 paper, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  37
    Substructural Implicational Logics Including the Relevant Logic E.Ryo Kashima & Norihiro Kamide - 1999 - Studia Logica 63 (2):181-212.
    We introduce several restricted versions of the structural rules in the implicational fragment of Gentzen's sequent calculus LJ. For example, we permit the applications of a structural rule only if its principal formula is an implication. We investigate cut-eliminability and theorem-equivalence among various combinations of them. The results include new cut-elimination theorems for the implicational fragments of the following logics: relevant logic E, strict implication S4, and their neighbors (e.g., E-W and S4-W); BCI-logic, BCK-logic, relevant logic R, and the intuitionistic (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  14
    A Model of Belief Formation Based on Causality and Application to N-Armed Bandit Problem.Shuji Shinohara, Ryo Taguchi, Kouichi Katsurada & Tsuneo Nitta - 2007 - Transactions of the Japanese Society for Artificial Intelligence 22 (1):58-68.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  16
    Cut‐Elimination Theorem for the Logic of Constant Domains.Ryo Kashima & Tatsuya Shimura - 1994 - Mathematical Logic Quarterly 40 (2):153-172.
    The logic CD is an intermediate logic which exactly corresponds to the Kripke models with constant domains. It is known that the logic CD has a Gentzen-type formulation called LD and rules are replaced by the corresponding intuitionistic rules) and that the cut-elimination theorem does not hold for LD. In this paper we present a modification of LD and prove the cut-elimination theorem for it. Moreover we prove a “weak” version of cut-elimination theorem for LD, saying that all “cuts” except (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  11
    Efficient Learning of Word Meanings by Agents Using Biases Observed in Language Development of Children.Ryo Taguchi, Masashi Kimura, Satoshi Kodama, Shuji Shinohara, Yurie Iribe, Kouichi Katsurada & Tsuneo Nitta - 2007 - Transactions of the Japanese Society for Artificial Intelligence 22:444-453.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  9
    Placing Knowledge in the World.Ryo Uehara - 2007 - Journal of the Japan Association for Philosophy of Science 35 (1):11-20.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  6
    Contraction-Elimination for Implicational Logics.Ryo Kashima - 1997 - Annals of Pure and Applied Logic 84 (1):17-39.
    We establish the “contraction-elimination theorem” which means that if a sequent Γ A is provable in the implicational fragment of the Gentzen's sequent calculus LK and if it satisfies a certain condition on the number of the occurrences of propositional variables, then it is provable without the right contraction rule. By this theorem, we get the following.1. If an implicational formula A is a theorem of classical logic and is not a theorem of intuitionistic logic, then there is a propositional (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  26.  6
    Formation, Growth and Ageing of Clathrate Hydrate Crystals in a Porous Medium.Daisuke Katsuki, Ryo Ohmura, Takao Ebinuma & Hideo Narita - 2006 - Philosophical Magazine 86 (12):1753-1761.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  13
    Claudia Bieling and Tobias Plieninger : The Science and Practice of Landscape Stewardship.Ryo Kohsaka - 2018 - Agriculture and Human Values 35 (3):741-742.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  34
    Altruism Can Be Assessed Correctly Based on Impression.Ryo Oda, Noriko Yamagata, Yuki Yabiku & Akiko Matsumoto-Oda - 2009 - Human Nature 20 (3):331-341.
    Detection of genuine altruists could be a solution to the problem of subtle cheating. Brown et al. (Evol Psychol 1:42–69, 2003) found that humans could detect altruists using nonverbal cues. However, their experiments can be improved upon in several ways, and further investigation is needed to determine whether altruist-detection abilities are human universals. In our experiment, we used video clips of natural conversations as the stimulus. We asked a sample of Japanese undergraduates to rate their own level of altruism and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  15
    Just My Imagination: Beauty Premium and the Evolved Mental Model.Ryo Oda - 2017 - Behavioral and Brain Sciences 40.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  19
    Detecting Robot-Directed Speech by Situated Understanding in Physical Interaction.Xiang Zuo, Naoto Iwahashi, Kotaro Funakoshi, Mikio Nakano, Ryo Taguchi, Shigeki Matsuda, Komei Sugiura & Natsuki Oka - 2010 - Transactions of the Japanese Society for Artificial Intelligence 25:670-682.
  31.  26
    On Semilattice Relevant Logics.Ryo Kashima - 2003 - Mathematical Logic Quarterly 49 (4):401.
    The semilattice relevant logics ∪R, ∪T, ∪RW, and ∪TW are defined by semilattice models in which conjunction and disjunction are interpreted in a natural way. For each of them, there is a cut-free labelled sequent calculus with plural succedents . We prove that these systems are equivalent, with respect to provable formulas, to the restricted systems with single succedents . Moreover, using this equivalence, we give a new Hilbert-style axiomatizations for ∪R and ∪T and prove equivalence between two semantics for (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  18
    Natural Kinds, Species, and Races.Yuichi Amitani - 2015 - Kagaku Tetsugaku 48 (1):35-48.
    In _Realism and Naturalizing Knowledge_ (Keisho Shobo, 2013), Ryo Uehara carefully formulates the homeostatic property cluster theory of natural kinds and expands it by applying this framework to artifacts and knowledge and thereby drawing them in the naturalistic picture of the world. This is a substantial addition to the development of naturalistic philosophy in Japan. In this essay I shall make general comments on his account of natural kinds in the following respects: Uehara's distinction between real and nominal kinds, his (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  33.  20
    Learning Communicative Meanings of Utterances by Robots.Ryo Taguchi, Naoto Iwahashi & Tsuneo Nitta - 2009 - In Hattori (ed.), New Frontiers in Artificial Intelligence. Springer. pp. 62--72.
  34.  13
    Toward a Guide Agent Who Actively Provides Information in Multi-User Conversation -- A Trial in Finding the Timings for Intervention.Hung-Hsuan Huang, Shochi Otogi, Ryo Hotta & Kyoji Kawagoe - forthcoming - Transactions of the Japanese Society for Artificial Intelligence.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  13
    Learning Lexicons From Spoken Utterances Based on Statistical Model Selection.Ryo Taguchi, Naoto Iwahashi, Kotaro Funakoshi, Mikio Nakano, Takashi Nose & Tsuneo Nitta - 2010 - Transactions of the Japanese Society for Artificial Intelligence 25:549-559.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  2
    Effects of Reciprocal Ia Inhibition on Contraction Intensity of Co-Contraction.Ryo Hirabayashi, Mutsuaki Edama, Sho Kojima, Masatoshi Nakamura, Wataru Ito, Emi Nakamura, Takanori Kikumoto & Hideaki Onishi - 2019 - Frontiers in Human Neuroscience 12.
  37.  15
    Reduction Rules for Intuitionistic $${{\Lambda}{\Rho}}$$ Λ Ρ -Calculus.Ken-Etsu Fujita, Ryo Kashima, Yuichi Komori & Naosuke Matsuda - 2015 - Studia Logica 103 (6):1225-1244.
    The third author gave a natural deduction style proof system called the \-calculus for implicational fragment of classical logic in. In -calculus, 2015, Post-proceedings of the RIMS Workshop “Proof Theory, Computability Theory and Related Issues”, to appear), the fourth author gave a natural subsystem “intuitionistic \-calculus” of the \-calculus, and showed the system corresponds to intuitionistic logic. The proof is given with tree sequent calculus, but is complicated. In this paper, we introduce some reduction rules for the \-calculus, and give (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38.  13
    Japanese Immigrants and Their Christian Communities in North America.Ryo Yoshida - 2007 - Japanese Journal of Religious Studies 34 (1).
  39.  15
    A Unified Scheme of Measurement and Amplification Processes Based on Micro-Macro Duality—Stern-Gerlach Experiment as a Typical Example.Ryo Harada & Izumi Ojima - 2009 - In Institute of Physics Krzysztof Stefanski (ed.), Open Systems and Information Dynamics. World Scientific Publishing Company. pp. 16--01.
  40.  10
    An Opportunity for Backing Down: Looking for an Electoral Connection to Audience Costs.Kiyotaka Yasui & Ryo Nakai - 2016 - Japanese Journal of Political Science 17 (2):168-189.
    This paper explores the time-inconsistency problem of audience costs in international disputes. The nature of democracy makes it difficult for leaders to back down from earlier diplomatic positions in an international dispute, out of fear of domestic political costs. Few studies have addressed the temporal aspect of such costs. This study argues that election timing impinges on the extent to which the audience cost mechanism works, and consequently, on state conflict behavior. While competitive elections are central to the political accountability (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  8
    On Autonomous Coordination of Learning Biases by an Agent with a Vocabulary Learning Mechanism.Shuji Shinohara, Ryo Taguchi, Takashi Hashimoto, Kouichi Katsurada & Tsuneo Nitta - 2007 - Transactions of the Japanese Society for Artificial Intelligence 22:103-114.
  42.  11
    Shaking Grounds, Unearthing Palimpsests: Semiotic Anthropology of Disaster.Ryo Morimoto - 2012 - Semiotica 2012 (192).
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  11
    Sequent Calculi for Visser's Propositional Logics.Kentaro Kikuchi & Ryo Kashima - 2001 - Notre Dame Journal of Formal Logic 42 (1):1-22.
    This paper introduces sequent systems for Visser's two propositional logics: Basic Propositional Logic (BPL) and Formal Propositional Logic (FPL). It is shown through semantical completeness that the cut rule is admissible in each system. The relationships with Hilbert-style axiomatizations and with other sequent formulations are discussed. The cut-elimination theorems are also demonstrated by syntactical methods.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  44.  7
    Developmental Word Acquisition Through Self-Organized Incremental Neural Network with A Humanoid Robot.Shogo Okada, Xiaoyuan He, Ryo Kojima & Osamu Hasegawa - 2007 - Transactions of the Japanese Society for Artificial Intelligence 22:493-507.
  45.  10
    Cognitive Enhancement and Destruction of the Self.Ryo Uehara - 2008 - Journal of the Japan Association for Philosophy of Science 35 (2):77-86.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  8
    On the Difficulty of Writing Out Formal Proofs in Arithmetic.Ryo Kashima & Takeshi Yamaguchi - 1997 - Mathematical Logic Quarterly 43 (3):328-332.
    Let ℸ be the set of Gödel numbers Gn of function symbols f such that PRA ⊢ and let γ be the function such that equation imageWe prove: The r. e. set ℸ is m-complete; the function γ is not primitive recursive in any class of functions {f1, f2, ⃛} so long as each fi has a recursive upper bound. This implies that γ is not primitive recursive in ℸ although it is recursive in ℸ.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  47.  6
    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 (6 more)  
     
    Export citation  
     
    Bookmark  
  48.  4
    Reduction of the Number of States and the Acceleration of LMNtal Parallel Model Checking.Ryo Yasuda, Taketo Yoshida & Kazunori Ueda - 2014 - Transactions of the Japanese Society for Artificial Intelligence 29 (1):182-187.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49. Balancing Change and Tradition in Global Education Reform.Gérard Bonnet, Mary Canning, Kai-Ming Cheng, Terry J. Crooks, Luis Crouch, Ori Eyal, Eva Forsberg, Phyllis Ghim-Lian Chew, Ratna Ghosh, Martin Gustafsson, Batia P. Horsky, Dan Inbar, Barbara M. Kehm, Stephen T. Kerr, Allan Luke, Ulf P. Lundgren, Robert W. McMeekin, Adam Nir, Peter Schrag, Hasan Simsek, Ryo Watanabe, Alison Wolf & Ali Yildirim - 2010 - R&L Education.
    Balancing Change and Tradition in Global Education Reform is an invaluable resource for policymakers, faculty, students, and anyone interested in how decisions made about the education system ultimately affect the quality of education, educational access, and social justice.
     
    Export citation  
     
    Bookmark  
  50. Oxford Studies in Metaethics, Edited by R. Shafer-Landau.Ryo Chonabayashi - 2017 - Journal of Moral Philosophy 14 (1):109-112.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 55