2023年度のニュース
PPL'24にて論文・ポスター発表
以下の論文がカテゴリ1 (国内外未発表枠) で発表されました。
- 論理関係によるshift/resetの部分評価器の正当性の証明 (横関, 浅井)
- 定義のデータ化による証明木可視化システムMikiβの拡張 (大石,浅井)
- OCaml Blockly を使った中学生向けの１次関数の学習教材 (大石,窪田, 柴田, 茅根, 横関, 浅井)
- OCaml Blocklyのチュートリアルサイトの理解度向上に向けた改善 (柴田, 浅井)
- UniverseJsライブラリを用いたゲームプログラミングのデバッグ環境の改善(茅根,浅井)