14/05/25 19:00:58.35 .net
集合の言葉で言うんだったら、
D=4, E=5
D=6, E=7
は別の元だぜ。= の定義次第だけど。
和集合以外の写像を考えないと。
124:１３２人目の素数さん
14/05/25 19:22:37.82 .net
だぜ君乙
125:１３２人目の素数さん
14/06/08 08:15:09.95 .net
とりあえず direct product 書かなきゃな
126:１３２人目の素数さん
14/06/15 18:07:22.66 .net
ユークリッドの互除法くらいはいくらなんでも知っているだろう。
写像などがプログラミングだと本気で思っているのか。
127:１３２人目の素数さん
14/09/21 20:59:35.63 .net
質問です
チャーチ数がわかりません
最初に0をλ f x. xと定義しているのですが
β簡約すると
(λ f x. x)hoge≡(λ f.λ x. x)hoge≡λx.x
となりxの値によってλ f x. xの値が変わってしまい恒等的に0になるわけではありません
上記の定義にしてしまうとラムダ計算の規則が矛盾してしまうと思うのですがそこのところはどう考えればいいでしょうか
128:１３２人目の素数さん
15/01/26 06:47:15.34 1H6B4Cd8.net
ロシアで高く評価されてるみたいなんだよ、あのライブラリ
129:１３２人目の素数さん
15/01/26 15:02:38.55 PD69rA5o.net
>>18
こいつキモ過ぎる
130:１３２人目の素数さん
15/01/26 18:06:20.27 QOemKnPw.net
> xの値によってλ f x. xの値が変わってしまい
ここどういうこと？
131:１３２人目の素数さん
16/05/18 20:37:35.16 0UHiF+Fs.net
チューリングマシンは可算個しかないからすべての言語は判定できないっていうけど、
チューリングマシンを拡張して関数濃度まで増やせばすべての言語を判定するような機構があり得るの？
132:１３２人目の素数さん
16/09/21 19:20:56.44 fHMHm9qH.net
計算可能性の定義がチューリングマシンというアイディアに依存してるけど、
チューリングマシンってチューリングが生きていた時代の技術水準に影響されたアイディアですよね？
テープとかヘッドとか。
技術水準に依存しない、もっと本質的な定義はないのでしょうか？
133:１３２人目の素数さん
16/09/21 19:22:28.67 fHMHm9qH.net
計算可能性は結局技術的に可能か不可能かを論ずる領域なので、技術水準に依存しないほうがおかしいのかな。
量子計算なんてテープとヘッドなんて出てこないし。
134:￥ ◆2VB8wsVUoo
16/09/21 21:51:35.08 9DYTpCUE.net
￥
135:￥ ◆2VB8wsVUoo
16/09/21 21:51:50.82 9DYTpCUE.net
￥
136:￥ ◆2VB8wsVUoo
16/09/21 21:52:06.43 9DYTpCUE.net
￥
137:￥ ◆2VB8wsVUoo
16/09/21 21:52:21.56 9DYTpCUE.net
￥
138:￥ ◆2VB8wsVUoo
16/09/21 21:52:36.67 9DYTpCUE.net
￥
139:￥ ◆2VB8wsVUoo
16/09/21 21:52:53.38 9DYTpCUE.net
￥
140:￥ ◆2VB8wsVUoo
16/09/21 21:53:09.06 9DYTpCUE.net
￥
141:￥ ◆2VB8wsVUoo
16/09/21 21:53:24.95 9DYTpCUE.net
￥
142:￥ ◆2VB8wsVUoo
16/09/21 21:53:41.91 9DYTpCUE.net
￥
143:￥ ◆2VB8wsVUoo
16/09/21 21:53:57.68 9DYTpCUE.net
￥
144:￥ ◆2VB8wsVUoo
16/09/22 00:02:38.43 d+gUomk5.net
￥
145:￥ ◆2VB8wsVUoo
16/09/22 00:09:57.63 d+gUomk5.net
￥
146:￥ ◆2VB8wsVUoo
16/09/22 00:13:43.05 d+gUomk5.net
￥
147:￥ ◆2VB8wsVUoo
16/09/22 00:18:02.67 d+gUomk5.net
￥
148:￥ ◆2VB8wsVUoo
16/09/22 00:24:39.08 d+gUomk5.net
￥
149:￥ ◆2VB8wsVUoo
16/09/22 00:32:14.40 d+gUomk5.net
￥
150:１３２人目の素数さん
17/06/21 18:06:20.79 li9YiQr4.net
統計
422 43 ￥ ◆2VB8wsVUoo
233 25 ￥ ◆2VB8wsVUoo , 猫 ◆2VB8wsVUoo
244 30 ￥ ◆2VB8wsVUoo
123 12 ￥ ◆2VB8wsVUoo
231 18 ￥ ◆2VB8wsVUoo
239 24 ￥ ◆2VB8wsVUoo , 猫 ◆2VB8wsVUoo
29 3 ￥ ◆2VB8wsVUoo
133 11 ￥ ◆2VB8wsVUoo
222 15 ￥ ◆2VB8wsVUoo
198 20 ￥ ◆2VB8wsVUoo
151:￥
17/06/21 18:29:19.89 cGYdNhEa.net
￥
152:１３２人目の素数さん
17/07/29 09:01:36.43 KzE/1bUj.net
>>124
λ式を「0」として解釈したいのに
どうしてhogeなんかに適用するんだ
君の自然数はなにか別の対象に適用出来る関数なのか?
153:１３２人目の素数さん
17/07/29 09:02:44.47 KzE/1bUj.net
>>129
church's thesis
154:１３２人目の素数さん
17/08/06 18:20:44.26 oDKJI1vJ.net
耳栓をしたら世界が変わってワロタ
155:￥
17/08/06 18:21:07.09 +CYdGQny.net
☆☆☆馬鹿板は数学徒の脳を腐らせる悪い板であり、そやし廃止してナシにすべき。☆☆☆
￥
156:１３２人目の素数さん
17/08/06 18:28:32.52 oDKJI1vJ.net
耳栓をしたら世界が変わってワロタ
157:￥
17/08/06 18:28:47.66 +CYdGQny.net
￥
158:１３２人目の素数さん
17/08/07 08:56:31.10 0YzkEl/p.net
耳栓をしたら世界が変わってワロタ
159:￥
17/08/07 09:32:49.46 /rspiZFz.net
￥
160:￥
17/08/07 10:27:11.38 /rspiZFz.net
￥
161:￥
17/08/07 10:27:37.84 /rspiZFz.net
￥
162:￥
17/08/07 10:27:56.41 /rspiZFz.net
￥
163:￥
17/08/07 10:28:15.01 /rspiZFz.net
￥
164:￥
17/08/07 11:16:52.64 /rspiZFz.net
￥
165:￥
17/08/07 11:17:10.26 /rspiZFz.net
￥
166:￥
17/08/07 11:20:44.15 /rspiZFz.net
￥
167:￥
17/08/07 11:21:01.45 /rspiZFz.net
￥
168:￥
17/08/07 11:21:17.36 /rspiZFz.net
￥
169:１３２人目の素数さん
17/08/07 15:10:16.21 0YzkEl/p.net
耳栓をしたら世界が変わってワロタ
170:￥
17/10/26 09:27:24.90 jT09z118.net
￥
171:￥
17/10/26 09:27:42.22 jT09z118.net
￥
172:￥
17/10/26 09:27:59.79 jT09z118.net
￥
173:￥
17/10/26 09:28:15.91 jT09z118.net
￥
174:￥
17/10/26 09:28:32.02 jT09z118.net
￥
175:￥
17/10/26 09:28:47.72 jT09z118.net
￥
176:￥
17/10/26 09:29:03.59 jT09z118.net
￥
177:￥
17/10/26 09:29:20.59 jT09z118.net
￥
178:￥
17/10/26 09:29:39.33 jT09z118.net
￥
179:￥
17/10/26 09:29:55.93 jT09z118.net
￥
180:１３２人目の素数さん
19/02/27 14:08:31.79 m6mcbtWa.net
ここでもやろうではないか
181:１３２人目の素数さん
20/05/22 07:05:48 CccJC99t.net
>>61 コンピュータの父といえばアラン・チューリング、 チャールズ・バベッジ、ナイマン・ヤーノシュでよいのかな？
183:盗聴盗撮犯罪者・色川高志が嫌がらせをしつこく継続
21/03/16 09:10:39.81 3wrnSHYb.net
色川高志（葛飾区青戸６－２３－２１ハイツニュー青戸１０３）
●色川高志「高添沼田の息子の金属バット集団殴打撲殺を熱望します」
龍神連合五代目総長・高添沼田の息子（葛飾区青戸６－２６－６）の挑発
●高添沼田の息子「糞関東連合文句があったらいつでも俺様を金属バットで殴り殺しに来やがれっ!! 糞関東連合の見立・石元・伊藤リオンの糞野郎どもは
龍神連合五代目総長の俺様がぶちのめしてやるぜっ!! 賞金をやるからいつでもかかって来いっ!! 糞バエ関東連合どもっ!! 待ってるぜっ!!」(挑戦状)
492盗聴盗撮犯罪者色川高志（青戸６－２３－２１ハイツニュー青戸１０３2021/02/03(水) 13:53:22.55ID:QtP78E4Z
●青戸六丁目被害者住民一同「盗聴盗撮犯罪者の高添沼田ハゲエロ老義父の逮捕を要請します」
長木親父＆長木よしあき（盗聴盗撮犯罪者の高添沼田ハゲエロ老義父を逮捕に追い込む会＆被害者の会会長）住所＝東京都葛飾区青戸6－23－20
●盗聴盗撮つきまとい嫌がらせ犯罪者／アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父
高添沼田ハゲエロ老義父の住所＝東京都葛飾区青戸6－26－６
【通報先】亀有警察署＝東京都葛飾区新宿4ー22ー19 ℡０３ー３６０７ー０１１０
盗聴盗撮つきまとい嫌がらせ犯罪者／アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父の盗聴盗撮つきまとい嫌がらせ犯罪者／愛人変態メス豚家畜清水婆婆（青戸6－23－19）の
五十路後半強制脱糞
URLﾘﾝｸ(img.erogazou-pinkline.com)
アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父によりバスタブで清水婆婆の巨尻の肛門にシャワーのキャップをはずしてずっぽり挿入。
そして、大量浣腸。 勢い良く噴出！腸内洗浄状態です。
184:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています