Daisuke Kikuchi

Mitsuru Kaise8
Toshiro Iizuka8
Toshifumi Mitani7
Shu Hoteya7
8Mitsuru Kaise
8Toshiro Iizuka
7Toshifumi Mitani
7Shu Hoteya
Learn More
Gordon and Jeffrey developed a type system for checking correspondence assertions. The correspondence assertions, proposed by Woo and Lam, state that when a certain event (called an " end " event) happens, the corresponding " begin " event must have occurred before. They can be used for checking authenticity in communication protocols. In this paper, we(More)
The human body literally glimmers. The intensity of the light emitted by the body is 1000 times lower than the sensitivity of our naked eyes. Ultraweak photon emission is known as the energy released as light through the changes in energy metabolism. We successfully imaged the diurnal change of this ultraweak photon emission with an improved highly(More)
Backgrounds. Magnifying endoscopy with narrow-band imaging (ME-NBI) has become essential for determining tumor margin in early gastric cancer (EGC). Here, we investigated the usefulness of ME-NBI for assessment of invasion depth in EGC. Methods. For 119 patients who had undergone ME-NBI and en bloc resection by endoscopic submucosal dissection, three(More)
Parkinson's disease (PD) is a neurodegenerative disorder characterized by the selective loss of dopaminergic neurons and the presence of Lewy bodies. Many recent studies focused on the interaction between α-synuclein (α-syn) and dopamine in the pathogenesis of PD, and fluorescent anisotropy suggested that the C-terminal region of α-syn may be a target for(More)
Gordon and Jeffrey have proposed a type and effect system for checking authenticity in cryptographic protocols. The type system reduces the protocol verification problem to the type checking problem, but protocols must be manually annotated with non-trivial types and effects. To automate the verification of cryptographic protocols, we modify Gordon and(More)
Aim. To determine whether 3D endoscopic images improved recognition accuracy for superficial gastrointestinal cancer compared with 2D images. Methods. We created an image catalog using 2D and 3D images of 20 specimens resected by endoscopic submucosal dissection. The twelve participants were allocated into two groups. Group 1 evaluated only 2D images at(More)
This paper investigates language constructs for high-level and type-safe manipulation of JSON objects in a typed functional language. A major obstacle in representing JSON in a static type system is their heterogeneous nature: in most practical JSON APIs, a JSON array is a heterogeneous list consisting of, for example, objects having common fields and(More)
Previous studies reported that endoscopic resection is effective for the treatment of superficial pharyngeal cancers, as for digestive tract cancers. However, the optimal treatment for superficial cancer of the uvula has not been established because of the rarity of this condition. We present two male patients in their 70s with superficial cancer of the(More)
Mucinous adenocarcinoma (MC) is a unique pathological type of colorectal cancer (CRC). The development of MC is often associated with intestinal inflammation and/or microsatellite instability (MSI). Moreover, MC has clinicopathological characteristics that render making the correct diagnosis difficult such as extramural progression. Meanwhile, intestinal(More)
We herein report a case of phlegmonous gastritis secondary to superior mesenteric artery syndrome. An 80-year-old woman visited the hospital emergency department with the chief complaints of epigastric pain and vomiting. She was hospitalized urgently following the diagnosis of superior mesenteric artery syndrome based on abdominal computed tomography(More)