Presentations - ASAI Kenichi

Division display  61 - 66 of about 66 ／  All the affair displays >>

  1. 証明木作成のための可視化システムに向けて

    阪上紗里、浅井健一、伊藤貴之, Domestic, 2007.03, , 第９回プログラミングおよびプログラミング言語ワークショップ, 石川県加賀市, 日本ソフトウェア科学会, Not Invited, Coauthor

  2. MinCamlコンパイラにおける関数展開と特化

    阪上紗里、浅井健一, Domestic, 2006.03, , 第８回プログラミングおよびプログラミング言語ワークショップ, 滋賀県大津市, 日本ソフトウェア科学会, Not Invited, Coauthor

  3. α変換を考慮したβ変換の正当性の証明

    山元かおり、浅井健一, Domestic, 2006.03, , 第８回プログラミングおよびプログラミング言語ワークショップ, 滋賀県大津市, 日本ソフトウェア科学会, Not Invited, Coauthor

  4. Calculus of Constructions を用いたインタプリタの作成

    鈴木歩、浅井健一, Domestic, 2006.03, , 第８回プログラミングおよびプログラミング言語ワークショップ, 滋賀県大津市, 日本ソフトウェア科学会, Not Invited, Coauthor

  5. OCaml Course in Ochanomizu University

    Kenichi Asai, International, 2005.09, , ACM SIGPLAN Workshop on Functional and Declarative Programming in Education (FDPE '05), Tallinn, Estonia, ACM, Not Invited, Main Speaker

  6. OCaml Course in Ochanomizu University

    Asai, K., International, 2005.09, , "Tips and Tricks" session of the ACM SIGPLAN Workshop on Functional and Declarative Programming in Education (FDPE '05), Tallinn, Estonia, ACM, Not Invited, Main Speaker

< PREV - NEXT >

To the head of this page.▲