例題のde bruiji indexを修正する。dbiで変換したのと同じ結果になる。
rbiで、型も変換できるようにした。