IPA 基礎理論 — 頻出論点と過去問

この分野の学び方

1. この分野の全体像

基礎理論が扱うのは、情報を0と1の列で表して演算するための数と、起こりやすさや待ち時間を式で見積もるための確率です。情報のディジタル表現や簡単な確率の計算を問うITパスポートの問題に対し、応用情報技術者の午前の問題は、数の表現の誤差や誤り訂正の符号、待ち行列理論の式の変形まで計算の範囲に入れています。2進数の桁数や集合の要素数を数える考え方は、符号の誤り発生数や場合の数の計算へとつながり、さらにアルゴリズムの解析や通信品質・システム性能の評価の土台になります。

2. 配下の論点の案内

• 数値表現・論理演算・符号理論
  ハードウェアの論理回路・メモリ、ネットワークの伝送性能と問題を共有する論点で、計算機の中で数や論理をビット列として扱うための計算が集まっています。応用情報技術者の午前では2の補数の加算でオーバフローしない条件やハミング符号で訂正したあとの符号語を求める問題が、エンベデッドシステムスペシャリストの午前IIでは状態遷移表の空欄に入る状態を選ぶ問題が出ています。

• 確率・統計・待ち行列
  基礎理論の中で不確かさや待ちを数で表す側の論点で、M/M/1の待ち時間の問題はシステム構成の性能評価・キャパシティと共有しています。ITパスポートではサイコロの確率や平均値と中央値の組合せ、データの尺度の分類を選ぶ問題、応用情報技術者の午前では抜取り検査で合格になる確率や、利用率が上がると平均待ち時間が何倍になるかを求める問題があります。

3. 学習の順序の提案

数値表現・論理演算・符号理論で扱う、何ビットで何通り表せるかや部分集合がいくつあるかの数え方は、確率・統計・待ち行列で重複を許す並べ方や組合せを数えるときにもそのまま使われます。ビット誤り率から誤りの入るデータの数を見積もる問題は、期待値の形をしていても数値表現・論理演算・符号理論の側に入っていて、学ぶ順序では符号の計算と同じ段階に置かれます。応用情報技術者の午前には、どちらの論点にも入らない計算として、方程式の解を接線で近づけていく手順の名前を選ぶ問題、機械の使用時間の制約から最大の利益を求める問題、仕事の順序を変えて段取りの時間の合計を最小にする問題もあります。

午後の大問はどれも応用情報技術者のもので、素数を数え上げる手順の効率化や一筆書きの探索のように整数やグラフの性質を使うアルゴリズムを読む問題と、ワイヤレスカメラの撮影時間の計算と状態遷移図の穴埋めを含む機器の設計の問題がありました。

4. 分野をまたいで間違えやすいところ

回線の誤り率から、誤りの入る電文やパケットの数を見積もる問題は、数値表現・論理演算・符号理論でも、ネットワークの伝送性能・通信品質でも学ぶ問題です。基礎理論の側ではデータの量と誤りの起こり方の計算として、ネットワークの側では回線の品質が通信にどう効くかの評価として、同じ計算が使われています。

カルノー図と等価な論理式を選ぶ問題は、ハードウェアの論理回路にも入っていて、回路を簡単にする道具としても、式の変形の規則としても読めます。これに対し、ゲートの図記号で描いた回路の出力や同じ働きをする回路を選ぶ問題は論理回路の側だけにあり、基礎理論の側には、回路図を使わずに論理式や集合の式を変形する問題が入っています。

組込み・IoTの組込み開発・安全設計とは、状態遷移図や状態遷移表をイベントの順にたどる問題を共有しています。表や図をたどる手順そのものは基礎理論で身につき、機器の動作を状態とイベントで組み立てる設計の手法として使うのは組込みの開発です。

システム構成の性能評価・キャパシティとは、M/M/1の待ち行列で平均の待ち時間や応答時間を求める問題が重なっています。到着と処理の起こり方を確率で表すモデルとしての公式は基礎理論で学び、処理件数や応答時間を見積もる道具の一つとして使う場面は、システム構成の性能評価の側で扱います。