ラリーガ

Fields Medical Life Sciences Information Communication Environment Nanotechnology / Materials Energy Manufacturing Technology Social Infrastructure Frontier Liberal Arts Themes Researchers JP Top Information Communication Programming Language Theory and Computation Models Programming Language Theory and Computation Models JAPANESEINQUIRY update：2020/06/16       NEXT PREV Features and Uniqueness Our laboratory conducts leading research on programming language theory and high-level computation models. In particular, we focus on research and application of (general proof methods for) program equivalence, functional programing, and type systems (also known as lightweight formal methods), which are attracting revived interests in recent years. Our Japanese translation of "Types and Programming Languages" (Benjamin C. Pierce, University of Pennsylvania)---compiled in cooperation with engineers from top-level electronics and software companies in Japan---has become the 42nd bestseller (rather exceptional as an academic Publications) among new books in Amazon.co.jp. For more information, please see the Web page: http://www.kb.ecei.tohoku.ac.jp/~sumii Practical Application Our technology can be used for design and development of software artifacts, especially programming languages and tools including DSL (domain specific languages), as well as application of functional programming, type systems, or formal methods. Keywords Programming Languages Functional Programming Concurrent Process Calculus Researchers Graduate School of Information Sciences Eijiro Sumii, Professor Laboratory Website researchmap Laboratory Website researchmap Related Information PublicationsA Bisimulation-Like Proof Method for Contextual Properties in Untyped lambda-Calculus with References and Deallocation. Eijiro Sumii. Theoretical Computer Science, Elsevier Science, the Netherlands, vol. 411, issues 51-52, pp. 4358-4378, December 2010.A Bisimulation for Type Abstraction and Recursion. Eijiro Sumii and Benjamin C. Pierce. Journal of the ACM, vol. 54, issue 5, article 26, pp. 1-43, October 2007. Browsing History User Who Reviewed This Content Also Reviewed Extracorporeal Shock Wave Therapy as a New, Non-Invasive Angiogenic Therapy [ SHIMOKAWA Hiroaki Professor ] Molecular Imaging from Basic Research to Clinical Application [ YANAI Kazuhiko Professor ] Noninvasive Ultrasonic Measurement of Dynamic Properties of Heart and Arteries [ Hiroshi Kanai Professor ] Research Profiles ©TOHOKU UNIVERSITY How to Use FAQ For Researchers Site Policy [jp] ©TOHOKU UNIVERSITY Fields Medical Life Sciences Information Communication Environment Nanotechnology / Materials Energy Manufacturing Technology Social Infrastructure Frontier Liberal Arts Fields Themes Researchers 日本語 ENGLISH Close