08/10/24 01:32:19
訳語とかに関しては
分かれば俺も答えるよ。
88:１３２人目の素数さん
08/10/24 01:39:45
>>85
定義は言葉の略記みたいなもの。
たとえば「集合とその上の二項演算の組<G， ・>で
単位元が存在して任意の元に逆元が存在し結合法則が成立するもの」
とか言う代わりに「群」と言ったり、或いは
「集合 X とその部分集合の集合族 O で、
任意の O の部分集合の合併が O に属し、かつ
Oの任意の二元の交わりが O に属すようなもの」
とか言う代わりに X 上の位相 O とか言ったりとか。
ただし、数理論理学的にはこの種の公理は、一つの無定義の術語
「*は*を演算として群となっている」とか「*は*上の位相である」
に関する公理だと思うことも出来る。つまり定義は公理の一種と見做せる。
一方で公理は普通は定義とは見做さないけど、
位相空間の公理のようなものはほとんど定義と同じだし、
集合論とか算術の公理も無定義術語をimplicitに定義していると考えることも出来る。
つまり纏めると 定義 ⊆ 公理 は言えるけど逆を言うには或る種の「見做し」が必要、ということ。
89:１３２人目の素数さん
08/10/24 02:05:59
ぬるぽ
90:Gauss ◆Gauss//A.2
08/10/24 02:06:54
どうやらkingはこないらしいな。寝るか。
91:１３２人目の素数さん
08/10/24 08:31:30
,=== ,===,====、
||＿＿||＿__|_____||_
∧_∧ ／||＿＿＿|^ l∧_∧
どけよ！めっさ臭くなるだろ！＞ (・ω・｀)／／|| |口| ||ω・`；)
／(^(^ .／／||...|| |口| |⊂ ）
／ ／／ ||...|| |口| ||し
_,,..,,,,,,_／_ ／／... ||...|| |口| || きれいに使って
/ , Ｕ `´,､ヽ／／ .. ... ||...|| |口| || 臭くしないでね
"" :l ,3 ⌒_つ '' " ::: ⌒ :: ⌒⌒⌒ :: ""
:: ,, ::::: `ｰ-ヽ⊃''''",, ; "､ :::: " ,, , ::: " :: " ::::
↑KingMind ◆KWqQaULLTg
92:KingMind ◆KWqQaULLTg
08/10/24 12:17:28
Reply:>>73,>>91 お前は早く国賊と心中しろ。
Reply:>>74 どうしろという。
Reply:>>84 お前は何をしようとしている。
Reply:>>90 何か。
93:Gauss ◆Gauss//A.2
08/10/24 13:58:55
talk:>>92 お前は何を見ている。
94:KingMind ◆KWqQaULLTg
08/10/24 16:26:33
思考盗聴で私から1km以内に介入する奴は早く永久停止したほうがよい。
95:Gauss ◆Gauss//A.2
08/10/24 17:08:08
そうだ。
96:KingMind ◆KWqQaULLTg
08/10/24 17:46:58
思考盗聴で私から1km以内に介入する奴は早く永久停止したほうがよい。
97:Gauss ◆Gauss//A.2
08/10/24 17:56:28
何やってんだよ？
98:１３２人目の素数さん
08/10/24 18:02:26
kingの書き込み連投
99:１３２人目の素数さん
08/10/24 20:12:50
,=== ,===,====、
||＿＿||＿__|_____||_
∧_∧ ／||＿＿＿|^ l∧_∧
どけよ！めっさ臭くなるだろ！＞ (・ω・｀)／／|| |口| ||ω・`；)
／(^(^ .／／||...|| |口| |⊂ ）
／ ／／ ||...|| |口| ||し
_,,..,,,,,,_／_ ／／... ||...|| |口| || きれいに使って
/ , Ｕ `´,､ヽ／／ .. ... ||...|| |口| || 臭くしないでね
"" :l ,3 ⌒_つ '' " ::: ⌒ :: ⌒⌒⌒ :: ""
:: ,, ::::: `ｰ-ヽ⊃''''",, ; "､ :::: " ,, , ::: " :: " ::::
↑KingMind ◆KWqQaULLTg
100:１３２人目の素数さん
08/10/24 22:30:58
>>88
ありがとう
なんとなく分かった
101:１３２人目の素数さん
08/10/24 23:31:22
ヽ人人人人人人人人人人人人人人人ノ
＜ ＞
＜ 嫌なら見るな！ どっかにいけ！ ＞
＜ ＞
ノ Y´｀Y´｀Y´｀Y´｀Y´｀Y´｀Y´｀Y´｀Y´｀Yヽ
／￣(Ｓ）~＼
／ ／ ∧ ∧＼ ＼
＼ ＼ (ﾟДﾟ ) / /
＼⌒ ⌒ /
）_人＿ ノ ←めっさ臭いKingMind ◆KWqQaULLTg
/ /
∧＿∧ （ ）)
（ ； ）ω ￣￣ヽ
γ⌒ ⌒ヽ ￣￣| |
￣￣￣￣￣￣￣￣￣￣￣|
102:KingMind ◆KWqQaULLTg
08/10/25 03:36:54
思考盗聴で私から1km以内に介入する奴は早く永久停止したほうがよい。
Reply:>>97 悪人を助長する行為をしないように注意している。
Reply:>>98 何か。
Reply:>>99,>>101 お前は早く国賊と心中しろ。
103:１３２人目の素数さん
08/10/25 12:44:32
ヽ人人人人人人人人人人人人人人人ノ
＜ ＞
＜ 嫌なら見るな！ どっかにいけ！ ＞
＜ ＞
ノ Y´｀Y´｀Y´｀Y´｀Y´｀Y´｀Y´｀Y´｀Y´｀Yヽ
／￣(Ｓ）~＼
／ ／ ∧ ∧＼ ＼
＼ ＼ (ﾟДﾟ ) / /
＼⌒ ⌒ /
）_人＿ ノ ←めっさ臭いKingMind ◆KWqQaULLTg
/ /
∧＿∧ （ ）)
（ ； ）ω ￣￣ヽ
γ⌒ ⌒ヽ ￣￣| |
￣￣￣￣￣￣￣￣￣￣￣|
104:KingMind ◆KWqQaULLTg
08/10/25 19:20:30
Reply:>>103 お前は何をしようとしている。
105:１３２人目の素数さん
08/10/25 19:27:40
,=== ,===,====、
||＿＿||＿__|_____||_
∧_∧ ／||＿＿＿|^ l∧_∧
どけよ！めっさ臭くなるだろ！＞ (・ω・｀)／／|| |口| ||ω・`；)
／(^(^ .／／||...|| |口| |⊂ ）
／ ／／ ||...|| |口| ||し
_,,..,,,,,,_／_ ／／... ||...|| |口| || きれいに使って
/ , Ｕ `´,､ヽ／／ .. ... ||...|| |口| || 臭くしないでね
"" :l ,3 ⌒_つ '' " ::: ⌒ :: ⌒⌒⌒ :: ""
:: ,, ::::: `ｰ-ヽ⊃''''",, ; "､ :::: " ,, , ::: " :: " ::::
↑KingMind ◆KWqQaULLTg
106:１３２人目の素数さん
08/10/26 07:44:57
四元数の微積分ってどうなっとるん？
107:KingMind ◆KWqQaULLTg
08/10/26 12:32:32
思考盗聴で私から1km以内に介入する奴は早く永久停止したほうがよい。
Reply:>>105 お前は早く国賊と心中しろ。
Reply:>>106 線積分から定義してみるか。