Presentations - ASAI Kenichi

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

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

    脇川奈穂、浅井健一、対馬かなえ, Domestic, 2019.03, , 第21回プログラミングおよびプログラミング言語ワークショップ, 岩手県花巻市, 日本ソフトウェア科学会, Not Invited, Coauthor

  2. OCaml Blocklyデモ

    松本晴香、浅井健一, Domestic, 2019.03, , 第21回プログラミングおよびプログラミング言語ワークショップ, 岩手県花巻市, 日本ソフトウェア科学会, Not Invited, Coauthor

  3. OCaml 初学者の syntax error 調査

    北川舞、浅井健一, Domestic, 2019.03, , 第21回プログラミングおよびプログラミング言語ワークショップ, 岩手県花巻市, 日本ソフトウェア科学会, Not Invited, Coauthor

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

    古川つきの、浅井健一, Domestic, 2018.03, , 第20回プログラミングおよびプログラミング言語ワークショップ, 鳥取県米子市, 日本ソフトウェア科学会, Not Invited, Coauthor

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

    松本晴香、浅井健一, Domestic, 2017.03, , 第19回プログラミングおよびプログラミング言語ワークショップ, 山梨県笛吹市, 日本ソフトウェア科学会, Not Invited, Coauthor

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

    山田麗、浅井健一, Domestic, 2017.03, , 第19回プログラミングおよびプログラミング言語ワークショップ, 山梨県笛吹市, 日本ソフトウェア科学会, Not Invited, Coauthor

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

    脇川奈穂、対馬かなえ、浅井健一, Domestic, 2017.03, , 第19回プログラミングおよびプログラミング言語ワークショップ, 山梨県笛吹市, 日本ソフトウェア科学会, Not Invited, Coauthor

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

    脇川奈穂、対馬かなえ、浅井健一, Domestic, 2017.01, , 第58回プログラミング・シンポジウム, 静岡県伊東市, 情報処理学会, Not Invited, Coauthor

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

    叢悠悠、浅井健一, Domestic, 2016.03, , 第18回プログラミングおよびプログラミング言語ワークショップ, 岡山県玉野市, 日本ソフトウェア科学会, Not Invited, Coauthor

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

    石井柚季、浅井健一, Domestic, 2016.03, , 第18回プログラミングおよびプログラミング言語ワークショップ, 岡山県玉野市, 日本ソフトウェア科学会, Not Invited, Coauthor

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

    Chihiro Uehara, Kenichi Asai, International, 2015.06, , The fourth International Workshop on Trends in Functional Programming in Education, Sophia Antipolis (France), Not Invited, Coauthor

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

    上原千裕、浅井健一, Domestic, 2015.03, , 第17回プログラミングおよびプログラミング言語ワークショップ, 愛媛県松山市, 日本ソフトウェア科学会, Not Invited, Coauthor

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

    石井柚季,、浅井健一, Domestic, 2015.03, , 第17回プログラミングおよびプログラミング言語ワークショップ, 愛媛県松山市, 日本ソフトウェア科学会, Not Invited, Coauthor

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

    Yuki Ishii, Kenichi Asai, International, 2014.05, , The third International Workshop on Trends in Functional Programming in Education, Soesterberg (The Netherlands), Not Invited, Coauthor

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

    門脇香子、浅井健一, Domestic, 2014.03, , 第16回プログラミングおよびプログラミング言語ワークショップ, 熊本県阿蘇市, 日本ソフトウェア科学会, Not Invited, Coauthor

  16. Towards implementation of Mikiβ using js_of_ocaml

    Sachi Nakano, Kenichi Asai, Domestic, 2013.03, , The 15th JSSST Workshop on Programming and Programming Languages, Aizuwakamatsu, Fukushima, Japan Society for Software Science and Technology, Not Invited, Coauthor

  17. Formalization of Meta Lambda Calculus

    Arisa Iwai, Kenichi Asai, Domestic, 2012.03, , The 14th JSSST Workshop on Programming and Programming Languages, Shirahama, Wakayama, Japan Society for Software Science and Technology, Not Invited, Coauthor

  18. Formalization of Symmetric Lambda Calculus

    Yumi Arai, Kenichi Asai, Domestic, 2012.03, , The 14th JSSST Workshop on Programming and Programming Languages, Shirahama, Wakayama, Japan Society for Software Science and Technology, Not Invited, Coauthor

  19. Towards implementation of Mikiβ using js_of_ocaml

    Sachi Nakano, Kenichi Asai, Domestic, 2012.03, , The 14th JSSST Workshop on Programming and Programming Languages, Shirahama, Wakayama, Japan Society for Software Science and Technology, Not Invited, Coauthor

  20. Introduction to programming with shift and reset

    Kenichi Asai, Oleg Kiselyov, Domestic, 2011.09, , ACM SIGPLAN Continuation Workshop 2011, National Institute of Informatics, Association for Computing Machinery, Invited, Main Speaker

< PREV - NEXT >

To the head of this page.▲