Presentations - ASAI Kenichi

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

  1. parametricityを用いたcontrol/promptのCPS変換の正当性の証明

    浦中 花菜、浅井健一, Domestic, Poster presentation, 2025.03, 2025/03/052025/03/07, 第27回プログラミングおよびプログラミング言語ワークショップ, ホテル明山荘（愛知県蒲郡市）, 日本ソフトウェア科学会, Not Invited, Coauthor

  2. shift/resetを含む関数の篩型を使った内部検証

    窪田 唯花、浅井健一, Domestic, Poster presentation, 2025.03, 2025/03/052025/03/07, 第27回プログラミングおよびプログラミング言語ワークショップ, ホテル明山荘（愛知県蒲郡市）, 日本ソフトウェア科学会, Not Invited, Coauthor

  3. control/prompt を含む体系における多相な型システムに向けて

    朱 光漪、浅井健一, Domestic, Poster presentation, 2025.03, 2025/03/052025/03/07, 第27回プログラミングおよびプログラミング言語ワークショップ, ホテル明山荘（愛知県蒲郡市）, 日本ソフトウェア科学会, Not Invited, Coauthor

  4. OCaml Blockly を使った中学生向けの１次関数の学習教材

    大石美緒、窪田唯花、柴田真琴、茅根珠来、横関茉衣、浅井健一, Domestic, Poster presentation, 2024.03, 2024/03/052024/03/07, 第26回プログラミングおよびプログラミング言語ワークショップ, 朱鷺メッセ 新潟コンベンションセンター, 日本ソフトウェア科学会, Not Invited, Main Speaker

  5. UniverseJsライブラリを用いたゲームプログラミングのデバッグ環境の改善

    茅根珠来、浅井健一, Domestic, Poster presentation, 2024.03, 2024/03/052024/03/07, 第26回プログラミングおよびプログラミング言語ワークショップ, 朱鷺メッセ 新潟コンベンションセンター, 日本ソフトウェア科学会, Not Invited, Coauthor

  6. OCaml Blocklyのチュートリアルサイトの理解度向上に向けた改善

    柴田真琴、浅井健一, Domestic, Poster presentation, 2024.03, 2024/03/052024/03/07, 第26回プログラミングおよびプログラミング言語ワークショップ, 朱鷺メッセ 新潟コンベンションセンター, 日本ソフトウェア科学会, Not Invited, Coauthor

  7. 仕様記述を可能にした継続モナドにおける関数の内部証明

    窪田唯花、浅井健一, Domestic, Poster presentation, 2023.03, , 第25回プログラミングおよびプログラミング言語ワークショップ, 名古屋大学, 日本ソフトウェア科学会, Not Invited, Coauthor

  8. MikiβにおけるWeb上でのデータ入力実装に向けて

    大石美緒、浅井健一, Domestic, Poster presentation, 2023.03, , 第25回プログラミングおよびプログラミング言語ワークショップ, 名古屋大学, 日本ソフトウェア科学会, Not Invited, Coauthor

  9. WebSocket 通信を用いたUniverse フレームワークの拡張

    上田結実、浅井健一, Domestic, 2022.03, , 第24回プログラミングおよびプログラミング言語ワークショップ, オンライン, 日本ソフトウェア科学会, Not Invited, Coauthor

  10. 型付きのshift/resetを含む言語におけるReflectionに向けて

    山本充子、浅井健一, Domestic, 2022.03, , 第24回プログラミングおよびプログラミング言語ワークショップ, オンライン, 日本ソフトウェア科学会, Not Invited, Coauthor

  11. λ計算に対する仕様に基づいたコンパイラの導出

    横関茉衣、浅井健一, Domestic, 2022.03, , 第24回プログラミングおよびプログラミング言語ワークショップ, オンライン, 日本ソフトウェア科学会, Not Invited, Coauthor

  12. OCamlBlocklyのチュートリアル作成

    柴田真琴、浅井健一, Domestic, 2022.03, , 第24回プログラミングおよびプログラミング言語ワークショップ, オンライン, 日本ソフトウェア科学会, Not Invited, Coauthor

  13. Mikiβ における相互再帰の実装

    大石美緒、浅井健一, Domestic, 2022.03, , 第24回プログラミングおよびプログラミング言語ワークショップ, オンライン, 日本ソフトウェア科学会, Not Invited, Coauthor

  14. OCamlステッパの改良

    秋山雛乃、浅井健一, Domestic, 2021.03, , 第23回プログラミングおよびプログラミング言語ワークショップ, オンライン, 日本ソフトウェア科学会, Not Invited, Coauthor

  15. control/promptのためのCPS変換とその正当性

    本田華歩、浅井健一, Domestic, 2021.03, , 第23回プログラミングおよびプログラミング言語ワークショップ, オンライン, 日本ソフトウェア科学会, Not Invited, Coauthor

  16. OCaml Blocklyを使用した代数教材の作成

    守本梨紗、浅井健一, Domestic, 2020.03, , 第22回プログラミングおよびプログラミング言語ワークショップ, 佐賀県嬉野市, 日本ソフトウェア科学会, Not Invited, Coauthor

  17. WebSocketを用いたUniverseフレームワークのブラウザ対応

    上田結実、浅井健一, Domestic, 2020.03, , 第22回プログラミングおよびプログラミング言語ワークショップ, 佐賀県嬉野市, 日本ソフトウェア科学会, Not Invited, Coauthor

  18. OCaml Blockly のキー操作実装

    高越莉菜、浅井健一, Domestic, 2020.03, , 第22回プログラミングおよびプログラミング言語ワークショップ, 佐賀県嬉野市, 日本ソフトウェア科学会, Not Invited, Coauthor

  19. Agda による Equational Reasoning の証明の自動生成に向けて

    山本充子、浅井健一, Domestic, 2020.03, , 第22回プログラミングおよびプログラミング言語ワークショップ, 佐賀県嬉野市, 日本ソフトウェア科学会, Not Invited, Coauthor

  20. Incremental な OCaml ステッパの開発

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

< PREV - NEXT >

To the head of this page.▲