• 追加された行はこの色です。
  • 削除された行はこの色です。
//#recent(20)

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

* リンク [#he04427b]

- [[日本ソフトウェア科学会:http://www.jssst.or.jp/]]
- [[PPL 2016:http://logic.cs.tsukuba.ac.jp/ppl2016/]]
- [[日本ソフトウェア科学会:https://www.jssst.or.jp/]]
- [[FLOPS 2024:https://conf.researchr.org/home/flops-2024]]