研究発表 - 浅井 健一

分割表示  66 件中 41 - 60 件目  ／  全件表示 >>

  1. Report on an OCaml type debugger

    Kanae Tsushima, Kenichi Asai, 国内, 2011年09月, , ACM SIGPLAN Workshop on ML, National Institute of Informatics, Association for Computing Machinery, 一般発表, 共著者

  2. `Focus movement' by delimited continuations

    Daisuke Bekki, Kenichi Asai, 国内, 2011年09月, , ACM SIGPLAN Continuation Workshop 2011, National Institute of Informatics, Association for Computing Machinery, 一般発表, 共著者

  3. Correctness of Functions with Shift and Reset

    Noriko Hirota, Kenichi Asai, 国内, 2011年09月, , ACM SIGPLAN Continuation Workshop 2011, National Institute of Informatics, Association for Computing Machinery, 一般発表, 共著者

  4. Non-deterministic search library

    Kenichi Asai, Chihiro Kaneko, 国内, 2011年09月, , ACM SIGPLAN Continuation Workshop 2011, National Institute of Informatics, Association for Computing Machinery, 一般発表, 第一発表者

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

    Kanako Sakurai, Kenichi Asai, 国内, 2011年03月, , 第13回プログラミングおよびプログラミング言語ワークショップ, 北海道札幌市, 日本ソフトウェア科学会, 一般発表, 共著者

  6. 探索アルゴリズムのための非決定性オペレータの実装

    金子ちひろ、浅井健一, 国内, 2011年03月, , 第13回プログラミングおよびプログラミング言語ワークショップ, 北海道札幌市, 日本ソフトウェア科学会, 一般発表, 共著者

  7. 証明木作成プログラムを用いた CCG 統語導出の実装

    尾崎有梨, 櫻井加奈子, 浅井健一, 戸次大介, 国内, 2010年03月, , 言語処理学会年次大会, 一般発表, 共著者

  8. DrScheme の World ティーチパックを使ったゲームの作成

    叢悠悠、浅井健一, 国内, 2010年03月, , 第12回プログラミングおよびプログラミング言語ワークショップ, 香川県琴平, 日本ソフトウェア科学会, 一般発表, 共著者

  9. 論理関係によるスタック導入の正当性の証明

    新井祐美、浅井健一, 国内, 2010年03月, , 第12回プログラミングおよびプログラミング言語ワークショップ, 香川県琴平, 日本ソフトウェア科学会, 一般発表, 共著者

  10. 簡約過程の一般的可視化システムの実装

    石川ちひろ、浅井健一, 国内, 2010年03月, , 第12回プログラミングおよびプログラミング言語ワークショップ, 香川県琴平, 日本ソフトウェア科学会, 一般発表, 共著者

  11. MetaOCaml を使った部分評価器の実装

    岩井亜里紗、浅井健一, 国内, 2010年03月, , 第12回プログラミングおよびプログラミング言語ワークショップ, 香川県琴平, 日本ソフトウェア科学会, 一般発表, 共著者

  12. Type Soundness of Lambda-Calculus with Shift/Reset and Let-Polymorphism

    Noriko Hirota, Kenichi Asai, 国外, 2009年09月, , 4rd Informal ACM SIGPLAN Workshop on Mechanizing Metatheory, Edinburgh, Scotland, ACM, 一般発表, 第一発表者

  13. Functional un|unparsing

    Kenichi Asai, Oleg Kiselyov, Chung-chieh Shan, 国外, 2009年08月, , Symposium in Honor of Mitchell Wand, Boston, Massachusetts, 一般発表, 共著者

  14. Towards Type-Directed Partial Evaluation for Shift and Reset

    Kanae Tsushima, Kenichi Asai, 国外, 2009年08月, , 2009 Workshop on Normalization by Evaluation, Los Angeles, California, 一般発表, 共著者

  15. 再帰と限定継続を扱う polyvariant な部分評価に向けて

    対馬かなえ、浅井健一, 国内, 2009年03月, , 第11回プログラミングおよびプログラミング言語ワークショップ, 岐阜県高山市, 日本ソフトウェア科学会, 一般発表, 共著者

  16. 証明木作成のための GUI 構築

    櫻井加奈子、浅井健一, 国内, 2009年03月, , 第11回プログラミングおよびプログラミング言語ワークショップ, 岐阜県高山市, 日本ソフトウェア科学会, 一般発表, 共著者

  17. 型付き対称λ計算における論理和型と論理積型の導入

    上田やよい、浅井健一, 国内, 2009年03月, , 第11回プログラミングおよびプログラミング言語ワークショップ, 岐阜県高山市, 日本ソフトウェア科学会, 一般発表, 共著者

  18. Introduction to Delimited Continuations -- Typing Printf

    Kenichi Asai, 国内, 2008年04月, , Continuation Fest 2008, 招待講演, 第一発表者

  19. Locally Nameless 手法を使った継続計算に対する型システムの健全性の証明

    廣田知子、浅井健一, 国内, 2008年03月, , 第10回プログラミングおよびプログラミング言語ワークショップ, 宮城県仙台市, 日本ソフトウェア科学会, 一般発表, 共著者

  20. 継続計算のための仮想機械の導出

    木谷有沙、浅井健一, 国内, 2008年03月, , 第10回プログラミングおよびプログラミング言語ワークショップ, 宮城県仙台市, 日本ソフトウェア科学会, 一般発表, 共著者

< 前のページ - 次のページ >

このページの先頭へ▲