以 下 の デ ー タ は 、英 辞 郎 Ver.146（ 2015 年 8 月 19 日 版 ）で 追 加 さ れ た デ ー タ の う ち の 一部です。 このサンプルデータにおいては、漢字の読み仮名が

Source URL: www.eijiro.jp

An Implicitly-Typed Deadlock-Free Process Calculus3 Naoki Kobayashi Shin Saito Eijiro Sumii Department of Information Science, University of TokyoHongo,Bunkyo-ku, Tokyo, Japan email:.j

Source URL: www.kb.ecei.tohoku.ac.jp

Messages from Departments and Centers of NILIM Aiming at Improvement in Sewerage Management TAKASHIMA Eijiro, Director Water Quality Control Department Keywords: comprehensive strength, management, total balance

Source URL: www.nilim.go.jp

Limitations of Applicative Bisimulation (Preliminary Report) Vasileios Koutavas?1 , Paul Blain Levy2 and Eijiro Sumii3 1 Trinity College Dublin

Source URL: drops.dagstuhl.de

Gummi: User Interface for Deformable Computers Carsten Schwesig 1,2, Ivan Poupyrev 1, Eijiro Mori2 1 Interaction Lab, Sony CSL Takanawa Muse Building

Source URL: www.ivanpoupyrev.com

• Graphical user interfaces
• Computing
• Virtual reality
• Software architecture
• Human–computer interaction
• WIMP
• User interface
• Interaction technique
• Input device
• User interface techniques
• Human–computer interaction
• Software

A Bisimulation for Type Abstraction and Recursion Eijiro Sumii Benjamin C. Pierce University of Pennsylvania

Source URL: www.cis.upenn.edu

• Mathematics
• Models of computation
• Denotational semantics
• Lambda calculus
• Model theory
• Π-calculus
• Bisimulation
• Orbifold
• Theoretical computer science
• Applied mathematics
• Logic in computer science

A Bisimulation for Type Abstraction and Recursion EIJIRO SUMII Tohoku University and BENJAMIN C. PIERCE University of Pennsylvania

Source URL: www.cis.upenn.edu

• Lambda calculus
• Models of computation
• Logic in computer science
• Programming language semantics
• Denotational semantics
• Fixed-point combinator
• Model theory
• Simply typed lambda calculus
• Curry–Howard correspondence
• Theoretical computer science
• Applied mathematics
• Computer science

An Implementation of Transparent Migration on Standard Scheme Eijiro Sumii University of Tokyo

Source URL: repository.readscheme.org

• Lambda calculus
• Continuations
• Functional programming
• Control flow
• Data types
• Delimited continuation
• Call-with-current-continuation
• Continuation
• Fixed-point combinator
• Software engineering
• Computing
• Computer programming

Jim Breen’s Japanese Page Bill Gordon November 1, 2000

Source URL: www.bill-gordon.net

• Online dictionaries
• Dictionary software
• Electronic dictionary
• Dictionary
• EDICT
• Jim Breen
• Eijirō
• Furigana
• Kanji
• Linguistics
• Japanese dictionaries
• Lexicography

A Bisimulation for Dynamic Sealing Eijiro Sumii Benjamin C. Pierce University of Pennsylvania

Source URL: www.cis.upenn.edu

• Lambda calculus
• Computability theory
• Fixed-point combinator
• Π-calculus
• Valuation
• Combinatory logic
• Theoretical computer science
• Mathematics
• Applied mathematics