研究発表 - 浅井 健一

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

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

    阪上紗里、浅井健一、伊藤貴之, 国内, 2007年03月, , 第９回プログラミングおよびプログラミング言語ワークショップ, 石川県加賀市, 日本ソフトウェア科学会, 一般発表, 共著者

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

    阪上紗里、浅井健一, 国内, 2006年03月, , 第８回プログラミングおよびプログラミング言語ワークショップ, 滋賀県大津市, 日本ソフトウェア科学会, 一般発表, 共著者

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

    山元かおり、浅井健一, 国内, 2006年03月, , 第８回プログラミングおよびプログラミング言語ワークショップ, 滋賀県大津市, 日本ソフトウェア科学会, 一般発表, 共著者

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

    鈴木歩、浅井健一, 国内, 2006年03月, , 第８回プログラミングおよびプログラミング言語ワークショップ, 滋賀県大津市, 日本ソフトウェア科学会, 一般発表, 共著者

  5. OCaml Course in Ochanomizu University

    Kenichi Asai, 国外, 2005年09月, , ACM SIGPLAN Workshop on Functional and Declarative Programming in Education (FDPE '05), Tallinn, Estonia, ACM, 一般発表, 第一発表者

  6. OCaml Course in Ochanomizu University

    Asai, K., 国外, 2005年09月, , "Tips and Tricks" session of the ACM SIGPLAN Workshop on Functional and Declarative Programming in Education (FDPE '05), Tallinn, Estonia, ACM, 一般発表, 第一発表者

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

このページの先頭へ▲