Kripke Semantics for Modal Substructural Logics

We introduce Kripke semantics for modal substructural logics, and provethe completeness theorems with respect to the semantics. Thecompleteness theorems are proved using an extended Ishihara's method ofcanonical model construction (Ishihara, 2000). The framework presentedcan deal with a broad range of modal substructural logics, including afragment of modal intuitionistic linear logic, and modal versions ofCorsi's logics, Visser's logic, Méndez's logics and relevant logics.     

Phase equilibria of quasi-binary systems consisting of multicomponent polymers 1 and 2. IV: Poly(ethylene oxide)/poly(propylene oxide) systems

To confirm the reliability of the theory of phase equibria of multicomponent polymer 1/multicomponent polymer 2 systems (i.e. quasi-binary systems) and the method of computer experiment based on this theory (Brit. Polym. J., 23 (1990)285; 23 (1990)299; Polym. Int., 29 (1992)219), could point curves (CPC), two-phase volume ratios ( R ) and critical solution points (CSP) have been determined experimentally for the quasi-binary mixtures of poly(ethylene oxide) (M¯_w = 647, M¯_w/M¯_n = 1.15; M¯_w and M¯_n, the weight-average and numberaverage molecular weights, respectively) and poly(propylene oxide) (M¯_w = 2028, M¯_w/M¯_n = 1.08; and M_w = 2987, M_w/M_n = 1.13). The hydroxyl end groups of both polymers were methoxylated in advance by the Cooper & Booth method (Polymer, 18 (1977)164). The thermodynamic interaction parameter between both polymers, χ₁₂, and the concentration dependence parameters for the above quasi-binary systems were determined by the method proposed in a previous paper (Brit. Polym. J., 23 (1990)299). CPC, R and CSP values calculated on the basis of the theory are in good agreement with the values determined experimentally.     

Modal and Intuitionistic Variants of Extended Belnap–Dunn Logic with Classical Negation

In this study, we introduce Gentzen-type sequent calculi BDm and BDi for a modal extension and an intuitionistic modification, respectively, of De and Omori’s extended Belnap–Dunn logic BD+ with classical negation. We prove theorems for syntactically and semantically embedding BDm and BDi into Gentzen-type sequent calculi S4 and LJ for normal modal logic and intuitionistic logic, respectively. The cut-elimination, decidability, and completeness theorems for BDm and BDi are obtained using these embedding theorems. Moreover, we prove the Glivenko theorem for embedding BD+ into BDi and the McKinsey–Tarski theorem for embedding BDi into BDm.

     

A Novel Artificially Humanized Anti-Cripto-1 Antibody Suppressing Cancer Cell Growth

Cripto-1 is a member of the EGF-CFC/FRL1/Cryptic family and is involved in embryonic development and carcinogenesis. We designed a novel anti-Cripto-1 artificial antibody and assessed the recognition to the antigen and the potential to suppress the growth of cancer stem cells. First, single chain antibody clones were isolated by bio-panning with the affinity to recombinant Cripto-1 protein from our original phage-display library. Then, the variable regions of heavy chain VH and light chain VL in each clone were fused to constant regions of heavy chain CH and light chain CL regions respectively. These fused genes were expressed in ExpiCHO-S cells to produce artificial humanized antibodies against Cripto-1. After evaluation of the expression levels, one clone was selected and the anti-Cripto-1 antibody was produced and purified. The purified antibody showed affinity to recombinant Cripto-1 at 1.1 pmol and immunoreactivity to cancer tissues and cell lines. The antibody was available to detect the immunoreactivity in tissue microarrays of malignant tumors as well as in Cripto-1 overexpressing cells. Simultaneously, the antibody exhibited the potential to suppress the growth of human colon cancer derived GEO cells overexpressing Cripto-1 with IC₅₀ at approximately 110 nM. The artificially humanized antibody is proposed to be a good candidate to target cancer cells overexpressing Cripto-1.     

MiR-10a in Pancreatic Juice as a Biomarker for Invasive Intraductal Papillary Mucinous Neoplasm by miRNA Sequencing

New biomarkers are needed to further stratify the risk of malignancy in intraductal papillary mucinous neoplasm (IPMN). Although microRNAs (miRNAs) are expected to be stable biomarkers, they can vary owing to a lack of definite internal controls. To identify universal biomarkers for invasive IPMN, we performed miRNA sequencing using tumor-normal paired samples. A total of 19 resected tissues and 13 pancreatic juice samples from 32 IPMN patients were analyzed for miRNA expression by next-generation sequencing with a two-step normalization of miRNA sequence data. The miRNAs involved in IPMN associated with invasive carcinoma were identified from this tissue analysis and further verified with the pancreatic juice samples. From the tumor-normal paired tissue analysis of the expression levels of 2792 miRNAs, 20 upregulated and 17 downregulated miRNAs were identified. In IPMN associated with invasive carcinoma (INV), miR-10a-5p and miR-221-3p were upregulated and miR-148a-3p was downregulated when compared with noninvasive IPMN. When these findings were further validated with pancreatic juice samples, miR-10a-5p was found to be elevated in INV (p = 0.002). Therefore, three differentially expressed miRNAs were identified in tissues with INV, and the expression of miR-10a-5p was also elevated in pancreatic juice samples with INV. MiR-10a-5p is a promising additional biomarker for invasive IPMN.     

