//#recent(20) //常に表示されるメニューバーです。 //&edit(MenuBar,noicon){edit}; //を記述しておくとMenuBarを気軽に修正できるようになって便利かも。 * リンク [#he04427b] - [[日本ソフトウェア科学会:http://www.jssst.or.jp/]] - [[PPL 2016:http://logic.cs.tsukuba.ac.jp/ppl2016/]] - [[PPL 2019:https://jssst-ppl.org/workshop/2019/]]