added reflections

sections/t-2/theory.tex

@@ -5,7 +5,7 @@
 ディジタルとは最小単位が存在する物理量であり, 連続的で最小単位が存在しないアナログと対になる.
 この最小単位というのは時間や電圧などの刻み幅を決めるもので分解能ともいう. 分解能を高くすれば, 真の値と観測値の誤差が小さくなる.
 ディジタルには「誰が測っても同じになる」ことと「多少ノイズが混じっても大丈夫」という長所があり, 逆に「最小単位より小さいものは測れない」という短所がある.
-ディジタルにより, 現実世界の様々な現象をある一定の精度で数値的に解析・再現することが出来るようになった.
+ディジタルにより, 現実世界の様々な現象をある一定の精度で数値的に解析・再現することが出来るようになった\supercite{digital-circuit:digital}.
 
 \begin{figure}[tbh]
     \centering
@@ -25,14 +25,13 @@
 \subsection{二進数}
 
 二進数とは0と1などの二種類の記号を用いた数の表記法である.
-これにより電気のオン・オフなど回路で扱いやすい形で様々な数を表すことが出来るようになった.
-そして, ディジタルの登場により, コンピュータが発展していった.
+これにより電気のオン・オフなど回路で扱いやすい形で様々な数を表すことが出来るようになった\supercite{digital-circuit:basic-logic}.
 
 \subsection{ブール代数}
 
 ブール代数とは二値化された数に対し, 演算子や法則を定義した数学の分野である.
-ブール代数では基本的な演算子は論理和, 論理積, 論理否定である.
-これらの演算子の演算結果は\cref{tab:truth-table-basic}のような真理値表でまとめることが出来る.
+ブール代数では基本的な演算子は論理和, 論理積, 論理否定である\supercite{digital-circuit:basic-logic}.
+これらの演算子の演算結果は\cref{tab:truth-table-basic}のような真理値表でまとめることが出来る\supercite{digital-circuit:truth-table}.
 
 \begin{table}[!ht]
     \caption{Truth Tables of Basic Logic Operations}
@@ -95,7 +94,7 @@
 
 ブール代数の代表的な定理としてド・モルガンの定理がある.
 
-この定理は「あるブール式の各変数を否定し, 式の中の論理積と論理和を入れ替えた式は, 全体を否定した式と同じ値をとる」というもので\cref{equ:deMorgan}のような式で表現される.
+この定理は「あるブール式の各変数を否定し, 式の中の論理積と論理和を入れ替えた式は, 全体を否定した式と同じ値をとる」というもので\cref{equ:deMorgan}のような式で表現される\supercite{digital-circuit:basic-logic}.
 
 \begin{equation}\label{equ:deMorgan}
     \overline{f(x_1, x_2, \dotsc, +, \cdot)} = f(\overline{x_1}, \overline{x_2}, \dotsc, \cdot{}, +)
@@ -103,7 +102,7 @@
 
 \subsection{論理ゲート}
 
-論理ゲートは論理演算を電気回路で表現したもので, 回路記号は\cref{fig:logic-gate-symbols}で表される.
+論理ゲートは論理演算を電気回路で表現したもので, 回路記号は\cref{fig:logic-gate-symbols}で表される\supercite{digital-circuit:gate-ic}.
 
 \begin{figure}[tbh]
     \centering
@@ -152,17 +151,17 @@
     \label{fig:karnaugh-map-example}
 \end{figure}
 
-カルノー図から隣接する1のセルを「くくる」と論理式を簡略化することが出来る.
+カルノー図から隣接する1のセルを「くくる」と論理式を簡略化することが出来る\supercite{digital-circuit:karnaugh-map}.
 今回の例では$a \cdot b \cdot \bar{c}$のセルと$a \cdot \bar{b} \cdot \bar{c}$のセルでは$b$の値によらず1になっているので, くくって $x = (a \cdot \bar{c}) + (\bar{a} \cdot b \cdot c)$を得る.
 
 \subsection{順序回路}
 
 論理回路には現在の状態と入力によって次の状態へ変化する回路が存在する. これらの回路は順序回路と呼ばれている.
-例えば, ある状態Aで入力が0の時, 出力を1にし状態Bへ, 入力が1の時, 出力を0にし状態Cへ遷移するというような回路のことである.
+例えば, ある状態Aで入力が0の時, 出力を1にし状態Bへ, 入力が1の時, 出力を0にし状態Cへ遷移するというような回路のことである\supercite{digital-circuit:sequential-logic}.
 
 順序回路の動作を説明するには状態遷移図や状態遷移表が有効である. 
 状態遷移図は各状態をノード, 入力/出力の順で表記された状態の遷移をエッジとする有向グラフとして表現される.
-状態遷移表は入力と現状態が次にどの状態と出力をするのかを表にまとめたものである.
+状態遷移表は入力と現状態が次にどの状態と出力をするのかを表にまとめたものである\supercite{digital-logic:state-transition}.
 前述の例を状態遷移図と状態遷移表で表現するとそれぞれ\cref{fig:state-transition-graph-example}と\cref{tab:state-tarnsition-table-example}となる.
 
 \begin{table}[!ht]