Sumii Eijiro 住井英二郎

… Alternative Names

SUMII Eijiro 住井英二郎

SUMII Eijirou 住井英二郎

Less

Researcher Number	00333550
Other IDs
Affiliation (Current)	2025: 東北大学, 情報科学研究科, 教授
Affiliation (based on the past Project Information) *help	2014 – 2024: 東北大学, 情報科学研究科, 教授 2015: 東北大学, 大学院情報科学研究科, 教授 2011 – 2013: 東北大学, 情報科学研究科, 准教授 2007 – 2010: Tohoku University, 大学院・情報科学研究科, 准教授 2008: Tohoku University, 大学院情報科学研究科, 准教授 … More 2006: 東北大学, 大学院情報科学研究科, 助教授 2005 – 2006: 東北大学, 大学院・情報科学研究科, 助教授 2001 – 2002: 東京大学, 大学院・情報学環, 助手 Less
Review Section/Research Field	Principal Investigator Software / Software / Basic Section 60050:Software-related / Medium-sized Section 60:Information science, computer engineering, and related fields / Theory of informatics Except Principal Investigator Science and Engineering / Fundamental theory of informatics / Software / 計算機科学
Keywords	Principal Investigator 環境双模倣 / プログラム等価性 / プログラム理論 / λ計算 / プログラミング言語理論／プログラム理論 / セキュリティ型 / 評価戦略 / 必要呼び / 名前呼び / 遅延評価 … More / セキュリティ型つきλ計算 / ソフトウェア基礎 / 型システム / プログラミング言語理論 / 計算モデル / プログラミング言語理論に基づくセキュリティ / 関数型プログラミング／関数型プログラミング言語 / 高階・並行・分散計算 / 非機密化，動的レベル生成 / 形式手法（フォーマルメソッド），計算モデル / 継続(continuation) / 継続演算子 / Call/cc / 条件分岐・if文 / 名前呼び・必要呼び / 評価文脈 / （環境）双模倣 / call/cc / （評価）文脈 / 継続 / 秘密性・機密性 / declassification / プログラム検証 / 非機密化(declassification) / 関数型プログラミング言語 / 必要呼び評価戦略 / 関数型言語 / 並行計算 / セキュリティ / 形式的（機械的）定理証明・検証 / 並行・分散計算 / 情報セキュリティ・情報流解析 / 高階計算・λ計算（ラムダ計算） / 関数型プログラミング / 継続演算子(call/cc) / パラメタ的高階抽象構文 / 再帰 / 形式的手法 / 並行分散システム / プロセス計算 / プログラム意味論 / 並行・分散プロセス計算 / 高階プログラム等価性証明 / 分散プロセス計算 / 理論計算機科学 / 形式手法 / 並行・分散プロセス計算モデル / Objective Caml / Fail-Safe C to Java / C言語 / ポインタ演算 / 存在型・再帰型システム / 高階π計算 / 多相λ計算 / 論理関係 / 文脈等価性 / 操作的意味論 / π計算 / プログラミング言語 / 型理論 / 高階計算 / パイ計算 / ラムダ計算 / 双模倣 / 情報セキュリティ / プログラム言語 … More Except Principal Investigator 型システム / プログラム検証 / 型理論 / プログラム変換 / 関数型プログラム / Web Crawling / Kernel Mode Linux / 資源使用法解析 / 高階再帰スキーム / プログラム解析 / 高階モデル検査 / XML / XML文書型 / バッファリング / ストリーム処理 / 木構造処理 / 順序付き線形型 / 関数型言語 / 高階文法 / データ圧縮 / information flow analysis / concurrent programs / functional programs / type theory / program analysis / program verification / 双模倣 / 割り込み / 線形最適化問題 / プログラム等価性 / デッドロック / 情報流解析 / 並行プログラム / Software Substrate / adaptive / Grid Computing / 動的コード生成 / プログラム特化 / ボトルネック / 性能予測 / 並列・分散ごみ集め / タスク配置 / 適応的計算 / 性能予測モデル / 並列GC / 並列メモリ管理 / 共有メモリ / 排他制御 / 並列言語 / 自己組織化ネットワーク / 動的負荷分散 / 自動並列化 / 基盤ソフトウェア / 適応的 / Grid計算 / type system / access control / MovingFirewall / Fail-Safe C / system software / programming languages / security / 仮想機械 / バイトコード変換 / 移動コード / 通信秘密性 / 暗化λ計算 / 保護モデル / 細粒度保護機構 / パイ計算 / ラムダ計算 / Linux / Java / C言語 / 型推論 / インターフェース定義言語(IDL) / 正規表現型 / メモリ管理 / ファイアウォール / インターフェース定義言語 / セキュリティ / アクセス制御 / Moving Firewall / Fail-Safe C言語 / システムソフトウェア / プログラミング言語 / セキュリテイ / ツリーオートマトン / モデル検査 / メモリ使用法解析 / 述語抽象化 / 資源使用法検証 / ソフトウェア検証 / 順序付非線形型 / 順序付線形型 Less

プログラミング言語理論にもとづく広義情報処理システムセキュリティPrincipal Investigator
- Principal Investigator
  
  住井英二郎
- Project Period (FY)
  2022 – 2024
- Research Category
  
  Grant-in-Aid for Challenging Research (Exploratory)
- Review Section
  
  Medium-sized Section 60:Information science, computer engineering, and related fields
- Research Institution
  Tohoku University
安全・高信頼ソフトウェアシステムのための高階・型付き・並行プログラミング言語理論Principal Investigator
- Principal Investigator
  
  住井英二郎
- Project Period (FY)
  2020 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Tohoku University
New reational program semantics based on the notion of continuations and contextsPrincipal Investigator
- Principal Investigator
  
  Sumii Eijiro
- Project Period (FY)
  2016 – 2018
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Software
- Research Institution
  Tohoku University
Development of theory and application of programming based on higher-order/typed calculiPrincipal Investigator
- Principal Investigator
  
  Sumii Eijiro
- Project Period (FY)
  2015 – 2019
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Tohoku University
Studies for Non-Monotone RecursionPrincipal Investigator
- Principal Investigator
  
  SUMII Eijiro
- Project Period (FY)
  2013 – 2015
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Theory of informatics
- Research Institution
  Tohoku University
Higher-Order Model Checking and its Applications
- Principal Investigator
  
  Kobayashi Naoki
- Project Period (FY)
  2011 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (S)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  The University of Tokyo
  Tohoku University
Formal Verification of Higher-Order Open SystemsPrincipal Investigator
- Principal Investigator
  
  SUMII Eijiro
- Project Period (FY)
  2010 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Tohoku University
Advancement and Application of Type Theory for Improving Software Safety
- Principal Investigator
  
  KOBAYASHI Naoki
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Tohoku University
順序付き線形型に基づく安全かつ高速な大規模データ処理の実現
- Principal Investigator
  
  小林直樹
- Project Period (FY)
  2007 – 2008
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Tohoku University
順序付き線形型に基づく安全かつ高速な大規模データ処理の実現
- Principal Investigator
  
  KOBAYASHI Naoki
- Project Period (FY)
  2006
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Tohoku University
A unified theory and application of information hiding by program verificationPrincipal Investigator
- Principal Investigator
  
  SUMII Eijiro
- Project Period (FY)
  2006 – 2008
- Research Category
  
  Grant-in-Aid for Young Scientists (A)
- Research Field
  
  Software
- Research Institution
  Tohoku University
Type Theory for Software Safety
- Principal Investigator
  
  KOBAYSHI Naoki
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Tohoku University
Secure Programming Languages Based on Mobile Code
- Principal Investigator
  
  YONEZAWA Akinori
- Project Period (FY)
  2000 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  The University of Tokyo
Adaptive Software Substrate for High Performance Wide Area Computing
- Principal Investigator
  
  YONEZAWA Akinori
- Project Period (FY)
  2000 – 2002
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  計算機科学
- Research Institution
  THE UNIVERSITY OF TOKYO

[Journal Article] 型システムを用いたロックフリースタックの検証2020
- Author(s)
  佐藤駿太朗, 住井英二郎
- Journal Title
  
  日本ソフトウェア科学会大会講演論文集
  
  Volume: 37
- Open Access
- Data Source
  KAKENHI-PROJECT-23K20379
[Journal Article] Polymorphic Gradual Typing with Holes2020
- Author(s)
  KIM Jaebyeog, SUMII Eijiro
- Journal Title
  
  日本ソフトウェア科学会大会講演論文集
  
  Volume: 37
- Open Access
- Data Source
  KAKENHI-PROJECT-23K20379
[Journal Article] Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion2019
- Author(s)
  Masayuki Mizuno, Eijiro Sumii
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 11893 Pages: 181-201
- DOI
  10.1007/978-3-030-34175-6_10
- ISBN
  9783030341749, 9783030341756
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15H02681, KAKENHI-PROJECT-19J11926
[Journal Article] Formal Verification of the Correspondence between Call-by-Need and Call-by-Name2018
- Author(s)
  Masayuki Mizuno, Eijiro Sumii
- Journal Title
  
  Functional and Logic Programming: 14th International Symposium, FLOPS 2018
  
  Volume: 印刷中
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-15H02681
[Journal Article] Formal Verification of the Correspondence between Call-by-Need and Call-by-Name2018
- Author(s)
  Masayuki Mizuno, Eijiro Sumii
- Journal Title
  
  Functional and Logic Programming: 14th International Symposium, FLOPS 2018
  
  Volume: 印刷中
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16K12409
[Journal Article] Formal Verification of the Correspondence Between Call-by-Need and Call-by-Name2018
- Author(s)
  Masayuki Mizuno, Eijiro Sumii
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 10818 Pages: 1-16
- DOI
  10.1007/978-3-319-90686-7_1
- ISBN
  9783319906850, 9783319906867
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-15H02681, KAKENHI-PROJECT-16K12409
[Journal Article] 無限の入出力を行う関数型プログラムのK正規化の形式的検証2017
- Author(s)
  水野雅之, 住井英二郎
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 印刷中
- NAID
  130006855251
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15H02681
[Journal Article] Specialization of Generic Array Accesses After Inlining2017
- Author(s)
  Ryohei Tokuda, Eijiro Sumii, Akinori Abe
- Journal Title
  
  Proceedings ML Family / OCaml Users and Developers workshops, ML Family/OCaml 2015, Vancouver, Canada, 3rd & 4th September 2015, Electronic Proceedings in Theoretical Computer Science
  
  Volume: 241 Pages: 45-53
- DOI
  10.4204/eptcs.241.4
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-15H02681
[Journal Article] A Sound and Complete Bisimulation for Contextual Equivalence in λ-Calculus with Call/cc2016
- Author(s)
  Taichi Yachi, Eijiro Sumii
- Journal Title
  
  Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, Lecture Notes in Computer Science
  
  Volume: 10017 Pages: 171-186
- DOI
  10.1007/978-3-319-47958-3_10
- ISBN
  9783319479576, 9783319479583
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15H02681, KAKENHI-PROJECT-16K12409
[Journal Article] Specialization of Generic Array Accesses After Inlining2015
- Author(s)
  Ryohei Tokuda, Eijiro Sumii
- Journal Title
  
  The OCaml Users and Developers Workshop (talk abstracts)
  
  Volume: 2015 Pages: 1-2
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-15H02681
[Journal Article] A Simple and Practical Linear Algebra Library Interface with Static Size Checking2015
- Author(s)
  Akinori Abe, Eijiro Sumii
- Journal Title
  
  EPTCS
  
  Volume: 198 Pages: 1-21
- DOI
  10.4204/eptcs.198.1
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-15H02681, KAKENHI-PROJECT-25540001
[Journal Article] Specialization of Generic Array Accesses After Inlining2015
- Author(s)
  Ryohei Tokuda, Eijiro Sumii
- Journal Title
  
  The Ocaml Users and Developers Workshop (talk abstracts)
  
  Volume: 2015 Pages: 1-2
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-25540001
[Journal Article] Call/ccを含む型無しラムダ計算における文脈等価性の一証明手法2015
- Author(s)
  谷内太一, 住井英二郎
- Journal Title
  
  日本ソフトウェア科学会第32回大会（2015年度）講演論文集
  
  Volume: 2015 Pages: 1-7
- NAID
  40020657231
- Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25540001
[Journal Article] Call/ccを含む型無しラムダ計算における文脈等価性の一証明手法2015
- Author(s)
  谷内太一，住井英二郎
- Journal Title
  
  日本ソフトウェア科学会第32回大会(2015年度)講演論文集
  
  Volume: 2015 Pages: 1-7
- NAID
  40020657231
- Data Source
  KAKENHI-PROJECT-15H02681
[Journal Article] A Simple and Practical Linear Algebra Library with Static Size Checking2014
- Author(s)
  Akinori Abe, Eijiro Sumii
- Journal Title
  
  Proceedings of The OCaml Users and Developers Workshop
  
  Volume: - Pages: 1-3
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-22300005
[Journal Article] A Simple and Practical Linear Algebra Library Interface with Static Size Checking2014
- Author(s)
  Akinori Abe, Eijiro Sumii
- Journal Title
  
  Proceedings of ACM SIGPLAN ML Family Workshop
  
  Volume: 2014 Pages: 1-3
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-25540001
[Journal Article] A Multi-Role Translation of Protocol Narration into the Spi-Calculus with Correspondence Assertions2013
- Author(s)
  Eijiro Sumii, Yuji Sato
- Journal Title
  
  FCS'13: Workshop on Foundations of Computer Security (Informal Proceedings)
  
  Volume: - Pages: 68-82
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25540001
[Journal Article] A Multi-Role Translation of Protocol Narration into the Spi-Calculus with Correspondence Assertions2013
- Author(s)
  Eijiro Sumii and Yuji Sato
- Journal Title
  
  FCS'13: Workshop on Foundations of Computer Security (Informal Proceedings)
  
  Volume: - Pages: 68-82
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300005
[Journal Article] A Higher-Order Distributed Calculus with Name Creation2012
- Author(s)
  Adrien Pierard, Eijiro Sumii
- Journal Title
  
  Proceedings of Twenty-Seventh Annual ACM/IEEE Symposium on Logic in Computer Science
  
  Volume: 27 Pages: 531-540
- DOI
  10.1109/lics.2012.63
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300005
[Journal Article] Sound Bisimulations for Higher-Order Distributed Process Calculus2011
- Author(s)
  Adrien Pierard, Eijiro Sumii
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 6604 Pages: 123-137
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300005
[Journal Article] From Applicative to Environmental Bisimulation2011
- Author(s)
  Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii
- Journal Title
  
  Electronic Notes in Theoretical Computer Science
  
  Volume: 276 Pages: 215-235
- DOI
  10.1016/j.entcs.2011.09.023
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300005
[Journal Article] Environmental bisimulations for higher-order language2011
- Author(s)
  Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
- Journal Title
  
  ACM Transactions on Programming Language Systems
  
  Volume: 33(1)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300005
[Journal Article] Environmental Bisimulations for Higher-Order Languages2010
- Author(s)
  Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
- Journal Title
  
  ACM Transactions on Programming Languages and Systems (TOPLAS)
  
  Volume: Vol.33
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240001
[Journal Article] A bisimulation-like proof method for contextual properties in untyped lambda-calculus with references and deallocation2010
- Author(s)
  Eijiro Sumii
- Journal Title
  
  Theoretical Computer Science
  
  Volume: 411(51-52) Pages: 4358-4378
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300005
[Journal Article] A Complete Characterization of Observational Equivalence in Polymorphic lambda-Calculus with General References2009
- Author(s)
  Eijiro Sumii
- Journal Title
  
  Proceedings of the 18th EACSL Annual Conference on Computer Science Logic(CSL'09) 5771
  
  Pages: 455-469
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240001
[Journal Article] A Theory of Non-Monotone Memory (Or: Contexts for free)2009
- Author(s)
  Eijiro Sumii
- Journal Title
  
  Proceedings of 18th European Symposium on Programming, (Lecture Notes in Computer Science, Springer-Verlag, Germany) vol. 550
  
  Pages: 237-251
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18680003
[Journal Article] A Theory of Non-Monotone Memory(Or : Contexts for free)2009
- Author(s)
  Eijiro Sumii
- Journal Title
  
  Lecture Notes in Computer Science (Proceedings of 18th European Symposium on Programming) 5502
  
  Pages: 237-251
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18680003
[Journal Article] Java言語への変換によるポインタ演算の安全な実装方式2008
- Author(s)
  上嶋祐紀, 住井英二郎
- Journal Title
  
  コンピュータソフトウェア (採録決定)
- NAID
  130004549129
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18680003
[Journal Article] MinCamlコンパイラ2008
- Author(s)
  住井英二郎
- Journal Title
  
  コンピュータソフトウェア 25
  
  Pages: 28-38
- NAID
  130004549107
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18680003
[Journal Article] MinCamlコンパイラ2008
- Author(s)
  住井英二郎
- Journal Title
  
  コンピュータソフトウェア, (岩波書店) 25巻2号
  
  Pages: 28-38
- NAID
  130004549107
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18680003
[Journal Article] Environmental Bisimulations for Higher-Order Languages2007
- Author(s)
  Davide Sangiorgi, Naoki Kobayashi, and Eijiro Sumii
- Journal Title
  
  Proceedings of Twenty-Second Annual IEEE Symposium on Logic in Computer Science
  
  Pages: 293-302
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18680003
[Journal Article] A Bisimulation for Dynamic Sealing. Theoretical Computer Science2007
- Author(s)
  Eijiro Sumii and Benjamin C. Pierce
- Journal Title
  
  Elsevier Science, (issues 1-3) vol. 375
  
  Pages: 169-192
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18680003
[Journal Article] A Bisimulation for Type Abstraction and Recursion2007
- Author(s)
  Eijiro Sumii and Benjamin C. Pierce
- Journal Title
  
  Journal of the ACM 54-5-26
  
  Pages: 1-43
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18680003
[Journal Article] A Bisimulation for Dynamic Sealing2007
- Author(s)
  Eijiro Sumii, Benjamin C. Pierce
- Journal Title
  
  Theoretical Computer Science 375・1-3
  
  Pages: 169-192
- Data Source
  KAKENHI-PROJECT-18680003
[Journal Article] Environmental Bisimulations for Higher-Order Languages2007
- Author(s)
  Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
- Journal Title
  
  Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science(LICS'07)
  
  Pages: 293-302
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300003
[Journal Article] spi計算における暗号プロトコルの形式的検証2007
- Author(s)
  住井英二郎
- Journal Title
  
  応用数理, (岩波書店) 17巻4号
  
  Pages: 16-26
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18680003
[Journal Article] Logical Bisimulations and Functional Languages2007
- Author(s)
  Davide Sangiorgi, Naoki Kobayashi, and Eijiro Sumii
- Journal Title
  
  Post-Proceedings of IPM International Symposium on Fundamentals of Software Engineering, (Lecture Notes in Computer Science, Springer-Verlag, Germany) vol. 4767
  
  Pages: 364-379
- Data Source
  KAKENHI-PROJECT-18680003
[Journal Article] Javaへの変換による安全なC言語の実装2007
- Author(s)
  上嶋祐紀, 住井英二郎
- Journal Title
  
  第9回プログラミングおよびプログラミング言語ワークショップ論文集
  
  Pages: 52-66
- Data Source
  KAKENHI-PROJECT-18680003
[Journal Article] Environmental Bisimulations for Higher-Order Languages2007
- Author(s)
  Davide Sangiorgi, Naoki kobayashi, Eijiro Sumii
- Journal Title
  
  Proceedings of IEEE Symposium on Logic in Computer Science (LICS 2007) (出版決定)
- Data Source
  KAKENHI-PROJECT-17300003
[Journal Article] A Bisimulation for Type Abstraction and Recursion2007
- Author(s)
  Eijiro Sumii and Benjamin C. Pierce
- Journal Title
  
  Journal of the ACM, (issue 5, article 26) vol. 54
  
  Pages: 1-43
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18680003
[Journal Article] 型安全な通信ライブラリQuicksilverとその改良2007
- Author(s)
  須藤尚稔, 住井英二郎
- Journal Title
  
  第9回プログラミングおよびプログラミング言語ワークショップ論文集
  
  Pages: 39-51
- Data Source
  KAKENHI-PROJECT-18680003
[Journal Article] MinCaml : A Simple and Efficient Compiler for a Minimal Functional Language2005
- Author(s)
  Eijiro Sumii
- Journal Title
  
  Functional and Declarative Programming in Education (FDPE05)
  
  Pages: 27-38
- Data Source
  KAKENHI-PROJECT-17300003
[Journal Article] A Bisimulation for Dynamic Sealing
- Author(s)
  Eijiro Sumii, Benjamin C.Pierce
- Journal Title
  
  Theoretical Computer Science (出版予定)
- Data Source
  KAKENHI-PROJECT-17300003
[Presentation] RustへのFractional Ownershipの動的検査の導入2024
- Author(s)
  馬場風汰，住井英二郎
- Organizer
  第26回プログラミングおよびプログラミング言語ワークショップ（PPL 2024）
- Data Source
  KAKENHI-PROJECT-22K19766
[Presentation] RustへのFractional Ownershipの動的検査の導入2024
- Author(s)
  馬場風汰，住井英二郎
- Organizer
  第26回プログラミングおよびプログラミング言語ワークショップ（PPL 2024）
- Data Source
  KAKENHI-PROJECT-23K20379
[Presentation] 構造化グラフの正規化の証明2023
- Author(s)
  柳沢大貴, 住井英二郎
- Organizer
  第25回プログラミングおよびプログラミング言語ワークショップ（PPL 2023）
- Data Source
  KAKENHI-PROJECT-23K20379
[Presentation] 複数参加者非同期セッション型の一般プロセス型への変換2023
- Author(s)
  細川万里奈, 住井英二郎
- Organizer
  第25回プログラミングおよびプログラミング言語ワークショップ（PPL 2023
- Data Source
  KAKENHI-PROJECT-23K20379
[Presentation] LEGO Education SPIKE PrimeのMicroPython環境における関数型リアクティブプログラミング2023
- Author(s)
  中里匡亮, 住井英二郎
- Organizer
  第25回プログラミングおよびプログラミング言語ワークショップ（PPL 2023）
- Data Source
  KAKENHI-PROJECT-22K19766
[Presentation] LEGO Education SPIKE PrimeのMicroPython環境における関数型リアクティブプログラミング2023
- Author(s)
  中里匡亮, 住井英二郎
- Organizer
  第25回プログラミングおよびプログラミング言語ワークショップ（PPL 2023）
- Data Source
  KAKENHI-PROJECT-23K20379
[Presentation] 複数参加者非同期セッション型の一般プロセス型への変換2023
- Author(s)
  細川万里奈, 住井英二郎
- Organizer
  第25回プログラミングおよびプログラミング言語ワークショップ（PPL 2023）
- Data Source
  KAKENHI-PROJECT-22K19766
[Presentation] 構造化グラフの正規化の証明2023
- Author(s)
  柳沢大貴, 住井英二郎
- Organizer
  第25回プログラミングおよびプログラミング言語ワークショップ（PPL 2023）
- Data Source
  KAKENHI-PROJECT-22K19766
[Presentation] MetaOCamlによる自律型ロボットのためのCコード生成2021
- Author(s)
  山本うらん, 住井英二郎
- Organizer
  PPL 2021: 第23回プログラミングおよびプログラミング言語ワークショップ
- Data Source
  KAKENHI-PROJECT-23K20379
[Presentation] SMTソルバーを利用した算術式を含む高階関数の等価性検証手法2021
- Author(s)
  遠藤瑛輔, 住井英二郎
- Organizer
  PPL 2021: 第23回プログラミングおよびプログラミング言語ワークショップ
- Data Source
  KAKENHI-PROJECT-23K20379
[Presentation] 定理証明支援器Coqを用いた計算量の証明の改良2021
- Author(s)
  中村悠紀, 住井英二郎
- Organizer
  PPL 2021: 第23回プログラミングおよびプログラミング言語ワークショップ
- Data Source
  KAKENHI-PROJECT-23K20379
[Presentation] Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion2019
- Author(s)
  Masayuki Mizuno, Eijiro Sumii
- Organizer
  APLAS 2019
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02681
[Presentation] Progress report: Ruby 3における静的型解析の実現に向けて2019
- Author(s)
  遠藤侑介, 松本宗太郎, 上野雄大, 住井英二郎, 松本行弘
- Organizer
  第21回プログラミングおよびプログラミング言語ワークショップ（PPL2019）
- Data Source
  KAKENHI-PROJECT-16K12409
[Presentation] ブロックチェーン合意形成プロトコルのCoqによる証明からのコード抽出2019
- Author(s)
  木村朝輝, 住井英二郎
- Organizer
  第21回プログラミングおよびプログラミング言語ワークショップ（PPL2019）
- Data Source
  KAKENHI-PROJECT-15H02681
[Presentation] NetKAT with Cryptography2019
- Author(s)
  菅原慎之介, 住井英二郎
- Organizer
  第21回プログラミングおよびプログラミング言語ワークショップ（PPL2019）
- Data Source
  KAKENHI-PROJECT-15H02681
[Presentation] Progress report: Ruby 3における静的型解析の実現に向けて2019
- Author(s)
  遠藤侑介, 松本宗太郎, 上野雄大, 住井英二郎, 松本行弘
- Organizer
  第21回プログラミングおよびプログラミング言語ワークショップ（PPL2019）
- Data Source
  KAKENHI-PROJECT-15H02681
[Presentation] Formal Verification of the Correspondence Between Call-by-Need and Call-by-Name2018
- Author(s)
  Masayuki Mizuno, Eijiro Sumii
- Organizer
  Fourteenth International Symposium on Functional and Logic Programming (FLOPS 2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K12409
[Presentation] Formal Verification of the Correspondence Between Call-by-Need and Call-by-Name2018
- Author(s)
  Masayuki Mizuno, Eijiro Sumii
- Organizer
  Fourteenth International Symposium on Functional and Logic Programming (FLOPS 2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02681
[Presentation] A Sound and Complete Bisimulation for Contextual Equivalence in λ-Calculus with Call/cc2016
- Author(s)
  Taichi Yachi, Eijiro Sumii
- Organizer
  14th Asian Symposium on Programming Languages and Systems
- Place of Presentation
  Hanoi, Vietnam
- Year and Date
  2016-11-21
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K12409
[Presentation] 無限の入出力を行う関数型プログラムのK正規化の形式的検証2016
- Author(s)
  水野雅之, 住井英二郎
- Organizer
  日本ソフトウェア科学会大会
- Place of Presentation
  東北大学（仙台市）
- Year and Date
  2016-09-09
- Data Source
  KAKENHI-PROJECT-15H02681
[Presentation] A Sound and Complete Bisimulation for Contextual Equivalence in λ-Calculus with Call/cc2016
- Author(s)
  Taichi Yachi, Eijiro Sumii
- Organizer
  14th Asian Symposium on Programming Languages and Systems
- Place of Presentation
  Hanoi, Vietnam
- Year and Date
  2016-11-21
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02681
[Presentation] 機械学習による関数型ブーリアンプログラムの型推論2016
- Author(s)
  阿部晃典，住井英二郎
- Organizer
  第18回プログラミングおよびプログラミング言語ワークショップ（PPL2016）
- Place of Presentation
  ダイヤモンド瀬戸内マリンホテル（岡山県玉野市）
- Year and Date
  2016-03-07
- Data Source
  KAKENHI-PROJECT-15H02681
[Presentation] 機械学習による関数型ブーリアンプログラムの型推論2016
- Author(s)
  阿部晃典, 住井英二郎
- Organizer
  第18回プログラミングおよびプログラミング言語ワークショップ（PPL2016）
- Place of Presentation
  ダイヤモンド瀬戸内マリンホテル（岡山県玉野市）
- Year and Date
  2016-03-07
- Data Source
  KAKENHI-PROJECT-25540001
[Presentation] Specialization of Generic Array Accesses After Inlining2015
- Author(s)
  Ryohei Tokuda, Eijiro Sumii
- Organizer
  The OCaml Users and Developers Workshop
- Place of Presentation
  Vancouver, Canada
- Year and Date
  2015-09-04
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02681
[Presentation] Call/ccを含む型無しラムダ計算における文脈等価性の一証明手法2015
- Author(s)
  谷内太一，住井英二郎
- Organizer
  日本ソフトウェア科学会第32回大会
- Place of Presentation
  早稲田大学西早稲田キャンパス（東京都新宿区）
- Year and Date
  2015-09-10
- Data Source
  KAKENHI-PROJECT-15H02681
[Presentation] Specialization of Generic Array Accesses After Inlining2015
- Author(s)
  Ryohei Tokuda, Eijiro Sumii
- Organizer
  The Ocaml Users and Developers Workshop
- Place of Presentation
  Vancouver, Canada
- Year and Date
  2015-09-04
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25540001
[Presentation] Call/ccを含む型無しラムダ計算における文脈等価性の一証明手法2015
- Author(s)
  谷内太一, 住井英二郎
- Organizer
  日本ソフトウェア科学会第32回大会
- Place of Presentation
  早稲田大学西早稲田キャンパス（東京都新宿区）
- Year and Date
  2015-09-10
- Data Source
  KAKENHI-PROJECT-25540001
[Presentation] A Simple and Practical Linear Algebra Library with Static Size Checking2014
- Author(s)
  Eijiro Sumii
- Organizer
  ACM SIGPLAN ML Family Workshop
- Place of Presentation
  Gothenburg, Sweden
- Year and Date
  2014-09-04
- Data Source
  KAKENHI-PROJECT-22300005
[Presentation] A Simple and Practical Linear Algebra Library Interface with Static Size Checking2014
- Author(s)
  Eijiro Sumii
- Organizer
  ACM SIGPLAN ML Family Workshop
- Place of Presentation
  Gothenburg, Sweden
- Year and Date
  2014-09-04
- Data Source
  KAKENHI-PROJECT-25540001
[Presentation] Sound Bisimulations for Higher-Order Distributed Process Calculus2011
- Author(s)
  Adrien Pierard, Eijiro Sumii
- Organizer
  14th International Conference on Foundations of Software Science and Computation Structures
- Place of Presentation
  ドイツ・ザールブリュッケン
- Year and Date
  2011-03-28
- Data Source
  KAKENHI-PROJECT-22300005
[Presentation] A Theory of Non-Monotone Memory (Or : Contexts for free)2009
- Author(s)
  Eijiro Sumii
- Organizer
  18th European Symposium on Programming
- Place of Presentation
  ヨーク(イギリス)
- Year and Date
  2009-03-26
- Data Source
  KAKENHI-PROJECT-18680003
[Presentation] 型安全な通信ライブラリQuicksilverとその改良2007
- Author(s)
  藤尚稔, 住井英二郎
- Organizer
  日本ソフトウェア科学会プログラミング論研究会第9回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  石川県加賀市
- Year and Date
  2007-03-08
- Data Source
  KAKENHI-PROJECT-18680003
[Presentation] 2時間で真似(まね)ぶ関数型言語のコンパイラ2006
- Author(s)
  住井英二郎
- Organizer
  日本ソフトウェア科学会プログラミング論研究会第44回プログラミングおよびプログラミング言語サマースクール
- Place of Presentation
  東京大学本郷キャンパス
- Year and Date
  2006-09-12
- Data Source
  KAKENHI-PROJECT-18680003
[Presentation] spi計算における暗号プロトコルの形式的検証について2006
- Author(s)
  住井英二郎
- Organizer
  日本応用数理学会数理的技法による情報セキュリティ研究部会第二回研究集会
- Place of Presentation
  東京大学駒場キャンパス
- Year and Date
  2006-12-22
- Data Source
  KAKENHI-PROJECT-18680003
[Presentation] A Multi-Role Translation of Protocol Narration into the Spi-Calculus with Correspondence Assertions
- Author(s)
  Eijiro Sumii
- Organizer
  FCS'13: Workshop on Foundations of Computer Security
- Place of Presentation
  Tulane University, New Orleans, USA
- Data Source
  KAKENHI-PROJECT-22300005
[Presentation] From Applicative to Environmental Bisimulation
- Author(s)
  Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii
- Organizer
  Mathematical Foundations of Programming Semantics
- Place of Presentation
  Carnegie Mellon University, Pittsburgh, PA, USA
- Data Source
  KAKENHI-PROJECT-22300005
[Presentation] A Multi-Role Translation of Protocol Narration into the Spi-Calculus with Correspondence Assertions
- Author(s)
  Eijiro Sumii
- Organizer
  FCS'13: Workshop on Foundations of Computer Security
- Place of Presentation
  Tulane University, New Orleans, Louisiana, USA
- Data Source
  KAKENHI-PROJECT-25540001
[Presentation] Normalizing Structured Graphs
- Author(s)
  Eijiro Sumii
- Organizer
  IFIP Working Group 2.8 32nd Meeting
- Place of Presentation
  Estes Park, Colorado, US
- Year and Date
  2014-08-11 – 2014-08-15
- Data Source
  KAKENHI-PROJECT-25540001
[Presentation] Environmental Bisimulation and Its Open Problems
- Author(s)
  Eijiro Sumii
- Organizer
  IFIP Working Group 2.8
- Place of Presentation
  Aussois, France
- Data Source
  KAKENHI-PROJECT-22300005
[Presentation] A Higher-Order Distributed Calculus with Name Creation
- Author(s)
  Adrien Pierard, Eijiro Sumii
- Organizer
  Twenty-Seventh Annual ACM/IEEE Symposium on Logic in Computer Science
- Place of Presentation
  Dubrovnik, Croatia
- Data Source
  KAKENHI-PROJECT-22300005

1. KOBAYASHI Naoki (00262155)

# of Collaborated Projects: 6 results

# of Collaborated Products: 3 results
2. TERAUCHI Tachio (70447150)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
3. IGARASHI Atsushi (40323456)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
4. MATSUDA Kazutaka (10583627)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
5. TAURA Kenjiro (90282714)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. YONEZAWA Akinori (00133116)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
7. OYAMA Yoshihiro (10361536)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
8. MASUHARA Hidehiko (40280937)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
9. 遠藤敏夫

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
10. SHINOHARA Ayumi (00226151)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. UNNO Hiroshi (80569575)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. 西澤弘毅 (60455433)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. Kiselyov Oleg

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. 山本泰宇

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Sumii Eijiro 住井 英二郎

SUMII Eijiro 住井 英二郎

SUMII Eijirou 住井 英二郎

Research Projects

Research Products

Co-Researchers

プログラミング言語理論にもとづく広義情報処理システムセキュリティPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

安全・高信頼ソフトウェアシステムのための高階・型付き・並行プログラミング言語理論Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

New reational program semantics based on the notion of continuations and contextsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Development of theory and application of programming based on higher-order/typed calculiPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Studies for Non-Monotone RecursionPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Higher-Order Model Checking and its Applications

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Formal Verification of Higher-Order Open SystemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Advancement and Application of Type Theory for Improving Software Safety

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

順序付き線形型に基づく安全かつ高速な大規模データ処理の実現

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

順序付き線形型に基づく安全かつ高速な大規模データ処理の実現

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

A unified theory and application of information hiding by program verificationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Type Theory for Software Safety

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Secure Programming Languages Based on Mobile Code

Principal Investigator

Sumii Eijiro 住井英二郎

SUMII Eijiro 住井英二郎

SUMII Eijirou 住井英二郎