Program transformation system based on generalized partial computation

Generalized Partial Computation (GPC) is a program transformation method utilizing partial information about input data, abstract data types of auxiliary functions and the logical structure of a source program. GPC uses both an inference engine such as a theorem prover and a classical partial evaluator to optimize programs. Therefore, GPC is more powerful than classical partial evaluators but harder to implement and control. We have implemented an experimental GPC system called WSDFU (Waseda Simplify-Distribute-Fold-Unfold). This paper demonstrates the power of the program transformation system as well as its theorem prover and discusses some future works. Yoshihiko Futamura, Ph.D.: He is Professor of Department of Information and Computer Science and the director of the Institute for Software Production Technology (ISPT) of Waseda University. He received his BS in mathematics from Hokkaido University in 1965, MS in applied mathematics from Harvard University in 1972 and Ph.D. degree from Hokkaido University in 1985. He joined Hitachi Central Research Laboratory in 1965 and moved to Waseda University in 1991. He was a visiting professor of Uppsala University from 1985 to 1986 and a visiting scholar of Harvard University from 1988 to 1989. Automatic generation of computer programs and programming methodology are his main research fields. He is the inventor of the Futamura Projections in partial evaluation and ISO8631 PAD (Problem Analysis Diagram). Zenjiro Konishi: He is a visiting lecturer of Institute for Software Production Technology, Waseda University. He received his M. Sc. degree in mathematics from Waseda University in 1995. His research interests include automated theorem proving. He received JSSST Takahashi Award in 2001. He is a member of JSSST and IPSJ. Robert Glück, Ph.D., Habil.: He is an Associate Professor of Computer Science at the University of Copenhagen. He received his Ph.D. and Habilitation (venia docendi) from the Vienna University of Technology in 1991 and 1997. He was research assistant at the City University of New York and received twice the Erwin-Schrodinger-Fellowship of the Austrian Science Foundation (FWF). After being an Invited Fellow of the Japan Society for the Promotion of Science (JSPS), he is now funded by the PRESTO21 program for basic research of the Japan Science and Technology Corporation (JST) and located at Waseda University in Tokyo. His main research interests are advanced programming languages, theory and practice of program transformation, and metaprogramming.     

Fabrication of multilevel phase computer-generated hologram elements based on effective medium theory

