研究発表 - 浅井 健一

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

  1. 実用的な型エラースライサーの評価およびデータ活用に向けた取り組み

    脇川奈穂、浅井健一、対馬かなえ, 国内, 2019年03月, , 第21回プログラミングおよびプログラミング言語ワークショップ, 岩手県花巻市, 日本ソフトウェア科学会, 一般発表, 共著者

  2. OCaml Blocklyデモ

    松本晴香、浅井健一, 国内, 2019年03月, , 第21回プログラミングおよびプログラミング言語ワークショップ, 岩手県花巻市, 日本ソフトウェア科学会, 一般発表, 共著者

  3. OCaml 初学者の syntax error 調査

    北川舞、浅井健一, 国内, 2019年03月, , 第21回プログラミングおよびプログラミング言語ワークショップ, 岩手県花巻市, 日本ソフトウェア科学会, 一般発表, 共著者

  4. OCaml ステッパの機能拡張

    古川つきの、浅井健一, 国内, 2018年03月, , 第20回プログラミングおよびプログラミング言語ワークショップ, 鳥取県米子市, 日本ソフトウェア科学会, 一般発表, 共著者

  5. ジェネリックプログラミングを用いた証明木GUIライブラリの実装

    松本晴香、浅井健一, 国内, 2017年03月, , 第19回プログラミングおよびプログラミング言語ワークショップ, 山梨県笛吹市, 日本ソフトウェア科学会, 一般発表, 共著者

  6. Agda によるダイクストラのアルゴリズムの証明

    山田麗、浅井健一, 国内, 2017年03月, , 第19回プログラミングおよびプログラミング言語ワークショップ, 山梨県笛吹市, 日本ソフトウェア科学会, 一般発表, 共著者

  7. 型エラースライシングを利用した型エラーデバッガに関する実装と考察

    脇川奈穂、対馬かなえ、浅井健一, 国内, 2017年03月, , 第19回プログラミングおよびプログラミング言語ワークショップ, 山梨県笛吹市, 日本ソフトウェア科学会, 一般発表, 共著者

  8. 型エラースライシングを利用した型エラーデバッガに関する実装と考察

    脇川奈穂、対馬かなえ、浅井健一, 国内, 2017年01月, , 第58回プログラミング・シンポジウム, 静岡県伊東市, 情報処理学会, 一般発表, 共著者

  9. 動的束縛を用いた stepper の実装

    叢悠悠、浅井健一, 国内, 2016年03月, , 第18回プログラミングおよびプログラミング言語ワークショップ, 岡山県玉野市, 日本ソフトウェア科学会, 一般発表, 共著者

  10. 強い型付けを利用したプログラミング初学者のための開発環境

    石井柚季、浅井健一, 国内, 2016年03月, , 第18回プログラミングおよびプログラミング言語ワークショップ, 岡山県玉野市, 日本ソフトウェア科学会, 一般発表, 共著者

  11. Cross validation of the universe teachpack of Racket in OCaml

    Chihiro Uehara, Kenichi Asai, 国外, 2015年06月, , The fourth International Workshop on Trends in Functional Programming in Education, Sophia Antipolis (France), 一般発表, 共著者

  12. LablGtk2によるuniverse teachpackの実装と実用性の検証

    上原千裕、浅井健一, 国内, 2015年03月, , 第17回プログラミングおよびプログラミング言語ワークショップ, 愛媛県松山市, 日本ソフトウェア科学会, 一般発表, 共著者

  13. OCaml 初学者のための開発環境に向けて

    石井柚季,、浅井健一, 国内, 2015年03月, , 第17回プログラミングおよびプログラミング言語ワークショップ, 愛媛県松山市, 日本ソフトウェア科学会, 一般発表, 共著者

  14. Report on a User Test and Extension of a Type Debugger for Novice Programmers

    Yuki Ishii, Kenichi Asai, 国外, 2014年05月, , The third International Workshop on Trends in Functional Programming in Education, スーステルベルグ（オランダ）, 一般発表, 共著者

  15. Agda による各種コンパイラ最適化プログラムの定式化

    門脇香子、浅井健一, 国内, 2014年03月, , 第16回プログラミングおよびプログラミング言語ワークショップ, 熊本県阿蘇市, 日本ソフトウェア科学会, 一般発表, 共著者

  16. js_of_ocamlによるMikiβの実装に向けて

    中野祥、浅井健一, 国内, 2013年03月, , 第15回プログラミングおよびプログラミング言語ワークショップ, 福島県会津若松市, 日本ソフトウェア科学会, 一般発表, 共著者

  17. メタラムダ計算の定式化

    岩井亜里紗、浅井健一, 国内, 2012年03月, , 第14回プログラミングおよびプログラミング言語ワークショップ, 和歌山県白浜市, 日本ソフトウェア科学会, 一般発表, 共著者

  18. 対称ラムダ計算の定式化

    新井祐美、浅井健一, 国内, 2012年03月, , 第14回プログラミングおよびプログラミング言語ワークショップ, 和歌山県白浜市, 日本ソフトウェア科学会, 一般発表, 共著者

  19. js_of_ocamlによるMikiβの実装に向けて

    中野祥、浅井健一, 国内, 2012年03月, , 第14回プログラミングおよびプログラミング言語ワークショップ, 和歌山県白浜市, 日本ソフトウェア科学会, 一般発表, 共著者

  20. Introduction to programming with shift and reset

    Kenichi Asai, Oleg Kiselyov, 国内, 2011年09月, , ACM SIGPLAN Continuation Workshop 2011, National Institute of Informatics, Association for Computing Machinery, 招待講演, 第一発表者

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

このページの先頭へ▲