//#recent(20)

//常に表示されるメニューバーです。
//&edit(MenuBar,noicon){edit};
//を記述しておくとMenuBarを気軽に修正できるようになって便利かも。

* リンク [#he04427b]

- [[日本ソフトウェア科学会:http://www.jssst.or.jp/]]
- [[PPL 2016:http://logic.cs.tsukuba.ac.jp/ppl2016/]]