This paper gives the strong reduction of the combinatory calculus SCL, which was introduced as a combinatory calculus corresponding to the untyped Lambda-mu calculus. It proves the confluence of the strong reduction. By the confluence, it also proves the conservativity of the extensional equality of SCL over the combinatory calculus CL, and the consistency of SCL.

The Y‐box‐binding protein (YB‐1) represents the most evolutionary conserved nucleic‐acid‐binding protein currently known. YB‐1 is a member of the cold‐shock domain (CSD) protein superfamily. It performs a wide variety of cellular functions, including transcriptional regulation, translational regulation, DNA repair, drug resistance and stress responses to extracellular signals. As a result, YB‐1 expression is closely associated with cell proliferation. In this review, we will begin by briefly describing the characteristics of YB‐1 and will then summarize the pleiotropic functions brought about via (...) DNA–RNA transaction and protein–protein interactions. In addition, we will discuss the diverse range of potential physiological and pathological functions of YB‐1. BioEssays 25:691–698, 2003. © 2003 Wiley Periodicals, Inc. (shrink)

This article introduces the little-studied figure of Saigusa Hiroto, a twentieth century Marxist philosopher who reconstructed the history of technical thought in Japan. The article focuses on Saigusa’s thought between 1939 and 1942, contextualizes his thinking in relation to the technology controversy of the 1930s and presents his critique of the dualism between spiritual and technological culture. Saigusa defines technology as a “means as a process” and not a skill or system of things. The author argues that Saigusa’s notion (...) of “means as a process” dislocates the idea of Western technology as superior to Eastern technology, paving the way for current debates in the field of post-European philosophies of technology. (shrink)