文字・式とは何かおしえてださい
1 ：１３２人目の素数さん：
おしえてください
|
|
|
2 ：１３２人目の素数さん：04/03/28 13:47
いやです
3 ：１３２人目の素数さん：04/03/28 13:49
>>1
氏ね。
氏ね。
4 ：１３２人目の素数さん：04/03/28 14:00
ひどい
5 ：１３２人目の素数さん：04/03/28 14:13
http://dictionary.goo.ne.jp/search.php?MT=%CA%B8%BB%FA&kind=jn&mode=0&base=1&row=2
もじ 1 【文字】
(1)言語の伝達手段の一つとして使われる符号。点・線などを組み合わせたもの。
漢字などの表意文字、ローマ字・仮名などの表音文字に二大別される。
文字の起源は事物をかたどった絵にあり、象形文字・表意文字・表音文字へと
進んだと考えられる。もんじ。字。
(2)文章。また、読み書きや学問をいう。
「並(ならび)に―のある人であつた/北条霞亭（鴎外）」
(3)家紋の一。字を図案化したもの。一文字・山文字など。
(4)言葉。用語。
「下衆(げす)の詞には、必ず―余りたり/枕草子 6」
(5)仮名で表された音の数。音節。
「うたの―も定まらず/古今（仮名序）」
(6)ある語の後半を省き、その代わりに添えていう語。そのものを品よく婉曲に
表すのに用いられる。上に接頭語「お」を付けていうこともある。女房詞の一つで、
文字言葉といわれるもの。「湯―」「髪(か)―」「そ―」「おは―」など。
http://dictionary.goo.ne.jp/search.php?MT=%BC%B0&kind=jn&mode=0&jn.x=40&jn.y=9
しき 2 1 【式】
(1)一定の作法にのっとって行う行事。儀式。「祝賀の―」
(2)特に結婚式。「―を挙げる」「―の日取り」
(3)ある物事をするときの一定のやり方。
「そういう―でやってみよう」
(4)数学・論理学などの諸科学で、記号を用いてある関係や構造を表したもの。
「―を立てる」
(5)律令の適用の仕方を定めた細則。また、それらを編纂(へんさん)した書。
「弘仁式」「延喜式」など。
(6)ことのわけ。ことの次第。事情。
「此程の―をば身に替ても申し宥(なだむ)べく候/太平記 10」
(7)名詞の下に付いて、一定の方式・形式・やり方である意を表す。
「日本―」「電動―」
もじ 1 【文字】
(1)言語の伝達手段の一つとして使われる符号。点・線などを組み合わせたもの。
漢字などの表意文字、ローマ字・仮名などの表音文字に二大別される。
文字の起源は事物をかたどった絵にあり、象形文字・表意文字・表音文字へと
進んだと考えられる。もんじ。字。
(2)文章。また、読み書きや学問をいう。
「並(ならび)に―のある人であつた/北条霞亭（鴎外）」
(3)家紋の一。字を図案化したもの。一文字・山文字など。
(4)言葉。用語。
「下衆(げす)の詞には、必ず―余りたり/枕草子 6」
(5)仮名で表された音の数。音節。
「うたの―も定まらず/古今（仮名序）」
(6)ある語の後半を省き、その代わりに添えていう語。そのものを品よく婉曲に
表すのに用いられる。上に接頭語「お」を付けていうこともある。女房詞の一つで、
文字言葉といわれるもの。「湯―」「髪(か)―」「そ―」「おは―」など。
http://dictionary.goo.ne.jp/search.php?MT=%BC%B0&kind=jn&mode=0&jn.x=40&jn.y=9
しき 2 1 【式】
(1)一定の作法にのっとって行う行事。儀式。「祝賀の―」
(2)特に結婚式。「―を挙げる」「―の日取り」
(3)ある物事をするときの一定のやり方。
「そういう―でやってみよう」
(4)数学・論理学などの諸科学で、記号を用いてある関係や構造を表したもの。
「―を立てる」
(5)律令の適用の仕方を定めた細則。また、それらを編纂(へんさん)した書。
「弘仁式」「延喜式」など。
(6)ことのわけ。ことの次第。事情。
「此程の―をば身に替ても申し宥(なだむ)べく候/太平記 10」
(7)名詞の下に付いて、一定の方式・形式・やり方である意を表す。
「日本―」「電動―」
6 ：１３２人目の素数さん：04/03/28 14:22
文字が分かれば式も分かると思います。
５さんありがとうございます。
５さんありがとうございます。
7 ：１３２人目の素数さん：04/03/28 14:34
おわりかよっ
8 ：１３２人目の素数さん：04/03/28 14:34
＞文字・式
そういうの厳密に定義してあるのないの？
結構根本的な問題だと思うが…。
そういうの厳密に定義してあるのないの？
結構根本的な問題だと思うが…。
9 ：１３２人目の素数さん：04/03/28 16:29
７さん、まだおわりませんよ。
糞スレ立てたことはお詫びしますが、本当に知りたいのです。
糞スレ立てたことはお詫びしますが、本当に知りたいのです。
10 ：１３２人目の素数さん：04/03/28 16:49
例えば２ａ
ａが自然数だっていう注だけ書いてある時は
２・１又は２・２又は２・３又は２・４又は、、、
をまとめて表す書き方だと思えばいいんですか？
ａが自然数だっていう注だけ書いてある時は
２・１又は２・２又は２・３又は２・４又は、、、
をまとめて表す書き方だと思えばいいんですか？
11 ：１３２人目の素数さん：04/03/28 16:59
文字……定数変数、自由変数及び束縛変数のこと。
式……論理式の定義ならあるけど、普通の「式」の厳密な
定義なんてないんじゃないの。
式……論理式の定義ならあるけど、普通の「式」の厳密な
定義なんてないんじゃないの。
12 ：１３２人目の素数さん：04/03/28 19:31
単発質問スレはご遠慮ください
13 ：１３２人目の素数さん：04/03/28 21:04
どうしても知りたかったんです。ごめんなさい。
14 ：１３２人目の素数さん：04/03/30 21:00
ｎ=２aとおく、って書いた時のｎってなんですか？
プログラミングの変数と同じように、ｎという値の決まってない箱のようなものを
こしらえて、その値を２aと定義するってことですか？
プログラミングの変数と同じように、ｎという値の決まってない箱のようなものを
こしらえて、その値を２aと定義するってことですか？
15 ：１３２人目の素数さん：04/03/30 21:54
変数というよりdefineだろ
16 ：１３２人目の素数さん：04/03/30 22:25
記号論理に出てくる自由変数、束縛変数はわかるんですが、
関数に出てくる独立変数、従属変数とか、上のdefineとしての文字とかわかりません。
文字にも色々種類があるんですか？ それともそれらをひっくるめた、もっと素朴な見方があるんですか？
関数に出てくる独立変数、従属変数とか、上のdefineとしての文字とかわかりません。
文字にも色々種類があるんですか？ それともそれらをひっくるめた、もっと素朴な見方があるんですか？
17 ：１３２人目の素数さん：04/03/31 01:24
定義域の元を表すのが独立変数。
その独立変数を定めることによって定まる値域の元を表すのが従属変数。
その独立変数を定めることによって定まる値域の元を表すのが従属変数。
18 ：１３２人目の素数さん：04/04/02 14:19
17さんありがとうございます。二つ分かりました。
例えばなんかの証明にm=2kとおく、と書いてあったとして、暗黙の了解として
なにか言葉をたくさん省略してるように思えます。例えばkが実数でmが有理数
だったらm=2kなんて置けないじゃないですか。その暗黙の了解が分かりません。
教えていただけませんか？∀k∈Z, ∃m∈Z, m=2kっていうのは関係ありますか？
例えばなんかの証明にm=2kとおく、と書いてあったとして、暗黙の了解として
なにか言葉をたくさん省略してるように思えます。例えばkが実数でmが有理数
だったらm=2kなんて置けないじゃないですか。その暗黙の了解が分かりません。
教えていただけませんか？∀k∈Z, ∃m∈Z, m=2kっていうのは関係ありますか？
19 ：１３２人目の素数さん：04/04/02 14:22
まともな数学の本だったら一度は、例えば整数とする、
複素数とする、複素数でも実数でもよい、などと断ってあるのが
普通だと思いますが。たまに読まなくても分かる場合は
煩雑さを厭って省略しますが。
複素数とする、複素数でも実数でもよい、などと断ってあるのが
普通だと思いますが。たまに読まなくても分かる場合は
煩雑さを厭って省略しますが。
20 ：１３２人目の素数さん：04/04/02 14:28
確かにそうですね。すいません。上の例えばの文は訂正します。
21 ：１３２人目の素数さん：04/04/02 23:16
>>1-4
なんかﾜﾗﾀ
なんかﾜﾗﾀ
22 ：１３２人目の素数さん：04/04/02 23:19
もじって、なあに？
NHKの子供用番組に出て来そうな問題だな（ｗ
NHKの子供用番組に出て来そうな問題だな（ｗ
23 ：１３２人目の素数さん：04/04/03 02:18
文字…定数、変数、関数記号、述語記号
式…あるパターンに従って並べられた文字の列
小学校で習う算数なら
文字: 0,1,2,…,+,-,×,÷,(,)
式: 0,1,2,…,式+式,式-式,式×式,式÷式,(式)
0や1は式であり、従って(0+1)も式であり、さらに(0+1)*4-3も式。
（2桁以上の数については省略）
>>11
自由変数と束縛変数ってのは字面で区別するわけじゃないからその定義はちょと良くないかと。
式…あるパターンに従って並べられた文字の列
小学校で習う算数なら
文字: 0,1,2,…,+,-,×,÷,(,)
式: 0,1,2,…,式+式,式-式,式×式,式÷式,(式)
0や1は式であり、従って(0+1)も式であり、さらに(0+1)*4-3も式。
（2桁以上の数については省略）
>>11
自由変数と束縛変数ってのは字面で区別するわけじゃないからその定義はちょと良くないかと。
僕将来とんでも系になりそうな気がする…
25 ：１３２人目の素数さん：04/04/03 22:31
…なる前に勉強するか、する気がないなら一生パソコンに触れずに、
人目の当たらない日陰で過ごすか、それもする気がないなら、
染んでください。
人目の当たらない日陰で過ごすか、それもする気がないなら、
染んでください。
>25
絶対なりたくないです。
勉強していると、あれの意味が分からないこれの意味が分からないと、次々と疑問が出てきます。
そういう疑問を打ち切りにするにはどうしたらいいかググって調べると、それは"未定義用語"という
言葉を理解することで打ち切りにできるらしいということが分かりました。
絶対なりたくないです。
勉強していると、あれの意味が分からないこれの意味が分からないと、次々と疑問が出てきます。
そういう疑問を打ち切りにするにはどうしたらいいかググって調べると、それは"未定義用語"という
言葉を理解することで打ち切りにできるらしいということが分かりました。
27 ：１３２人目の素数さん：04/04/04 03:56
28 ：KingMathematician ◆5lHaaEvFNc ：04/04/06 09:23
Ωを種の型とし、Xを集合とする。
Xの元をPoly(X,Ω)の元として、
Poly(X,Ω)の幾つかの元にΩの元を(形式的に)作用して得られる元もPoly(X,Ω)の元として、
これらの方法で得られない元はPoly(X,Ω)の元でないとする。
このとき、Poly(X,Ω)を自由代数系といい、Xの元を項変数(すなわち文字)という。
また、Poly(X,Ω)の元を多項式(語ということもある。)という。
Xの元をPoly(X,Ω)の元として、
Poly(X,Ω)の幾つかの元にΩの元を(形式的に)作用して得られる元もPoly(X,Ω)の元として、
これらの方法で得られない元はPoly(X,Ω)の元でないとする。
このとき、Poly(X,Ω)を自由代数系といい、Xの元を項変数(すなわち文字)という。
また、Poly(X,Ω)の元を多項式(語ということもある。)という。
あ
30 ：トンデモになりそうな１：04/05/01 20:50
しばらく記憶喪失になっていました。ごめんなさい。
∃a∈N，ax=1 ⇔ (x=1)∨(x=2)∨(x=3)∨…
∀a∈N，ax=1 ⇔ (x=1)∧(x=2)∧(x=3)∧…
なんだこりゃ。
>27
今立ち止まってなんでもかんでも分かろうとしないで、何が分からないのかを理解した上で
保留して先に進むべきだってことですか？
>28
分からない語が多すぎて理解できません。すいません。
∃a∈N，ax=1 ⇔ (x=1)∨(x=2)∨(x=3)∨…
∀a∈N，ax=1 ⇔ (x=1)∧(x=2)∧(x=3)∧…
なんだこりゃ。
>27
今立ち止まってなんでもかんでも分かろうとしないで、何が分からないのかを理解した上で
保留して先に進むべきだってことですか？
>28
分からない語が多すぎて理解できません。すいません。
31 ：KingMathematician ◆5lHaaEvFNc ：04/05/01 20:56
32 ：１３２人目の素数さん：04/05/01 21:24
確かに、数学が高度になるほど、奇怪な記号がぐちゃぐちゃ増えてくるけど、
キホン的には、ごく少数の記号の組み合わせに還元できる（ハズ）
この辺は数理論理学、数学基礎論を学べば分かる（と思いたい）
キホン的には、ごく少数の記号の組み合わせに還元できる（ハズ）
この辺は数理論理学、数学基礎論を学べば分かる（と思いたい）
33 ：KingMathematician ◆5lHaaEvFNc ：04/05/01 22:25
Re:>>32 まぁ、確かに記号が二種類あれば十分だが、それだと、記述が長くなることは必至だ。
34 ：トンデモになりそうな１：04/05/01 22:42
でも一級の数学者さんだってそんなことを必要としないでできてるようですし、
そもそも数学なんてちょっと昔はずっとルーズだったみたいだし。
ということを頭では理解してるんですけど、数だって足し算掛け算だって与えられたものとして今まで
素直にできてたのに、何で今になって急にそれができなくなっちゃって、高校数学なんかやってる段階
で数学に挫折して基礎論なんていうものに足突っ込もうとしてるんだろう。
>33
興味出てきました。
そもそも数学なんてちょっと昔はずっとルーズだったみたいだし。
ということを頭では理解してるんですけど、数だって足し算掛け算だって与えられたものとして今まで
素直にできてたのに、何で今になって急にそれができなくなっちゃって、高校数学なんかやってる段階
で数学に挫折して基礎論なんていうものに足突っ込もうとしてるんだろう。
>33
興味出てきました。
35 ：１３２人目の素数さん：04/05/01 22:56
基礎論やってトンデモになるのか…？
ルーズってのは、高級ってことで、
基礎を取り替えても説明できるメリットがあるんだよね…。
ルーズってのは、高級ってことで、
基礎を取り替えても説明できるメリットがあるんだよね…。
36 ：１３２人目の素数さん：04/05/04 10:12
>>1のために、もう少し進んだ話をしよう。
ある文字の並びが正しい式かどうかを、どうやって判定するのか？
オートマトンという簡単な機械モデルでもって、それをシミュレートできる。
実際、プログラミング言語を機械に理解させるしくみはこうなっている。
詳しくはオートマトン＆言語理論の本を読んでいただきたい。
ある文字の並びが正しい式かどうかを、どうやって判定するのか？
オートマトンという簡単な機械モデルでもって、それをシミュレートできる。
実際、プログラミング言語を機械に理解させるしくみはこうなっている。
詳しくはオートマトン＆言語理論の本を読んでいただきたい。
37 ：１３２人目の素数さん：04/05/04 10:39
記号にも定数と変数があってこの区別は結構微妙だな。
深く考えると頭痛くなるから普通の数学者はこのへんは
深く考えない。
深く考えると頭痛くなるから普通の数学者はこのへんは
深く考えない。
38 ：トンデモになりそうな１：04/05/10 00:28
オートマトン＆言語理論かぁ。楽しみだな。
独学するなら、それまでにどんな知識を必要とするんだろう。
>37
深く考えずにどう考えたらいいんだかわかりません。
独学するなら、それまでにどんな知識を必要とするんだろう。
>37
深く考えずにどう考えたらいいんだかわかりません。
39 ：トンデモになりそうな１：04/05/11 16:25
一般の数xと１つの数aがわかりません。これが変数と定数？
40 ：１３２人目の素数さん：04/05/12 15:36
論理学をつくる 戸田山 和久 (著)
http://www.amazon.co.jp/exec/obidos/ASIN/4815803900/250-8279456-8236201
形式論理学―その展望と限界 リチャード・ジェフリー (著), 戸田山 和久
http://www.amazon.co.jp/exec/obidos/ASIN/4782800924/ref=pd_bxgy_text_2/250-8279456-8236201
俺は上の本読んで勉強した。構文と意味の違いとか
クドイくらい色々説明してくれるから、疑問点は少しずつ潰せると思う。
下の本は知らない。計算論まで踏み込んでるらしいけど。だいたい、
こういう分野は、（論理、集合、証明、計算、言語・・・etc）（理論）は
内容がリンクしてることが多いから、為になる本はたくさんあると思う。
http://www.amazon.co.jp/exec/obidos/ASIN/4815803900/250-8279456-8236201
形式論理学―その展望と限界 リチャード・ジェフリー (著), 戸田山 和久
http://www.amazon.co.jp/exec/obidos/ASIN/4782800924/ref=pd_bxgy_text_2/250-8279456-8236201
俺は上の本読んで勉強した。構文と意味の違いとか
クドイくらい色々説明してくれるから、疑問点は少しずつ潰せると思う。
下の本は知らない。計算論まで踏み込んでるらしいけど。だいたい、
こういう分野は、（論理、集合、証明、計算、言語・・・etc）（理論）は
内容がリンクしてることが多いから、為になる本はたくさんあると思う。
41 ：トンデモになりそうな１：04/05/20 23:26
>40
ありがとう！ とりあえず上のを図書館で借りてみました。
結ばれた縮れ毛や老廃物が挟まってました。楽しみです。
ありがとう！ とりあえず上のを図書館で借りてみました。
結ばれた縮れ毛や老廃物が挟まってました。楽しみです。
42 ：１３２人目の素数さん：04/05/28 14:27
222
43 ：１３２人目の素数さん：04/06/03 12:59
811
44 ：１３２人目の素数さん：04/06/06 03:13
良スレの予感 荒らし禁止 >>1は荒らしｱﾎﾞｰﾝ汁
45 ：１３２人目の素数さん：04/06/12 04:58
625
46 ：１３２人目の素数さん：04/06/22 17:53
953
47 ：１３２人目の素数さん：04/07/02 09:45
938
48 ：& ◆PYxtx4ys8A ：04/07/07 02:20
てｓｔ
49 ：１３２人目の素数さん：04/07/18 04:41
testったらageろ！
50 ：１３２人目の素数さん：04/07/29 13:56
129
51 ：１３２人目の素数さん：04/08/08 13:33
471
52 ：１３２人目の素数さん：04/08/14 21:01
410
53 ：１３２人目の素数さん：04/08/21 22:51
906
54 ：１３２人目の素数さん：04/08/28 17:59
713
55 ：１３２人目の素数さん：04/08/31 01:41
言語の抽象形式。
言語Lとは写像fの集合であり、
f:∪<a,b>→{0,1} (f∈L) (a,b∈N)
を満たすものである。
言語Lとは写像fの集合であり、
f:∪<a,b>→{0,1} (f∈L) (a,b∈N)
を満たすものである。
56 ：１３２人目の素数さん：04/08/31 02:46
【言語の抽象形式】
言語Lとは写像fの集合であり、以下の式を満たす。
f:∪<a,b>→{0/1, 1/1, 0/0, 1/0} (l∈L) (a,b∈N)
真:0/1 偽:1/1 不定:0/0 不正:1/0 を意味する。
言語Lとは写像fの集合であり、以下の式を満たす。
f:∪<a,b>→{0/1, 1/1, 0/0, 1/0} (l∈L) (a,b∈N)
真:0/1 偽:1/1 不定:0/0 不正:1/0 を意味する。
57 ：１３２人目の素数さん：04/09/06 13:53
949
58 ：１３２人目の素数さん：04/09/11 09:10:27
933
59 ：１３２人目の素数さん：04/09/17 00:37:21
504
60 ：１３２人目の素数さん：04/09/22 03:46:27
377
61 ：１３２人目の素数さん：04/09/27 02:15:35
290
62 ：トンデモになりそうな１：04/09/27 13:45:38
>55-56
全くわかりません。それは数学のなんという分野ですか？
全くわかりません。それは数学のなんという分野ですか？
63 ：１３２人目の素数さん：04/09/28 01:12:28
文法から外れたものもまた言語である
64 ：１３２人目の素数さん：04/09/28 01:13:44
言語とは任意の文字列のうちエントロピーが非常に低いものを言う
65 ：トンデモになりそうな１：04/09/28 08:09:22
変数とか定数は数学の１つ外の枠で決められるものですか？
>63-64 説明不足です。屑哲認定していいですか？
>63-64 説明不足です。屑哲認定していいですか？
自分は哲学屋ではないのでそれは哲学屋さんに失礼かも
ところで「外の枠」とは？
ところで「外の枠」とは？
67 ：トンデモになりそうな１：04/09/28 12:48:01
《数学の体系》というのがあって、それを外から人間が捉えたり試験の問題にしたりするのに
文字とか定数・変数とかがあるのか？だから定数・変数の違いは《数学の体系》によって決め
られるのではない？って疑問です。科哲じゃないんですか。
文字とか定数・変数とかがあるのか？だから定数・変数の違いは《数学の体系》によって決め
られるのではない？って疑問です。科哲じゃないんですか。
68 ：トンデモになりそうな１：04/10/01 18:36:31
あげる
69 ：１３２人目の素数さん：04/10/01 19:24:55
70 ：トンデモになりそうな１：04/10/01 20:15:04
『論理学をつくる』は読みましたけど、この本だけからは分かりませんでした。
この本を取っ掛かりにして色々読まなきゃいけないんだろうな。
この本を取っ掛かりにして色々読まなきゃいけないんだろうな。
71 ：トンデモになりそうな１：04/10/01 20:38:18
論理学って数学の外（というか基）にあるものだと思ったのに、そこで集合や写像を使ってたのは
よく分かりませんでした。論理学の上に公理を立てて数学を作っていくんじゃないんですか？
６７の外から人間が捉える為の理屈＝論理学じゃ？ ・・・この理解力です。
よく分かりませんでした。論理学の上に公理を立てて数学を作っていくんじゃないんですか？
６７の外から人間が捉える為の理屈＝論理学じゃ？ ・・・この理解力です。
72 ：１３２人目の素数さん：04/10/01 21:38:17
>>71
今知りたいことがなんなのかよくわからんが
定数・変数という言葉の違い(ﾆｭｱﾝｽの違い)は、次のように考えれば良いんじゃないか？
"aを実数の定数とする"⇔"∃b∈R ,a=b"
"変数xは実数上を動くものとする"⇔"x∈R"
定数だとか変数だとか言う言葉に数学的に厳密な定義は無いように思うぞ｡
今知りたいことがなんなのかよくわからんが
定数・変数という言葉の違い(ﾆｭｱﾝｽの違い)は、次のように考えれば良いんじゃないか？
"aを実数の定数とする"⇔"∃b∈R ,a=b"
"変数xは実数上を動くものとする"⇔"x∈R"
定数だとか変数だとか言う言葉に数学的に厳密な定義は無いように思うぞ｡
73 ：１３２人目の素数さん：04/10/06 14:19:40
707
74 ：１３２人目の素数さん：04/10/06 18:14:09
たとえば0,1,2,3,…をふつう「定数」と呼ぶけれど、
1 = S(0)
2 = S(1) = S(S(0))
3 = S(2) = S(S(S(0)))
などと定義すると「定数」は唯一ゼロだけで、
残りの1,2,3,…は全部変数だとも言えちゃうわけ。
数学のルールは如何様にも作れるから、
定数と変数の厳密な区別ってのもたぶん無いと思う。
1 = S(0)
2 = S(1) = S(S(0))
3 = S(2) = S(S(S(0)))
などと定義すると「定数」は唯一ゼロだけで、
残りの1,2,3,…は全部変数だとも言えちゃうわけ。
数学のルールは如何様にも作れるから、
定数と変数の厳密な区別ってのもたぶん無いと思う。
75 ：１３２人目の素数さん：04/10/06 18:18:06
76 ：１３２人目の素数さん：04/10/06 18:29:37
形式主義の立場から見れば、どんな数学書の内容も、
漠然とした「ただの文字列」になってしまうわけ。
ほんで、「ただの文字列」が正しいか否かを判定する手段を
「数学」と呼ぶことにしよう、と誰かが考えた(かどうかは知らんけど)
この判定手段はチューリングマシンというモデルで説明できる。
そしてチューリングマシンでは判定できない問題もある、
というのが、何やかんや、な所なわけ。
漠然とした「ただの文字列」になってしまうわけ。
ほんで、「ただの文字列」が正しいか否かを判定する手段を
「数学」と呼ぶことにしよう、と誰かが考えた(かどうかは知らんけど)
この判定手段はチューリングマシンというモデルで説明できる。
そしてチューリングマシンでは判定できない問題もある、
というのが、何やかんや、な所なわけ。
77 ：１３２人目の素数さん：04/10/06 18:38:37
あなたは馬鹿ですか？
78 ：１３２人目の素数さん：04/10/06 18:50:56
馬鹿です
79 ：１３２人目の素数さん：04/10/06 19:16:06
マツシンです
80 ：１３２人目の素数さん：04/10/09 02:21:46
最初は記号の集合を２つ用意してそれぞれの要素を定数、変数と呼ぶという
決まりがあるだけ。もちろん２つの集合に共通部分はない。
で、その記号をいくつか組み合わせて式を作る。
そしてその式の意味を決める段階になって初めて定数、変数の区別が出てくる。
例えば0,a,fを定数、xを変数とすれば
f(a)=0はaとfの意味に照らし合わせて正しいかどうかが判断されるが
f(x)=0ならxにどんな値（値の取りうる範囲は先に決めておく）を入れても正しいときだけ
正しいと見なす。
決まりがあるだけ。もちろん２つの集合に共通部分はない。
で、その記号をいくつか組み合わせて式を作る。
そしてその式の意味を決める段階になって初めて定数、変数の区別が出てくる。
例えば0,a,fを定数、xを変数とすれば
f(a)=0はaとfの意味に照らし合わせて正しいかどうかが判断されるが
f(x)=0ならxにどんな値（値の取りうる範囲は先に決めておく）を入れても正しいときだけ
正しいと見なす。
81 ：１３２人目の素数さん：04/10/14 03:45:43
335
82 ：１３２人目の素数さん：04/10/19 06:18:48
221
83 ：１３２人目の素数さん：04/10/23 05:43:37
381
84 ：１３２人目の素数さん：04/10/28 21:50:08
169
85 ：１３２人目の素数さん：04/11/03 00:22:59
945
86 ：１３２人目の素数さん：04/11/08 00:49:18
452
87 ：１３２人目の素数さん：04/11/13 01:45:57
_,,.. -──‐- .､.._.
, '´ ╋ ヽ
〈::::::: _:::)
/´＼:::::::::_,. - ― - ､.〃/
, '/〈∨〉’‐'´ ｀ ' ､
/ ,'. 〈∧〉/ ,.' , ｉ , ｌ } ! `, ヽ ヽ ＼
｛ｿ{. ﾆ二|,' / / _! Ll⊥ｌ| .Ll_! } 、.ヽ
{ソl ﾆ二.!!ｲ /´/|ﾉ_l_,|.ﾉレ'ﾚ_l｀ﾉ|! | .l }
ﾊｿt.ｰ-;ュ;Vl /,ｨｴ下 ｢ﾊ ﾚ| j| j|丿
＼ !（(.ヽﾆ{fj ! l ` ﾊ|li_] |iﾘ {､|,ﾉ!' ／￣￣￣￣￣￣￣￣￣￣￣￣￣￣
<＼ｎ )’（ (‘ｰｌ | ° ´ __,' ﾟ,' ） | Kiｎgくん♪
/.）＼_, ｀ ） ﾉﾉ＼ ｔﾉ ／(（. ＜ うんこ食べのお時間よ！
Ｖ二ｽ.Y´| （( (ｒ个 . ___. イヽ） ）) | 他の素数さんに迷惑だからおとなしくしなさいね♪
{. r_〉｀! }>' ） ／ ゝ ､,,_o]lム` ｰ- ､ ＼＿＿＿＿＿＿＿＿＿＿＿＿＿＿
＼ ｆ ,. '´／ o ..::: ＼
`! {／⌒ヽ:::::: :::. ＼_:: ヽ
, '´ ╋ ヽ
〈::::::: _:::)
/´＼:::::::::_,. - ― - ､.〃/
, '/〈∨〉’‐'´ ｀ ' ､
/ ,'. 〈∧〉/ ,.' , ｉ , ｌ } ! `, ヽ ヽ ＼
｛ｿ{. ﾆ二|,' / / _! Ll⊥ｌ| .Ll_! } 、.ヽ
{ソl ﾆ二.!!ｲ /´/|ﾉ_l_,|.ﾉレ'ﾚ_l｀ﾉ|! | .l }
ﾊｿt.ｰ-;ュ;Vl /,ｨｴ下 ｢ﾊ ﾚ| j| j|丿
＼ !（(.ヽﾆ{fj ! l ` ﾊ|li_] |iﾘ {､|,ﾉ!' ／￣￣￣￣￣￣￣￣￣￣￣￣￣￣
<＼ｎ )’（ (‘ｰｌ | ° ´ __,' ﾟ,' ） | Kiｎgくん♪
/.）＼_, ｀ ） ﾉﾉ＼ ｔﾉ ／(（. ＜ うんこ食べのお時間よ！
Ｖ二ｽ.Y´| （( (ｒ个 . ___. イヽ） ）) | 他の素数さんに迷惑だからおとなしくしなさいね♪
{. r_〉｀! }>' ） ／ ゝ ､,,_o]lム` ｰ- ､ ＼＿＿＿＿＿＿＿＿＿＿＿＿＿＿
＼ ｆ ,. '´／ o ..::: ＼
`! {／⌒ヽ:::::: :::. ＼_:: ヽ
88 ：トンデモになりそうな１：04/11/13 09:18:14
>87
カエレ
カエレ
89 ：１３２人目の素数さん：04/11/17 11:05:49
939
90 ：１３２人目の素数さん：04/11/22 21:08:18
468
91 ：１３２人目の素数さん：04/11/29 19:52:13
246
92 ：１３２人目の素数さん：04/12/07 01:57:47
472
93 ：１３２人目の素数さん：04/12/14 00:55:25
300
94 ：１３２人目の素数さん：04/12/21 04:13:43
956
95 ：１３２人目の素数さん：04/12/26 12:24:35
350
96 ：１３２人目の素数さん：04/12/26 14:29:05
〜〜〜終了〜〜〜
97 ：１３２人目の素数さん：04/12/29 08:22:20
410
98 ：１３２人目の素数さん：05/02/05 23:06:49
あまりこだわらないほうがい
99 ：１３２人目の素数さん：05/02/16 13:42:15
754
100 ：１３２人目の素数さん：05/02/27 06:52:06
925
101 ：１３２人目の素数さん：05/03/09 06:26:47
321
102 ：１３２人目の素数さん：05/03/19 11:47:42
853
103 ：１３２人目の素数さん：2005/03/31(木) 19:39:00
375
104 ：１３２人目の素数さん：2005/04/17(日) 08:12:47
704
105 ：１３２人目の素数さん：2005/04/20(水) 00:26:00
,､ _,. --――‐- ､
／/´ ｀丶、
/ / ＼
/ / ／｀ヽ
! ! ＿＿＿_ ／ :::::::!
l '´ ｀`丶、 ／ :::::::|
j:,rT,.ニニ､ ―- .._ ｀`'´ .::::::::j
〃:_| ,r;==､ ―-｀､ヽ :::::::::/
／.::::{`! ﾄｯ::} r;==､ ｀| ::::/
/ .:::::::::Y ﾞー' /:ｯ::} 〉 | :::|
/ .:::::::::::::! ::::::: ,､_ ヽrソ ! :::!､
,. '"´￣｀ヾ｀ヽ＜ヽ l ｀j ::::::::: | .::|ヽヽ 文字と式はどっちが多いの？
,. -‐―（ , }:::::}::::{:::＼_｀ ´__ _,. -‐'´l:::::.. .::ﾉ､ |｀`
,. -‐' :: `ー‐'---‐'⌒ヽ::ヽ:. ￣ ￣ .:::::∧:::::::::::::|｀ ヽ
_ノ::::. :::: :::: ｀`ヽ､__ __ _,. -‐:::::/:::ヽ::::::::::j
／ :::ヽ´ ｀ヽ:::::::::/ .::::ヽ::::::ﾊ
..::::ヽ:::. !､_/_..:::::::::::ヽ'::::!、
.:::::::::::::',ｰ:::.| l ｀ヽ:::::::::::::::|::!
.::::::::::::::::!:::/::::.|....::::::::::::::::::::j:::l
.::. .:::::.. .. ::::::::::::::::::}'´::::::ﾉ::::::::::::::::::::::/::::ヽ
／/´ ｀丶、
/ / ＼
/ / ／｀ヽ
! ! ＿＿＿_ ／ :::::::!
l '´ ｀`丶、 ／ :::::::|
j:,rT,.ニニ､ ―- .._ ｀`'´ .::::::::j
〃:_| ,r;==､ ―-｀､ヽ :::::::::/
／.::::{`! ﾄｯ::} r;==､ ｀| ::::/
/ .:::::::::Y ﾞー' /:ｯ::} 〉 | :::|
/ .:::::::::::::! ::::::: ,､_ ヽrソ ! :::!､
,. '"´￣｀ヾ｀ヽ＜ヽ l ｀j ::::::::: | .::|ヽヽ 文字と式はどっちが多いの？
,. -‐―（ , }:::::}::::{:::＼_｀ ´__ _,. -‐'´l:::::.. .::ﾉ､ |｀`
,. -‐' :: `ー‐'---‐'⌒ヽ::ヽ:. ￣ ￣ .:::::∧:::::::::::::|｀ ヽ
_ノ::::. :::: :::: ｀`ヽ､__ __ _,. -‐:::::/:::ヽ::::::::::j
／ :::ヽ´ ｀ヽ:::::::::/ .::::ヽ::::::ﾊ
..::::ヽ:::. !､_/_..:::::::::::ヽ'::::!、
.:::::::::::::',ｰ:::.| l ｀ヽ:::::::::::::::|::!
.::::::::::::::::!:::/::::.|....::::::::::::::::::::j:::l
.::. .:::::.. .. ::::::::::::::::::}'´::::::ﾉ::::::::::::::::::::::/::::ヽ
106 ：１３２人目の素数さん：2005/04/25(月) 20:44:25
age
107 ：１３２人目の素数さん：2005/04/26(火) 21:43:18
age
108 ：１３２人目の素数さん：2005/05/12(木) 00:49:46
366
109 ：１３２人目の素数さん：2005/05/31(火) 21:36:36
154
110 ：１３２人目の素数さん：2005/06/26(日) 00:42:02
922
111 ：１３２人目の素数さん：2005/07/03(日) 08:58:52
.┌━┐ ┌━┐
┃┌╋──╋┐┃
└╋┘ └╋┘
┃ ・ ・ ┃ ┌━━┐
●━╋┐ ┌╂━━━━╂┐ ┃
└━┷┴━━╂┘ └╋━┘
同じｽﾚにはｺﾋﾟﾍﾟ ┌╋┐ ┌╋┐
できるけど、違う ┃└╋╋━━╋╋┘┃
ｽﾚにはｺﾋﾟﾍﾟでき ┃ ┃┃ ┃┃ ┃
ない不思議ｺﾋﾟﾍﾟ ┃ ┃┃ ┃┃ ┃
└━┘┘ └└━┘
┃┌╋──╋┐┃
└╋┘ └╋┘
┃ ・ ・ ┃ ┌━━┐
●━╋┐ ┌╂━━━━╂┐ ┃
└━┷┴━━╂┘ └╋━┘
同じｽﾚにはｺﾋﾟﾍﾟ ┌╋┐ ┌╋┐
できるけど、違う ┃└╋╋━━╋╋┘┃
ｽﾚにはｺﾋﾟﾍﾟでき ┃ ┃┃ ┃┃ ┃
ない不思議ｺﾋﾟﾍﾟ ┃ ┃┃ ┃┃ ┃
└━┘┘ └└━┘
112 ：１３２人目の素数さん：2005/07/03(日) 18:32:14
113 ：１３２人目の素数さん：2005/07/03(日) 19:35:37
, -‐─‐‐ ､
／, , ＼
〃// //, ､ 、、 ｀､
ｉ ! !」⊥ｌ l ｌ ｌ ｌ i iこﾆｭ! 正直に言ってね。
i ｌ ;ｈ､｀ ﾅﾒ､ﾉ! ! ! !
ﾙ1ﾄj ;ﾃく´ｿﾉﾉ i
ﾉ !｀, !Lﾉﾞ iﾉ-､｀､ ヽ､ ノ⌒ヽ
､_ノ/ ﾊ、ｰ ｀ " _ン ､｀ヽ二 -‐-､
ノ 丿ﾉ冫┬ ' [ ）八､ヽ､__ノ⌒
（ r「!7ｧ/⌒｀}} }!（ ヾ､
/ ﾑ′ 〃 ﾉ小、 ）
! ｨ7 ハ___〃ﾉ ）
ｌ / / / 前スレ
l ' /´￣￣｀! 数学者にはロリコンが多いって本当ですか？
ｌ / l http://science.2ch.net/test/read.cgi/math/10466xxxxxxx/l50
／, , ＼
〃// //, ､ 、、 ｀､
ｉ ! !」⊥ｌ l ｌ ｌ ｌ i iこﾆｭ! 正直に言ってね。
i ｌ ;ｈ､｀ ﾅﾒ､ﾉ! ! ! !
ﾙ1ﾄj ;ﾃく´ｿﾉﾉ i
ﾉ !｀, !Lﾉﾞ iﾉ-､｀､ ヽ､ ノ⌒ヽ
､_ノ/ ﾊ、ｰ ｀ " _ン ､｀ヽ二 -‐-､
ノ 丿ﾉ冫┬ ' [ ）八､ヽ､__ノ⌒
（ r「!7ｧ/⌒｀}} }!（ ヾ､
/ ﾑ′ 〃 ﾉ小、 ）
! ｨ7 ハ___〃ﾉ ）
ｌ / / / 前スレ
l ' /´￣￣｀! 数学者にはロリコンが多いって本当ですか？
ｌ / l http://science.2ch.net/test/read.cgi/math/10466xxxxxxx/l50
114 ：１３２人目の素数さん：2005/08/04(木) 13:41:47
986
115 ：１３２人目の素数さん：2005/09/18(日) 07:14:58
298
116 ：１３２人目の素数さん：2005/10/08(土) 13:10:07
632
117 ：１３２人目の素数さん：2005/11/18(金) 09:41:02
155
118 ：１３２人目の素数さん：2005/12/13(火) 17:34:33
284
119 ：１３２人目の素数さん：2005/12/13(火) 17:35:01
284
120 ：１３２人目の素数さん：2006/01/02(月) 01:45:02
613
121 ：１３２人目の素数さん：2006/01/30(月) 05:57:50
656
122 ：１３２人目の素数さん：2006/02/05(日) 07:45:13
955
123 ：１３２人目の素数さん：2006/03/02(木) 17:06:59
760
124 ：１３２人目の素数さん：2006/03/26(日) 13:34:48
125 ：１３２人目の素数さん：2006/03/28(火) 13:31:30
二年。
126 ：１３２人目の素数さん：2006/04/05(水) 22:00:46
age
127 ：１３２人目の素数さん：2006/04/15(土) 21:59:02
128 ：１３２人目の素数さん：2006/05/13(土) 19:57:02
129 ：１３２人目の素数さん：2006/05/26(金) 11:50:28
969
130 ：１３２人目の素数さん：2006/06/16(金) 00:06:26
967
131 ：１３２人目の素数さん：2006/07/13(木) 15:49:48
240 名前：KingOfUniverse ◆667la1PjK2 ：2006/07/13(木) 13:56:29
人の脳を読む能力を悪用する奴を潰せ。
人の脳を読む能力を悪用する奴を潰せ。
132 ：KingOfUniverse ◆667la1PjK2 ：2006/07/14(金) 09:53:28
人の脳を読む能力を悪用する奴を潰せ。
133 ：１３２人目の素数さん：2006/07/28(金) 17:09:05
760
134 ：１３２人目の素数さん：2006/08/30(水) 15:29:20
良い子は>>81-133のまねしないように！！
135 ：１３２人目の素数さん：2006/10/02(月) 23:53:58
618
136 ：１３２人目の素数さん：2006/11/12(日) 23:33:41
223
137 ：１３２人目の素数さん：2006/12/27(水) 10:28:07
778
138 ：１３２人目の素数さん：2007/02/01(木) 07:23:28
＿_
, ‐' ´ ｀`‐、 ／￣:三}
. ／,. -─‐- ､. ヽ / ,.＝j
＿,.:_'＿＿＿＿＿_ヽ、 .! .／ _,ﾉ
`‐、{ へ 'ﾞ⌒ `!~ヽ. ! ／{. /
｀! しﾟ （ ﾟj `v‐冫 , '::::::::ヽ､/ そんなことよりking氏ね！
. {.l '⌒ ﾞ 6',! / :::::::::::::::/ __
. 〈 < ´￣,ﾌ .ﾉｰ'_ , ‐'´::::::::::::::;/ （_ノ)‐-､
. ヽ.、 ` ‐", ‐´‐:ラ ':::::::::::::::: ;∠. ヽ_} ﾞヽ
,.r｀ "´ ／:::::::::::::::::::ィ´ ｀ゝ !、 /
/ / :::::::::::::::: ; '´ /´＼ / r'＼
. i ! ::::::::::::::／ 墨 | .!::::::::／ヽ､.._!ヽ. ヽ､
{ {:::::::::::;:ｲ / ‖ｉ:::::::/:::::::::::::/ ＼
. ヽ ヽ,.ｧ‐'´ /ヽ 二 ,/`ヽ、::::::::: ／
, ‐' ´ ｀`‐、 ／￣:三}
. ／,. -─‐- ､. ヽ / ,.＝j
＿,.:_'＿＿＿＿＿_ヽ、 .! .／ _,ﾉ
`‐、{ へ 'ﾞ⌒ `!~ヽ. ! ／{. /
｀! しﾟ （ ﾟj `v‐冫 , '::::::::ヽ､/ そんなことよりking氏ね！
. {.l '⌒ ﾞ 6',! / :::::::::::::::/ __
. 〈 < ´￣,ﾌ .ﾉｰ'_ , ‐'´::::::::::::::;/ （_ノ)‐-､
. ヽ.、 ` ‐", ‐´‐:ラ ':::::::::::::::: ;∠. ヽ_} ﾞヽ
,.r｀ "´ ／:::::::::::::::::::ィ´ ｀ゝ !、 /
/ / :::::::::::::::: ; '´ /´＼ / r'＼
. i ! ::::::::::::::／ 墨 | .!::::::::／ヽ､.._!ヽ. ヽ､
{ {:::::::::::;:ｲ / ‖ｉ:::::::/:::::::::::::/ ＼
. ヽ ヽ,.ｧ‐'´ /ヽ 二 ,/`ヽ、::::::::: ／
139 ：KingOfUniverse ◆667la1PjK2 ：2007/02/01(木) 14:14:03
talk:>>138 お前に何が分かるというのか？
140 ：１３２人目の素数さん：2007/02/05(月) 18:14:46
969
141 ：１３２人目の素数さん：2007/03/11(日) 15:28:58
42
142 ：１３２人目の素数さん：2007/03/31(土) 20:31:36
三年三日七時間。
143 ：１３２人目の素数さん：2007/06/25(月) 09:38:32
153
144 ：１３２人目の素数さん：2007/08/31(金) 16:48:28
最後尾
146 ：１３２人目の素数さん：2007/09/17(月) 13:02:05
(^o^)ﾉ＜最下層だぞくずどもー
147 ：１３２人目の素数さん：2007/09/23(日) 11:45:19
言語は３つある。
一つは自然言語。お前は使えないだろうが日本語や英語などのことだ。
二つ目は人工言語。エスペラントやコンピューター言語。記号言語もここだな。数学記号とかな。
三つ目は肉体言語。身振り手振り、ボディランゲージ、ＳＥＸ、関節技なんかはここだな。
一つは自然言語。お前は使えないだろうが日本語や英語などのことだ。
二つ目は人工言語。エスペラントやコンピューター言語。記号言語もここだな。数学記号とかな。
三つ目は肉体言語。身振り手振り、ボディランゲージ、ＳＥＸ、関節技なんかはここだな。
148 ：１３２人目の素数さん：2007/10/30(火) 13:11:22
530
149 ：１３２人目の素数さん：2008/02/01(金) 19:53:43
age
150 ：１３２人目の素数さん：2008/03/28(金) 15:07:54
972
151 ：１３２人目の素数さん：2008/03/28(金) 18:31:36
四年五時間。
152 ：１３２人目の素数さん：2008/05/05(月) 23:07:05
731
153 ：１３２人目の素数さん：2008/05/10(土) 12:16:47
人間によって考え出された概念を簡潔に表現したもの
154 ：１３２人目の素数さん：2008/05/11(日) 00:12:33
文字と記号の違いはなんだすか
155 ：１３２人目の素数さん：2008/05/11(日) 00:45:57
156 ：１３２人目の素数さん：2008/07/05(土) 19:01:28
284
157 ：１３２人目の素数さん：2008/08/15(金) 08:11:08
936
158 ：１３２人目の素数さん：2008/09/08(月) 22:11:49
.┌━┐ ┌━┐
┃┌╋──╋┐┃
└╋┘ └╋┘
┃ ・ ・ ┃ ┌━━┐
●━╋┐ ┌╂━━━━╂┐ ┃
└━┷┴━━╂┘ └╋━┘
同じｽﾚにはｺﾋﾟﾍﾟ ┌╋┐ ┌╋┐
できるけど、違う ┃└╋╋━━╋╋┘┃
ｽﾚにはｺﾋﾟﾍﾟでき ┃ ┃┃ ┃┃ ┃
ない不思議ｺﾋﾟﾍﾟ ┃ ┃┃ ┃┃ ┃
└━┘┘ └└━┘
┃┌╋──╋┐┃
└╋┘ └╋┘
┃ ・ ・ ┃ ┌━━┐
●━╋┐ ┌╂━━━━╂┐ ┃
└━┷┴━━╂┘ └╋━┘
同じｽﾚにはｺﾋﾟﾍﾟ ┌╋┐ ┌╋┐
できるけど、違う ┃└╋╋━━╋╋┘┃
ｽﾚにはｺﾋﾟﾍﾟでき ┃ ┃┃ ┃┃ ┃
ない不思議ｺﾋﾟﾍﾟ ┃ ┃┃ ┃┃ ┃
└━┘┘ └└━┘
159 ：１３２人目の素数さん：2008/10/26(日) 12:33:48
705
160 ：１３２人目の素数さん：2008/12/03(水) 12:26:35
180
161 ：１３２人目の素数さん：2009/01/11(日) 08:42:17
953
162 ：１３２人目の素数さん：2009/01/30(金) 08:10:32
177
163 ：１３２人目の素数さん：2009/01/31(土) 03:45:11
age
164 ：１３２人目の素数さん：2009/02/04(水) 23:29:08
√(16)=4
165 ：１３２人目の素数さん：2009/03/28(土) 13:31:36
五年。
166 ：１３２人目の素数さん：2009/03/31(火) 01:18:46
age
167 ：１３２人目の素数さん：2009/04/02(木) 22:25:11
1+6=7
168 ：>>33：2009/04/10(金) 02:13:36
0110101010010110111110100100100000111101001010010101000001010101011111110100101010001110110101101110101010001111010100111100011010010001000101011110010010101010100101010000101010010101111010100111101011011110101010101
169 ：１３２人目の素数さん：2009/05/15(金) 08:37:12
127
170 ：１３２人目の素数さん：2009/07/10(金) 04:47:44
905
171 ：１３２人目の素数さん：2009/08/18(火) 10:06:31
177
172 ：１３２人目の素数さん：2009/10/04(日) 23:25:52
574
173 ：１３２人目の素数さん：2009/12/05(土) 19:14:08
014
174 ：１３２人目の素数さん：2010/02/04(木) 18:14:57
127
175 ：１３２人目の素数さん：2010/03/10(水) 18:58:18
961
176 ：１３２人目の素数さん：2010/06/27(日) 09:56:51
677
133