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

Asai Kenichi  浅井 健一

ORCIDConnect your ORCID iD *help
… Alternative Names

ASAI Kenichi  浅井 健一

浅井 健一  アサイ ケンイチ

淺井 健一  淺井 健一

Less
Researcher Number 10262156
External Links
Affiliation (Current) 2025: お茶の水女子大学, 基幹研究院, 教授
Affiliation (based on the past Project Information) *help 2021 – 2025: お茶の水女子大学, 基幹研究院, 教授
2015 – 2021: お茶の水女子大学, 基幹研究院, 准教授
2015: お茶の水女子大学, 人間文化創成科学研究科, 准教授
2012 – 2014: お茶の水女子大学, 大学院人間文化創成科学研究科, 准教授
2012 – 2013: お茶の水女子大学, 人間文化創成科学研究科, 准教授 … More
2007 – 2011: Ochanomizu University, 大学院・人間文化創成科学研究科, 准教授
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 / Basic Section 60010:Theory of informatics-related / Basic Section 62030:Learning support system-related / Software / Fundamental theory of informatics
Except Principal Investigator
計算機科学 / Basic Section 60050:Software-related / Software / Software
Keywords
Principal Investigator
関数型言語 / 部分評価 / 自己反映言語 / 副作用命令 / 初心者プログラミング教育 / コンパイラ / 情報科学的なものの考え方 / ブロックプログラミング環境 / ステッパ / 型デバッガ … More / 型システム / 開発環境 / MetaOCaml / プログラム変換 / 情報基礎 / 部分継続 / プログラム理論 / 最適化 / インタプリタ / 型 / コンパイラジェネレータ / コンパイル / 副作用解析 / 履歴付記号値 … More
Except Principal Investigator
型システム / プログラム生成 / 離散システム / Voronoi図 / 2分決定グラフ / 計算幾何 / 依存型 / プログラム解析 / 段階的計算 / 計算エフェクト / 情報幾何 / 量子情報 / computational geometry / discrete system / Tutte polynomial / Tutte多項式 / マトロイド / 高性能計算 / プログラム特化 / コントロールオペレータ / 多相型 / オフショアリング / 暗号実装 / ヘテロジニアス・コード生成 / メタプログラミング / プログラム解析・検証 / 仕様記述 / 安全性 / スクープ安全性 / 統合言語クエリ / ヘテロジニアスプログラム生成 / モジュール抽象 / 静的安全性 / 一般化代数データ型 / 先進的型システム / プログラムの信頼性 / 異種プログラム生成 / モジュール / 型安全性 / 多段階計算 / computational algebra / information compression / shelling / oriented matroid / Web graph / quantum channel capacity / quantum information geometry / 量子情報システム / エンタングルメント / 標準対 / グレブナ基底 / 量子計算幾何 / 計算代数 / 情報圧縮 / シェリング / 有向マトロイド / Webグラフ / 量子通信路容量 / 量子情報幾何 / quantun information / Groebner bases / Binary Decision Diagram (BDD) / invariant polynomials / simplicial complex / 最適化 / 計算幾何・計算代数 / Grobner基底 / Groeber基底 / 不変多項式 / 単体的複体 / vehicle routing / Voronoi diagram / geographical database / robust computation / geographical information system / 頑健性 / 自動微分 / マッチング / 3角形分割 / 単体複体 / 配送計画 / 地理データベース / 頑健計算 / 地理情報システム / Jones polynomial / binary decision diagram / network reliability / matroid / network / graph / Trtte多項式 / Jones 多項式 / Tutte 多項式 / Jones多項式 / ネットワーク信頼度 / ネットワーク / グラフ / binary decision diagrams / computational complexity / mathematical programming / discrete geometry / reverse search / combinatorics / combinatorial optimization / Computational geometry / クラスタリング / 三角形分割 / 凸多面体 / アレジメント / アルゴリズム / 計算量理論 / 数理計画法 / 離散幾何 / 逆探索 / 組合せ論 / 組合せ最適化 / ソフトウェア検証 / プログラミング言語 / 実行時プログラム生成 / 関数型プログラミング言語 / プログラム変換 / プログラム検証 / 関数型プログラム言語 / ディペンダブルコンピューティング / Curry-Howardの対応 / 型エラー / 融合変換 / 型推論 / コントールオペレータ / 様相論理 / マルチステージプログラミング / コード生成 / プログラムの論理 / 高信頼ソフトウェア / プログラム言語論 / プログラミングパラダイム / プログラミング言語論 Less
  • Research Projects

    (19 results)
  • Research Products

    (131 results)
  • Co-Researchers

    (26 People)
  •  高度な制御機構の基礎理論の確立 - その安全で効率的な実装に向けてPrincipal Investigator

    • Principal Investigator
      浅井 健一
    • Project Period (FY)
      2025 – 2028
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 60010:Theory of informatics-related
    • Research Institution
      Ochanomizu University
  •  Theory and Implementation of Staged Computation with Dependent Types

    • Principal Investigator
      亀山 幸義
    • Project Period (FY)
      2022 – 2025
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      University of Tsukuba
  •  ブロックプログラミング環境に基づく学習支援環境の構築とその有効性Principal Investigator

    • Principal Investigator
      浅井 健一
    • Project Period (FY)
      2020 – 2024
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 62030:Learning support system-related
    • Research Institution
      Ochanomizu University
  •  Staged Computing based on Advanced Type Systems

    • Principal Investigator
      Kameyama Yukiyoshi
    • 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
  •  Advanced Programming Environment Based on Program SemanticsPrincipal Investigator

    • Principal Investigator
      Asai Kenichi
    • 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 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007

