Masanori Nagashima

Learn More
This paper discusses determinization of conditional term rewriting systems with oriented constructor rules. We present a rule-based transformation system , which transforms a non-deterministic one into a deterministic one, together with examples of the transformation. We prove that the transformation system is simulation sound and simulation complete. We(More)
The aim of the present study was to clarify the neurophysiological changes associated with analgesic and behavioral effects of low-dose ketamine HCl in patients suffering from chronic neuropathic pain. Ten in-patients with neuropathic pain participated in this single-blind, placebo-controlled study after giving written informed consent. Following(More)
Unfold/fold transformations have been widely studied in various programming paradigms and are used in program transformations, theorem proving, and so on. This paper, by using an example, show that restoring an one-step unfolding is not easy, i.e., a challenging task, since some rules used by unfolding may be lost. We formalize this problem by regarding(More)
We evaluated the vulnerability of central nervous system (CNS) in patients with systemic lupus erythematosus (SLE) using exploratory eye movement analysis and random number generation (RNG), and compared the tests in evaluating CNS vulnerability. Nineteen patients received the tests more than a month after SLE onset in nonpsychotic status. Exploratory eye(More)
  • 1