抽象ストリーム情報 ボール配列とバイナリコード フィルタリングマシンのアルゴリズム