All Journal Article Presentation

  • [Journal Article] Mikiβの相互再帰の実装と web インターフェースの改善2024

    • Author(s)
      大石 美緒、浅井 健一
    • Journal Title

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

      Volume: 26 Pages: 1-17

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20K12107
  • [Journal Article] 論理関係による shift/reset の部分評価器の正当性 の証明2024

    • Author(s)
      横関 茉衣、浅井 健一
    • Journal Title

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

      Volume: -

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23K24819
  • [Journal Article] 参照をサポートするインクリメンタルステッパの実装2023

    • Author(s)
      秋山 雛乃、浅井 健一
    • Journal Title

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

      Volume: 25 Pages: 1-13

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20K12107
  • [Journal Article] Towards a Reflection for Effect Handlers2023

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

      Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation

      Volume: N/A Pages: 55-65

    • DOI

      10.1145/3571786.3573015

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-19K24339, KAKENHI-PROJECT-23K24819
  • [Journal Article] 代数的エフェクトとハンドラのための CPS インタプリタと型システム2022

    • Author(s)
      藤井 舞花、浅井 健一
    • Journal Title

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

      Volume: -

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Journal Article] Type System for Four Delimited Control Operators2022

    • Author(s)
      Chiaki Ishio and Kenichi Asai
    • Journal Title

      Proceedgings of the 21st ACM SGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2022)

      Volume: - Pages: 45-58

    • DOI

      10.1145/3564719.3568691

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23K24819
  • [Journal Article] モジュールをサポートする OCaml ステッパの定式化と実装2022

    • Author(s)
      秋山 雛乃、浅井 健一
    • Journal Title

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

      Volume: 24 Pages: 1-23

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20K12107
  • [Journal Article] Understanding Algebraic Effect Handlers via Delimited Control Operators2022

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

      Lecture Notes in Computer Science

      Volume: 13401 Pages: 59-79

    • DOI

      10.1007/978-3-031-21314-4_4

    • ISBN
      9783031213137, 9783031213144
    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K24819
  • [Journal Article] A Functional Abstraction of Typed Invocation Contexts2022

    • Author(s)
      Cong Youyou、Ishio Chiaki、Honda Kaho、Asai Kenichi
    • Journal Title

      Logical Methods in Computer Science

      Volume: Volume 18, Issue 3 Pages: 1-31

    • DOI

      10.46298/lmcs-18(3:34)2022

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-19K24339, KAKENHI-PROJECT-23K24819
  • [Journal Article] 4種類の限定継続演算子のための型システム2022

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

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

      Volume: -

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Journal Article] OCaml 初学者の学習調査2021

    • Author(s)
      北川 舞、浅井 健一
    • Journal Title

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

      Volume: 23 Pages: 1-16

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20K12107
  • [Journal Article] Derivation of a Virtual Machine For Four Variants of Delimited-Control Operators2021

    • Author(s)
      Maika Fujii and Kenichi Asai
    • Journal Title

      6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021)

      Volume: -

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Journal Article] control/prompt の仮想機械導出2021

    • Author(s)
      藤井 舞花、浅井 健一
    • Journal Title

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

      Volume: ー Pages: 1-19

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Journal Article] A Functional Abstraction of Typed Invocation Contexts2021

    • Author(s)
      Youyou Cong, Chiaki Ishio, Kaho Honda, and Kenichi Asai
    • Journal Title

      6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021)

      Volume: -

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Journal Article] Verifying Selective CPS Transformation for Shift and Reset2020

    • Author(s)
      Chiaki Ishio, Kenichi Asai
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 12053 Pages: 38-57

    • DOI

      10.1007/978-3-030-47147-7_3

    • ISBN
      9783030471460, 9783030471477
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Journal Article] A Dependently Typed Language with Delimited Control Operators.2019

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

      Computer Software

      Volume: 36 Issue: 2 Pages: 2_47-2_60

    • DOI

      10.11309/jssst.36.2_47

    • NAID

      130007667001

    • ISSN
      0289-6540
    • Year and Date
      2019-04-26
    • Language
      Japanese
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Journal Article] Stepping OCaml2019

    • Author(s)
      Tsukino Furukawa, Youyou Cong, Kenichi Asai
    • Journal Title

      Electronic Proceedings in Theoretical Computer Science

      Volume: 未定 Pages: 1-18

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15K00090
  • [Journal Article] Extracting a Call-by-Name Partial Evaluator from a Proof of Termination2019

    • Author(s)
      Kenichi Asai
    • Journal Title

      ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM '19)

      Volume: - Pages: 61-67

    • DOI

      10.1145/3294032.3294084

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Journal Article] Blockly をベースにした OCaml ビジュアルプログラミングエディタ2019

    • Author(s)
      松本 晴香、浅井 健一
    • Journal Title

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

      Volume: 21 Pages: 1-15

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15K00090
  • [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] Certifying CPS Transformation of Let-polymorphic Calculus Using PHOAS2018

    • Author(s)
      Urara Yamada, and Kenichi Asai
    • Journal Title

      16th Asian Symposium on Programming Languages and Systems (APLAS 2018),LNCS 11275

      Volume: - Pages: 375-393

    • DOI

      10.1007/978-3-030-02768-1_20

    • ISBN
      9783030027674, 9783030027681
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Journal Article] Handling Delimited Continuations with Dependent Types2018

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

      Proceedings of the ACM on Programming Languages

      Volume: Vol. 2, Issue ICFP Issue: ICFP Pages: 31-31

    • DOI

      10.1145/3236764

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

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

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

      Volume: 20 Pages: 1-17

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

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

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

      Volume: 20 Pages: 1-17

    • NAID

      130007667001

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15K00090
  • [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 / Acknowledgement Compliant / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00090
  • [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] 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] Agda による定式化された型推論器の拡張と改良2016

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

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

      Volume: なし Pages: 1-15

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-25280020
  • [Journal Article] Agdaによる型推論器の定式化2015

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

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

      Volume: 17 Pages: 13-13

    • NAID

      170000151297

    • 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] 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] 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] 例外と限定継続命令をサポートする評価器からの仮想機械とコンパイラの導出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 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] 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] 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] 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] 限定継続処理の抽象機械導出のためのプログラム変換2010

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

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

    • NAID

      10026562906

    • 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] 汎用的に証明木のGUIを作成する『Miki β』の開発2010

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

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

      Pages: 191-205

    • 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

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

      Pages: 206-220

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

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

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

      Pages: 64-76

    • 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] 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: 206-220

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

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

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

    • 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] 限定継続を含む仮想機械導出のためのプログラム変換2009

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

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

      Pages: 149-162

    • 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] 対称λ計算の基礎理論2009

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

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

      Pages: 3-17

    • NAID

      10025982342

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

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

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

      Pages: 3-17

    • NAID

      10025982342

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500005
  • [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] 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] 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] 対称λ計算の基礎理論2009

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

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

      Pages: 15-15

    • NAID

      10025982342

    • 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] 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

    • NAID

      10025982342

    • 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] 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 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] 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
  • [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
  • [Presentation] UniverseJsライブラリを用いたゲームプログラミングのデバッグ環境の改善2024

    • Author(s)
      茅根 珠来, 浅井 健一
    • Organizer
      プログラミングおよびプログラミング言語ワークショップ
    • Data Source
      KAKENHI-PROJECT-20K12107
  • [Presentation] OCaml Blocklyのチュートリアルサイトの理解度向上に向けた改善2024

    • Author(s)
      柴田 真琴, 浅井 健一
    • Organizer
      プログラミングおよびプログラミング言語ワークショップ
    • Data Source
      KAKENHI-PROJECT-20K12107
  • [Presentation] 論理関係による shift/reset の部分評価器の正当性 の証明2024

    • Author(s)
      横関 茉衣、浅井 健一
    • Organizer
      第26回プログラミングおよびプログラミング言語ワークシップ
    • Data Source
      KAKENHI-PROJECT-23K24819
  • [Presentation] OCaml Blockly を使った中学生向けの1次関数の学習教材2024

    • Author(s)
      大石 美緒, 窪田 唯花, 柴田 真琴, 茅根 珠来, 横関 茉衣, 浅井 健一
    • Organizer
      プログラミングおよびプログラミング言語ワークショップ
    • Data Source
      KAKENHI-PROJECT-20K12107
  • [Presentation] MikiβにおけるWeb上でのデータ入力実装に向けて2023

    • Author(s)
      大石美緒、浅井健一
    • Organizer
      プログラミングおよびプログラミング言語ワークショップ
    • Data Source
      KAKENHI-PROJECT-20K12107
  • [Presentation] shift/reset を含む型付き言語における Reflection 証明2023

    • Author(s)
      本田 華歩、山本 充子、浅井 健一
    • Organizer
      第25回プログラミングおよびプログラミング言語ワークショップ
    • Data Source
      KAKENHI-PROJECT-23K24819
  • [Presentation] Towards a Reflection for Effect Handlers2023

    • Author(s)
      Youyou Cong and Kenichi Asai
    • Organizer
      2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation (PEPM 2023)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K24819
  • [Presentation] Mikiβ における相互再帰の実装2022

    • Author(s)
      大石 美緒、浅井 健一
    • Organizer
      プログラミングおよびプログラミング言語ワークショップ
    • Data Source
      KAKENHI-PROJECT-20K12107
  • [Presentation] OCamlBlockly のチュートリアル作成2022

    • Author(s)
      柴田 真琴、浅井 健一
    • Organizer
      プログラミングおよびプログラミング言語ワークショップ
    • Data Source
      KAKENHI-PROJECT-20K12107
  • [Presentation] WebSocket 通信を用いた Universe フレームワークの拡張2022

    • Author(s)
      上田 結実、浅井 健一
    • Organizer
      プログラミングおよびプログラミング言語ワークショップ
    • Data Source
      KAKENHI-PROJECT-20K12107
  • [Presentation] Understanding Algebraic Effect Handlers via Delimited Control Operators2022

    • Author(s)
      Youyou Cong and Kenichi Asai
    • Organizer
      23rd International Symposium on Trends in Functional Programming (TFP 2022)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K24819
  • [Presentation] Type System for Four Delimited Control Operators2022

    • Author(s)
      Chiaki Ishio and Kenichi Asai
    • Organizer
      21st ACM SGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2022)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K24819
  • [Presentation] A Functional Abstraction of Typed Trails2021

    • Author(s)
      Asai Kenichi, Cong Youyou, Ishio Chiaki
    • Organizer
      ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM '21)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Presentation] control/prompt の仮想機械導出2021

    • Author(s)
      藤井 舞花, 浅井 健一
    • Organizer
      第23回プログラミングおよびプログラミング言語ワークショップ
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Presentation] OCamlステッパの改良2021

    • Author(s)
      秋山 雛乃、浅井 健一
    • Organizer
      第23回プログラミングおよびプログラミング言語ワークショップ
    • Data Source
      KAKENHI-PROJECT-20K12107
  • [Presentation] Derivation of a Virtual Machine For Four Variants of Delimited-Control Operators2021

    • Author(s)
      Maika Fujii and Kenichi Asai
    • Organizer
      6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Presentation] A Functional Abstraction of Typed Invocation Contexts2021

    • Author(s)
      Youyou Cong, Chiaki Ishio, Kaho Honda, and Kenichi Asai
    • Organizer
      6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Presentation] Agda の Reflection API を用いた自動証明に向けて2020

    • Author(s)
      石尾 千晶、山本 充子、浅井 健一
    • Organizer
      第22回プログラミングおよびプログラミング言語ワークショップ
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Presentation] algebraic effects を含むプログラムのステップ実行2020

    • Author(s)
      古川 つきの、浅井 健一
    • Organizer
      第22回プログラミングおよびプログラミング言語ワークショップ
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Presentation] OCaml 初学者の syntax error 調査2019

    • Author(s)
      北川 舞, 浅井 健一
    • Organizer
      プログラミングおよびプログラミング言語ワークショップ
    • Data Source
      KAKENHI-PROJECT-15K00090
  • [Presentation] 実用的な型エラースライサーの評価およびデータ活用に向けた取り組み2019

    • Author(s)
      脇川 奈穂, 浅井 健一, 対馬 かなえ
    • Organizer
      プログラミングおよびプログラミング言語ワークショップ
    • Data Source
      KAKENHI-PROJECT-15K00090
  • [Presentation] shift/reset のための selective CPS 変換の正当性 の証明2019

    • Author(s)
      石尾 千晶、浅井 健一
    • Organizer
      第21回プログラミングおよびプログラミング言語ワークショップ論文集
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Presentation] 動的変数をもつ依存型付きラムダ計算2019

    • Author(s)
      叢 悠悠、浅井 健一
    • Organizer
      第21回プログラミングおよびプログラミング言語ワークショップ論文集
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Presentation] Incremental な OCaml ステッパの開発2019

    • Author(s)
      古川 つきの, 浅井 健一
    • Organizer
      プログラミングおよびプログラミング言語ワークショップ
    • Data Source
      KAKENHI-PROJECT-15K00090
  • [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] 強い型付けを利用したプログラミング初学者のための開発環境2016

    • Author(s)
      石井 柚季,浅井 健一
    • Organizer
      第18回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      ダイヤモンド瀬戸内マリンホテル(岡山県・玉野市)
    • Year and Date
      2016-03-07
    • 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
      奈良春日野国際フォーラム(奈良県・奈良市)
    • Invited / Int'l Joint Research
    • 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] 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] 型デバッガのログの解析とエラーメッセージの改良2014

    • Author(s)
      石井柚季、浅井健一
    • Organizer
      第16回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      阿蘇の司ビラパークホテル
    • Data Source
      KAKENHI-PROJECT-25280020
  • [Presentation] MetaOCaml を使った自己反映言語のコンパイル2014

    • Author(s)
      浅井 健一
    • Organizer
      第16回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      阿蘇の司 ビラパークホテル(熊本県阿蘇市)
    • Data Source
      KAKENHI-PROJECT-22500025
  • [Presentation] shift/reset 付きTDPE の抽出2013

    • Author(s)
      廣田知子, 浅井健一
    • Organizer
      第15回プログラミングおよびプログラミング言語ワークショップ論文集
    • Place of Presentation
      御宿東鳳(会津若松市)
    • Year and Date
      2013-03-06
    • Data Source
      KAKENHI-PROJECT-21300005
  • [Presentation] データベースを用いたMikiβの拡張に向けて2013

    • Author(s)
      中野祥、浅井健一
    • Organizer
      プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      会津若松
    • Data Source
      KAKENHI-PROJECT-22500025
  • [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によるモナドトランスフォーマの提案と実装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] shift/reset付きTPDEの抽出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] 限定継続のための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-04
    • 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] 論理関係によるスタック導入の正当性の証明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-03
    • 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] 再帰と限定継続を扱うpolyvariantな部分評価に向けて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] 型付き対称λ計算における論理積型と論理和型の導入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)
      Noriko Hirota, Kenichi Asai
    • Organizer
      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] 証明木作成のためのGUI構築2009

    • Author(s)
      櫻井加奈子、浅井健一
    • Organizer
      第11回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      岐阜県、高山市
    • Year and Date
      2009-03-10
    • 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] 継続計算のための仮想機械の導出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
  • [Presentation] Locally Nameless手法を使った継続計算に対する型システムの健全性の証明2008

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

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi