Presentations - ASAI Kenichi

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

  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

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

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

  22. OCaml Blocklyデモ

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

  23. OCaml 初学者の syntax error 調査

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  31. 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

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

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

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

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

  34. 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

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

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

  36. 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

  37. 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

  38. 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

  39. 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

  40. 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

  41. Report on an OCaml type debugger

    Kanae Tsushima, Kenichi Asai, Domestic, 2011.09, , ACM SIGPLAN Workshop on ML, National Institute of Informatics, Association for Computing Machinery, Not Invited, Coauthor

  42. `Focus movement' by delimited continuations

    Daisuke Bekki, Kenichi Asai, Domestic, 2011.09, , ACM SIGPLAN Continuation Workshop 2011, National Institute of Informatics, Association for Computing Machinery, Not Invited, Coauthor

  43. Correctness of Functions with Shift and Reset

    Noriko Hirota, Kenichi Asai, Domestic, 2011.09, , ACM SIGPLAN Continuation Workshop 2011, National Institute of Informatics, Association for Computing Machinery, Not Invited, Coauthor

  44. Non-deterministic search library

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

  45. MikiBeta : A General GUI Library for Visualizing Proof Trees

    Kanako Sakurai, Kenichi Asai, Domestic, 2011.03, , The 13th JSSST Workshop on Programming and Programming Languages, Sapporo, Hokkaido, Japan Society for Software Science and Technology, Not Invited, Coauthor

  46. Implementation of Non-deterministic Operators for Search Algorithms

    Chihiro Kaneko, Kenichi Asai, Domestic, 2011.03, , The 13th JSSST Workshop on Programming and Programming Languages, Sapporo, Hokkaido, Japan Society for Software Science and Technology, Not Invited, Coauthor

  47. 証明木作成プログラムを用いた CCG 統語導出の実装

    Yuri Ozaki, Kanako Sakurai, Kenichi Asai, Daisuke Bekki, Domestic, 2010.03, , 言語処理学会年次大会, Not Invited, Coauthor

  48. An experience for Implementing an interactive game using the World teachpack in the DrScheme environment

    Yuyu Sou, Kenichi Asai, Domestic, 2010.03, , The 12th JSSST Workshop on Programming and Programming Languages, Kotohira, Kagawa, Japan Society for Software Science and Technology, Not Invited, Coauthor

  49. Proving correctness of stack introduction using logical relations

    Yumi Arai, Kenichi Asai, Domestic, 2010.03, , The 12th JSSST Workshop on Programming and Programming Languages, Kotohira, Kagawa, Japan Society for Software Science and Technology, Not Invited, Coauthor

  50. General visualization system for reduction processes

    Chihiro Ishikawa, Kenichi Asai, Domestic, 2010.03, , The 12th JSSST Workshop on Programming and Programming Languages, Kotohira, Kagawa, Japan Society for Software Science and Technology, Not Invited, Coauthor

  51. Implementing partial evaluator in MetaOCaml

    Arisa Iwai, Kenichi Asai, Domestic, 2010.03, , The 12th JSSST Workshop on Programming and Programming Languages, Kotohira, Kagawa, Japan Society for Software Science and Technology, Not Invited, Coauthor

  52. Type Soundness of Lambda-Calculus with Shift/Reset and Let-Polymorphism

    Noriko Hirota, Kenichi Asai, International, 2009.09, , 4rd Informal ACM SIGPLAN Workshop on Mechanizing Metatheory, Edinburgh, Scotland, ACM, Not Invited, Main Speaker

  53. Functional un|unparsing

    Kenichi Asai, Oleg Kiselyov, Chung-chieh Shan, International, 2009.08, , Symposium in Honor of Mitchell Wand, Boston, Massachusetts, Not Invited, Coauthor

  54. Towards Type-Directed Partial Evaluation for Shift and Reset

    Kanae Tsushima, Kenichi Asai, International, 2009.08, , 2009 Workshop on Normalization by Evaluation, Los Angeles, California, Not Invited, Coauthor

  55. Towards polyvariant partial evaluation of delimited continuation constructs with recursion

    Kanae Tsushima, Kenichi Asai, Domestic, 2009.03, , The 11th JSSST Workshop on Programming and Programming Languages, Takayama, Gifu, Japan Society for Software Science and Technology, Not Invited, Coauthor

  56. GUI for constructing proof trees

    Kanako Sakurai, Kenichi Asai, Domestic, 2009.03, , The 11th JSSST Workshop on Programming and Programming Languages, Takayama, Gifu, Japan Society for Software Science and Technology, Not Invited, Coauthor

  57. Introducing logical conjunction and disjunction into typed symmetric lambda calculus

    Yayoi Ueda, Kenichi Asai, Domestic, 2009.03, , The 11th JSSST Workshop on Programming and Programming Languages, Takayama, Gifu, Japan Society for Software Science and Technology, Not Invited, Coauthor

  58. Introduction to Delimited Continuations -- Typing Printf

    Kenichi Asai, Domestic, 2008.04, , Continuation Fest 2008, Invited, Main Speaker

  59. Locally Nameless 手法を使った継続計算に対する型システムの健全性の証明

    廣田知子、浅井健一, Domestic, 2008.03, , 第10回プログラミングおよびプログラミング言語ワークショップ, 宮城県仙台市, 日本ソフトウェア科学会, Not Invited, Coauthor

  60. 継続計算のための仮想機械の導出

    木谷有沙、浅井健一, Domestic, 2008.03, , 第10回プログラミングおよびプログラミング言語ワークショップ, 宮城県仙台市, 日本ソフトウェア科学会, Not Invited, Coauthor

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

    阪上紗里、浅井健一、伊藤貴之, Domestic, 2007.03, , 第９回プログラミングおよびプログラミング言語ワークショップ, 石川県加賀市, 日本ソフトウェア科学会, Not Invited, Coauthor

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

    阪上紗里、浅井健一, Domestic, 2006.03, , 第８回プログラミングおよびプログラミング言語ワークショップ, 滋賀県大津市, 日本ソフトウェア科学会, Not Invited, Coauthor

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

    山元かおり、浅井健一, Domestic, 2006.03, , 第８回プログラミングおよびプログラミング言語ワークショップ, 滋賀県大津市, 日本ソフトウェア科学会, Not Invited, Coauthor

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

    鈴木歩、浅井健一, Domestic, 2006.03, , 第８回プログラミングおよびプログラミング言語ワークショップ, 滋賀県大津市, 日本ソフトウェア科学会, Not Invited, Coauthor

  65. OCaml Course in Ochanomizu University

    Kenichi Asai, International, 2005.09, , ACM SIGPLAN Workshop on Functional and Declarative Programming in Education (FDPE '05), Tallinn, Estonia, ACM, Not Invited, Main Speaker

  66. OCaml Course in Ochanomizu University

    Asai, K., International, 2005.09, , "Tips and Tricks" session of the ACM SIGPLAN Workshop on Functional and Declarative Programming in Education (FDPE '05), Tallinn, Estonia, ACM, Not Invited, Main Speaker

< PREV - NEXT >

  • 1
To the head of this page.▲