技術資料/情報処理全般
をテンプレートにして作成
[
トップ
] [
新規
|
一覧
|
単語検索
|
最終更新
|
ヘルプ
|
ログイン
]
開始行:
#contents
*論理演算 [#q72938c5]
**演算法則 [#vb2e1cc2]
知っていると、複雑なif文の条件式を簡潔に記述できることが...
if節とelse節(またはelse if節)に同じようなコードを記述して...
+冪等律
A || A == A && A == A
+交換律
A || B == B || A
A && B == B && A
+結合律
(A || B) || C == A || (B || C)
(A && B) && C == A && (B && C)
+吸収律
(A || B) && A == A
(A && B) || A == A
+分配律
(A || B) && C == (A && C) || (B && C)
(A && B) || C == (A || C) && (B || C)
+補元律
(A || !A) == TRUE
(A && !A) == FALSE
+ド・モルガンの法則
!(A && B) == !A || !B
!(A || B) == !A && !B
+その他
A || TRUE == TRUE
A && TRUE == A
A || FALSE == A
A && FALSE == FALSE
**真理値について [#z46d8e6f]
ブーリアン型は一般的に TRUE(0&font(red){以外};) と FALSE(...
ただし、実際にTRUEの値がいくつに定義されているかに注意す...
||TRUE|FALSE|
|C++| 1|0|
|VB|-1|0|
*バイトオーダ（エンディアン） [#v577e289]
**概要 [#q215ebf1]
**リトルエンディアンによるデータの格納 [#x492a0a1]
-組み込み型(char, short, long, int, float, double)~
1バイトずつに区切られ、逆向きにメモリに格納される。
-配列~
1要素ごとに分けて考える。後は組み込み型の場合と同様。
-構造体~
メンバ変数ごとに分けて考える。後は配列や組み込み型の場合...
*文字コード [#h10589e7]
*構造体メンバのバウンダリ [#s238a4d5]
C++のクラス(class, struct)の場合は、仮想関数テーブルへの...
ここではC言語の構造体について述べる。~
**用語 [#i7350ef7]
:バウンダリ|直訳：境界&br;バイト境界のこと。通常、2の冪乗...
:アライメント|直訳：位置揃え&br;バウンダリに合わせて構造...
:パディング|直訳：詰め物&br;アライメントを行うために、メ...
**考え方 [#if5d4eab]
以下の構造体を例として、構造体のメンバ変数の相対位置とサ...
#pragma pack(4) // コンパイラのオプションとしてアライメ...
struct A{
char a;
short b;
long c;
double d;
char e;
};
+メンバ変数のアライメントを決定する。~
下記のうちの小さい方が採用される。配列の場合は1つ分の要素...
・コンパイラのオプションで設定されたアライメント。~
・そのメンバ変数のサイズ。~
|項目|サイズ|アライメント|h
|&font(blue){(struct A 全体)};|||
|char a|1|''1''|
|short b|2|''2''|
|long c|4|''4''|
|double d|8|''4''|
|char e|1|''1''|
+メンバ変数のためのパディングを挿入する。~
2番目のメンバ変数の相対位置が、その変数のアライメントの倍...
|項目|サイズ|アライメント|h
|&font(blue){(struct A 全体)};|||
|char a|1|1|
|&font(b,red){パディング};|&font(b,red){1};|&font(red){-};|
|short b|2|2|
|long c|4|4|
|double d|8|4|
|char e|1|1|
+構造体のためのパディングを挿入する。~
構造体自体のアライメントは、メンバ変数のアライメントのう...
構造体のサイズがアライメントの倍数になるように、末尾にパ...
|項目|サイズ|アライメント|h
|&font(blue){(struct A 全体)};|&font(b,blue){20};|&font(b...
|char a|1|1|
|&font(red){パディング};|&font(red){1};|&font(red){-};|
|short b|2|2|
|long c|4|4|
|double d|8|4|
|char e|1|1|
|&font(b,red){パディング};|&font(b,red){3};|&font(red){-};|
#br
これで、構造体のメンバ変数の相対位置とサイズが決定する。~
-配列や構造体変数が含まれる場合。~
struct B{
char f;
short g[2];
char h;
struct A i;
};
別の構造体のメンバ変数が含まれている場合は、内側の構造体...
|項目|サイズ|アライメント|h
|&font(blue){(struct B 全体)};|&font(blue){28};|&font(blu...
|char f|1|1|
|&font(red){パディング};|&font(red){1};|&font(red){-};|
|short g[2]|4|2|
|char h|1|1|
|&font(red){パディング};|&font(red){1};|&font(red){-};|
|strcut A i|20|4|
*浮動小数点数 [#t65cff62]
**IEEE 754 [#n940afc6]
浮動小数点で一般的に利用されている表現方式。~
小数を正規化(「1.xxx * 2^n」の形にすること)して符号、指数...
代表的なのは、32ビット単精度(single/float)と64ビット倍精...
**表現できる範囲 [#vb7609f4]
|型|最小値|最大値|h
|float|1.175494e-38|3.402823e+38|
|double|2.225074e-308|1.797693e+308|
**符号部/指数部/仮数部 [#f5be5d00]
-符号部
~＋なら0、－なら1。
-指数部
~2を基数として正規化した数「1.xxx… * 2^n」の n を格納する...
負の数を表現するために、バイアス方式を用いる。単精度なら1...
2の補数を用いない理由は、浮動小数点同士の比較を単純に行う...
-仮数部
~正規化した数「1.xxx… * 2^n」の xxx… の部分を格納する。
-ビットの格納位置
<32ビット単精度>
1 8 23 ビット幅
+-+--------+-----------------------+
|S| Exp | Fraction |
+-+--------+-----------------------+
31 30 23 22 0 ビット番号
<64ビット倍精度>
1 11 52 ...
+-+-----------+-----------------------------------------...
|S| Exp | Fraction ...
+-+-----------+-----------------------------------------...
63 62 52 51 ...
S は符号部、Exp は指数部、Fraction は仮数部
**浮動小数点への変換手順（単精度の例） [#a1774447]
+符号、指数、仮数に分割していく。~
例：「-5.25」
+値の正負によって符号を決定。~
例：- なので「1」
+以降は変換対象の値を絶対値で考える。~
例：「5.25」
+値を二進数で表現する。~
例：「5.25」→「101.01」
+正規化を行う。~
例：「101.01」→「1.0101 * 2^2」
+仮数を左詰めで格納し、足りない部分は 0 を埋める~
例：「0101」→「01010000000000000000000」
+指数にバイアスを加え、二進数で表現する。~
例：「2+127=129」→「10000001」
+各部に格納して完成。~
例：「1 10000001 01010000000000000000000」→「0xC0A80000」
**正規化数以外の表現 [#q25b2de2]
∞など
**float型からdouble型へのキャスト [#ma410de3]
符号/指数部/仮数部それぞれ、変換して格納される。~
-符号
~0 か 1 をそのまま格納する。
-指数部
~バイアスを考慮した変換を行う。（127引いて、1023加える）~
-仮数部
~29ビット増えることになるため、0 で埋める。これによって小...
*関数(サブルーチン)コールの仕組み [#u77ea117]
**引数 [#d99549b2]
全て32bitに拡張され、呼出規約に従ってスタックに積まれ、使...
**戻り値 [#x0e01e2f]
-戻り値は32bitに拡張され、EAXで返される。(※浮動小数点数は...
-32bitより大きい場合は戻り値はいったんどこかにコピーされ...
-64bitの構造体の場合のみEDX,EAXのペアで返される。
**呼出規約(Calling Convention)の種類 [#dcb24151]
|名称|説明|引数の渡し方|スタックのクリア|関数名の修飾(マ...
|cdecl|C/C++ プログラムのデフォルトの呼出規約。&br;可変引...
|stdcall|Win32API用の呼出規約。&br;Cで作ったDLLの関数をVB...
|fastcall|高速にアクセスできるレジスタを使用した呼出規約...
|thiscall&br;(可変引数リストなし)|クラスのメンバ関数用の...
|thiscall&br;(可変引数リストあり)|~|>|>|>|引数を右から左...
-可変引数リストは呼び出し側でスタックのクリアを行う規約で...
-速度重視や他の言語と連携するDLL等はstdcall、可変引数リス...
-fastcallは現在あまり使用されない。
-他に、pascal、fortran、syscallといった呼出規約が存在する...
*ソート [#v220c8c7]
**安定ソートと非安定ソート [#hc71429e]
一致するデータが存在する場合のソート結果が定まっているも...
バブルソートは安定ソート、クイックソートは非安定ソートで...
非安定ソートであっても、比較処理を工夫することで安定化で...
比較処理の例~
-Ａの身長＞Ｂの身長：1を返す
-Ａの身長＜Ｂの身長：-1を返す
-Ａの身長＝Ｂの身長
--Ａの社員番号＞Ｂの社員番号：1を返す
--Ａの社員番号＜Ｂの社員番号：-1を返す
--Ａの身長＝Ｂの身長はありえない
終了行:
#contents
*論理演算 [#q72938c5]
**演算法則 [#vb2e1cc2]
知っていると、複雑なif文の条件式を簡潔に記述できることが...
if節とelse節(またはelse if節)に同じようなコードを記述して...
+冪等律
A || A == A && A == A
+交換律
A || B == B || A
A && B == B && A
+結合律
(A || B) || C == A || (B || C)
(A && B) && C == A && (B && C)
+吸収律
(A || B) && A == A
(A && B) || A == A
+分配律
(A || B) && C == (A && C) || (B && C)
(A && B) || C == (A || C) && (B || C)
+補元律
(A || !A) == TRUE
(A && !A) == FALSE
+ド・モルガンの法則
!(A && B) == !A || !B
!(A || B) == !A && !B
+その他
A || TRUE == TRUE
A && TRUE == A
A || FALSE == A
A && FALSE == FALSE
**真理値について [#z46d8e6f]
ブーリアン型は一般的に TRUE(0&font(red){以外};) と FALSE(...
ただし、実際にTRUEの値がいくつに定義されているかに注意す...
||TRUE|FALSE|
|C++| 1|0|
|VB|-1|0|
*バイトオーダ（エンディアン） [#v577e289]
**概要 [#q215ebf1]
**リトルエンディアンによるデータの格納 [#x492a0a1]
-組み込み型(char, short, long, int, float, double)~
1バイトずつに区切られ、逆向きにメモリに格納される。
-配列~
1要素ごとに分けて考える。後は組み込み型の場合と同様。
-構造体~
メンバ変数ごとに分けて考える。後は配列や組み込み型の場合...
*文字コード [#h10589e7]
*構造体メンバのバウンダリ [#s238a4d5]
C++のクラス(class, struct)の場合は、仮想関数テーブルへの...
ここではC言語の構造体について述べる。~
**用語 [#i7350ef7]
:バウンダリ|直訳：境界&br;バイト境界のこと。通常、2の冪乗...
:アライメント|直訳：位置揃え&br;バウンダリに合わせて構造...
:パディング|直訳：詰め物&br;アライメントを行うために、メ...
**考え方 [#if5d4eab]
以下の構造体を例として、構造体のメンバ変数の相対位置とサ...
#pragma pack(4) // コンパイラのオプションとしてアライメ...
struct A{
char a;
short b;
long c;
double d;
char e;
};
+メンバ変数のアライメントを決定する。~
下記のうちの小さい方が採用される。配列の場合は1つ分の要素...
・コンパイラのオプションで設定されたアライメント。~
・そのメンバ変数のサイズ。~
|項目|サイズ|アライメント|h
|&font(blue){(struct A 全体)};|||
|char a|1|''1''|
|short b|2|''2''|
|long c|4|''4''|
|double d|8|''4''|
|char e|1|''1''|
+メンバ変数のためのパディングを挿入する。~
2番目のメンバ変数の相対位置が、その変数のアライメントの倍...
|項目|サイズ|アライメント|h
|&font(blue){(struct A 全体)};|||
|char a|1|1|
|&font(b,red){パディング};|&font(b,red){1};|&font(red){-};|
|short b|2|2|
|long c|4|4|
|double d|8|4|
|char e|1|1|
+構造体のためのパディングを挿入する。~
構造体自体のアライメントは、メンバ変数のアライメントのう...
構造体のサイズがアライメントの倍数になるように、末尾にパ...
|項目|サイズ|アライメント|h
|&font(blue){(struct A 全体)};|&font(b,blue){20};|&font(b...
|char a|1|1|
|&font(red){パディング};|&font(red){1};|&font(red){-};|
|short b|2|2|
|long c|4|4|
|double d|8|4|
|char e|1|1|
|&font(b,red){パディング};|&font(b,red){3};|&font(red){-};|
#br
これで、構造体のメンバ変数の相対位置とサイズが決定する。~
-配列や構造体変数が含まれる場合。~
struct B{
char f;
short g[2];
char h;
struct A i;
};
別の構造体のメンバ変数が含まれている場合は、内側の構造体...
|項目|サイズ|アライメント|h
|&font(blue){(struct B 全体)};|&font(blue){28};|&font(blu...
|char f|1|1|
|&font(red){パディング};|&font(red){1};|&font(red){-};|
|short g[2]|4|2|
|char h|1|1|
|&font(red){パディング};|&font(red){1};|&font(red){-};|
|strcut A i|20|4|
*浮動小数点数 [#t65cff62]
**IEEE 754 [#n940afc6]
浮動小数点で一般的に利用されている表現方式。~
小数を正規化(「1.xxx * 2^n」の形にすること)して符号、指数...
代表的なのは、32ビット単精度(single/float)と64ビット倍精...
**表現できる範囲 [#vb7609f4]
|型|最小値|最大値|h
|float|1.175494e-38|3.402823e+38|
|double|2.225074e-308|1.797693e+308|
**符号部/指数部/仮数部 [#f5be5d00]
-符号部
~＋なら0、－なら1。
-指数部
~2を基数として正規化した数「1.xxx… * 2^n」の n を格納する...
負の数を表現するために、バイアス方式を用いる。単精度なら1...
2の補数を用いない理由は、浮動小数点同士の比較を単純に行う...
-仮数部
~正規化した数「1.xxx… * 2^n」の xxx… の部分を格納する。
-ビットの格納位置
<32ビット単精度>
1 8 23 ビット幅
+-+--------+-----------------------+
|S| Exp | Fraction |
+-+--------+-----------------------+
31 30 23 22 0 ビット番号
<64ビット倍精度>
1 11 52 ...
+-+-----------+-----------------------------------------...
|S| Exp | Fraction ...
+-+-----------+-----------------------------------------...
63 62 52 51 ...
S は符号部、Exp は指数部、Fraction は仮数部
**浮動小数点への変換手順（単精度の例） [#a1774447]
+符号、指数、仮数に分割していく。~
例：「-5.25」
+値の正負によって符号を決定。~
例：- なので「1」
+以降は変換対象の値を絶対値で考える。~
例：「5.25」
+値を二進数で表現する。~
例：「5.25」→「101.01」
+正規化を行う。~
例：「101.01」→「1.0101 * 2^2」
+仮数を左詰めで格納し、足りない部分は 0 を埋める~
例：「0101」→「01010000000000000000000」
+指数にバイアスを加え、二進数で表現する。~
例：「2+127=129」→「10000001」
+各部に格納して完成。~
例：「1 10000001 01010000000000000000000」→「0xC0A80000」
**正規化数以外の表現 [#q25b2de2]
∞など
**float型からdouble型へのキャスト [#ma410de3]
符号/指数部/仮数部それぞれ、変換して格納される。~
-符号
~0 か 1 をそのまま格納する。
-指数部
~バイアスを考慮した変換を行う。（127引いて、1023加える）~
-仮数部
~29ビット増えることになるため、0 で埋める。これによって小...
*関数(サブルーチン)コールの仕組み [#u77ea117]
**引数 [#d99549b2]
全て32bitに拡張され、呼出規約に従ってスタックに積まれ、使...
**戻り値 [#x0e01e2f]
-戻り値は32bitに拡張され、EAXで返される。(※浮動小数点数は...
-32bitより大きい場合は戻り値はいったんどこかにコピーされ...
-64bitの構造体の場合のみEDX,EAXのペアで返される。
**呼出規約(Calling Convention)の種類 [#dcb24151]
|名称|説明|引数の渡し方|スタックのクリア|関数名の修飾(マ...
|cdecl|C/C++ プログラムのデフォルトの呼出規約。&br;可変引...
|stdcall|Win32API用の呼出規約。&br;Cで作ったDLLの関数をVB...
|fastcall|高速にアクセスできるレジスタを使用した呼出規約...
|thiscall&br;(可変引数リストなし)|クラスのメンバ関数用の...
|thiscall&br;(可変引数リストあり)|~|>|>|>|引数を右から左...
-可変引数リストは呼び出し側でスタックのクリアを行う規約で...
-速度重視や他の言語と連携するDLL等はstdcall、可変引数リス...
-fastcallは現在あまり使用されない。
-他に、pascal、fortran、syscallといった呼出規約が存在する...
*ソート [#v220c8c7]
**安定ソートと非安定ソート [#hc71429e]
一致するデータが存在する場合のソート結果が定まっているも...
バブルソートは安定ソート、クイックソートは非安定ソートで...
非安定ソートであっても、比較処理を工夫することで安定化で...
比較処理の例~
-Ａの身長＞Ｂの身長：1を返す
-Ａの身長＜Ｂの身長：-1を返す
-Ａの身長＝Ｂの身長
--Ａの社員番号＞Ｂの社員番号：1を返す
--Ａの社員番号＜Ｂの社員番号：-1を返す
--Ａの身長＝Ｂの身長はありえない
ページ名:
![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
