せめて http://www.afm.sbu.ac.uk/ に載ってるFormal Methodをネタにしてくれないか？
漏れには、このスレが荒唐無稽な無学者の集まりにしか見えないんだ・・・