A direct independence proof of Buchholz's Hydra Game on finite labeled trees

We shall give a direct proof of the independence result of a Buchholz style-Hydra Game on labeled finite trees. We shall show that Takeuti-Arai's cut-elimination procedure of and of the iterated inductive definition systems can be directly expressed by the reduction rules of Buchholz's Hydra Game. As a direct corollary the independence result of the Hydra Game follows. Received: August 23, 1994 / Revised: July 24, 1995 and May 9, 1996     

Basic Properties of the (t, n)-Threshold Visual Secret Sharing Scheme with Perfect Reconstruction of Black Pixels

In this paper we consider the (t, n)-threshold visual secret sharing scheme (VSSS) in which black pixels in a secret black-white images is reproduced perfectly as black pixels when we stack arbitrary t shares. This paper provides a new characterization of the (t, n)-threshold visual secret sharing scheme with such a property (hereafter, we call such a VSSS the (t, n)-PBVSSS for short). We use an algebraic method to characterize basis matrices of the (t, n)-PBVSSS in a certain class of matrices. We show that the set of all homogeneous polynomials each element of which yields basis matrices of the (t, n)-PBVSSS becomes a set of lattice points in an (n−t+1)-dimensional linear space. In addition, we prove that the optimal basis matrices in the sense of maximizing the relative difference among all the basis matrices in the class coincides with the basis matrices given by Blundo, Bonis and De Santis [3] for all n≥ t ≥ 2.     

Reconstruction of the Point-Spread Function of the Human Eye Using a New Phase-Retrieval Algorithm

The double-pass method is thought to obtain the point spread function (PSF) in human eyes based on two techniques: the symmetric double-pass method using the same pupil size and the asymmetric double-pass method using a different pupil size. The symmetric double-pass method provides autocorrelation of the retinal PSF and, thus, the modulation transfer function. The asymmetric double-pass method provides low-frequency partial-phase information and the partial phase-retrieval algorithm is applied to obtain the complete-phase information, and to estimate the PSF. The partial phase-retrieval algorithm is based on the iteration method proposed by Fineup and Kowalczyk and requires a lengthy computation. In this study, we propose a new high-speed phase-retrieval algorithm based on the property that the real and imaginary parts of optical transfer functions (OTFs) continuously change in value.     

A non-fused fiber coupler for side-pumping of double-clad fiber lasers

A non-fused fiber coupler is demonstrated for side-pumping of the double-clad fiber (DCF) lasers by adhesive techniques. The fiber coupler is fabricated by adhering an angularly polished single-clad fiber (SCF) to the inner cladding of the DCF. The pumping light is launched from the SCF by total inner reflection. Coupling coefficient as a function of coupling angle, bend distance, and backward scattering is investigated. The field distribution in DCF is also discussed.     

Endoscopic Observation of Tissue by Narrowband Illumination

We propose a new illumination method for a medical endoscope: narrow band imaging (NBI), in which the spectral bandwidth of the filtered light is narrowed. To confirm how the spectral specifications of the filtered light influence a reproduced image, an experiment was conducted observing the endoscopic images of the back mucosa of a human tongue. In addition, the effect of NBI on endoscopic images was investigated through preliminary clinical tests in colonoscopy and upper gastrointestinal endoscopy. It has been shown that NBI can enhance the capillary pattern and the crypt pattern on the mucosa. These patterns are useful features for diagnosing an early cancer.     

Second order evolution equations with time-dependent subdifferentials

We study an abstract second order nonlinear evolution equation in a real Hilbert space. We consider time-dependent convex functions and their subdifferentials operating on the first derivative of the unknown function. Introducing appropriate assumptions on the convex functions and other data, we prove the existence and uniqueness of a strong solution, and give some applications of the abstract theorem to hyperbolic variational inequalities with time-dependent constraints.      

Studies on cardiac ingredients of plants. VII: Chemical transformation of proscillaridin by means of the Diels-Alder reaction and biological activities of its derivatives.

The Diels-Alder reactions of a cardiac glycoside, proscillaridin (1), with some dienophiles were investigated. The reaction of 1 with alkenes such as methyl vinyl ketone and methyl acrylate afforded 3-oxo-2-oxabicyclo[2.2.2]oct-7-enes (2-5) and para-substituted benzene derivatives (6 and 7), while 1 reacted with alkynes (3-butyn-2-one, methyl propiolate) to yield para- or meta-substituted benzene derivatives (6-9). The biological activities of the resulting derivatives were evaluated by the use of isolated guinea-pig papillary muscle preparations and Na+,K(+)-adenosine triphosphatase (ATPase) preparation from dog kidney. Among the proscillaridin derivatives, compounds 4 and 7 moderately inhibited Na+,K(+)-ATPase activity. Furthermore, the concentration range of 7 over which its positive inotropic effect on guinea-pig papillary muscle preparations, increased from 5% to 95% of maximum was broader than that of 1, i.e., concentration dependency was maintained over a greater range of concentration.     

Analysis of Spectral Reflectance Using Normalization Method from Endoscopic Spectroscopy System

Objective assessment of gastrointestinal mucosal color is extremely important in the endoscopic diagnosis of digestive tract disease. In this paper, we propose a method to clarify the spectral characteristics of gastric and colon cancer. A large number of spectral reflectance data of mucous membrane are measured by the endoscopic spectroscopy system (ESS) in the National Cancer Center Hospital East, Kashiwa, Japan and the Department of Internal Medicine, Self-Defense Force Center Hospital, Tokyo, Japan. We assume that early cancer appears primarily in the spectral data of short wavelength, because it is usually present in a superficial cell where short wavelength light is scattered more strongly than long wavelength light. To identify the features in the short wavelength components, the spectral reflectance was divided by the reflectance of a long wavelength. We investigated the possibility of distinguishing early cancer from normal spectral data through statistical analysis, employing the projection axis as the mean difference between them. Early cancer and normal spectral data were projected on the projection axis, and the Student’s T-test was applied to evaluate the mean of the distribution between these data.