Results for 'Kazuyuki Shinohara'

64 found
Order:
  1.  8
    fNIRS Studies on Hemispheric Asymmetry in Atypical Neural Function in Developmental Disorders.Hirokazu Doi & Kazuyuki Shinohara - 2017 - Frontiers in Human Neuroscience 11.
  2.  65
    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  
  3.  11
    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.
  4.  18
    Maximum Marginal Likelihood Estimation and Constrained Optimization in Image Restoration.Kazuyuki Tanaka - 2001 - Transactions of the Japanese Society for Artificial Intelligence 16:246-258.
  5.  4
    Review: Kazuyuki Tanaka, The Galvin-Prikry Theorem and Set Existence Axioms. [REVIEW]F. R. Drake - 1991 - Journal of Symbolic Logic 56 (1):334-334.
  6.  7
    Eight Different Decagonal Tilings Derived From Rhombic Penrose Tiling.Kazuyuki Kato & Akiji Yamamoto - 2011 - Philosophical Magazine 91 (19-21):2579-2586.
  7.  35
    Buddhism and Confucianism in Ch’I-Sung’s Essay on Teaching.Koichi Shinohara - 1982 - Journal of Chinese Philosophy 9 (4):401-422.
  8.  14
    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   1 citation  
  9.  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  
  10.  4
    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.
  11. Visual and Proprioceptive Perceptions Evoke Motion-Sound Symbolism: Different Acceleration Profiles Are Associated With Different Types of Consonants.Kazuko Shinohara, Shigeto Kawahara & Hideyuki Tanaka - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  20
    Religion and Political Order in Nichiren's Buddhism.Koichi Shinohara - 1981 - Japanese Journal of Religious Studies 8 (3-4):225-235.
  13.  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  
  14.  36
    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.
  15.  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)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  5
    The Methodology and Structure of Gottlob Frege's Logico-Philosophical Investigations.Kazuyuki Nomoto - 2006 - Annals of the Japan Association for Philosophy of Science 14 (2):73-97.
  17.  11
    Philosophy of Science in Japan in 1991-1995.Kazuyuki Nomoto - 1997 - Annals of the Japan Association for Philosophy of Science 9 (2):87-94.
  18.  8
    Glaubenss^|^auml;tze und direkter Bezug.Kazuyuki Nomoto - 1993 - Annals of the Japan Association for Philosophy of Science 8 (3):137-161.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  21
    Glaubenssatze and direkter Bezug.Kazuyuki Nomoto - 1993 - Annals of the Japan Association for Philosophy of Science 8 (3):137-161.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  14
    Frege on Indexicals.Kazuyuki Nomoto - 1985 - Annals of the Japan Association for Philosophy of Science 6 (5):253-259.
  21. 日本科学哲学会50周年の回顧.Kazuyuki Nomoto - 2017 - Kagaku Tetsugaku 50:1-34.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  2
    Immersive Virtual Reality Reminiscence Reduces Anxiety in the Oldest-Old Without Causing Serious Side Effects: A Single-Center, Pilot, and Randomized Crossover Study.Kazuyuki Niki, Megumi Yahara, Michiya Inagaki, Nana Takahashi, Akira Watanabe, Takeshi Okuda, Mikiko Ueda, Daisuke Iwai, Kosuke Sato & Toshinori Ito - 2021 - Frontiers in Human Neuroscience 14.
    Background: Dementia is one the major problems of aging societies, and, novel and effective non-drug therapies are required as interventions in the oldest-old to prevent cognitive decline.Objective: This study aims to examine the efficacy and safety of reminiscence using immersive virtual reality focusing on anxiety that often appears with cognitive decline. The secondary objective is to reveal the preference for VR image types for reminiscence: live-action or computer graphics.Methods: This was a pilot, open-label, and randomized crossover study which was conducted (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  7
    TAP Equation for Non-Negative Boltzmann Machine.Muneki Yasuda & Kazuyuki Tanaka - 2012 - Philosophical Magazine 92 (1-3):192-209.
  24.  14
    Infinite Games and Transfinite Recursion of Multiple Inductive Definitions.Keisuke Yoshii & Kazuyuki Tanaka - 2012 - In S. Barry Cooper (ed.), How the World Computes. pp. 374--383.
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  13
    Comments on Prof. Kazuyuki Nomoto's Paper.Per Martin-Lof - 2006 - Annals of the Japan Association for Philosophy of Science 14 (2):98-99.
  26.  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  
  27.  13
    A Note on the Proof Method for Constructive Falsity.Kazuyuki Tanka - 1991 - Mathematical Logic Quarterly 37 (2‐4):63-64.
  28.  35
    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.
  29.  46
    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   4 citations  
  30.  26
    A Game-Theoretic Proof of Analytic Ramsey Theorem.Kazuyuki Tanaka - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):301-304.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  9
    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  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  7
    Social Percolation in Relations Between Activists and Supporters.Kazuyuki Ikko Takahashi & Ryousuke Murai - 2006 - Complexity 11 (6):51-56.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  15
    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   16 citations  
  34.  30
    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.
  35.  7
    The Galvin-Prikry Theorem and Set Existen Axioms.Kazuyuki Tanaka - 1989 - Annals of Pure and Applied Logic 42 (1):81-104.
  36.  33
    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  
     
    Export citation  
     
    Bookmark   7 citations  
  37.  13
    Comments on Prof. Kazuyuki Nomoto's Paper.Per Martin-Löf - 2006 - Annals of the Japan Association for Philosophy of Science 14 (2):98-99.
  38. 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  
  39.  19
    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 (5 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  40.  41
    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  
  41.  13
    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   13 citations  
  42.  17
    Δ 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   13 citations  
  43.  23
    [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   12 citations  
  44.  6
    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  
  45.  15
    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  
  46.  2
    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)  
     
    Export citation  
     
    Bookmark  
  47. Spells, Images, and Mandalas: Tracing the Evolution of Esoteric Buddhist Rituals. By Koichi Shinohara.Paul Copp - 2021 - Journal of the American Oriental Society 135 (4).
    Spells, Images, and Mandalas: Tracing the Evolution of Esoteric Buddhist Rituals. By Koichi Shinohara. The Sheng Yen Series in Chinese Buddhist Studies. New York: Columbia University Press, 2014. Pp. xxii + 324. $55.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  40
    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 (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  49.  12
    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.
  50.  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.
1 — 50 / 64