Revisions of "Android リアルタイム入力でハッシュタグ形式に文字装飾するTIPS"