A conventional method to synthesize diffractive optical elements and computer-generated holograms (CGH's) with high diffraction efficiency relies on an increase of phase levels. To fabricate such a device, one should perform electron-beam (e-beam) lithography with multiple-dose exposures or multiple-step photolithography. Here we describe a one-step method, which is based on the effective medium theory, for the fabrication of a multilevel phase CGH. The phase modulations required in cells of a CGH are constructed by means of dividing these cells into fine (subwavelength) structures. The surface features of these fine structures control their corresponding indices, and their values can be calculated according to the effective medium theory. By proper selection of the fine structures, based on the requirements of the phase modulation of the cells, a CGH with multilevel phases is synthesized when a binary structure is relieved on the dielectric material. Then the CGH can be fabricated by direct e-beam lithography or one-step photolithography through an amplitude mask followed by an ion-etching treatment. The experimental results showed that the reconstructed wave field is in good agreement with that simulated by a computer, indicating the effectiveness of the proposed method.     

Requirement for activation of the serine-threonine kinase Akt (protein kinase B) in insulin stimulation of protein synthesis but not of glucose transport

A wide variety of biological activities including the major metabolic actions of insulin is regulated by phosphatidylinositol (PI) 3-kinase. However, the downstream effectors of the various signaling pathways that emanate from PI 3-kinase remain unclear. Akt (protein kinase B), a serine-threonine kinase with a pleckstrin homology domain, is thought to be one such downstream effector. A mutant Akt (Akt-AA) in which the phosphorylation sites (Thr308 and Ser473) targeted by growth factors are replaced by alanine has now been shown to lack protein kinase activity and, when overexpressed in CHO cells or 3T3-L1 adipocytes with the use of an adenovirus vector, to inhibit insulin-induced activation of endogenous Akt. Akt-AA thus acts in a dominant negative manner in intact cells. Insulin-stimulated protein synthesis, which is sensitive to wortmannin, a pharmacological inhibitor of PI 3-kinase, was abolished by overexpression of Akt-AA without an effect on amino acid transport into the cells, suggesting that Akt is required for insulin-stimulated protein synthesis. Insulin activation of p70 S6 kinase was inhibited by approximately 75% in CHO cells and approximately 30% in 3T3-L1 adipocytes, whereas insulin-induced activation of endogenous Akt was inhibited by 80 to 95%, by expression of Akt-AA. Thus, Akt activity appears to be required, at least in part, for insulin stimulation of p70 S6 kinase. However, insulin-stimulated glucose uptake in both CHO cells and 3T3-L1 adipocytes was not affected by overexpression of Akt-AA, suggesting that Akt is not required for this effect of insulin. These data indicate that Akt acts as a downstream effector in some, but not all, of the signaling pathways downstream of PI 3-kinase.     

Bacillus cereus septicemia in a patient with severe aplastic anemia

A 78-year-old female was admitted with complaints of malaise and fatigue in the legs. The patient was diagnosed as severe aplastic anemia and treatment was started with metenolone and steroid pulse therapy. Administration of antibiotics and granulocyte-colony stimulating factor which led to a resolution of the high fever. About four months after admission, the patient developed vomiting and abdominal pain with a spiking fever. The next day after suddenly losing consciousness, she died. B. cereus was isolated from blood cultures. Autopsy specimens of the liver, cardiac muscle and lung showed changes due to B. cereus. This pathogen is widely distributed in nature. We should not overlook B. cereus as a contamination, but rather should consider it a potential pathogen in immunocompromised hosts, when it is isolated from blood cultures.     

Important microsatellite markers in the investigation of replication errors (RER) in colorectal carcinomas

PURPOSE: Our purpose was to assess the value of monitoring serum P and inhibin A to determine how values might improve the clinical monitoring of natural cycle in vitro fertilization (IVF)-embryo transfer (ET) patients. METHODS: All patients (n = 26) who underwent natural-cycle IVF-ET (n = 35) were analyzed. Groups were evaluated according to patients who had a spontaneous luteinizing hormone (LH) surge (group I) and women receiving human chorionic gonadotropin (hCG) who underwent subsequent oocyte aspiration (group II). Group II was further evaluated according to women who did (n = 10) and did not (n = 7) have an ET. All cycles were evaluated with serial transvaginal ultrasonography and serum estradiol, progesterone, and inhibin A. When follicle maturity was achieved, hCG, 10,000 IU, was administered intramuscularly if a LH surge was not detected. Transvaginal ultrasound-guided aspiration was performed 34-36 hr after hCG administration followed by a 48-hr transcervical ET. RESULTS: No differences were seen in cycles the day prior to (d-1) and the day of a spontaneous LH surge, (n = 18) or hCG (d-0)(n = 17) in group I or group II with respect to lead follicular diameter (d-1, 15.3 +/- 0.6 vs. 14.2 +/- 0.9 mm; d-0, 17.4 +/- 0.8 vs. 17.8 +/- 0.6 mm) and serum estradiol (d-1, 148 +/- 15 vs. 150 +/- 15 pg/ml; d-0, 218 +/- 15 vs. 199 +/- 16 pg/ml), respectively. However, serum progesterone was significantly elevated in group I compared with group II on d-1 (0.82 +/- 0.6 vs. 0.48 +/- 0.04 ng/ml; P < 0.05) and d-0 (1.1 +/- 0.12 vs. 0.63 +/- 0.08 ng/ml; P < 0.05). Inhibin A was significantly greater on d-1 in group I (24 +/- 2.5 vs. 15 +/- 2.2 pg/ml; P < 0.05). In group II, cycles that resulted in an ET (n = 10) compared with group II cycles that did not (n = 7) revealed a significant difference in serum progesterone (0.51 +/- 0.05 vs. 0.7 +/- 0.07 ng/ml; P < 0.05) and inhibin A (15 +/- 2.5 vs. 37.3 +/- 5 pg/ml; P < 0.05) the day of hCG. CONCLUSIONS: The possible application of serum progesterone and inhibin A in managing natural-cycle IVF-ET is suggested. These assays may predict women who should be set up for egg retrieval, while cancelling others in spite of the absence of an LH surge.     

p-Chlorostyrene oligomers. Preparation,structure, and stereochemistry

The dimer and trimer obtained by the pyrolysis of poly(p-chlorostyrene) were 2,4-di(p-chlorophenyl)-1-butene and 2,4,6-tri(p-chlorophenyl)-1-hexene, respectively, while those obtained by the cationic oligomerization of p-chlorostyrene were trans-1,3-di(p-chlorophenyl)-1-butene and a diastereomeric pair of trans-1,3,5-tri-(p-chlorophenyl)-1-hexene.     

Heterogeneous pattern of gene expression in cloned cell lines established from a rat transplantable osteosarcoma lung metastatic nodule

We have established three cloned cell lines (COS1NR, COS2NR and COS4NR) from the lung metastatic nodule of a highly metastatic variant of rat transplantable osteosarcoma, C-SLM. All three clones shared the same morphological characteristics and tumorigenicity, but their growth rates in vitro and metastatic ability in vivo differed from each other. Single-strand conformation polymorphism (SSCP) analysis revealed all three clones to have the same p53 gene mutation and parent C-SLM tumor. On the other hand, Northern blot analysis showed a different pattern of expression for the genes, c-fos, c-jun, c-Ha-ras, transin (rat stromelysin), bone Gla protein (osteocalsin) and nm23/NDP kinase. These results indicate the presence of a heterogeneous cell population in terms of the different pattern of gene expression in a lung metastatic nodule of rat osteosarcoma and the present newly established cell lines will be useful for further investigation of the biological behavior of osteosarcomas.     

Surgical treatment of Cronkhite-Canada syndrome associated with protein-losing enteropathy: report of a case

PURPOSE: The case of a patient with Cronkhite-Canada syndrome, who developed a protein-losing enteropathy, is reported. METHODS: After localization of the protein-losing region, a right colectomy was performed. RESULTS: Hypoproteinemia and ectodermal changes improved postoperatively. CONCLUSIONS: Surgery is an effective treatment for protein-losing enteropathy in Cronkhite-Canada syndrome. Ectodermal changes improve after correcting malnutrition.