Results for 'Satoshi Kuroda'

236 found
Order:
  1.  22
    Boundary EEG Asymmetry Is Associated to Linguistic Competence in Vascular Cognitive Impairments.Takashi Shibata, Toshimitu Musha, Yukio Kosugi, Michiya Kubo, Yukio Horie, Mieko Tanaka, Haruyasu Matsuzaki, Yohei Kobayashi & Satoshi Kuroda - 2018 - Frontiers in Human Neuroscience 12.
  2.  23
    David G. Cantor. On the Ambiguity Problem of Backus Systems. Journal of the Association for Computing Machinery, Vol. 9 , Pp. 477–479. [REVIEW]S. -Y. Kuroda - 1967 - Journal of Symbolic Logic 32 (1):114.
  3.  17
    Sheila A. Greibach. The Undecidability of the Ambiguity Problem for Minimal Linear Grammars. Information and Control, Vol. 6 , Pp. 119–125. [REVIEW]S.-Y. Kuroda - 1967 - Journal of Symbolic Logic 32 (1):114-115.
  4.  15
    Tadeusz Batóg. A Contribution to Axiomatic Phonology. English, with Polish and Russian Summaries. Studia Logica, Vol. 13 , Pp. 67–80. [REVIEW]S. -Y. Kuroda - 1966 - Journal of Symbolic Logic 31 (2):251.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  12
    Peter S. Landweber. Decision Problems of Phrase-Structure Grammars. IEEE Transactions on Electronic Computers, Vol. EC-13 , Pp. 354–362. [REVIEW]S. -Y. Kuroda - 1967 - Journal of Symbolic Logic 32 (1):115.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  21
    The Categorical and the Thetic Judgment: Evidence From Japanese Syntax.S. Kuroda - 1972 - Foundations of Language 9 (2):153-185.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  7.  12
    Takeo Sugihara. Brouwer ronrigaku no tachi-ronrigaku-teki tokusei . Kagaku, vol. 21 no. 6 , pp. 294–295.S. Kuroda - 1955 - Journal of Symbolic Logic 20 (2):172-173.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8.  9
    Structural and Stratigraphic Feature Delineation and Facies Distribution Using Seismic Attributes and Well Log Analysis Applied to a Brazilian Carbonate Field.Juliana Finoto Bueno, Bruno César Zanardo Honório, Michelle Chaves Kuroda, Alexandre Campane Vidal & Emilson Pereira Leite - 2014 - Interpretation: SEG 2 (1):SA83-SA92.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  6
    Indexed Predicate Calculus.S. -Y. Kuroda - 1982 - Journal of Semantics 1 (1):43-59.
    A programme to construct an extension of predicate calculus is proposed in which predicates and constants are indexed and interpreted with respect to different (mini-)vorlds reffered to by indices. From another perspective the proposed system is an extension of the idea of indexing noun phrases in syntactic representations in generative grammar. Some applications are given, bx particular, it is applied to the description of ambiguities in intensional contexts, and a comparison is made with a description recently given by Saarinen.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  10.  17
    The Development of the Kenmitsu System as Japan’s Medieval Orthodoxy.Toshio Kuroda - 1996 - Japanese Journal of Religious Studies 23 (3-4):233-269.
  11.  26
    Buddhism and Society in the Medieval Estate System.Toshio Kuroda - 1996 - Japanese Journal of Religious Studies 23 (3-4):287-319.
  12.  38
    A Formal Theory of Speech Acts.S. -Y. Kuroda - 1986 - Linguistics and Philosophy 9 (4):495 - 524.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  9
    Multiple Looks of Auditory Empty Durations Both Improve and Impair Temporal Sensitivity.Tsuyoshi Kuroda, Daiki Yoshioka, Tomoya Ueda & Makoto Miyazaki - 2018 - Frontiers in Human Neuroscience 12.
  14.  18
    Suetuna Zyoiti. Sizensû Zentai to Yû Koto Ni Tuite . Kisokagaku, No. 25 , Pp. 1–3.S. Kuroda - 1956 - Journal of Symbolic Logic 21 (1):95-95.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  15.  26
    An Explanatory Theory of Communicative Intentions.S. -Y. Kuroda - 1989 - Linguistics and Philosophy 12 (6):655 - 681.
  16.  27
    Experimental Reconsideration of Spatio‐Temporal Dynamics Observed in Fluid‐Elastic Oscillator Arrays From Complex System Viewpoint: From Vibrating Pipes in Heat Exchangers to Waving Plants in Agricultural Fields.Masaharu Kuroda & Francis C. Moon - 2007 - Complexity 12 (4):36-47.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  17.  19
    Mino-Ch'ing Studies in Japan: 1978.Miki Satoshi & Shigaku Zasshi - 1984 - Chinese Studies in History 18 (1-2):3-22.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  7
    REM Sleep Deprivation Reduces Emotionality in Female Rats.Robert A. Hicks, Steven Gomez, Linda Gonzales, Maxine Kuroda, Nicolas J. Orme & Joe Reyes - 1981 - Bulletin of the Psychonomic Society 17 (5):244-245.
  19.  13
    Analysis of Porosity, Stratigraphy, and Structural Delineation of a Brazilian Carbonate Field by Machine Learning Techniques: A Case Study.Michelle Chaves Kuroda, Alexandre Campane Vidal & João Paulo Papa - 2016 - Interpretation: SEG 4 (3):T347-T358.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  17
    Locking of the Ring Finger at Proximal Interphalangeal Joint Due to a Sesamoid Bone: A Case Report.Yasuhiro Seki, Yuko Hoshino & Hiroshi Kuroda - 2012 - In Zdravko Radman (ed.), The Hand. MIT Press. pp. 7--1.
  21.  12
    Suetuna Zyoiti. Über Die Grundlagen der Mathematik. Proceedings of the Japan Academy, Vol. 27 , Pp. 389–392.S. Kuroda - 1956 - Journal of Symbolic Logic 21 (1):94-94.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  22.  12
    The Discourse on the “Land of Kami” in Medieval Japan: National Consciousness and International Awareness.Toshio Kuroda - 1996 - Japanese Journal of Religious Studies 23 (3-4):353-385.
  23.  11
    Influence of Relationship Between Agents' Appearance and Behaviors to Buying Motivation in Online Shopping.Takuya Kuroda, Seiji Yamada & Kazunori Terada - 2016 - Transactions of the Japanese Society for Artificial Intelligence 31 (2):G-F78_1-11.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  28
    Some Thoughts on the Foundations of the Theory of Language Use.S. -Y. Kuroda - 1979 - Linguistics and Philosophy 3 (1):1 - 17.
    I identify three functions of language: the communicative, the objectifying, and the objective. I claim that of these three functions, the objective function is the most essential, in the sense specified in the paper, and the communicative the least. I further indicate that language use without the communicative function is more prevalent than might commonly be believed.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  25.  9
    Itô Kiyoshi. Sûgaku No Kiso to Siteno Syûgôron . Kagaku Kiso Ron Kenkyû , Vol. 1 No. 1 , Pp. 8–12.S. Kuroda - 1956 - Journal of Symbolic Logic 21 (1):95-95.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  26.  8
    Reed Town, Japan: A Study in Community Power Structure and Political Change.Thomas O. Wilkinson & Yasumasa Kuroda - 1979 - Journal of the American Oriental Society 99 (3):503.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  13
    Knowledge Discovery From Consumer Behavior in an Alcohol Market by Using Graph Mining Technique.Mami Kuroda, Katsutoshi Yada, Hiroshi Motoda & Takashi Washio - forthcoming - Proc. Of Joint Workshop of Vietnamese Society of Ai, Sigkbs-Jsai, Ics-Ipsj and Ieice-Sigai.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  10
    Generalized Quantifier and a Bounded Arithmetic Theory for LOGCFL.Satoru Kuroda - 2007 - Archive for Mathematical Logic 46 (5-6):489-516.
    We define a theory of two-sort bounded arithmetic whose provably total functions are exactly those in ${\mathcal{F}_{LOGCFL}}$ by way of a generalized quantifier that expresses computations of SAC 1 circuits. The proof depends on Kolokolova’s conditions for the connection between the provable capture in two-sort theories and descriptive complexity.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  11
    Edmund Husserl, Grammaire Générale Et Raisonnée and Anton Marty.S. -Y. Kuroda - 1973 - Foundations of Language 10 (2):169-195.
  30.  7
    Ômori Shozo. Naihó Ronrigaku No Keiskikika . The Proceedings of the Department of Humanities, College of General Education, University of Tokyo, Series of Philosophy, Vol. 3 No. 1 , Pp. 129–149. [REVIEW]S. Kuroda - 1955 - Journal of Symbolic Logic 20 (2):173-173.
  31.  9
    On a Theory for AC0 and the Strength of the Induction Scheme.Satoru Kuroda - 1998 - Mathematical Logic Quarterly 44 (3):417-426.
    We define a fragment of Primitive Recursive Arithmetic by replacing the defining axioms for primitive recursive functions by those for functions in some specific complexity class. In this note we consider such theory for AC0. We present a model-theoretical property of this theory, by means of which we are able to characterize its provably total functions. Next we consider the problem of how strong the induction scheme can be in this theory.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  32.  10
    Review: Shozo Omori, Formalization of an Intensional Logic. [REVIEW]S. Kuroda - 1955 - Journal of Symbolic Logic 20 (2):173-173.
  33.  6
    The World of Spirit Pacification: Issues of State and Religion.Toshio Kuroda - 1996 - Japanese Journal of Religious Studies 23 (3-4):321-351.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  6
    Collaborative Dynamic Acquisition of Simulation Models for Micro Chemical Plant.Naoki Kimura, Hideyuki Matsumoto & Chiaki Kuroda - 2006 - Transactions of the Japanese Society for Artificial Intelligence 21:36-44.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  9
    An Independence Result on Weak Second Order Bounded Arithmetic.Satoru Kuroda - 2001 - Mathematical Logic Quarterly 47 (2):183-186.
    We show that length initial submodels of S12 can be extended to a model of weak second order arithmetic. As a corollary we show that the theory of length induction for polynomially bounded second order existential formulae cannot define the function division.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  5
    Heyting A.. Espace de Hilbert Et Intuitionnisme. Les Méthodes Formelles En Axiomatique, Paris Décembre 1950, Colloques Internationaux du Centre National de la Recherche Scientifique No. 36, Paris 1953, Pp. 59–63.Bernays Paul, Hermes H., Heyting A., Johansson Ingebrigt, Robinson Abraham. Discussion. Les Méthodes Formelles En Axiomatique, Paris Décembre 1950, Colloques Internationaux du Centre National de la Recherche Scientifique No. 36, Paris 1953, P. 64. [REVIEW]Sigekatu Kuroda - 1958 - Journal of Symbolic Logic 23 (2):228-229.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  37.  5
    The Calming Effect of Maternal Carrying in Different Mammalian Species.Gianluca Esposito, Peipei Setoh, Sachine Yoshida & Kumi O. Kuroda - 2015 - Frontiers in Psychology 6.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  38.  5
    In-situTEM Observation of Transformation of Dislocations From Shuffle to Glide Sets in Si Under Supersaturation of Interstitials.H. Saka, K. Yamamoto, S. Arai & K. Kuroda - 2006 - Philosophical Magazine 86 (29-31):4841-4850.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  8
    Anton Marty and the Transformational Theory of Grammar.S. Kuroda - 1972 - Foundations of Language 9 (1):1-37.
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  6
    The Imperial Law and the Buddhist Law.Toshio Kuroda & Jacqueline Stone - 1996 - Japanese Journal of Religious Studies 23 (3-4):271-285.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  4
    Heyting A.. Intuitionism. An Introduction. Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company, Amsterdam 1956, VIII + 133 Pp. [REVIEW]Sigekatu Kuroda - 1956 - Journal of Symbolic Logic 21 (4):367-371.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  6
    Two Remarks on Pronominalization.S. Kuroda - 1971 - Foundations of Language 7 (2):183-198.
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  4
    Review: Zyoiti Suetuna, Uber die Grundlagen der Mathematik. [REVIEW]S. Kuroda - 1956 - Journal of Symbolic Logic 21 (1):94-94.
    Direct download (8 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  44.  4
    Review: Zyoiti Suetuna, On the Notion of the Totality of Natural Numbers. [REVIEW]S. Kuroda - 1956 - Journal of Symbolic Logic 21 (1):95-95.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  45.  3
    A Study of Japanese Syntax.S. -Y. Kuroda & Kazuko Inoue - 1972 - Journal of the American Oriental Society 92 (2):353.
  46.  3
    Murata Zen. Syûgô to Sono Kanketusei—Syûgô Gainen to Zikangainen to No Kôsyô— . Kisokagaku, No. 30 , Pp. 14–20.S. Kuroda - 1956 - Journal of Symbolic Logic 21 (1):95-95.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47.  4
    Causative Forms in Japanese.S. Kuroda - 1965 - Foundations of Language 1 (1):30-50.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  6
    An Investigation on the Logical Structure of Mathematics (V).1 Contradictions of Russell's Type.Sigekatu Kuroda - 1958 - Journal of Symbolic Logic 23 (4):393-407.
  49.  2
    Review: Kiyoshi Ito, Set Theory as Foundation of Mathematics. [REVIEW]S. Kuroda - 1956 - Journal of Symbolic Logic 21 (1):95-95.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  2
    Review: Takeo Sugihara, Many-Valued Logical Characteristics of Brouwerian Logic. [REVIEW]S. Kuroda - 1955 - Journal of Symbolic Logic 20 (2):172-173.
1 — 50 / 236