Guinea pig bone marrow cells treated with platelet-activating factor generate factor(s) which affects their DNA synthesis and microbicidal activity

We have previously reported that platelet-activating factor (PAF) induces proliferation and microbicidal activity of guinea pig bone marrow cells. In the present study, we have found that the conditioned medium of PAF- or nonmetabolizable PAF agonist-treated guinea pig bone marrow cells augmented DNA synthesis and induced microbicial activity of bone marrow cells. A PAF specific antagonist, CV-6209, inhibited generation of the active conditioned medium by PAF. Addition of the PAF antagonist only partially suppressed the augmentative effect of the active conditioned medium on DNA synthesis; this is consistent with the fact that, because of the rapid breakdown, no appreciable amount of PAF remained in the conditioned medium of PAF-treated cells. Although mouse bone marrow cells did not respond to PAF unlike guinea pig cells, their DNA synthesis was significantly enhanced by the conditioned medium of PAF-treated guinea pig bone marrow cells. Thus, some newly generated factor(s) distinct from the originally inoculated PAF seemed to modulate the bioactions of PAF on bone marrow cells. An appreciable amount of PAF was produced by calcium ionophore-treated guinea pig bone marrow cells. These findings indicate that PAF synthesized in guinea pig bone marrow cells induces generation in the cells of some factor(s) which affects proliferation or microbicidal activity. Presented at The Third International Conference on Platelet-Activating Factor and Structurally Related Ether Lipids, Tokyo, Japan, May 1989.     

Reduction of fatty acid hydroperoxides by human parotid saliva

Arachidonic acid hydroperoxide (15-hydroperoxyeicosatetraenoic acid; 15-HPETE) was introduced into human parotid saliva and incubated at 37°C. Straight phase high-performance liquid chromatography analysis of the reaction mixture showed that 15-HPETE was detoxified to its reduced form, 15-hydroxyeicosatetraenoic acid, in the presence of glutathione. Therefore, it is concluded that human parotid saliva possesses fatty acid hydroperoxide-reducing ability. However, its effectiveness was found to be lower than that of blood plasma.     

New class of cellulose fiber spun from the novel solution of cellulose by wet spinning method

A novel cellulose solution, prepared by dissolving an alkali-soluble cellulose, which was obtained by the steam explosion treatment on almost pure natural cellulose (soft wood pulp), into the aqueous sodium hydroxide solution with specific concentration (9.1 wt %) was employed for the first time to prepare a new class of multifilament-type cellulose fiber. For this purpose a wet spinning system with acid coagulation bath was applied. The mechanical properties and structural characteristics of the resulting cellulose fibers were compared with those of regenerated cellulose fibers such as viscose rayon and cuprammonium rayon commercially available. X-ray analysis shows that the new cellulose fiber is crystallographically cellulose II, and its crystallinity is higher but its crystalline orientation is slightly lower than those of other commercial regenerated fibers. The degree of breakdown of intramolecular hydrogen bond at C₃[X_am(C₃)] of the cellulose fiber, as determined by solid-state cross-polarization magic-angle sample spinning (CP/MAS) ¹³C NMR, is much lower than other, and the NMR spectra of its dry and wet state were significantly different from each other, indicating that cellulose molecules in the new cellulose fiber are quite mobile when wet. This phenomenon has not been reported for so-called regenerated cellulose fibers.     

日本著名时装设计师小筱弘子访谈

本文是在国际服饰文化与教育研讨会期间,本栏目主持人、我校服装艺术与工程学院讲师孙雪飞对日本著名时装设计师小筱弘子进行访谈的整理.     

Doing Business with Theory: Communities of Practice in Knowledge Management

We explore how the notion of communities of practice (CoPs) was translated and popularized from its original inception by Lave and Wenger in 1991. We argue that the Institute for Research on Learning (IRL), a spin-off of Xerox PARC, proved instrumental in enrolling CoPs into the knowledge management (KM) discipline. IRL objectified, packaged, and made a business out of CoPs. CoPs in KM are now a formalized process coupled with technological artifacts to build groups of people who effectively share knowledge across boundaries. Drawing from participant observations, archival documents, and interviews with KM practitioners in the aerospace industry as well as key players of IRL, our research seeks to unveil the invisible history that the popularization of a theory can often obscure. We argue that CoPs provide a case study for understanding how abstract concepts in science are strategically and subconsciously reified, or made objects of inquiry, and appropriated by actors. This reification of a “soft” science blurs the line between theory and technology.