Hatena::ブログ(Diary)

菊やんの雑記帳

2010-11-27 あなぷる統計

[] 人気のtaciticが知りたいという要望がでたので 15:02  人気のtaciticが知りたいという要望がでたのでを含むブックマーク

メモ

sqlite3 /home/aps/aps/aps-server/db/production.sqlite3 'SELECT file FROM answers' | ruby -e 'puts $<.read.scan(/\w+/)' <ans.txt | sort | uniq -c | sort -nr

ここから手作業でtacticだけ選ぶ。あと面白そうなのも残す

   1506 apply
   1272 auto
   1116 rewrite
   1016 destruct
    881 intros
    756 omega
    541 assert
    488 intro
    452 simpl
    424 exists
    345 unfold
    283 replace
    267 induction
    211 ring
    150 split
    130 case
    110 left
    108 right
    102 elim
     98 clear
     90 inversion
     88 False_ind
     82 generalize
     71 reflexivity
     67 specialize
     66 double
     65 exact
     58 trivial
     56 set
     50 repeat
     49 tauto
     49 remember
     49 assumption
     44 congruence
     39 cut
     37 contradict
     34 cbv
     33 absurd
     33 I
     32 ring_simplify
     32 contradiction
     31 Ltac
     29 symmetry
     27 pose
     25 discriminate
     25 compute
     23 fold
     22 field
     19 try
     19 eapply
     18 do
     18 change
     17 revert
     17 erewrite
     13 intuition
     13 constructor
     12 dependent
     11 subst
     11 edestruct
     10 transitivity
     10 exist
     10 compose
     10 complete
      9 fix
      8 injection
      8 idtac
      8 eauto
      8 case_eq
      7 well_founded
      7 prove_sup
      7 pattern
      7 elimtype
      5 red
      5 lazy
      5 equality
      5 decide
      2 setoid_replace
      2 fourier
      2 cofix
      1 field_simplify_eq
      1 eexists
      1 econstructor
      1 cutrewrite