Results for 'Kazuyuki Shinohara'

66 found
Order:
  1.  1
    fNIRS Studies on Hemispheric Asymmetry in Atypical Neural Function in Developmental Disorders.Hirokazu Doi & Kazuyuki Shinohara - 2017 - Frontiers in Human Neuroscience 11.
  2.  3
    Monocular Presentation Attenuates Change Blindness During the Use of Augmented Reality.Akihiko Kitamura, Yasunori Kinosada & Kazumitsu Shinohara - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  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  
  4.  9
    No Evidence for the Watching-Eyes Effect on Human Impulsivity.Asami Shinohara & Shinya Yamamoto - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  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  
  6.  25
    A Method for Keyword Extraction Using Retrieval Information From Students in Lectures.Shuji Shinohara, Yurie Iribe, Hiroaki Kawashima, Kouichi Katsurada & Tsuneo Nitta - 2007 - Transactions of the Japanese Society for Artificial Intelligence 22:604-611.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  3
    Forces Acting on Misfit Dislocations During Interdiffusion.Kazumitzu Shinohara & J. P. Hirth - 1973 - Philosophical Magazine 27 (4):883-895.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  11
    From Benares to Beijing: Essays on Buddhism and Chinese Religion in Honour of Prof. Jan Yün-huaFrom Benares to Beijing: Essays on Buddhism and Chinese Religion in Honour of Prof. Jan Yun-Hua.P. W. K., Koichi Shinohara & Gregory Schopen - 1996 - Journal of the American Oriental Society 116 (3):609.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  12
    Religion and Political Order in Nichiren's Buddhism.Koichi Shinohara - 1981 - Japanese Journal of Religious Studies 8 (3-4):225-235.
  10.  8
    Goal Attribution Toward Non-Human Objects During Infancy Predicts Imaginary Companion Status During Preschool Years.Yusuke Moriguchi, Yasuhiro Kanakogi, Naoya Todo, Yuko Okumura, Ikuko Shinohara & Shoji Itakura - 2016 - Frontiers in Psychology 7.
  11.  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.
  12.  19
    Buddhism and Confucianism in Ch'i-Sung's Essay on Teaching (Yüan-Tao).Koichi Shinohara - 1982 - Journal of Chinese Philosophy 9 (4):401-422.
  13.  5
    The Relationship Between Obesity and Quality of Life in Brazilian Adults.Fernanda B. C. Pimenta, Elodie Bertrand, Daniel C. Mograbi, Helene Shinohara & J. Landeira-Fernandez - 2015 - Frontiers in Psychology 6.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  14.  4
    Identical and Different Elements in Film Rhetoric Generation.Akihito Kanai, Takashi Ogata & Kentaro Shinohara - 2003 - Transactions of the Japanese Society for Artificial Intelligence 18:114-121.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  4
    Thinning-Out: A Method to Reduce Trials in Skill Discovery of a Robot.Hayato Kobayashi, Kohei Hatano, Akira Ishino & Ayumi Shinohara - 2009 - Transactions of the Japanese Society for Artificial Intelligence 24:191-202.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  3
    Buddhism and the Problem of Modernity in East Asia: Some Exploratory Comments Based on the Example of TakayamaChogyu.Koichi Shinohara - 1981 - Japanese Journal of Religious Studies 8 (1-2):35-49.
  17. A Study of Consciousness in Farming and Fishing Villagers: Religious Faith Through Festivals of Gods! Sumiko Hattorr 147 Eliciting the Maturity in Structural Knowledge Through Concepts Sorting Task.Hiroshi Maeda & Kazuko Shinohara - 1999 - Educational Studies 41:301.
    No categories
     
    Export citation  
     
    Bookmark  
  18.  10
    Kazuyuki Tanaka. The Galvin–Prikry Theorem and Set Existence Axioms. Annals of Pure and Applied Logic, Vol. 42 , Pp. 81–104. [REVIEW]F. R. Drake - 1991 - Journal of Symbolic Logic 56 (1):334.
  19.  4
    Comments on Prof. Kazuyuki Nomoto's Paper. L.^|^Ouml & Permartin F. - 2006 - Annals of the Japan Association for Philosophy of Science 14 (2):98-99.
  20.  8
    Kazuyuki Tanaka's Work on AND-OR Trees and Subsequent Developments.Toshio Suzuki - 2017 - Annals of the Japan Association for Philosophy of Science 25:79-88.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  9
    Comments on Prof. Kazuyuki Nomoto's Paper.Per Martin-Lof - 2006 - Annals of the Japan Association for Philosophy of Science 14 (2):98-99.
  22.  3
    Review: Kazuyuki Tanaka, The Galvin-Prikry Theorem and Set Existence Axioms. [REVIEW]F. R. Drake - 1991 - Journal of Symbolic Logic 56 (1):334-334.
  23. [Challenged by [Challenged by [Challenged by the Incompleteness Theorems]]] - a Review of K. Godel, "Uber Fromal Unentscheidbare Satze der Principia Mathematica Und Verwandter Systeme I", Translated and Commented by Susumu Hayashi and Mariko Yasugi , / Kazuyuki Tanaka, "Challenged by Godel".Sakaé Fuchino - 2013 - Journal of the Japan Association for Philosophy of Science 41 (1):63-80.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24. Review of Kazuyuki Nomoto "Frege Tetsugaku No Zenbou ". [REVIEW]Hidenori Kurokawa - 2014 - Journal of the Japan Association for Philosophy of Science 42 (1):39-54.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25.  15
    [Image] -Determinacy, Comprehension and Induction.Medyahya Ould Medsalem & Kazuyuki Tanaka - 2007 - Journal of Symbolic Logic 72 (2):452 - 462.
    We show that each of $\Delta _{3}^{1}-{\rm CA}_{0}+\Sigma _{3}^{1}-{\rm IND}$ and $\Pi _{2}^{1}-{\rm CA}_{0}+\Pi _{3}^{1}-{\rm TI}$ proves $\Delta _{3}^{0}-{\rm Det}$ and that neither $\Sigma _{3}^{1}-{\rm IND}$ nor $\Pi _{3}^{1}-{\rm TI}$ can be dropped. We also show that neither $\Delta _{3}^{1}-{\rm CA}_{0}+\Sigma _{\infty}^{1}-{\rm IND}$ nor $\Pi _{2}^{1}-{\rm CA}_{0}+\Pi _{\infty}^{1}-{\rm TI}$ proves $\Sigma _{3}^{0}-{\rm Det}$. Moreover, we prove that none of $\Delta _{2}^{1}-{\rm CA}_{0}$, $\Sigma _{3}^{1}-{\rm IND}$ and $\Pi _{2}^{1}-{\rm TI}$ is provable in $\Delta _{1}^{1}-{\rm Det}_{0}={\rm ACA}_{0}+\Delta _{1}^{1}-{\rm Det}$.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  26.  13
    Δ 0 3 -Determinacy, Comprehension and Induction.MedYahya Ould MedSalem & Kazuyuki Tanaka - 2007 - Journal of Symbolic Logic 72 (2):452-462.
    We show that each of Δ13-CA0 + Σ13-IND and Π12-CA0 + Π13-TI proves Δ03-Det and that neither Σ31-IND nor Π13-TI can be dropped. We also show that neither Δ13-CA0 + Σ1∞-IND nor Π12-CA0 + Π1∞-TI proves Σ03-Det. Moreover, we prove that none of Δ21-CA0, Σ31-IND and Π21-TI is provable in Δ11-Det0 = ACA0 + Δ11-Det.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  27.  8
    Weak Axioms of Determinacy and Subsystems of Analysis II.Kazuyuki Tanaka - 1991 - Annals of Pure and Applied Logic 52 (1-2):181-193.
    In [10], we have shown that the statement that all ∑ 1 1 partitions are Ramsey is deducible over ATR 0 from the axiom of ∑ 1 1 monotone inductive definition,but the reversal needs П 1 1 - CA 0 rather than ATR 0 . By contrast, we show in this paper that the statement that all ∑ 0 2 games are determinate is also deducible over ATR 0 from the axiom of ∑ 1 1 monotone inductive definition, but the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  28.  7
    Fixed Point Theory in Weak Second-Order Arithmetic.Naoki Shioji & Kazuyuki Tanaka - 1990 - Annals of Pure and Applied Logic 47 (2):167-188.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  29.  24
    Some Conservation Results on Weak König's Lemma.Stephen G. Simpson, Kazuyuki Tanaka & Takeshi Yamazaki - 2002 - Annals of Pure and Applied Logic 118 (1-2):87-114.
    By , we denote the system of second-order arithmetic based on recursive comprehension axioms and Σ10 induction. is defined to be plus weak König's lemma: every infinite tree of sequences of 0's and 1's has an infinite path. In this paper, we first show that for any countable model M of , there exists a countable model M′ of whose first-order part is the same as that of M, and whose second-order part consists of the M-recursive sets and sets not (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  30.  19
    Non‐Standard Analysis in WKL0.Kazuyuki Tanaka - 1997 - Mathematical Logic Quarterly 43 (3):396-400.
    Within a weak subsystem of second-order arithmetic WKL0, we develop basic part of non-standard analysis up to the Peano existence theorem.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  31.  20
    Glaubenssatze and direkter Bezug.Kazuyuki Nomoto - 1993 - Annals of the Japan Association for Philosophy of Science 8 (3):137-161.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32.  17
    Impact of Stimulus Uncanniness on Speeded Response.Kohske Takahashi, Haruaki Fukuda, Kazuyuki Samejima, Katsumi Watanabe & Kazuhiro Ueda - 2015 - Frontiers in Psychology 6.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  12
    On Formalization of Model-Theoretic Proofs of Gödel's Theorems.Makoto Kikuchi & Kazuyuki Tanaka - 1994 - Notre Dame Journal of Formal Logic 35 (3):403-412.
    Within a weak subsystem of second-order arithmetic , that is -conservative over , we reformulate Kreisel's proof of the Second Incompleteness Theorem and Boolos' proof of the First Incompleteness Theorem.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  34.  10
    Corticospinal Excitability Modulation in Resting Digit Muscles During Cyclical Movement of the Digits of the Ipsilateral Limb.Tetsuro Muraoka, Masanori Sakamoto, Nobuaki Mizuguchi, Kento Nakagawa & Kazuyuki Kanosue - 2015 - Frontiers in Human Neuroscience 9.
  35.  25
    Weak Axioms of Determinacy and Subsystems of Analysis I: Δ20 Games.Kazuyuki Tanaka - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (6):481-491.
  36.  6
    The Effect of Somatosensory Input on Motor Imagery Depends Upon Motor Imagery Capability.Nobuaki Mizuguchi, Takahiro Yamagishi, Hiroki Nakata & Kazuyuki Kanosue - 2015 - Frontiers in Psychology 6.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  3
    The Galvin-Prikry Theorem and Set Existen Axioms.Kazuyuki Tanaka - 1989 - Annals of Pure and Applied Logic 42 (1):81-104.
  38.  32
    A Non-Standard Construction of Haar Measure and Weak König's Lemma.Kazuyuki Tanaka & Takeshi Yamazaki - 2000 - Journal of Symbolic Logic 65 (1):173-186.
    In this paper, we show within RCA 0 that weak Konig's lemma is necessary and sufficient to prove that any (separable) compact group has a Haar measure. Within WKL 0 , a Haar measure is constructed by a non-standard method based on a fact that every countable non-standard model of WKL 0 has a proper initial part isomorphic to itself [10].
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  39.  2
    Safety and Feasibility of Transcranial Direct Current Stimulation for Cognitive Rehabilitation in Patients With Mild or Major Neurocognitive Disorders: A Randomized Sham-Controlled Pilot Study.Takuma Inagawa, Yuma Yokoi, Zui Narita, Kazushi Maruo, Mitsutoshi Okazaki & Kazuyuki Nakagome - 2019 - Frontiers in Human Neuroscience 13.
  40.  11
    High-Resolution Electron Microscopy Study of Ledge Structures and Transition Lattices at the Austenite–Martensite Interface in Fe-Based Alloys.Kazuyuki Ogawa & Setsuo Kajiwara † - 2004 - Philosophical Magazine 84 (27):2919-2947.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  41.  33
    A Note on the Proof Method for Constructive Falsity.Kazuyuki Tanka - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (2-4):63-64.
  42.  24
    Why, in 1902, Wasn't Frege Prepared to Accept Hume's Principle as the Primitive Law for His Logicist Program?Kazuyuki Nomoto - 2000 - Annals of the Japan Association for Philosophy of Science 9 (5):219-230.
  43.  18
    The Strong Soundness Theorem for Real Closed Fields and Hilbert?S Nullstellensatz in Second Order Arithmetic.Nobuyuki Sakamoto & Kazuyuki Tanaka - 2004 - Archive for Mathematical Logic 43 (3):337-349.
    By RCA 0 , we denote a subsystem of second order arithmetic based on Δ0 1 comprehension and Δ0 1 induction. We show within this system that the real number system R satisfies all the theorems (possibly with non-standard length) of the theory of real closed fields under an appropriate truth definition. This enables us to develop linear algebra and polynomial ring theory over real and complex numbers, so that we particularly obtain Hilbert’s Nullstellensatz in RCA 0.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  49
    Chaotic Neurons and Analog Computation.Kazuyuki Aihara & Jun Kyung Ryeu - 2001 - Behavioral and Brain Sciences 24 (5):810-811.
    Chaotic dynamics can be related to analog computation. A possibility of electronically implementing the chaos -driven contracting system in the target article is explored with an analog electronic circuit with inevitable noise from the viewpoint of analog computation with chaotic neurons.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  45.  19
    A Game-Theoretic Proof of Analytic Ramsey Theorem.Kazuyuki Tanaka - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):301-304.
  46.  20
    Ueber den Zusammenhang zwischen Gedanken, Erkenntniswert und Oratio obliqua bei Frege.Kazuyuki Nomoto - 1990 - Annals of the Japan Association for Philosophy of Science 7 (5):251-266.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  47.  6
    Frege on Indexicals.Kazuyuki Nomoto - 1985 - Annals of the Japan Association for Philosophy of Science 6 (5):253-259.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  48.  11
    A Note on the Proof Method for Constructive Falsity.Kazuyuki Tanka - 1991 - Mathematical Logic Quarterly 37 (2‐4):63-64.
  49.  8
    A Game‐Theoretic Proof of Analytic Ramsey Theorem.Kazuyuki Tanaka - 1992 - Mathematical Logic Quarterly 38 (1):301-304.
    We give a simple game-theoretic proof of Silver's theorem that every analytic set is Ramsey. A set P of subsets of ω is called Ramsey if there exists an infinite set H such that either all infinite subsets of H are in P or all out of P. Our proof clarifies a strong connection between the Ramsey property of partitions and the determinacy of infinite games.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  16
    Software Development and Testing for Machine Learning Studies.Takaki Makino & Kazuyuki Aihara - 2012 - Transactions of the Japanese Society for Artificial Intelligence 27 (4):253-262.
1 — 50 / 66