17/01/30 21:35:04.34 V2tqwc4/.net
>>934
> プログラミング言語の意味論でも出てくる
Galois connectionという意味でならばガロワの名前は確かにプログラミング言語の意味論で出てくるが
そもそもの今のこの話題の起こりである「ガロワ理論 (Galois theory)」という言葉は意味論には出てこない
プログラミング言語の意味論とか計算可能性とか再帰関数とかは、通常の数学では良く出てくる代数構造の群(group)と殆ど縁がないんだよ
通常は任意に与えられた計算可能な関数の逆は関数にならない（一般の関係にしかならない）からね
そしてガロワ理論ではそのプログラムには縁のない群こそが最も重要なツールであり対象だから、ガロワ理論はそういう分野には出てこないわけ
なお同じく情報系の話題でも、符号理論や暗号理論関連では群を多用するのでガロワの名前は頻出して当然
符号化（暗号化）は逆操作としての復号化が殆どの場合に必須だから逆元が常に求められる
（逆元の存在要請を前提として理論を組み立てられる、つまり群という代数構造をツールとして理論構築で活用できる）からね
1000:デフォルトの名無しさん
17/01/30 21:36:18.14 V2tqwc4/.net
>>929
板違いではない。
ガロアの名は符号理論で頻出する。
URLﾘﾝｸ(ja.wikipedia.org)
1001:デフォルトの名無しさん
17/01/30 21:37:07.80 V2tqwc4/.net
>>934
> プログラミング言語の意味論でも出てくる
Galois connectionという意味でならばガロワの名前は確かにプログラミング言語の意味論で出てくるが
そもそもの今のこの話題の起こりである「ガロワ理論 (Galois theory)」という言葉は意味論には出てこない
プログラミング言語の意味論とか計算可能性とか再帰関数とかは、通常の数学では良く出てくる代数構造の群(group)と殆ど縁がないんだよ
通常は任意に与えられた計算可能な関数の逆は関数にならない（一般の関係にしかならない）からね
そしてガロワ理論ではそのプログラムには縁のない群こそが最も重要なツールであり対象だから、ガロワ理論はそういう分野には出てこないわけ
なお同じく情報系の話題でも、符号理論や暗号理論関連では群を多用するのでガロワの名前は頻出して当然
符号化（暗号化）は逆操作としての復号化が殆どの場合に必須だから逆元が常に求められる
（逆元の存在要請を前提として理論を組み立てられる、つまり群という代数構造をツールとして理論構築で活用できる）からね
1002:デフォルトの名無しさん
17/01/30 21:37:38.52 V2tqwc4/.net
>>929
板違いではない。
ガロアの名は符号理論で頻出する。
URLﾘﾝｸ(ja.wikipedia.org)
1003:デフォルトの名無しさん
17/01/30 21:38:25.76 V2tqwc4/.net
>>934
> プログラミング言語の意味論でも出てくる
Galois connectionという意味でならばガロワの名前は確かにプログラミング言語の意味論で出てくるが
そもそもの今のこの話題の起こりである「ガロワ理論 (Galois theory)」という言葉は意味論には出てこない
プログラミング言語の意味論とか計算可能性とか再帰関数とかは、通常の数学では良く出てくる代数構造の群(group)と殆ど縁がないんだよ
通常は任意に与えられた計算可能な関数の逆は関数にならない（一般の関係にしかならない）からね
そしてガロワ理論ではそのプログラムには縁のない群こそが最も重要なツールであり対象だから、ガロワ理論はそういう分野には出てこないわけ
なお同じく情報系の話題でも、符号理論や暗号理論関連では群を多用するのでガロワの名前は頻出して当然
符号化（暗号化）は逆操作としての復号化が殆どの場合に必須だから逆元が常に求められる
（逆元の存在要請を前提として理論を組み立てられる、つまり群という代数構造をツールとして理論構築で活用できる）からね
1004:デフォルトの名無しさん
17/01/30 21:38:59.51 V2tqwc4/.net
>>929
板違いではない。
ガロアの名は符号理論で頻出する。
URLﾘﾝｸ(ja.wikipedia.org)
1005:デフォルトの名無しさん
17/01/30 21:39:39.44 V2tqwc4/.net
>>934
> プログラミング言語の意味論でも出てくる
Galois connectionという意味でならばガロワの名前は確かにプログラミング言語の意味論で出てくるが
そもそもの今のこの話題の起こりである「ガロワ理論 (Galois theory)」という言葉は意味論には出てこない
プログラミング言語の意味論とか計算可能性とか再帰関数とかは、通常の数学では良く出てくる代数構造の群(group)と殆ど縁がないんだよ
通常は任意に与えられた計算可能な関数の逆は関数にならない（一般の関係にしかならない）からね
そしてガロワ理論ではそのプログラムには縁のない群こそが最も重要なツールであり対象だから、ガロワ理論はそういう分野には出てこないわけ
なお同じく情報系の話題でも、符号理論や暗号理論関連では群を多用するのでガロワの名前は頻出して当然
符号化（暗号化）は逆操作としての復号化が殆どの場合に必須だから逆元が常に求められる
（逆元の存在要請を前提として理論を組み立てられる、つまり群という代数構造をツールとして理論構築で活用できる）からね
1006:デフォルトの名無しさん
17/01/31 00:45:06.29 9CJ6u4bK.net
>>935
つ >>936 (爆笑）
1007:デフォルトの名無しさん
17/01/31 08:00:04.18 EZp9mlVx.net
無限ループスレ
1008:デフォルトの名無しさん
17/01/31 09:57:23.22 OaaW+pLN.net
>>991
板違いではない。
ガロアの名は符号理論で頻出する。
URLﾘﾝｸ(ja.wikipedia.org)
1009:デフォルトの名無しさん
17/01/31 14:27:53.89 O7Z+gW5X.net
>>991
> プログラミング言語の意味論でも出てくる
Galois connectionという意味でならばガロワの名前は確かにプログラミング言語の意味論で出てくるが
そもそもの今のこの話題の起こりである「ガロワ理論 (Galois theory)」という言葉は意味論には出てこない
プログラミング言語の意味論とか計算可能性とか再帰関数とかは、通常の数学では良く出てくる代数構造の群(group)と殆ど縁がないんだよ
通常は任意に与えられた計算可能な関数の逆は関数にならない（一般の関係にしかならない）からね
そしてガロワ理論ではそのプログラムには縁のない群こそが最も重要なツールであり対象だから、ガロワ理論はそういう分野には出てこないわけ
なお同じく情報系の話題でも、符号理論や暗号理論関連では群を多用するのでガロワの名前は頻出して当然
符号化（暗号化）は逆操作としての復号化が殆どの場合に必須だから逆元が常に求められる
（逆元の存在要請を前提として理論を組み立てられる、つまり群という代数構造をツールとして理論構築で活用できる）からね
1010:デフォルトの名無しさん
17/02/01 06:58:52.46 0h+dSJOE.net
>>935
つ >>936 (爆笑）
1011:デフォルトの名無しさん
17/02/01 09:12:22.48 BOrJmCu5.net
>>995
板違いではない。
ガロアの名は符号理論で頻出する。
URLﾘﾝｸ(ja.wikipedia.org)
1012:デフォルトの名無しさん
17/02/01 09:12:42.07 BOrJmCu5.net
>>995
板違いではない。
ガロアの名は符号理論で頻出する。
URLﾘﾝｸ(ja.wikipedia.org)
1013:デフォルトの名無しさん
17/02/01 09:13:12.00 BOrJmCu5.net
>>995
板違いではない。
ガロアの名は符号理論で頻出する。
URLﾘﾝｸ(ja.wikipedia.org)
1014:デフォルトの名無しさん
17/02/01 09:13:53.43 BOrJmCu5.net
>>995
> プログラミング言語の意味論でも出てくる
Galois connectionという意味でならばガロワの名前は確かにプログラミング言語の意味論で出てくるが
そもそもの今のこの話題の起こりである「ガロワ理論 (Galois theory)」という言葉は意味論には出てこない
プログラミング言語の意味論とか計算可能性とか再帰関数とかは、通常の数学では良く出てくる代数構造の群(group)と殆ど縁がないんだよ
通常は任意に与えられた計算可能な関数の逆は関数にならない（一般の関係にしかならない）からね
そしてガロワ理論ではそのプログラムには縁のない群こそが最も重要なツールであり対象だから、ガロワ理論はそういう分野には出てこないわけ
なお同じく情報系の話題でも、符号理論や暗号理論関連では群を多用するのでガロワの名前は頻出して当然
符号化（暗号化）は逆操作としての復号化が殆どの場合に必須だから逆元が常に求められる
（逆元の存在要請を前提として理論を組み立てられる、つまり群という代数構造をツールとして理論構築で活用できる）からね
1015:デフォルトの名無しさん
17/02/01 09:14:25.35 BOrJmCu5.net
>>995
> プログラミング言語の意味論でも出てくる
Galois connectionという意味でならばガロワの名前は確かにプログラミング言語の意味論で出てくるが
そもそもの今のこの話題の起こりである「ガロワ理論 (Galois theory)」という言葉は意味論には出てこない
プログラミング言語の意味論とか計算可能性とか再帰関数とかは、通常の数学では良く出てくる代数構造の群(group)と殆ど縁がないんだよ
通常は任意に与えられた計算可能な関数の逆は関数にならない（一般の関係にしかならない）からね
そしてガロワ理論ではそのプログラムには縁のない群こそが最も重要なツールであり対象だから、ガロワ理論はそういう分野には出てこないわけ
なお同じく情報系の話題でも、符号理論や暗号理論関連では群を多用するのでガロワの名前は頻出して当然
符号化（暗号化）は逆操作としての復号化が殆どの場合に必須だから逆元が常に求められる
（逆元の存在要請を前提として理論を組み立てられる、つまり群という代数構造をツールとして理論構築で活用できる）からね
1016:デフォルトの名無しさん
17/02/01 09:42:11.00 fGZSlE9v.net
止まらねーw
1017:デフォルトの名無しさん
17/02/01 12:22:58.52 IGaq7NnQ.net
これは数学板の荒れ方だね、あっちの人ってスルー力がないからね
>>939 で反応があるのが見抜かれて、完全にマニピュレートされちゃっているのに気がつかないんだね
じゃ、俺もやってみよう、えい
>>935
つ >>936 (爆笑）
1018:デフォルトの名無しさん
17/02/01 13:19:47.43 0gbBKweN.net
>>1002
埋め立て完了、協力感謝
1019:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています