• Search Research Projects
  • Search Researchers
  1. Back to previous page

ASAI Kenichi  浅井 健一

ORCIDConnect your ORCID iD *help
Researcher Number 10262156
External Links
Affiliation *help 2015 – 2018 : お茶の水女子大学, 基幹研究院, 准教授
2015 : お茶の水女子大学, 人間文化創成科学研究科, 准教授
2012 – 2014 : お茶の水女子大学, 大学院人間文化創成科学研究科, 准教授
2012 – 2013 : お茶の水女子大学, 人間文化創成科学研究科, 准教授
2007 – 2011 : Ochanomizu University, 大学院・人間文化創成科学研究科, 准教授 … More
2006 : お茶の水女子大学, 理学部, 助教授
2004 : Ochanomizu University, Faculty of Science, Associate Professor, 理学部・情報科学科, 助教授
2004 : お茶女大, 理学部, 助教授
2001 – 2003 : お茶の水女子大学, 理学部, 助教授
2001 : お茶ノ水女子大学, 理学部, 助教授
2001 : The University Tokyo, Assistant, 理学系研究科, 助手
1995 – 2000 : Graduate School of Science, University of Tokyo, Research Associate, 大学院・理学系研究科, 助手 Less
Review Section/Research Field
Principal Investigator
計算機科学 / Software / Fundamental theory of informatics / Software
Except Principal Investigator
計算機科学 / Basic Section 60050:Software-related / Software / Software
Keywords
Principal Investigator
部分評価 / 関数型言語 / 自己反映言語 / 副作用命令 / コンパイラ / プログラム変換 / 型システム / 副作用解析 / 開発環境 / 型デバッガ … More / プログラム理論 / 部分継続 / 型 / 最適化 / 履歴付記号値 / インタプリタ / MetaOCaml / コンパイル / ステッパ / 情報基礎 / コンパイラジェネレータ … More
Except Principal Investigator
プログラム生成 / 型システム / 離散システム / 2分決定グラフ / 計算幾何 / Voronoi図 / computational geometry / Tutte polynomial / discrete system / 量子情報 / Tutte多項式 / マトロイド / 情報幾何 / Computational geometry / ソフトウェア検証 / 地理データベース / 不変多項式 / 実行時プログラム生成 / graph / computational algebra / 量子情報幾何 / binary decision diagram / shelling / Trtte多項式 / 地理情報システム / 単体複体 / プログラムの論理 / 計算代数 / computational complexity / コントロールオペレータ / 三角形分割 / Voronoi diagram / コントールオペレータ / グレブナ基底 / 安全性 / 数理計画法 / 量子通信路容量 / クラスタリング / 段階的計算 / network / プログラム変換 / Groebner bases / 逆探索 / プログラム検証 / 高信頼ソフトウェア / reverse search / combinatorial optimization / 凸多面体 / アレジメント / プログラミングパラダイム / コード生成 / simplicial complex / 量子情報システム / 3角形分割 / invariant polynomials / プログラム言語論 / 配送計画 / エンタングルメント / プログラム特化 / 計算量理論 / quantum information geometry / 単体的複体 / プログラミング言語 / quantun information / 様相論理 / プログラミング言語論 / oriented matroid / Grobner基底 / combinatorics / 一般化代数データ型 / vehicle routing / アルゴリズム / マッチング / geographical information system / Web graph / mathematical programming / 組合せ最適化 / 自動微分 / 高性能計算 / Tutte 多項式 / シェリング / ディペンダブルコンピューティング / 頑健性 / robust computation / Jones多項式 / 最適化 / matroid / quantum channel capacity / 量子計算幾何 / Binary Decision Diagram (BDD) / 有向マトロイド / 計算幾何・計算代数 / Jones polynomial / 関数型プログラム言語 / network reliability / マルチステージプログラミング / binary decision diagrams / 関数型プログラミング言語 / 多相型 / 型エラー / Groeber基底 / ネットワーク / 情報圧縮 / 離散幾何 / information compression / Jones 多項式 / geographical database / Curry-Howardの対応 / 頑健計算 / 型推論 / 融合変換 / 組合せ論 / ネットワーク信頼度 / 標準対 / Webグラフ / グラフ / discrete geometry Less
  • Research Projects

    (16results)
  • Research Products

    (81results)
  • Co-Researchers

    (25People)
  •  Staged Computing based on Advanced Type SystemsOngoing

    • Principal Investigator
      亀山 幸義
    • Project Period (FY)
      2018 – 2021
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      University of Tsukuba
  •  プログラム意味論に基づく先進的なプログラミング環境の構築Principal InvestigatorOngoing

    • Principal Investigator
      浅井 健一
    • Project Period (FY)
      2015 – 2018
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      Ochanomizu University
  •  Study on Highly Reliable Programming Languages for Code Generation

    • Principal Investigator
      KAMEYAMA YUKIYOSHI
    • Project Period (FY)
      2013 – 2015
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      University of Tsukuba
  •  Foundations and efficient implementation of reflective languagesPrincipal Investigator

    • Principal Investigator
      ASAI Kenichi
    • Project Period (FY)
      2010 – 2014
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      Ochanomizu University
  •  Foundation of Programming Languages for Code Generation

    • Principal Investigator
      KAMEYAMA Yukiyoshi
    • Project Period (FY)
      2009 – 2012
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      University of Tsukuba
  •  Foundation and Application of Delimited ContinuationsPrincipal Investigator

    • Principal Investigator
      ASAI Kenichi
    • Project Period (FY)
      2006 – 2009
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Fundamental theory of informatics
    • Research Institution
      Ochanomizu University
  •  部分評価組み込みコンパイラの作成とその応用Principal Investigator

    • Principal Investigator
      浅井 健一
    • Project Period (FY)
      2003 – 2004
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Software
    • Research Institution
      Ochanomizu University
  •  自己反映言語への型の導入Principal Investigator

    • Principal Investigator
      淺井 健一
    • Project Period (FY)
      2001 – 2002
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      計算機科学
    • Research Institution
      Ochanomizu University
  •  Advanced Geometric Algorithms Based on Discrete Analysis of Information-Geometric Structures with Applications

    • Principal Investigator
      IMAI Hiroshi
    • Project Period (FY)
      2001 – 2004
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      The University of Tokyo
  •  NewDevelopments of Discrete-System Algorithmics Based on Complexes

    • Principal Investigator
      IMAI Hiroshi
    • Project Period (FY)
      1998 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas (B)
    • Research Institution
      The University of Tokyo
  •  部分評価を使った自己反映言語のコンパイル技法Principal Investigator

    • Principal Investigator
      浅井 健一
    • Project Period (FY)
      1997 – 1998
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      The University of Tokyo
  •  Discrete System Theory and Large-Scale Optimization Methods Based on Binary Decision Diagrams and

    • Principal Investigator
      IMAI Hiroshi
    • Project Period (FY)
      1997 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (B).
    • Research Field
      計算機科学
    • Research Institution
      the University of Tokyo
  •  Realization of Geographic Information Systems with High-Quality Processing Based on Computational Geometry

    • Principal Investigator
      IMAI Hiroshi
    • Project Period (FY)
      1997 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (B).
    • Research Field
      計算機科学
    • Research Institution
      the University of Tokyo
  •  副作用を含む関数型言語の部分評価Principal Investigator

    • Principal Investigator
      浅井 健一
    • Project Period (FY)
      1996
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      The University of Tokyo
  •  自己反映(リクレクティブ)言語のセマンティクスと部分評価による効率的実現Principal Investigator

    • Principal Investigator
      浅井 健一
    • Project Period (FY)
      1995
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      The University of Tokyo
  •  Joint Research on Algorithms in Computational Geometry

    • Principal Investigator
      IMAI Hiroshi
    • Project Period (FY)
      1994 – 1995
    • Research Category
      Grant-in-Aid for international Scientific Research
    • Research Institution
      University of TOKYO

All 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007

All Journal Article Presentation

  • [Journal Article] Selective CPS transformation for shift and reset2018

    • Author(s)
      Kenichi Asai, Chihiro Uehara
    • Journal Title

      ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

      Volume : 2018 Pages : 40-52

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15K00090
  • [Journal Article] 限定継続命令をもつ依存型付き言語の設計2018

    • Author(s)
      叢 悠悠、浅井 健一
    • Journal Title

      プログラミングおよびプログラミング言語ワークショップ論文集

      Volume : 20 Pages : 1-17

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15K00090
  • [Journal Article] Agda による PHOAS を用いた CPS 変換の正当性の証明2018

    • Author(s)
      石尾 千晶、山田 麗、浅井 健一
    • Journal Title

      プログラミングおよびプログラミング言語ワークショップ論文集

      Volume : 20 Pages : 1-17

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15K00090
  • [Journal Article] Toward introducing binding-time analysis to MetaOCaml2016

    • Author(s)
      Kenichi Asai
    • Journal Title

      Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation

      Volume : なし Pages : 97-102

    • DOI
      10.1145/2847538.2847547
    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-25280020
  • [Journal Article] Automatic Staging via Partial Evaluation Techniques2016

    • Author(s)
      Kenichi Asai, Yukiyoshi Kameyama
    • Journal Title

      Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, EPiC Series in Computing

      Volume : 39 Pages : 1-13

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-25280020
  • [Journal Article] Agda による定式化された型推論器の拡張と改良2016

    • Author(s)
      門脇 香子、浅井 健一
    • Journal Title

      第18回プログラミングおよびプログラミング言語ワークショップ予稿集(オンライン)

      Volume : なし Pages : 1-15

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-25280020
  • [Journal Article] Implementing a stepper using delimited continuations2016

    • Author(s)
      Youyou Cong and Kenichi Asai
    • Journal Title

      EPiC Series in Computing

      Volume : 39 Pages : 42-54

    • Peer Reviewed / Open Access / Acknowledgement Compliant / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00090
  • [Journal Article] Agdaによる型推論器の定式化2015

    • Author(s)
      門脇香子、浅井健一
    • Journal Title

      第17回プログラミングおよびプログラミング言語ワークショップ論文集(オンライン)

      Volume : 17 Pages : 13-13

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25280020
  • [Journal Article] Compiling a Reflective Language using MetaOCaml2014

    • Author(s)
      Asai, K.
    • Journal Title

      International Conference on Generative Programming: Concepts and Experiences

      Volume : - Pages : 113-122

    • DOI
      10.1145/2658761.2658775
    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-22500025
  • [Journal Article] A Type Theoretic Specification of Partial Evaluation2014

    • Author(s)
      K. Asai, L. Fennell, P. Thiemann, Y. Zhang
    • Journal Title

      Proc. of 2014 Symp. on Principles and Practice of Declarative Programming

      Volume : 16 Pages : 57-68

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25280020
  • [Journal Article] Formalizing a Correctness Property of a Type-Directed Partial Evaluator2014

    • Author(s)
      Noriko Hirota and Kenichi Asai
    • Journal Title

      Proc. of ACM SIGPLAN Workshop on Programming Language meets Program Verification

      Volume : 2014 Pages : 41-46

    • DOI
      10.1145/2541568.2541572
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25280020
  • [Journal Article] 例外と限定継続命令をサポートする評価器からの仮想機械とコンパイラの導出2013

    • Author(s)
      増子 萌、浅井 健一
    • Journal Title

      プログラミングおよびプログラミング言語ワークショップ論文集

      Volume : 15

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22500025
  • [Journal Article] Functional un|unparsing2012

    • Author(s)
      Asai, K., O. Kiselyov, and C.-c. Shan
    • Journal Title

      Higher-Order and Symbolic Computation

      Volume : Vol. 24, Issue 4 Pages : 311-340

    • DOI
      10.1007/s10990-012-9087-2
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22500025
  • [Journal Article] Reflection in Direct Style2012

    • Author(s)
      Kenichi Asai
    • Journal Title

      Generative Programming and Component Engineering

      Volume : 10 Pages : 97-106

    • DOI
      10.1145/2047862.2047882
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22500025
  • [Journal Article] MikiBeta: A General GUI Library for Visualizing Proof Trees: System Description and Demonstration2011

    • Author(s)
      Kanako Sakurai, Kenichi Asai
    • Journal Title

      International Symposium on Logic-Based Program Synthesis andTransformation (LOPSTR), Lecture Notes in Computer Science

      Volume : 6564 Pages : 84-98

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Journal Article] MikiBeta : A General GUI Library for Visualizing Proof Trees2011

    • Author(s)
      Kanako Sakurai, Kenichi Asai
    • Journal Title

      Proc.of the 20th Int.Sym.on Logic-Based Program Synthesis and Transformation, LNCS

      Volume : 6564 Pages : 84-98

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Journal Article] Caml Light+shift/reset=Caml Shift2011

    • Author(s)
      Moe Masuko, Kenichi Asai
    • Journal Title

      Proc.Theory and Practice of Delimited Continuations (TPDC 2011)

      Pages : 33-46

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Journal Article] Caml Light + shift/reset = Caml Shift2011

    • Author(s)
      Moe Masuko, Kenichi Asai
    • Journal Title

      Theory and Practice of Delimited Continuations (TPDC 2011)

      Pages : 33-46

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Journal Article] 型付き対称λ計算と古典論理2010

    • Author(s)
      上田やよい、浅井健一
    • Journal Title

      第12回プログラミングおよびプログラミング言語ワークショップ論文集

      Pages : 34-48

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Journal Article] shift/resetによるCaml Lightの拡張に向けて2010

    • Author(s)
      増子萌、浅井健一
    • Journal Title

      第12回プログラミングおよびプログラミング言語ワークショップ論文集

      Pages : 115-129

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Journal Article] 限定継続を含む仮想機械導出のためのプログラム変換2010

    • Author(s)
      木谷有沙, 浅井健一
    • Journal Title

      コンピュータソフトウェア 16pages(掲載決定済み)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Journal Article] プログラム変換によるインタプリタからのコンパイラの導出2010

    • Author(s)
      木谷有沙、浅井健一
    • Journal Title

      第12回プログラミングおよびプログラミング言語ワークショップ論文集

      Pages : 206-220

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Journal Article] 汎用的に証明木のGUIを作成する『Miki β』の開発2010

    • Author(s)
      櫻井加奈子、浅井健一
    • Journal Title

      第12回プログラミングおよびプログラミング言語ワークショップ論文集

      Pages : 191-205

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Journal Article] shift/reset による Caml Light の拡張に向けて2010

    • Author(s)
      増子萌, 浅井健一
    • Journal Title

      第12回プログラミングおよびプログラミング言語ワークショップ

      Pages : 115-129

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Journal Article] 型付き対称λ計算と古典論理2010

    • Author(s)
      上田やよい, 浅井健一
    • Journal Title

      第12回プログラミングおよびプログラミング言語ワークショップ

      Pages : 34-48

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Journal Article] 限定継続処理の抽象機械導出のためのプログラム変換2010

    • Author(s)
      木谷有沙, 浅井健一
    • Journal Title

      コンピュータソフトウェア (掲載予定)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Journal Article] プログラム変換によるインタプリタからのコンパイラの導出2010

    • Author(s)
      木谷有沙, 浅井健一
    • Journal Title

      第12回プログラミングおよびプログラミング言語ワークショップ

      Pages : 206-220

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Journal Article] 汎用的に証明木のGUIを作成する『Miki β』の開発2010

    • Author(s)
      櫻井加奈子, 浅井健一
    • Journal Title

      第12回プログラミングおよびプログラミング言語ワークショップ

      Pages : 191-205

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Journal Article] Functional Derivation of a Virtual Machine for Delimited Continuations2010

    • Author(s)
      Kenichi Asai, Arisa Kitani
    • Journal Title

      Principles and Practice of Declarative Programming

      Pages : 87-97

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22500025
  • [Journal Article] 限定継続のためのTDPEに向けて2010

    • Author(s)
      対馬かなえ、浅井健一
    • Journal Title

      第12回プログラミングおよびプログラミング言語ワークショップ論文集

      Pages : 64-76

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Journal Article] Direct Implementation of Shift and Reset in the MinCaml Compiler2009

    • Author(s)
      M. Masuko, K. Asai
    • Journal Title

      Proceedings of the 2009 ACM SIGPLAN Workshop on ML

      Pages : 49-60

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Journal Article] 限定継続を含む仮想機械導出のためのプログラム変換2009

    • Author(s)
      木谷有沙, 浅井健一
    • Journal Title

      第11回プログラミングおよびプログラミング言語ワークショップ

      Pages : 149-162

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Journal Article] 対称λ計算の基礎理論2009

    • Author(s)
      阪上紗里、浅井健一
    • Journal Title

      コンピュータソフトウェア (掲載決定済み)

      Pages : 15-15

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Journal Article] MinCamlコンパイラにおけるshift/resetの実装2009

    • Author(s)
      増子萌, 浅井健一
    • Journal Title

      第11回プログラミングおよびプログラミング言語ワークショップ

      Pages : 163-177

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Journal Article] 限定継続を含む仮想機械導出のためのプログラム変換2009

    • Author(s)
      木谷有沙, 浅井健一
    • Journal Title

      第1 1回プログラミングおよびプログラミング言語ワークショップ

      Pages : 149-162

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Journal Article] Towards Type-Directed Partial Evaluation for Shift and Reset2009

    • Author(s)
      K.Tsushima, K.Asai
    • Journal Title

      Proc.Workshop on Normalization by Evaluation

      Pages : 57-64

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Journal Article] On Typing Delimited Continuations : Three New Solutions to the Printf Problem2009

    • Author(s)
      浅井健一
    • Journal Title

      Higher-Order and Symbolic Computation 22:3

      Pages : 275-291

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Journal Article] 対称λ計算の基礎理論2009

    • Author(s)
      阪上紗里, 浅井健一
    • Journal Title

      コンピュータソフトウェア 26:2

      Pages : 3-17

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Journal Article] Direct Implementation of Shift and Reset in the MinCaml Compiler2009

    • Author(s)
      増子萌, 浅井健一
    • Journal Title

      2009 ACM SIGPLAN Workshop on ML

      Pages : 49-60

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Journal Article] On Typing Delimited Continuations: Three New Solutions to the Printf Problem2009

    • Author(s)
      K. Asai
    • Journal Title

      Higher-Order and Symbolic Computation Vol.22,No.3(Springer)

      Pages : 275-291

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Journal Article] 対称λ計算の基礎理論2009

    • Author(s)
      阪上紗里、浅井健一
    • Journal Title

      コンピュータソフトウェア Vol.26,No.2

      Pages : 3-17

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Journal Article] Strong Normalization of Polymorphic Calculus for Delimited Continuations2008

    • Author(s)
      Y. Kameyama, K. Asai
    • Journal Title

      Austrian -Jap ane se Workshop on Symbolic Computation in Software Science (scss 2008)

      Pages : 96-108

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Journal Article] 対称λ計算の基礎理論2008

    • Author(s)
      阪上紗里, 浅井健一
    • Journal Title

      プログラミングおよびプログラミング言語ワークショップ

      Pages : 111-125

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Journal Article] Polymorphic Delimited Continuations2007

    • Author(s)
      K. Asai, Y. Kameyama
    • Journal Title

      5th Asian Symposium on Programming Languages and Systems (LNCS 4807)

      Pages : 239-254

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Journal Article] Logical Relations for Call- by-value Delimited Continuations2007

    • Author(s)
      K. Asai
    • Journal Title

      A Chater of Trends in Functional Programming Vol. 6

      Pages : 63-78

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Journal Article] Polymorphic Delimited Continuations2007

    • Author(s)
      K. Asai, Y. Kameyama
    • Journal Title

      5^<th> Asian Symposium on Programming Languages and Systems (LNCS 4807)

      Pages : 239-254

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Journal Article] Logical Relations for Callby-value Delimited Continuations2007

    • Author(s)
      K. Asai
    • Journal Title

      A Chapter of Trends in Functional Programming Vol.6

      Pages : 63-78

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Journal Article] Logical Relations for Call-by-value Delimited Continuations2007

    • Author(s)
      Asai, K.
    • Journal Title

      a chapter of Trends in Functional Programming (To appear)

      Pages : 63-78

    • Data Source
      KAKENHI-PROJECT-18500005
  • [Journal Article] Polymorphic Delimited Continuations2007

    • Author(s)
      K: Asai, Y. Kameyama
    • Journal Title

      5th Asian Symposium on Programming Languages and Systems LNCS 4807

      Pages : 239-254

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Presentation] OCaml ステッパの拡張2018

    • Author(s)
      古川 つきの, 浅井 健一
    • Organizer
      プログラミングおよびプログラミング言語ワークショップ
    • Data Source
      KAKENHI-PROJECT-15K00090
  • [Presentation] 型エラースライシングを利用した型エラーデバッガに関する実装と考察2017

    • Author(s)
      脇川奈穂、対馬かなえ、浅井健一
    • Organizer
      第58回プログラミング・シンポジウム
    • Place of Presentation
      ラフォーレ伊東(静岡県・伊東市)
    • Year and Date
      2017-01-06
    • Data Source
      KAKENHI-PROJECT-15K00090
  • [Presentation] 型エラースライシングを利用した型エラーデバッガに関する実装と考察2017

    • Author(s)
      脇川奈穂、対馬かなえ、浅井健一
    • Organizer
      第19回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      華やぎの章 慶山(山梨県・笛吹市)
    • Year and Date
      2017-03-08
    • Data Source
      KAKENHI-PROJECT-15K00090
  • [Presentation] Principle and Practice of OCaml Type Debugger2016

    • Author(s)
      Kenichi Asai
    • Organizer
      SIGPLAN Programming Languages Mentoring Workshop 2016
    • Place of Presentation
      奈良春日野国際フォーラム(奈良県・奈良市)
    • Int'l Joint Research / Invited
    • Data Source
      KAKENHI-PROJECT-15K00090
  • [Presentation] 動的束縛を用いた stepper の実装2016

    • Author(s)
      叢 悠悠,浅井 健一
    • Organizer
      第18回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      ダイヤモンド瀬戸内マリンホテル(岡山県・玉野市)
    • Year and Date
      2016-03-07
    • Data Source
      KAKENHI-PROJECT-15K00090
  • [Presentation] 強い型付けを利用したプログラミング初学者のための開発環境2016

    • Author(s)
      石井 柚季,浅井 健一
    • Organizer
      第18回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      ダイヤモンド瀬戸内マリンホテル(岡山県・玉野市)
    • Year and Date
      2016-03-07
    • Data Source
      KAKENHI-PROJECT-15K00090
  • [Presentation] Cross validation of the universe teachpack of Racket in OCaml2015

    • Author(s)
      Uehara, C., and K. Asai
    • Organizer
      4th International Workshop on Trends in Functional Programming in Education
    • Place of Presentation
      Sophia-Antipolis, France
    • Year and Date
      2015-06-02
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00090
  • [Presentation] MetaOCaml を使った自己反映言語のコンパイル2014

    • Author(s)
      浅井 健一
    • Organizer
      第16回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      阿蘇の司 ビラパークホテル(熊本県阿蘇市)
    • Data Source
      KAKENHI-PROJECT-22500025
  • [Presentation] 型デバッガのログの解析とエラーメッセージの改良2014

    • Author(s)
      石井柚季、浅井健一
    • Organizer
      第16回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      阿蘇の司ビラパークホテル
    • Data Source
      KAKENHI-PROJECT-25280020
  • [Presentation] shift/reset によるモナドトランスフォーマの提案と実装2013

    • Author(s)
      金子ちひろ, 浅井 健一
    • Organizer
      第15回プログラミングおよびプログラミング言語ワークショップ論文集
    • Place of Presentation
      御宿東鳳(会津若松市)
    • Year and Date
      2013-03-04
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Presentation] shift/reset 付きTDPE の抽出2013

    • Author(s)
      廣田知子, 浅井健一
    • Organizer
      第15回プログラミングおよびプログラミング言語ワークショップ論文集
    • Place of Presentation
      御宿東鳳(会津若松市)
    • Year and Date
      2013-03-06
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Presentation] shift/resetによるモナドトランスフォーマの提案と実装2013

    • Author(s)
      金子ちひろ、浅井健一
    • Organizer
      プログラミングとプログラミング言語ワークショップ(PPL2013)
    • Place of Presentation
      御宿東鳳(会津若松)
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Presentation] データベースを用いたMikiβの拡張に向けて2013

    • Author(s)
      中野祥、浅井健一
    • Organizer
      プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      会津若松
    • Data Source
      KAKENHI-PROJECT-22500025
  • [Presentation] shift/reset付きTPDEの抽出2013

    • Author(s)
      廣田知子、浅井健一
    • Organizer
      プログラミングとプログラミング言語ワークショップ(PPL2013)
    • Place of Presentation
      御宿東鳳(会津若松)
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Presentation] メタラムダ計算の定式化2013

    • Author(s)
      岩井亜里沙,浅井健一
    • Organizer
      プログラミングとプログラミング言語ワークショップ(PPL2013)
    • Place of Presentation
      御宿東鳳(会津若松)
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Presentation] メタラムダ計算の定式化2012

    • Author(s)
      岩井亜里紗, 浅井健一
    • Organizer
      第14回プログラミングおよびプログラミング言語ワークショップ論文集
    • Place of Presentation
      南紀白浜 むさし(和歌山県)
    • Year and Date
      2012-03-08
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Presentation] メタラムダ計算の定式化(ポスター発表)2012

    • Author(s)
      岩井亜里紗、浅井健一
    • Organizer
      第14回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      南紀白浜 むさし・和歌山県
    • Year and Date
      2012-03-08
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Presentation] 探索アルゴリズムのための非決定性オペレータの実装2011

    • Author(s)
      金子ちひろ、浅井健一
    • Organizer
      第13回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      北海道札幌市
    • Year and Date
      2011-03-09
    • Data Source
      KAKENHI-PROJECT-22500025
  • [Presentation] 論理関係によるスタック導入の正当性の証明2010

    • Author(s)
      新井祐美, 浅井健一
    • Organizer
      第12回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      香川県琴平温泉
    • Year and Date
      2010-03-03
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Presentation] 簡約過程の一般的可視化システムの実装2010

    • Author(s)
      石川ちひろ, 浅井健一
    • Organizer
      第12回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      香川県琴平温泉
    • Year and Date
      2010-03-04
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Presentation] 簡約過程の一般的可視化システムの実装2010

    • Author(s)
      石川ちひろ、浅井健一
    • Organizer
      第12回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      香川県、琴平温泉
    • Year and Date
      2010-03-04
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Presentation] 限定継続のためのTPDEに向けて2010

    • Author(s)
      対馬かなえ、浅井健一
    • Organizer
      第12回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      香川県琴平市
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Presentation] MetaOCamlを使った部分評価器の実装2010

    • Author(s)
      岩井亜里紗、浅井健一
    • Organizer
      第12回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      香川県、琴平温泉
    • Year and Date
      2010-03-04
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Presentation] 論理関係によるスタック導入の正当性の証明2010

    • Author(s)
      新井祐美、浅井健一
    • Organizer
      第12回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      香川県、琴平温泉
    • Year and Date
      2010-03-03
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Presentation] 限定継続のための TDPE に向けて2010

    • Author(s)
      対馬かなえ,浅井 健一
    • Organizer
      第12回プログラミングおよびプログラミング言語ワークショップ論文集
    • Place of Presentation
      琴参閣(香川県琴平市)
    • Year and Date
      2010-03-03
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Presentation] Type Soundness of Lambda-Calculus with Shift/Reset and Let-Polymorphism2009

    • Author(s)
      Noriko Hirota, Kenichi Asai
    • Organizer
      Workshop on Mechanizing Metatheory
    • Place of Presentation
      イギリス、エジンバラ
    • Year and Date
      2009-09-04
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Presentation] 型付き対称λ計算における論理積型と論理和型の導入2009

    • Author(s)
      上田やよい、浅井健一
    • Organizer
      第11回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      岐阜県、高山市
    • Year and Date
      2009-03-10
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Presentation] Type Soundness of Lambda-Calculus with Shift/Reset and Let-Polymorphism2009

    • Author(s)
      N. Hirota, K. Asai
    • Organizer
      4th Informal ACM SIGPLAN Workshop on Mechanizing Metatheory
    • Place of Presentation
      イギリス、エジンバラ
    • Year and Date
      2009-09-04
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Presentation] 証明木作成のためのGUI構築2009

    • Author(s)
      櫻井加奈子、浅井健一
    • Organizer
      第11回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      岐阜県、高山市
    • Year and Date
      2009-03-10
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Presentation] 再帰と限定継続を扱うpolyvariantな部分評価に向けて2009

    • Author(s)
      対馬かなえ、浅井健一
    • Organizer
      第11回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      岐阜県、高山市
    • Year and Date
      2009-03-10
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Presentation] 継続計算のための仮想機械の導出2008

    • Author(s)
      木谷有沙、浅井健一
    • Organizer
      第10回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      宮城県、仙台市
    • Year and Date
      2008-03-05
    • Data Source
      KAKENHI-PROJECT-18500005
  • [Presentation] Locally Nameless手法を使った継続計算に対する型システムの健全性の証明2008

    • Author(s)
      廣田知子、浅井健一
    • Organizer
      第10回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      宮城県、仙台市
    • Year and Date
      2008-03-06
    • Data Source
      KAKENHI-PROJECT-18500005
  • 1.  IMAI Hiroshi (80183010)
    # of Collaborated Projects : 5results
    # of Collaborated Products : 0results
  • 2.  INABA Mary (60282711)
    # of Collaborated Projects : 4results
    # of Collaborated Products : 0results
  • 3.  KAMEYAMA Yukiyoshi (10195000)
    # of Collaborated Projects : 4results
    # of Collaborated Products : 5results
  • 4.  IMAI Keiko (70203289)
    # of Collaborated Projects : 3results
    # of Collaborated Products : 0results
  • 5.  IGARASHI Atsushi (40323456)
    # of Collaborated Projects : 2results
    # of Collaborated Products : 0results
  • 6.  KISELYOV Oleg (50754602)
    # of Collaborated Projects : 2results
    # of Collaborated Products : 0results
  • 7.  IWATA Satoru (00263161)
    # of Collaborated Projects : 2results
    # of Collaborated Products : 0results
  • 8.  UNNO Hiroshi (80569575)
    # of Collaborated Projects : 1results
    # of Collaborated Products : 0results
  • 9.  TSUCHIYA Takashi (00188575)
    # of Collaborated Projects : 1results
    # of Collaborated Products : 0results
  • 10.  INAGAKI Hiroshi (40213110)
    # of Collaborated Projects : 1results
    # of Collaborated Products : 0results
  • 11.  ASANO Takao (90124544)
    # of Collaborated Projects : 1results
    # of Collaborated Products : 0results
  • 12.  SUGIHARA Kokichi (40144117)
    # of Collaborated Projects : 1results
    # of Collaborated Products : 0results
  • 13.  TOKUYAMA Takeshi (40312631)
    # of Collaborated Projects : 1results
    # of Collaborated Products : 0results
  • 14.  KUBOTA Koichi (90178046)
    # of Collaborated Projects : 1results
    # of Collaborated Products : 0results
  • 15.  MORIYAMA Sonoko (20361537)
    # of Collaborated Projects : 1results
    # of Collaborated Products : 0results
  • 16.  SADAKANE Kunihiko (20323090)
    # of Collaborated Projects : 1results
    # of Collaborated Products : 0results
  • 17.  丹羽 純平 (90343095)
    # of Collaborated Projects : 1results
    # of Collaborated Products : 0results
  • 18.  EDELSBRUNNER Helbert
    # of Collaborated Projects : 1results
    # of Collaborated Products : 0results
  • 19.  RAPPAPORT David
    # of Collaborated Projects : 1results
    # of Collaborated Products : 0results
  • 20.  TOUSSAINT Godfried
    # of Collaborated Projects : 1results
    # of Collaborated Products : 0results
  • 21.  AVIS David
    # of Collaborated Projects : 1results
    # of Collaborated Products : 0results
  • 22.  HELBERT Edel
    # of Collaborated Projects : 1results
    # of Collaborated Products : 0results
  • 23.  DAVID Rappap
    # of Collaborated Projects : 1results
    # of Collaborated Products : 0results
  • 24.  GODFRIED Tou
    # of Collaborated Projects : 1results
    # of Collaborated Products : 0results
  • 25.  DAVID Avis
    # of Collaborated Projects : 1results
    # of Collaborated Products : 0results

URL :

Are you sure that you want to connect your ORCID iD to this researcher?

Information FAQ News Terms of Use

Powered by NII kakenhi