午前問1
0以上255以下の整数nに対して,

と定義する。next(n)と等しい式はどれか。ここで,x AND y 及び x OR y は,それぞれxとyを2進数表現にして,桁ごとの論理積及び論理和をとったものとする。
- [この問題の出題歴]
- 応用情報技術者 H22春期 問1
- 応用情報技術者 H31春期 問1
分類
テクノロジ系 » 基礎理論 » 離散数学
正解
正解を表示する
解説
next(n)は、引数nが0~254の場合には引数に1を加えた値を返し、255では0を返します。
この問題で考えなければいけないポイントは、次の2点です。
- 1ずつ加算がおこなわれるか。
- next(255)のときに結果が 0 となるか。
この点を検証するためにnext(1)とnext(255)の結果をそれぞれ考えてみます。
- (n+1) AND 255
正しい。ビットマスクの255を2進数で表すと「11111111」で、このビット列との論理積(AND)は(n+1)の下位8ビットだけを取り出すように作用します。引数が255の場合には、最上位ビットの演算結果が0になるので関数は0を返します。 - (n+1) AND 256
ビットマスクの256を2進数で表すと「1 00000000」です。どの引数を与えても下位8ビットの演算結果が常に0になってしまうため誤りです。 - (n+1) OR 255
ビットマスクの255を2進数で表すと「11111111」で、このビット列と論理和(OR)演算を行った結果の下位8ビットは常に「11111111」になります。0≦n<255では常に255、255では511が返るため誤りです。 - (n+1) OR 256
ビットマスクの256を2進数で表すと「1 00000000」で、このビット列と論理和(OR)演算を行った結果の最上位ビットは常に1になります。どの引数を与えても常に256以上の値が返るため誤りです。