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)
UNLABELLED This multi-center, prospective, open-label, observational study evaluated the effects of once-monthly minodronate (50 mg) on treatment persistence, bone turnover markers, bone mineral density, low back pain, and upper gastrointestinal symptoms in outpatients with osteoporosis previously treated with daily or weekly bisphosphonate products. (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)
In the second paragraph of the Introduction section, the last portion of the first sentence states: " … and approved for use for the treatment of osteoporosis in Japan [11]. " This was inadequately referenced, and should be " approved for use for the treatment of osteoporosis in Japan [11, 17–19]. " In the fourth paragraph of the Discussion section, the(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