Results for 'Daisuke Souma'

97 found
Order:
  1.  21
    An Algebraic Approach to the Disjunction Property of Substructural Logics.Daisuke Souma - 2007 - Notre Dame Journal of Formal Logic 48 (4):489-495.
    Some of the basic substructural logics are shown by Ono to have the disjunction property (DP) by using cut elimination of sequent calculi for these logics. On the other hand, this syntactic method works only for a limited number of substructural logics. Here we show that Maksimova's criterion on the DP of superintuitionistic logics can be naturally extended to one on the DP of substructural logics over FL. By using this, we show the DP for some of the substructural logics (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  2. Validity in Simple Partial Logic.Daisuke Kachi - 2002 - Annals of the Japan Association for Philosophy of Science 10 (4):139-153.
    Firstly I characterize Simple Partial Logic (SPL) as the generalization and extension of a certain two-valued logic. Based on the characterization I present two definitions of validity in SPL. Finally I show that given my characterization these two definitions are more appropriate than other definitions that have been prevalent, since both have some desirable semantic properties that the others lack.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  6
    Lost in Translation?Daisuke Arie - 2019 - Revue D’Études Benthamiennes 16.
    La présente étude examine comment les intellectuels japonais tentèrent d’introduire l’utilitarisme lors du premier stade d’un processus de modernisation dans la seconde moitié du XIXe siècle. Elle décrit les efforts significatifs qu’ils consacrèrent à la traduction des œuvres ou des textes de Bentham et de Mill en créant de nombreux mots japonais nouveaux. Car, jusqu’à la fin de la société agraire quasi féodale du shogunat Tokugawa, il n’y avait quasiment pas eu de concepts équivalents pour des notions telles que l’individu, (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  12
    Forcing Absoluteness and Regularity Properties.Daisuke Ikegami - 2010 - Annals of Pure and Applied Logic 161 (7):879-894.
    For a large natural class of forcing notions, we prove general equivalence theorems between forcing absoluteness statements, regularity properties, and transcendence properties over and the core model . We use our results to answer open questions from set theory of the reals.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  5.  14
    A Method for Extracting Important Segments From Documents Using Support Vector Machines: Toward Automatic Text SummarizationSupport Vector Machineを用いた文書の重要文節抽出―要約文生成に向けて―.Daisuke Suzuki & Akira Utsumi - 2006 - Transactions of the Japanese Society for Artificial Intelligence 21:330-339.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  5
    Query Mining Based on Term Relationship Estimation in Verbal Queries.Daisuke Fukuchi, Takehiro Yamamoto & Katsumi Tanaka - 2017 - Transactions of the Japanese Society for Artificial Intelligence 32 (1):WII-J_1-15.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  7
    Cross-Media Translation Based on the Mental Image Directed Semantic Theory-Pictorial Interpretation of Natural Language Texts of Static Positional Relations-.心像意味論に基づく異種メディア間翻訳―静的位置関係に関する自然言語文章の図的解釈―.Daisuke Hironaka & Masao Yokota - 2003 - Transactions of the Japanese Society for Artificial Intelligence 18:233-244.
  8. Nishida Kitarō: Rekishi No Ronrigaku.Daisuke Araya - 2008 - Kōdansha.
    Translate
     
     
    Export citation  
     
    Bookmark  
  9.  11
    Monads and Meta-Lambda Calculus.Daisuke Bekki - 2009 - In Hattori (ed.), New Frontiers in Artificial Intelligence. Springer. pp. 193--208.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10. Motor Engagement Enhances Incidental Memory for Task-Irrelevant Items.Daisuke Shimane, Takumi Tanaka, Katsumi Watanabe & Kanji Tanaka - 2022 - Frontiers in Psychology 13.
    Actions shape what we see and memorize. A previous study suggested the interaction between motor and memory systems by showing that memory encoding for task-irrelevant items was enhanced when presented with motor-response cues. However, in the studies on the attentional boost effect, it has been revealed that detection of the target stimulus can lead to memory enhancement without requiring overt action. Thus, the direct link between the action and memory remains unclear. To exclude the effect of the target detection process (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. Psychosocial Characteristics of Victims of Special Fraud Among Japanese Older Adults: A Cross-Sectional Study Using Scam Vulnerability Scale.Daisuke Ueno, Masashi Arakawa, Yasunori Fujii, Shoka Amano, Yuka Kato, Teruyuki Matsuoka & Jin Narumoto - 2022 - Frontiers in Psychology 13.
    Despite the police preventing special fraud victimisation of older adults, both the number of cases and the amount of damage have remained high in Japan. ‘Special fraud’, in Japan, is a crime in which victims are tricked by fraudsters who through phone or postcards impersonate the victims’ relatives, employees and other associates, to dupe the victims of their cash or other valuables. The number of recognised cases of special fraud has been turned to increase in 2021. Although police or consumer (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  23
    Web-Based Video Annotation and its Applications.Daisuke Yamamoto & Katashi Nagao - 2005 - Transactions of the Japanese Society for Artificial Intelligence 20:67-75.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  14
    Methods for Evaluating Emotions Evoked by Food Experiences: A Literature Review.Daisuke Kaneko, Alexander Toet, Anne-Marie Brouwer, Victor Kallen & Jan B. F. van Erp - 2018 - Frontiers in Psychology 9.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  14.  10
    On a Class of Maximality Principles.Daisuke Ikegami & Nam Trang - 2018 - Archive for Mathematical Logic 57 (5-6):713-725.
    We study various classes of maximality principles, \\), introduced by Hamkins :527–550, 2003), where \ defines a class of forcing posets and \ is an infinite cardinal. We explore the consistency strength and the relationship of \\) with various forcing axioms when \. In particular, we give a characterization of bounded forcing axioms for a class of forcings \ in terms of maximality principles MP\\) for \ formulas. A significant part of the paper is devoted to studying the principle MP\\) (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  16
    Multilevel Analysis of Individual Differences in Regularities of Grapheme–Color Associations in Synesthesia.Daisuke Hamada, Hiroki Yamamoto & Jun Saiki - 2017 - Consciousness and Cognition 53:122-135.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  5
    Digit Forces Bias Sensorimotor Transformations Underlying Control of Fingertip Position.Daisuke Shibata, Astrid M. L. Kappers & Marco Santello - 2014 - Frontiers in Human Neuroscience 8.
  17.  11
    Dynamic CSP with Decision Transition Costs and its Solutions.Daisuke Hatano & Katsutoshi Hirayama - 2013 - Transactions of the Japanese Society for Artificial Intelligence 28 (1):34-42.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  4
    Association Between Synesthetic Colors and Sensitivity to Physical Colors Changed by Type of Synesthetic Experience in Grapheme-Color Synesthesia.Daisuke Hamada, Hiroki Yamamoto & Jun Saiki - 2020 - Consciousness and Cognition 83:102973.
  19.  7
    Dynamic SAT with Decision Change Costs: Formalization and Solutions.Daisuke Hatano & Katsutoshi Hirayama - 2011 - Transactions of the Japanese Society for Artificial Intelligence 26 (6):682-691.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  31
    Boolean-Valued Second-Order Logic.Daisuke Ikegami & Jouko Väänänen - 2015 - Notre Dame Journal of Formal Logic 56 (1):167-190.
    In so-called full second-order logic, the second-order variables range over all subsets and relations of the domain in question. In so-called Henkin second-order logic, every model is endowed with a set of subsets and relations which will serve as the range of the second-order variables. In our Boolean-valued second-order logic, the second-order variables range over all Boolean-valued subsets and relations on the domain. We show that under large cardinal assumptions Boolean-valued second-order logic is more robust than full second-order logic. Its (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  10
    Collaborative Video Annotation by Sharing Tag Clouds.Daisuke Yamamoto, Tomoki Masuda, Shigeki Ohira & Katashi Nagao - 2010 - Transactions of the Japanese Society for Artificial Intelligence 25 (2):243-251.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  31
    Social Relationship of a Firm and the CSP–CFP Relationship in Japan: Using Artificial Neural Networks.Daisuke Okamoto - 2009 - Journal of Business Ethics 87 (1):117-132.
    As a criterion of a good firm, a lucrative and growing business has been said to be important. Recently, however, high profitability and high growth potential are insufficient for the criteria, because social influences exerted by recent firms have been extremely significant. In this paper, high social relationship is added to the list of the criteria. Empirical corporate social performance versus corporate financial performance (CSP–CFP) relationship studies that consider social relationship are very limited in Japan, and there are no definite (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  23.  8
    Signaling Mechanisms in Induction of the R7 Photoreceptor in the Developing Drosophila Retina.Daisuke Yamamoto - 1994 - Bioessays 16 (4):237-244.
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  69
    Projective Absoluteness for Sacks Forcing.Daisuke Ikegami - 2009 - Archive for Mathematical Logic 48 (7):679-690.
    We show that ${{\bf \Sigma}^1_3}$ -absoluteness for Sacks forcing is equivalent to the non-existence of a ${{\bf \Delta}^1_2}$ Bernstein set. We also show that Sacks forcing is the weakest forcing notion among all of the preorders that add a new real with respect to ${{\bf \Sigma}^1_3}$ forcing absoluteness.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  5
    Cavaillès on the Role of Intuition in the Emergence of Set Theory.Daisuke Nakamura - 2013 - Kagaku Tetsugaku 46 (1):53-68.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  7
    How Group Perception Affects What People Share and How People Feel: The Role of Entitativity and Epistemic Trust in the “Saying-Is-Believing” Effect.Tingchang Liang, Zhao Lin & Toshihiko Souma - 2021 - Frontiers in Psychology 12.
    This research investigated how interpersonal communication with a large audience can influence communicators’ attitudes. Research on the saying-is-believing effect has shown that when an individual’s attitude is perceived in advance by a communicator, the communicator tunes the message to the person, which biases the communicator’s attitude toward the person’s attitude. In this study, we examined the conditions under which audience tuning and attitude bias can occur with audiences containing more than one individual. We manipulated communicators’ perceived group entity for a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  38
    The Axiom of Real Blackwell Determinacy.Daisuke Ikegami, David de Kloet & Benedikt Löwe - 2012 - Archive for Mathematical Logic 51 (7-8):671-685.
    The theory of infinite games with slightly imperfect information has been developed for games with finitely and countably many moves. In this paper, we shift the discussion to games with uncountably many possible moves, introducing the axiom of real Blackwell determinacy ${\mathsf{Bl-AD}_\mathbb{R}}$ (as an analogue of the axiom of real determinacy ${\mathsf{AD}_\mathbb{R}}$ ). We prove that the consistency strength of ${\mathsf{Bl-AD}_\mathbb{R}}$ is strictly greater than that of AD.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  28.  5
    Nitric Oxide is Involved in Cerebellar Long-Term Depression.Daisuke Okada - 1996 - Behavioral and Brain Sciences 19 (3):468-469.
    The involvement of nitric oxide in cerebellar long-term depression is supported by the observation that nitric oxide is released by climbing fiber stimulation and by pharmacological tool usage. Two forms of long-term depression should be distinguished by their physiological relevance. [CRÉPEL et al.; LINDEN; VINCENT].
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  10
    The Transcendental Structure in the First Works of Jean Cavaillès.Daisuke Nakamura - 2010 - Kagaku Tetsugaku 43 (2):67-79.
  30. Collaboration Among Psychological Researchers, the Government, and Non-Profit Organizations for “Konkatsu” (Marriage Hunting) in Japan.Takashi Nishimura, Toshihiko Souma, Mie Kito, Junichi Taniguchi, Yuji Kanemasa, Junko Yamada & Yuki Miyagawa - 2022 - Frontiers in Psychology 13.
    In contemporary Japanese society, it is difficult to find a marriage partner, and therefore, “Konkatsu,” the search for a marriage partner, has become a socially accepted activity in Japan. In response to this social challenge, in addition to private companies, governments and non-profit organizations are supporting individuals in their search for a marriage partner. This paper reviews statistical information related to marriage hunting published in Japan. In addition, some of the authors’ collaborative activities and academic publications based on these activities (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  15
    Effect of Agency to Teleoperated Communication Robot by Semi-Autonomous Nod.Daisuke Nakamichi & Shuichi Nishio - 2016 - Transactions of the Japanese Society for Artificial Intelligence 31 (2):H-F81_1-10.
  32.  8
    Methodological Considerations in Studying Awareness During Learning: Part 1: Implicit Learning.Daisuke Nakamura - 2013 - Polish Psychological Bulletin 44 (1):102-117.
    Methodological problems of how awareness during learning should be measured have been extensively discussed and investigated in cognitive psychology. This review considers; 1)whether amnesics can perform implicit learning tasks at a similar level to normal controls, 2) whether differences in instructional orientations create dissociations in performance in tests of implicit and explicit knowledge, and 3) whether participants can retrospectively verbalise the learning outcomes. The paper concludes that; amnesics’ implicit learning abilities differ from the normal controls, instructions on implicit learning do (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  17
    Born to Bind: The BTB Protein–Protein Interaction Domain.Roberto Perez-Torrado, Daisuke Yamada & Pierre-Antoine Defossez - 2006 - Bioessays 28 (12):1194-1202.
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  5
    Methodological Considerations in Studying Awareness During Learning. Part 2: Second Language Acquisition.Daisuke Nakamura - 2013 - Polish Psychological Bulletin 44 (3):337-353.
    This paper considers methodological issues of awareness during adult second language acquisition. Specifically, the paper deals with the issue of instructional orientations, the issue of biases in knowledge measurement, and the issue of reactivity in the online think-aloud protocol. Detailed reviews of prominent SLA research that has investigated the possibility of implicit SLA reveal that the instruction on implicit learning does not guarantee that learners engage in the implicit learning mode, that the majority of SLA research has employed only tests (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  14
    Modeling Negotiation by a Paticipatory Approach.Daisuke Torii, Toru Ishida & François Bousquet - 2006 - Transactions of the Japanese Society for Artificial Intelligence 21:287-294.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  36.  8
    Word Co-Occurrence Analysis with Utterance Pairs for Spoken Dialogue System.Yuka Kobayashi, Daisuke Yamamoto & Miwako Doi - 2013 - Transactions of the Japanese Society for Artificial Intelligence 28 (2):141-148.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37.  6
    Learning to Shift the Polarity of Words for Sentiment Classification.Daisuke Ikeda, Hiroya Takamura & Manabu Okumura - 2010 - Transactions of the Japanese Society for Artificial Intelligence 25 (1):50-57.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  38. Was Łukasiewicz Wrong? : Three-Valued Logic and Determinism.Daisuke Kachi - 1996 - In Łukasiewicz in Dublin -- An International Conference on the Work of Jan Łukasiewicz.
    Łukasiewicz has often been criticized for his motive for inventing his three-valued logic, namely the avoidance of determinism. First of all, I want to show that almost all of the critcism along this line was wrong. Second I will indicate that he made mistakes, however, in constructing his system, because he had other motives at the same time. Finally I will propose some modification of his system and its interpretation which can attain his original purpose in some sense.
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  12
    Construction of Interaction Layer on Socio-Environmental Simulation.Daisuke Torii & Toru Ishida - 2006 - Transactions of the Japanese Society for Artificial Intelligence 21:28-35.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  4
    Evolutionary Design of Cellular Automata Using Knowledge-Based Genetic Algorithms.Daisuke Ichiba & Hitoshi Kanoh - 2006 - Transactions of the Japanese Society for Artificial Intelligence 21:103-112.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  1
    Determinacy and Regularity Properties for Idealized Forcings.Daisuke Ikegami - 2022 - Mathematical Logic Quarterly 68 (3):310-317.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42. The Power of Holes.Daisuke Kachi - 2011 - Ontology Meeting: A Supplementary Volume for 2011, February Meeting:7-11.
    Firstly I define a hole as a dependent matter-less endurant, which is a little modification of Casati and Varzi’s definition. Adopting this definition, holes seem to invite three problems about causation: (1)causal closure, (2)ungrounded disposition and (3)causal overdetermination. I will defend my definition against all these problems by showing that holes are limiting cases of physical endurants rather than their opposition and that they have causal powers in a broad sense.
    Direct download  
     
    Export citation  
     
    Bookmark  
  43. Influence of Social Distance Expressed by Driving Support Agent’s Utterance on Psychological Acceptability.Tomoki Miyamoto, Daisuke Katagami, Yuka Shigemitsu, Mayumi Usami, Takahiro Tanaka, Hitoshi Kanamori, Yuki Yoshihara & Kazuhiro Fujikake - 2021 - Frontiers in Psychology 12.
    In this study, we discuss the psychological acceptability of an utterance strategy used by the Driving Support Agent. Previous literature regarding DSA suggests that the adoption of a small robot as a form will increase acceptability. However, the agent’s utterance has been reported as a problem faced by the user. Therefore, in this study, we designed the agent’s utterance using politeness strategy as described by Brown and Levinson’s famous sociolinguistics and pragmatics theory and analyzed its acceptability through a participant-based experiment. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  11
    Extension of Companion Modeling Using Classification Learning.Daisuke Torii, François Bousquet & Toru Ishida - 2005 - Transactions of the Japanese Society for Artificial Intelligence 20:379-386.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45. Do Time Travelers Suffer From Paradoxes?Daisuke Kachi - 2007 - Annals of the Japan Association for Philosophy of Science 15 (2):95-98.
    In this paper I give consideration to some apparent impossibilities for the time travelers to the past. After criticizing the views of D. Lewis and K. Vihvelin, I will show in what sense they are really impossible.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46. Four Kinds of Boundary : From an Ontological Point of View.Daisuke Kachi - 2009 - Interdisciplinary Ontology 2:87-90.
    Casati and Varzi have developed a theory of boundary based on extensional mereotopology and the distinction between fiat and bona fide boundaries. Firstly, I point out some problems in their theory that are related to the contact of bodies. Next, I propose a way of classification of boundaries into four kinds based on substance ontology and an alternative distinction between potential and actual boundaries. Finally, I will show that my way of classification makes it possible to solve the problems above.
    Direct download  
     
    Export citation  
     
    Bookmark  
  47. Serious Copula-Tensing.Daisuke Kachi - 2012 - Interdisciplinary Ontology 5:67-73.
    M. Johnston proposed an adverbialist solution to the problem of intrinsic change for enduring things. D. Lewis interpreted it as a way of tensing the copula. In his view, it has the defect of replacing the having simpliciter of a property by the standing in a triadic relation to a property and a time, and so is threatened by Bradley’s Regress. I agree with Lewis on requiring the having a property to be non-relational, while I disagree with him on restricting (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  48. Bourne on Future Contingents and Three-Valued Logic.Daisuke Kachi - 2009 - Logic and Logical Philosophy 18 (1):33-43.
    Recently, Bourne constructed a system of three-valued logic that he supposed to replace Łukasiewicz’s three-valued logic in view of the problems of future contingents. In this paper, I will show first that Bourne’s system makes no improvement to Łukasiewicz’s system. However, finding some good motivations and lessons in his attempt, next I will suggest a better way of achieving his original goal in some sense. The crucial part of my way lies in reconsidering the significance of the intermediate truth-value so (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  49.  6
    Agent Community Based Peer-to-Peer Information Retrieval.Tsunenori Mine, Daisuke Matsuno & Makoto Amamiya - 2004 - Transactions of the Japanese Society for Artificial Intelligence 19:421-428.
  50. The Ontology of Many-Worlds : Modality and Time.Daisuke Kachi - 1998 - The Paideia Archive: Twentieth World Congress of Philosophy 13:42-46.
    There are two types of theories regarding many worlds: one is modal, while the other is temporal. The former regards reality as consisting of many possible worlds, while the latter holds that reality consists of many momentary worlds, which are usually called moments. I compare these two theories, paying close attention to the concept of transworld identity and compare trans-possible world identity with trans-momentary world identity (or transmoment identity). I characterize time from the point of many-worlds view, believing this to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 97