Results for 'Murase Tomoyuki'

52 found
Order:
  1.  12
    Criterion for Ascription Knowing-How.Tomoyuki Murase - 2008 - Kagaku Tetsugaku 41 (2):75-87.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  98
    Logical Dynamics of Some Speech Acts That Affect Obligations and Preferences.Tomoyuki Yamada - 2008 - Synthese 165 (2):295 - 315.
    In this paper, illocutionary acts of commanding will be differentiated from perlocutionary acts that affect preferences of addressees in a new dynamic logic which combines the preference upgrade introduced in DEUL (dynamic epistemic upgrade logic) by van Benthem and Liu with the deontic update introduced in ECL II (eliminative command logic II) by Yamada. The resulting logic will incorporate J. L. Austin’s distinction between illocutionary acts as acts having mere conventional effects and perlocutionary acts as acts having real effects upon (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  3.  29
    A Sahlqvist Theorem for Substructural Logic.Tomoyuki Suzuki - 2013 - Review of Symbolic Logic 6 (2):229-253.
    In this paper, we establish the first-order definability of sequents with consistent variable occurrence on bi-approximation semantics by means of the Sahlqvist–van Benthem algorithm. Then together with the canonicity results in Suzuki (2011), this allows us to establish a Sahlqvist theorem for substructural logic. Our result is not limited to substructural logic but is also easily applicable to other lattice-based logics.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  4.  28
    Canonicity Results of Substructural and Lattice-Based Logics.Tomoyuki Suzuki - 2011 - Review of Symbolic Logic 4 (1):1-42.
    In this paper, we extend the canonicity methodology in Ghilardi & Meloni (1997) to arbitrary lattice expansions, and syntactically describe canonical inequalities for lattice expansions consisting of -meet preserving operations, -multiplicative operations, adjoint pairs, and constants. This approach gives us a uniform account of canonicity for substructural and lattice-based logics. Our method not only covers existing results, but also systematically accounts for many canonical inequalities containing nonsmooth additive and multiplicative uniform operations. Furthermore, we compare our technique with the approach in (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  5. Acts of Requesting in Dynamic Logic of Knowledge and Obligation.Tomoyuki Yamada - 2011 - European Journal of Analytic Philosophy 7 (2):59-82.
    Although it seems intuitively clear that acts of requesting are different from acts of commanding, it is not very easy to sate their differences precisely in dynamic terms. In this paper we show that it becomes possible to characterize, at least partially, the effects of acts of requesting and compare them with the effects of acts of commanding by combining dynamified deontic logic with epistemic logic. One interesting result is the following: each act of requesting is appropriately differentiated from an (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  32
    Dynamic Logic of Propositional Commitments.Tomoyuki Yamada - 2012 - In Majda Trobok Nenad Miščević & Berislav Žarnić (eds.), Between Logic and Reality. Springer. pp. 183--200.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  27
    Acts of Promising in Dynamified Deontic Logic.Tomoyuki Yamada - 2008 - In Satoh (ed.), New Frontiers in Artificial Intelligence. Springer. pp. 95--108.
  8.  15
    The Distributivity on Bi-Approximation Semantics.Tomoyuki Suzuki - 2016 - Notre Dame Journal of Formal Logic 57 (3):411-430.
    In this paper, we give a possible characterization of the distributivity on bi-approximation semantics. To this end, we introduce new notions of special elements on polarities and show that the distributivity is first-order definable on bi-approximation semantics. In addition, we investigate the dual representation of those structures and compare them with bi-approximation semantics for intuitionistic logic. We also discuss that two different methods to validate the distributivity—by the splitters and by the adjointness—can be explicated with the help of the axiom (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  11
    A Novel Method for Classifying Driver Mental Workload Under Naturalistic Conditions With Information From Near-Infrared Spectroscopy.Anh Son Le, Hirofumi Aoki, Fumihiko Murase & Kenji Ishida - 2018 - Frontiers in Human Neuroscience 12.
  10.  4
    Review: Tomoyuki Yamakami, Polynomial Games and Determinacy. [REVIEW]Edward Griffor - 1999 - Journal of Symbolic Logic 64 (2):913-913.
  11.  17
    Tomoyuki Yamakami. Polynomial Games and Determinacy, Annals of Pure and Applied Logic, Vol. 80 , Pp. 1–16.Edward Griffor - 1999 - Journal of Symbolic Logic 64 (2):913.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  9
    Book Review: Buddhavacana: A Pali Reader by Glenn Wallis. Onalaska: Pariyatti Press, 2010. 341 Pp., US$21.95, ISBN 9781928706854. [REVIEW]Tomoyuki Kono - 2012 - Buddhist Studies Review 28 (2):265-266.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  19
    Automatically Collecting and Monitoring Japanese Weblogs.Tomoyuki Nanno, Yasuhiro Suzuki, Toshiaki Fujiki & Manabu Okumura - 2004 - Transactions of the Japanese Society for Artificial Intelligence 19 (6):511-520.
  14.  18
    Assertions and Commitments.Tomoyuki Yamada - 2016 - Philosophical Forum 47 (3-4):475-493.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  15.  3
    A Schematic Definition of Quantum Polynomial Time Computability.Tomoyuki Yamakami - 2020 - Journal of Symbolic Logic 85 (4):1546-1587.
    In the past four decades, the notion of quantum polynomial-time computability has been mathematically modeled by quantum Turing machines as well as quantum circuits. This paper seeks the third model, which is a quantum analogue of the schematic definition of recursive functions. For quantum functions mapping finite-dimensional Hilbert spaces to themselves, we present such a schematic definition, composed of a small set of initial quantum functions and a few construction rules that dictate how to build a new quantum function from (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  14
    Count-as Conditionals in Channel Theory.Tomoyuki Yamada - unknown
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  9
    Logical Dynamics of Speech Acts.Tomoyuki Yamada - unknown
    SOCREAL 2007: International Workshop on Philosophy and Ethics of Social Reality. Sapporo, Japan, 2007-03-09/10. Session 2: Logical Dynamics of Social Interaction.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  20
    Logical Dynamics of Social Communication.Tomoyuki Yamada - 2008 - Kagaku Tetsugaku 41 (2):59-73.
  19.  26
    Methodological Considerations on the Logical Dynamics of Speech Acts.Tomoyuki Yamada - 2008 - Proceedings of the Xxii World Congress of Philosophy 39:277-282.
    If the notion of speech acts is to be taken seriously, it must be possible to treat speech acts as acts. The development of systems of DEL (dynamic epistemic logic) in the last two decades suggests an interesting possibility. These systems are developed on the basis of static epistemic logics by introducing model updating operations to interpret various kinds of speech acts including public announcements as well as private information transmissions as what update epistemic states of agents involved. The methods (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  9
    Preconditions, Common Sense Reasoning, and Context Shifts.Tomoyuki Yamada - unknown
    SOCREAL 2013 : 3rd International Workshop on Philosophy and Ethics of Social Reality 2013. Hokkaido University, Sapporo, Japan, 25-27 October 2013. Session 4 : Agency, Responsibility, and Intentionality.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  4
    Polynomial Games and Determinacy.Tomoyuki Yamakami - 1996 - Annals of Pure and Applied Logic 80 (1):1-16.
    Two-player, zero-sum, non-cooperative, blindfold games in extensive form with incomplete information are considered in this paper. Any information about past moves which players played is stored in a database, and each player can access the database. A polynomial game is a game in which, at each step, all players withdraw at most a polynomial amount of previous information from the database. We show resource-bounded determinacy of some kinds of finite, zero-sum, polynomial games whose pay-off sets are computable by non-deterministic polynomial-time (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  22.  12
    Rationality and Causation in Action.Tomoyuki Yamada - 2013 - Kagaku Tetsugaku 46 (2):1-16.
  23.  29
    Scorekeeping and Dynamic Logics of Speech Acts.Tomoyuki Yamada - unknown
    SOCREAL 2010: 2nd International Workshop on Philosophy and Ethics of Social Reality. Sapporo, Japan, 2010-03-27/28. Keynote Lecture 3.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24.  13
    Categorization Method for Nodes in Complex Networks and Its Application.Tomoyuki Yuasa & Susumu Shirayama - 2012 - Transactions of the Japanese Society for Artificial Intelligence 27 (3):111-120.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25. Adaptive User Interface of a Web Search Engine by Organizing Page Information Agentsページ情報エージェントの組織化によるWeb検索エンジンの適応インタフェース.Seiji Yamada & Fumihiko Murase - 2001 - Transactions of the Japanese Society for Artificial Intelligence 16:46-54.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  17
    Proposal of an Information Compilation Method for Massive News Video Data Based on Their Time-Series Semantic Structure.Ichiro Ide, Tomoyoshi Kinoshita, Tomokazu Takahashi, Hiroshi Mo, Norio Katayama, Shin'ichi Satoh & Hiroshi Murase - 2008 - Transactions of the Japanese Society for Artificial Intelligence 23 (5):282-292.
  27.  18
    Wikipedia Mining.Kotaro Nakayama, Masahiro Ito, Maike Erdmann, Masumi Shirakawa, Tomoyuki Michishita, Takahiro Hara & Shojiro Nishio - 2009 - Transactions of the Japanese Society for Artificial Intelligence 24 (6):549-557.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  28.  23
    Stress and Temperature Dependence of the Structure of the Martensite and X-Phase in Ni2MnGa.Takashi Fukuda, Tomoyuki Terai, Hiroaki Kushida, Tomoyuki Kakeshita, Toyotaka Osakabe & Kazuhisa Kakurai - 2010 - Philosophical Magazine 90 (14):1925-1935.
  29.  19
    Effect of External Stress on Discontinuous Precipitation in a Cu–2.1 Wt % Be Alloy.Ryoichi Monzen, Tomoyuki Hasegawa & Chihiro Watanabe - 2010 - Philosophical Magazine 90 (10):1347-1358.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  16
    Analysis of the Performance of Genetic Multi-Step Search in Interpolation and Extrapolation Domain.Yoshiko Hanada, Tomoyuki Hiroyasu & Mitsuji Muneyasu - 2009 - Transactions of the Japanese Society for Artificial Intelligence 24 (1):136-146.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  22
    Errata: Offspring Generation Method for Interactive Genetic Algorithm Considering Multimodal Preference.Fuyuko Ito, Tomoyuki Hiroyasu, Mitsunori Miki & Hisatake Yokouchi - 2009 - Transactions of the Japanese Society for Artificial Intelligence 24:313-313.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  32.  15
    Offspring Generation Method for Interactive Genetic Algorithm Considering Multimodal Preference.Fuyuko Ito, Tomoyuki Hiroyasu, Mitsunori Miki & Hisatake Yokouchi - 2009 - Transactions of the Japanese Society for Artificial Intelligence 24 (1):127-135.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  12
    Validity of the Consensus Building System Using a Parallel Distributed Interactive Genetic Algorithm.Mitsunori Miki, Tomoyuki Hiroyasu & Hiroshi Tomioka - 2005 - Transactions of the Japanese Society for Artificial Intelligence 20:289-296.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  8
    Analysis and Visualization of Internet QA Bulletin Boards Represented as Heterogeneous Networks.Tsuyoshi Murata & Tomoyuki Ikeya - 2008 - Transactions of the Japanese Society for Artificial Intelligence 23 (5):293-302.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  8
    Efficient Variable Selection Method for Exposure Variables on Binary Data.Manabu Ohno & Tomoyuki Tarumi - 2007 - Transactions of the Japanese Society for Artificial Intelligence 22 (2):148-155.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  22
    Intracellular Antibodies and Cancer: New Technologies Offer Therapeutic Opportunities.David Pérez-Martínez, Tomoyuki Tanaka & Terence H. Rabbitts - 2010 - Bioessays 32 (7):589-598.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37.  4
    A Knowledge Discovery From POS Data Using State Space Models.Tadahiko Sato & Tomoyuki Higuchi - 2007 - Transactions of the Japanese Society for Artificial Intelligence 22 (2):200-208.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38.  10
    Rearrangement of Crystallographic Domains Driven by Magnetic Field in Antiferromagnetic CoO.Masataka Yamamoto, Tomoyuki Terai & Tomoyuki Kakeshita - 2010 - Philosophical Magazine 90 (15):2125-2134.
  39.  25
    Multi-Agent Simulation Based on Interaction Design.インタラクション設計に基づくマルチエージェントシミュレーション.Yohei Murakami, Toru Ishida, Tomoyuki Kawasoe & Reiko Hishiyama - 2003 - Transactions of the Japanese Society for Artificial Intelligence 18:278-285.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  7
    Describing Gaits by Onomatopoeias with Sound Symbolism音象徴性を利用したオノマトペによる歩容の記述.Hirotaka Kato, Takatsugu Hirayama, Keisuke Doman, Ichiro Ide, Yasutomo Kawanishi, Daisuke Deguchi & Hiroshi Murase - 2018 - Transactions of the Japanese Society for Artificial Intelligence 33 (4):B-HC2_1-9.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41. Logic, Rationality, and Interaction.Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.) - 2017 - Springer.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. Logic, Rationality, and Interaction. LORI 2017. Lecture Notes in Computer Science, Vol 10455.Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.) - 2017 - Springer.
    No categories
     
    Export citation  
     
    Bookmark  
  43.  29
    Differences Between the R-Phase and the Commensurate Phase in Iron-Doped Ti–Ni Shape Memory Alloys.Mi-Seon Choi, Takuya Yamamoto, Takashi Fukuda, Tomoyuki Kakeshita, Eiji Taguchi & Hirotaro Mori - 2008 - Philosophical Magazine 88 (16):2449-2460.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44. Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan).Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.) - 2017 - Springer.
    No categories
     
    Export citation  
     
    Bookmark  
  45.  1
    No Impact of Stochastic Galvanic Vestibular Stimulation on Arterial Pressure and Heart Rate Variability in the Elderly Population.Akiyoshi Matsugi, Koji Nagino, Tomoyuki Shiozaki, Yohei Okada, Nobuhiko Mori, Junji Nakamura, Shinya Douchi, Kosuke Oku, Kiyoshi Nagano & Yoshiki Tamaru - 2021 - Frontiers in Human Neuroscience 15.
    ObjectiveNoisy galvanic vestibular stimulation is often used to improve postural stability in disorders, such as neurorehabilitation montage. For the safe use of nGVS, we investigated whether arterial pressure and heart rate vary during static supine and slow whole-body tilt with random nGVS in a healthy elderly population.MethodsThis study was conducted with a double-blind, sham-controlled, cross-over design. Seventeen healthy older adults were recruited. They were asked to maintain a static supine position on a bed for 10 min, and the bed was (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46. Attitudes Of The Public And Scientists To Biotechnology In Japan At The Start Of 2000.Mary Ann Ng, Chika Takeda, Tomoyuki Watanabe & Darryl Macer - 2000 - Eubios Journal of Asian and International Bioethics 10 (4):106-113.
    This survey on biotechnology and bioethics was carried out on national random samples of the public and scientists in November 2000-January 2000 throughout Japan, and attendees at the Novartis Life Science Forum held on 29 September, 1999 in Tokyo. The sample size was 297, 370, and 74 respectively. While there is better awareness of GMOs in 2000 compared to 1991; the trend shows an increase in the perceived risks of GMOs followed by growing resistance in Japan. While a majority of (...)
    No categories
     
    Export citation  
     
    Bookmark  
  47.  14
    Critical Point of Martensitic Transformation Under Stress in an Fe-31.2Pd Shape Memory Alloy.Fei Xiao, Takashi Fukuda & Tomoyuki Kakeshita - 2015 - Philosophical Magazine 95 (12):1390-1398.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  16
    Interactions Between a Quiz Robot and Multiple Participants: Focusing on Speech, Gaze and Bodily Conduct in Japanese and English Speakers.Akiko Yamazaki, Keiichi Yamazaki, Keiko Ikeda, Matthew Burdelski, Mihoko Fukushima, Tomoyuki Suzuki, Miyuki Kurihara, Yoshinori Kuno & Yoshinori Kobayashi - 2013 - Interaction Studies: Social Behaviour and Communication in Biological and Artificial Systems 14 (3):366-389.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49. Interactions Between a Quiz Robot and Multiple Participants.Akiko Yamazaki, Keiichi Yamazaki, Keiko Ikeda, Matthew Burdelski, Mihoko Fukushima, Tomoyuki Suzuki, Miyuki Kurihara, Yoshinori Kuno & Yoshinori Kobayashi - 2013 - Interaction Studies. Social Behaviour and Communication in Biological and Artificial Systemsinteraction Studies / Social Behaviour and Communication in Biological and Artificial Systemsinteraction Studies 14 (3):366-389.
    This paper reports on a quiz robot experiment in which we explore similarities and differences in human participant speech, gaze, and bodily conduct in responding to a robot’s speech, gaze, and bodily conduct across two languages. Our experiment involved three-person groups of Japanese and English-speaking participants who stood facing the robot and a projection screen that displayed pictures related to the robot’s questions. The robot was programmed so that its speech was coordinated with its gaze, body position, and gestures in (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  19
    Iron Content and Temperature Dependences of Diffuse Scattering in Ti–Ni–xFe Alloys.Takuya Yamamoto, Mi-Seon Choi, Sho Majima, Takashi Fukuda, Tomoyuki Kakeshita, Eiji Taguchi & Hirotaro Mori - 2008 - Philosophical Magazine 88 (7):1027-1035.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 52