Results for 'Satoru Kawamura'

107 found
Order:
  1.  28
    Unsolved issues in S-modulin/recoverin study.Satoru Kawamura - 1995 - Behavioral and Brain Sciences 18 (3):479-480.
    S-Modulin is a frog homolog of recoverin. The function and the underlying mechanism of the action of these proteins are now understood in general. However, there remain some unsolved issues including; two distinct effects of S-modulin; Ca2+-dependent binding of S-modulin to membranes and a possible target protein; S-modulin-like proteins in other neurons. These issues are considered in this commentary.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  2. Tōjugaku.Satoru Fujita - 1996 - Hiroshima-shi: Tōjukai.
     
    Export citation  
     
    Bookmark  
  3.  5
    Zen to shūkyō tetsugaku.Eiko Kawamura - 1994 - Tōkyō: Hokuju Shuppan.
  4. Chaos and Cosmos in Zen.Eiko Kawamura - 1994 - Diogenes 42 (165):67-83.
    In the chapter “Fit for Emperors and Kings,” the Chinese philosopher Chuang-tzu relates the myth of Hun-tun, the emperor of chaos, who died when the seven sense openings were bored into him. The story goes: Shu, the ruler of the Southern Sea, and Hu, the ruler of the Northern Sea, met in the realm of Hun-tun, the emperor of the Center, that is to say in the world of true reality that contradicted their own as being one of vast disorder. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  5
    Mediated Minds.Satoru Hirose & Shoji Nagataki - 2014 - Glimpse 15:49-53.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  10
    DNA data bank of Japan as an indispensable public database.Satoru Miyazaki & Yoshio Tateno - 2003 - In Bartha Maria Knoppers (ed.), Populations and genetics: legal and socio-ethical perspectives. Boston: Martinus Nijhoff. pp. 115.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  4
    Nihonjin no seimeikan.Satoru Shinbo (ed.) - 1998 - Tōkyō: Hokuju Shuppan.
    日本の固有の宗教神道より説き起こし、日本の仏教、歌人・念仏者・茶人・武人・医者・妙好人・禅僧・真宗僧侶・作家・俳人と多種な人間像を通して、日本人の生き生きとした生命の躍動感を解き明かす。.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  26
    Emotional discrimination during viewing unpleasant pictures: timing in human anterior ventrolateral prefrontal cortex and amygdala.Satoru Kohno, Madoka Noriuchi, Yoshinobu Iguchi, Yoshiaki Kikuchi & Yoko Hoshi - 2015 - Frontiers in Human Neuroscience 9.
  9. Die Logik der Urteilskraft in der Theorie des Erhabenen bei Kant: Abgrund und Ubergang (in Japanese).Satoru Kimura - 2000 - Bigaku 51 (2):25-36.
    In dieser Abhandlung versuchen wir die Theorie des Erhabenen bei Kant als eine Logik der reflektierenden Urteilskraft darzustellen, die den Ubergang des Sinnlichen ins Ubersinnliche ermoglicht. Die Urteilskraft bezieht die Spannung der Einbildungskraft vor dem Nicht-Darstellbaren auf das Ubersinnliche, und in dieser Beziehung sieht Kant "eine a priori im Subjekte liegende Zweckmassigkeit". Durch die Vorstellung der gewaltigen Natur kann unsere innere Idee erweckt werden, wenn wir berucksichtigen, "dass auf jene moralischen Anlagen bei jeder schicklichen Veranlassung Rucksicht genommen werden sollte". Durch (...)
     
    Export citation  
     
    Bookmark  
  10. Gendai kunʻiku ron.Satoru Umene - 1950
     
    Export citation  
     
    Bookmark  
  11. Shinkyōiku to shakaika.Satoru Umene - 1948
     
    Export citation  
     
    Bookmark  
  12. Nihonjin no seimei rinrikan: ushinawareta seishinsei e no kaiki.Satoru Shinbo (ed.) - 2001 - Tōkyō: Ebisukōshō Shuppan.
     
    Export citation  
     
    Bookmark  
  13. Nihon Zen shisō: tōzai no hikaku shisō no kokoromi.Satoru Shinbo - 1992 - Tōkyō: Hokuju Shuppan.
     
    Export citation  
     
    Bookmark  
  14.  18
    セマンティック Web サービスマッチメーカーの公開実験に基づく評価.Hasegawa Tetsuo Kawamura Takahiro - 2005 - Transactions of the Japanese Society for Artificial Intelligence 20:426-436.
    Experiment with public deployment of the semantic service matchmaker to a UDDI registry for a year is described in this paper. UDDI is a standard registry for Web Services, but, its search functionality has been limited to a keyword search. Therefore, we propose an enhancement of UDDI, called Matchmaker, that supports semantic service capability discovery. Since September 2003, we have deployed the Matchmaker in one of four official UDDI registries operated by NTT-Communications. In this paper, we first introduce the Matchmaker, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  18
    The Visual and Conversational Order of Membership Categories in Fictional Films.Ryo Okazawa & Ken Kawamura - 2022 - Human Studies 45 (3):551-576.
    This paper demonstrates an empirical analysis of the visual order of membership categories in a way consistent with both an early ethnomethodological research interest and recent arguments in membership categorization analysis. Early ethnomethodological studies have highlighted that we can infer and understand the membership categories of observed people about whom we have no information in advance, even without talking to them. Recent membership categorization analysts have argued the methodological importance of using video data. Given this, fictional films serve as video (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  15
    On the Provable Contradictions of the Connexive Logics C and C3.Satoru Niki & Heinrich Wansing - 2023 - Journal of Philosophical Logic 52 (5):1355-1383.
    Despite the tendency to be otherwise, some non-classical logics are known to validate formulas that are invalid in classical logic. A subclass of such systems even possesses pairs of a formula and its negation as theorems, without becoming trivial. How should these provable contradictions be understood? The present paper aims to shed light on aspects of this phenomenon by taking as samples the constructive connexive logic C, which is obtained by a simple modification of a system of constructible falsity, namely (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  17
    Academic Self-Efficacy and Academic Performance in Online Learning: A Mini Review.Satoru Yokoyama - 2019 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  22
    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  
     
    Export citation  
     
    Bookmark  
  19.  15
    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  
  20.  16
    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  
     
    Export citation  
     
    Bookmark  
  21.  11
    Sprague–Grundy theory in bounded arithmetic.Satoru Kuroda - 2021 - Archive for Mathematical Logic 61 (1):233-262.
    We will give a two-sort system which axiomatizes winning strategies for the combinatorial game Node Kayles. It is shown that our system captures alternating polynomial time reasonings in the sense that the provably total functions of the theory corresponds to those computable in APTIME. We will also show that our system is equivalently axiomatized by Sprague–Grundy theorem which states that any Node Kayles position is provably equivalent to some NIM heap.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  12
    Improving Strong Negation.Satoru Niki - 2023 - Review of Symbolic Logic 16 (3):951-977.
    Strong negation is a well-known alternative to the standard negation in intuitionistic logic. It is defined virtually by giving falsity conditions to each of the connectives. Among these, the falsity condition for implication appears to unnecessarily deviate from the standard negation. In this paper, we introduce a slight modification to strong negation, and observe its comparative advantages over the original notion. In addition, we consider the paraconsistent variants of our modification, and study their relationship with non-constructive principles and connexivity.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  41
    High-level pattern coding revealed by brief shape aftereffects.Satoru Suzuki - 2005 - In Colin W. G. Clifford & Gillian Rhodes (eds.), Fitting the Mind to the World: Adaptation and After-Effects in High-Level Vision. Oxford University Press. pp. 135--172.
  24.  15
    Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations.Satoru Niki - 2020 - Bulletin of the Section of Logic 49 (3):231-253.
    We investigate the relationship between M. De's empirical negation in Kripke and Beth Semantics. It turns out empirical negation, as well as co-negation, corresponds to different logics under different semantics. We then establish the relationship between logics related to these negations under unified syntax and semantics based on R. Sylvan's CCω.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  23
    Subminimal Logics in Light of Vakarelov’s Logic.Satoru Niki - 2020 - Studia Logica 108 (5):967-987.
    We investigate a subsystem of minimal logic related to D. Vakarelov’s logic \, using the framework of subminimal logics by A. Colacito, D. de Jongh and A. L. Vargas. In the course of it, the relationship between the two semantics in the respective frameworks is clarified. In addition, we introduce a sequent calculus for the investigated subsystem, and some proof-theoretic properties are established. Lastly, we formulate a new infinite class of subsystems of minimal logics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  10
    Chromatin behavior in living cells: Lessons from single‐nucleosome imaging and tracking.Satoru Ide, Sachiko Tamura & Kazuhiro Maeshima - 2022 - Bioessays 44 (7):2200043.
    Eukaryotic genome DNA is wrapped around core histones and forms a nucleosome structure. Together with associated proteins and RNAs, these nucleosomes are organized three‐dimensionally in the cell as chromatin. Emerging evidence demonstrates that chromatin consists of rather irregular and variable nucleosome arrangements without the regular fiber structure and that its dynamic behavior plays a critical role in regulating various genome functions. Single‐nucleosome imaging is a promising method to investigate chromatin behavior in living cells. It reveals local chromatin motion, which reflects (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  5
    How Can We Overcome the Uncertainties of Scientific Knowledge?Satoru Ikeuchi - 2010 - Kagaku Tetsugaku 43 (2):19-31.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  28. Hōgaku teiyō.Satoru Iwamoto - 1980
     
    Export citation  
     
    Bookmark  
  29. Kagaku to ninshiki kōzō.Satoru Yamamoto - 1984 - Kyōto-shi: Shōwadō. Edited by Teruo Tanabe.
    No categories
     
    Export citation  
     
    Bookmark  
  30.  29
    The constructive completion of the space?Satoru Yoshida - 2005 - Mathematical Logic Quarterly 51 (1):77-82.
    We prove in the framework of Bishop's constructive mathematics that the sequential completion equation image of the space [MATHEMATICAL SCRIPT CAPITAL D] is filter-complete. Then it follows as a corollary that the filter-completeness of [MATHEMATICAL SCRIPT CAPITAL D] is equivalent to the principle BD-ℕ, which can be proved in classical mathematics, Brouwer's intuitionistic mathematics and constructive recursive mathematics of Markov's school, but does not in Bishop's constructive mathematics. We also show that equation image is identical with the filter-completion which was (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  23
    Prolegomena to dynamic epistemic preference logic.Satoru Suzuki - 2009 - In Hattori (ed.), New Frontiers in Artificial Intelligence. Springer. pp. 177--192.
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  89
    The old evidence problem and agm theory.Satoru Suzuki - 2005 - Annals of the Japan Association for Philosophy of Science 13 (2):105-126.
  33.  17
    Double Negation as Minimal Negation.Satoru Niki - 2023 - Journal of Logic, Language and Information 32 (5):861-886.
    N. Kamide introduced a pair of classical and constructive logics, each with a peculiar type of negation: its double negation behaves as classical and intuitionistic negation, respectively. A consequence of this is that the systems prove contradictions but are non-trivial. The present paper aims at giving insights into this phenomenon by investigating subsystems of Kamide’s logics, with a focus on a system in which the double negation behaves as the negation of minimal logic. We establish the negation inconsistency of the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  48
    Hesitant avoidance while walking: an error of social behavior generated by mutual interaction.Motoyasu Honma, Shinichi Koyama & Mitsuru Kawamura - 2015 - Frontiers in Psychology 6.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  35.  6
    Tōyō rinri shisōshi.Norio Satomichi & Satoru Shinbo (eds.) - 1993 - Tōkyō: Hokuju Shuppan.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  8
    Investigations into intuitionistic and other negations.Satoru Niki - 2022 - Bulletin of Symbolic Logic 28 (4):532-532.
    Intuitionistic logic formalises the foundational ideas of L.E.J. Brouwer’s mathematical programme of intuitionism. It is one of the earliest non-classical logics, and the difference between classical and intuitionistic logic may be interpreted to lie in the law of the excluded middle, which asserts that either a proposition is true or its negation is true. This principle is deemed unacceptable from the constructive point of view, in whose understanding the law means that there is an effective procedure to determine the truth (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  7
    Decidable variables for constructive logics.Satoru Niki - 2020 - Mathematical Logic Quarterly 66 (4):484-493.
    Ishihara's problem of decidable variables asks which class of decidable propositional variables is sufficient to warrant classical theorems in intuitionistic logic. We present several refinements to the class proposed by Ishii for this problem, which also allows the class to cover Glivenko's logic. We also treat the extension of the problem to minimal logic, suggesting a couple of new classes.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  16
    Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations.Satoru Niki - 2020 - Bulletin of the Section of Logic 49 (4):359-375.
    We continue the investigation of the first paper where we studied logics with various negations including empirical negation and co-negation. We established how such logics can be treated uniformly with R. Sylvan's CCω as the basis. In this paper we use this result to obtain cut-free labelled sequent calculi for the logics.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  13
    Retrieval stopping can reduce distress from aversive memories.Satoru Nishiyama & Satoru Saito - 2022 - Cognition and Emotion 36 (5):957-974.
    Aversive memories have the potential to impair one’s psychological well-being. It is desirable to reduce the anguish over such memories, as well as the chance that they will be retrieved. In two experiments, we investigated whether retrieval stopping reduces the distress elicited by negative memories retrieved from cues and how the effects of retrieval stopping are modulated by mental disorders, such as depression and anxiety. Participants engaged in retrieval stopping of aversive scene memories without any diversionary thoughts (direct suppression, Experiment (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  13
    科学的理解の観点から見た有機電子論.Satoru Nomura - 2022 - Journal of the Japan Association for Philosophy of Science 50 (1):33-45.
  41.  19
    Spontaneität und Willkür: der Freiheitsbegriff in Kants Antinomienlehre und seine historischen Wurzeln.Katsutoshi Kawamura - 1996
    Die Arbeit verbindet in subtiler Weise begriffsgeschichtliche, quellengeschichtliche, kontextanalytische und kompositionsanalytische Fragestellungen, um die schwierigen Probleme, die die Freiheitsantinomie der Kritik der reinen Vernunft aufwirft, einer Losung naherzubringen. Dabei wird deutlich, wie sehr Kants Freiheitsantinomie in ihrer Formulierung von den Diskussionen abhangt, die in dem Zeitraum zwischen Wolff und Tetens gefuhrt worden sind. Auch Kants beruhmte Dissertation des Jahres 1770 erscheint so in neuem Licht. Kants Freiheitsantinomie erweist sich als Antwort auf Fragen seiner unmittelbaren Vorganger. This work combines issues pertaining (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  42.  19
    Accumulation of rapid and small synaptic increase as a basis for implicit memory.Osamu Hoshino, Satoru Inoue, Yoshiki Kashimori & Takeshi Kambara - 2002 - In Kunio Yasue, Marj Jibu & Tarcisio Della Senta (eds.), No Matter, Never Mind. John Benjamins. pp. 217.
  43.  27
    Pathways of tactile-visual crossmodal interaction for perception.Norihiro Sadato, Satoru Nakashita & Daisuke N. Saito - 2007 - Behavioral and Brain Sciences 30 (2):218-219.
    There is a task-specificity in the visual-tactile interaction for perception: The polymodal posterior parietal cortex is related to the comparison of the shapes coded by different sensory modalities, whereas the lateral occipital complex is the part of the network for multimodal shape identification. These interactions may be mediated by some latent pathways potentiated by sensory deprivation or learning.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  44.  12
    Experimentally induced verbal slips in Japanese.Akie Saito & Satoru Saito - 2002 - In Kunio Yasue, Marj Jibu & Tarcisio Della Senta (eds.), No Matter, Never Mind. John Benjamins. pp. 33--273.
  45.  26
    Left Posterior Orbitofrontal Cortex Is Associated With Odor-Induced Autobiographical Memory: An fMRI Study.Keiko Watanabe, Yuri Masaoka, Mitsuru Kawamura, Masaki Yoshida, Nobuyoshi Koiwa, Akira Yoshikawa, Satomi Kubota, Masahiro Ida, Kenjiro Ono & Masahiko Izumizaki - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  21
    The Bodhisattva Doctrine in Buddhism.Leslie S. Kawamura - 1984 - Philosophy East and West 34 (4):461-464.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  47.  16
    The Development of Learning, Performing, and Controlling Repeated Sequential Actions in Young Children.Kaichi Yanaoka & Satoru Saito - 2022 - Topics in Cognitive Science 14 (2):241-257.
    Topics in Cognitive Science, Volume 14, Issue 2, Page 241-257, April 2022.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48. A constructive look at the completeness of the space $\mathcal{d} (\mathbb{r})$.Hajime Ishihara & Satoru Yoshida - 2002 - Journal of Symbolic Logic 67 (4):1511-1519.
    We show, within the framework of Bishop's constructive mathematics, that (sequential) completeness of the locally convex space $\mathcal{D} (\mathbb{R})$ of test functions is equivalent to the principle BD-N which holds in classical mathemtatics, Brouwer's intuitionism and Markov's constructive recursive mathematics, but does not hold in Bishop's constructivism.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  49.  64
    A constructive look at the completeness of the space (ℝ).Hajime Ishihara & Satoru Yoshida - 2002 - Journal of Symbolic Logic 67 (4):1511-1519.
    We show, within the framework of Bishop's constructive mathematics, that (sequential) completeness of the locally convex space $\mathcal{D} (\mathbb{R})$ of test functions is equivalent to the principle BD-N which holds in classical mathemtatics, Brouwer's intuitionism and Markov's constructive recursive mathematics, but does not hold in Bishop's constructivism.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  50.  12
    Reading What is Not There: Ethnomethodological Analysis of the Membership Category, Action, and Reason in Novels and Short Stories.Ken Kawamura & Ryo Okazawa - 2023 - Human Studies 46 (1):117-135.
    This paper investigates how the reader of prose fiction fills in the blanks regarding a fictional character’s membership category, action, and reason for the action. Aligning with an ethnomethodological approach to texts and appropriating membership categorization analysis (MCA), we analyze how the readers of J. D. Salinger, an author whose works are well known for their ambiguity and ambivalence, would grasp the unwritten identities of characters and the meanings of their actions. Our analysis specifies two types of methods deployed for (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 107