hide ---> http://www.ok.ctrl.titech.ac.jp/res/PCS/research/shorttyping/ShortTyping.jar