研究発表 - 浅井 健一

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

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

    浦中 花菜、浅井健一, 国内, ポスター発表, 2025年03月, 2025年03月05日2025年03月07日, 第27回プログラミングおよびプログラミング言語ワークショップ, ホテル明山荘（愛知県蒲郡市）, 日本ソフトウェア科学会, 一般発表, 共著者

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

    窪田 唯花、浅井健一, 国内, ポスター発表, 2025年03月, 2025年03月05日2025年03月07日, 第27回プログラミングおよびプログラミング言語ワークショップ, ホテル明山荘（愛知県蒲郡市）, 日本ソフトウェア科学会, 一般発表, 共著者

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

    朱 光漪、浅井健一, 国内, ポスター発表, 2025年03月, 2025年03月05日2025年03月07日, 第27回プログラミングおよびプログラミング言語ワークショップ, ホテル明山荘（愛知県蒲郡市）, 日本ソフトウェア科学会, 一般発表, 共著者

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

    大石美緒、窪田唯花、柴田真琴、茅根珠来、横関茉衣、浅井健一, 国内, ポスター発表, 2024年03月, 2024年03月05日2024年03月07日, 第26回プログラミングおよびプログラミング言語ワークショップ, 朱鷺メッセ 新潟コンベンションセンター, 日本ソフトウェア科学会, 一般発表, 第一発表者

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

    茅根珠来、浅井健一, 国内, ポスター発表, 2024年03月, 2024年03月05日2024年03月07日, 第26回プログラミングおよびプログラミング言語ワークショップ, 朱鷺メッセ 新潟コンベンションセンター, 日本ソフトウェア科学会, 一般発表, 共著者

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

    柴田真琴、浅井健一, 国内, ポスター発表, 2024年03月, 2024年03月05日2024年03月07日, 第26回プログラミングおよびプログラミング言語ワークショップ, 朱鷺メッセ 新潟コンベンションセンター, 日本ソフトウェア科学会, 一般発表, 共著者

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

    窪田唯花、浅井健一, 国内, ポスター発表, 2023年03月, , 第25回プログラミングおよびプログラミング言語ワークショップ, 名古屋大学, 日本ソフトウェア科学会, 一般発表, 共著者

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

    大石美緒、浅井健一, 国内, ポスター発表, 2023年03月, , 第25回プログラミングおよびプログラミング言語ワークショップ, 名古屋大学, 日本ソフトウェア科学会, 一般発表, 共著者

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

    上田結実、浅井健一, 国内, 2022年03月, , 第24回プログラミングおよびプログラミング言語ワークショップ, オンライン, 日本ソフトウェア科学会, 一般発表, 共著者

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

    山本充子、浅井健一, 国内, 2022年03月, , 第24回プログラミングおよびプログラミング言語ワークショップ, オンライン, 日本ソフトウェア科学会, 一般発表, 共著者

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

    横関茉衣、浅井健一, 国内, 2022年03月, , 第24回プログラミングおよびプログラミング言語ワークショップ, オンライン, 日本ソフトウェア科学会, 一般発表, 共著者

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

    柴田真琴、浅井健一, 国内, 2022年03月, , 第24回プログラミングおよびプログラミング言語ワークショップ, オンライン, 日本ソフトウェア科学会, 一般発表, 共著者

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

    大石美緒、浅井健一, 国内, 2022年03月, , 第24回プログラミングおよびプログラミング言語ワークショップ, オンライン, 日本ソフトウェア科学会, 一般発表, 共著者

  14. OCamlステッパの改良

    秋山雛乃、浅井健一, 国内, 2021年03月, , 第23回プログラミングおよびプログラミング言語ワークショップ, オンライン, 日本ソフトウェア科学会, 一般発表, 共著者

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

    本田華歩、浅井健一, 国内, 2021年03月, , 第23回プログラミングおよびプログラミング言語ワークショップ, オンライン, 日本ソフトウェア科学会, 一般発表, 共著者

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

    守本梨紗、浅井健一, 国内, 2020年03月, , 第22回プログラミングおよびプログラミング言語ワークショップ, 佐賀県嬉野市, 日本ソフトウェア科学会, 一般発表, 共著者

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

    上田結実、浅井健一, 国内, 2020年03月, , 第22回プログラミングおよびプログラミング言語ワークショップ, 佐賀県嬉野市, 日本ソフトウェア科学会, 一般発表, 共著者

  18. OCaml Blockly のキー操作実装

    高越莉菜、浅井健一, 国内, 2020年03月, , 第22回プログラミングおよびプログラミング言語ワークショップ, 佐賀県嬉野市, 日本ソフトウェア科学会, 一般発表, 共著者

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

    山本充子、浅井健一, 国内, 2020年03月, , 第22回プログラミングおよびプログラミング言語ワークショップ, 佐賀県嬉野市, 日本ソフトウェア科学会, 一般発表, 共著者

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

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

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

このページの先頭へ▲