[logic-ml] 論文募集:「プログラミングおよびプログラミング言語」特集