論文 - 浅井 健一

21. 例外と限定継続命令をサポートする評価器からの仮想機械とコンパイラの導出

    第１５回プログラミングおよびプログラミング言語ワークショップ, , 2013年03月, 増子 萌、浅井 健一, 原著, 研究論文（学術雑誌）, 共著者

22. コンパイラの型推論を使用した型デバッガの提案

    コンピュータソフトウェア, , 2013年02月, 対馬 かなえ、浅井 健一, 原著, 研究論文（学術雑誌）, 共著者

23. An Embedded Type Debugger

    The 24th Symposium on Implementation and Application of Functional Languages, LNCS, , 8241巻(頁190 - 206), 2013年02月, Tsushima, K., and K. Asai, 原著, 研究論文（学術雑誌）, 共著者

24. コンパイラの型推論を利用した型デバッグ手法の提案

    第14回プログラミングおよびプログラミング言語ワークショップ, , 2012年03月, 対馬かなえ、浅井健一, 原著, 研究論文（学術雑誌）, 共著者

25. Functional un|unparsing

    Higher-Order and Symbolic Computation, , 2011年11月, Asai, K., O. Kiselyov, and C.-c. Shan, 原著, 研究論文（学術雑誌）, 第一著者相当

26. Reflection in Direct Style

    Generative Programming and Component Engineering (GPCE '11), , 2011年10月, Asai, K., 原著, 研究論文（学術雑誌）, 単著

27. Caml Light + shift/reset = Caml Shift

    Theory and Practice of Delimited Continuations (TPDC 2011), , 2011年05月, Moe Masuko, Kenichi Asai, 原著, 研究論文（学術雑誌）, 共著者

28. 限定継続処理の抽象機械導出のためのプログラム変換

    コンピュータソフトウェア, , 2010年08月, 木谷有沙、浅井健一, 原著, 研究論文（学術雑誌）, 共著者

29. MikiBeta: A General GUI Library for Visualizing Proof Trees

    Logic-Based Program Synthesis and Transformation, , 2010年07月, Kanako Sakurai, Kenichi Asai, 原著, 研究論文（学術雑誌）, 共著者

30. Functional Derivation of a Virtual Machine for Delimited Continuations

    Principles and Practice of Declarative Programming, , 2010年07月, Kenichi Asai, Arisa Kitani, 原著, 研究論文（学術雑誌）, 第一著者相当

31. プログラム変換によるインタプリタからのコンパイラの導出

    第12回プログラミングおよびプログラミング言語ワークショップ, , 2010年03月, 木谷有沙、浅井健一, 原著, 研究論文（学術雑誌）, 共著者

32. 型付き対称λ計算と古典論理

    第12回プログラミングおよびプログラミング言語ワークショップ, , 2010年03月, 上田やよい、浅井健一, 原著, 研究論文（学術雑誌）, 共著者

33. 限定継続のための TDPE に向けて

    第12回プログラミングおよびプログラミング言語ワークショップ, , 2010年03月, 対馬かなえ、浅井健一, 原著, 研究論文（学術雑誌）, 共著者

34. shift/reset による Caml Light の拡張に向けて

    第12回プログラミングおよびプログラミング言語ワークショップ, , 2010年03月, 増子萌、浅井健一, 原著, 研究論文（学術雑誌）, 共著者

35. 汎用的に証明木の GUI を作成する『Miki β』の開発

    第12回プログラミングおよびプログラミング言語ワークショップ, , 2010年03月, 櫻井加奈子、浅井健一, 原著, 研究論文（学術雑誌）, 共著者

36. Representing Covert Movements by Delimited Continuations

    Logic and Engineering of Natural Language Semantics, , 2009年11月, Bekki, D., and K. Asai, 原著, 研究論文（学術雑誌）, 共著者

37. On Typing Delimited Continuations: Three New Solutions to the Printf Problem

    Higher-Order and Symbolic Computation, , 2009年09月, Asai, K., 原著, 研究論文（学術雑誌）, 単著

38. Direct Implementation of Shift and Reset in the MinCaml Compiler

    Proceedings of the 2009 ACM SIGPLAN Workshop on ML, , 2009年09月, Moe Masuko, Kenichi Asai, 原著, 研究論文（学術雑誌）, 共著者

39. 対称λ計算の基礎理論

    コンピュータソフトウェア, , 2009年05月, 阪上紗里、浅井健一, 原著, 研究論文（学術雑誌）, 共著者

40. 限定継続を含む仮想機械導出のためのプログラム変換

    第11回プログラミングおよびプログラミング言語ワークショップ, , 2009年03月, 木谷有沙、浅井健一, 原著, 研究論文（学術雑誌）, 共著者