PPL2023
気になる
2日目
機能法に関する推論の計算複雑性
ポスター
プラレールによるプログラミングの可能性
p13
JavaScriptプログラムのawait忘れバグに対処するソースコード変換を目指して
p35
プログラムの意味解析技術の音楽の意味解析への応用に向けて
p45
MikiβにおけるWeb上での データ入力実装に向けて
p46
Mikiβという証明木をGUIでガリガリ書くためのツールがあるらしく，それのポスター
汎用的に証明木の GUI を作成する『Miki β』の開発(外部論文)
http://pllab.is.ocha.ac.jp/~asai/jpapers/ppl/sakurai10.pdf
公開されてるらしんだけどどこで公開してるの？
間庭 彬仁; "ループのための様相演算子
p63