sigfm FAQ

sigfmに関する質問とその回答

sigfmとは何ですか？

ソフトウェア開発方法の常識となりつつある形式手法 (Formal Method）に興味を持つ有志の集まりです。毎月、月例会を行い、形式手法について議論するとともに、その普及を図っています。
設立趣旨は、世話人の一人佐原（ｓｓ＠ｓｈｉｎｓａｈａｒａ．ｃｏｍ）による檄文（ただし、他の世話人からは未公認）をご覧下さい。

メーリングリストはありますか？

メーリングリストの登録方法をご覧下さい。