see. ssr_jsst2014_fintype_example.v を追加した。