13/09/16 21:34:06.43 .net
これは？
ｽﾚﾘﾝｸ(tech板)
108:１３２人目の素数さん
13/09/16 22:02:50.94 .net
>>104
ありがとうございます。あったんですね。質問があったらそこで質問します。
109:１３２人目の素数さん
13/09/21 10:47:00.00 .net
オートマトンや計算論の本でおすすめの本ってない？
110:１３２人目の素数さん
13/09/21 12:54:03.40 .net
ホップクロフト - ウルマン - モトワニ, オートマトン言語理論 - 計算論
URLﾘﾝｸ(www.amazon.co.jp)
111:１３２人目の素数さん
13/09/21 14:01:08.84 .net
>>107
もっと薄い本でおすすめはありませんか？
シプサも冗長っぽいのでホップクロフトらとシプサ以外で。
112:１３２人目の素数さん
13/09/21 14:06:57.57 .net
自動羊肉機械
113:１３２人目の素数さん
13/09/21 16:28:43.23 .net
>108
計算論の本としては十分薄いだろ。
114:１３２人目の素数さん
13/11/22 21:20:48.58 .net
チューリングマシンに詳しい人に聞きたいんだが、
テープの１００万番地に書いてある記号を０番地に書き込むアルゴリズムは
状態数いくつ位で実装できる？
俺が単純に考えると１００万番地にいくのに１００万状態かかって
０番地に戻ってくるのに１００万状態かかるんだが、
そんなに必要なワケないよね？
115:１３２人目の素数さん
13/11/22 22:43:19.66 .net
チューリングマシンに詳しくても実際にチューリングマシンを組む人間は少ないのでは……
作業用テープが使えるのならカウンタ移動->リーダ->カウンタ移動->ライターで実装できる。
1テープ化は計算論の厚めの教科書に載ってると思う。
状態数は面倒なので自分でやってくれ。
116:１３２人目の素数さん
13/12/08 11:44:15.70 .net
誰か最高の型理論を教えて
何か圏論の宇宙みたいなんを考えなくても
全体集合を含む集合をうまく扱える
well-formedな理論があったような気がするが名前忘れたのでぐぐれん
別のでもいいから最新のを頼む
117:TTT
13/12/09 08:46:37.88 .net
Martin-Löfの型理論とか？
あとZ言語とか
もしくはアクゼルやフィッファーマンの
ETとかCTとかPTみたいな構成的数学（型付集合論
URLﾘﾝｸ(www.amazon.co.jp)
どれも最新じゃないけど
118:１３２人目の素数さん
13/12/09 12:16:18.74 .net
Martin-Lofよりは新しいやつだったと思う
他のはしらんからぐぐるキーワード助かるありがとう
分かったら一応ここにまた記すよ
119:１３２人目の素数さん
13/12/09 12:20:11.92 .net
Martin-Lofでググったらすぐみつかった
Luca-Cardelliのやつだわ
A polymorphic lambda calculus with type:type
120:１３２人目の素数さん
13/12/20 09:21:12.24 .net
URLﾘﾝｸ(lucacardelli.name)
関数型言語から始めてMolecular ProgrammingだのMembrane Computingだの手広くやってる人だな
121:１３２人目の素数さん
14/04/23 17:10:01.72 .net
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/
. | ＼ ∠イ ,ｲイ| ,`-' |
| l＾,人| ` `-' ゝ |
| ` -'＼ ｰ' 人 私は死なないわよ。
| /(l ＿＿／ ヽ、 でも最近一寸太ったかしら。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 Windows ver.10 で
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ 元の痩せた姿にしてよね。
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
122:１３２人目の素数さん
14/05/25 03:46:33.83 .net
２つの集合の和集合を取る演算ひとつにしてもそこには計算機屋の言い分がある。
計算機屋にとって和集合とは１つの集合に別の集合を上書きする行為。
集合α{A=1, B=2, C=3, D=4, E=5} と 集合β{D=6, E=7, F=8, G=9, H=10}とがあったら、
αにβを上書きするのとβにαを上書きするのと２通りの結果がある。
123:１３２人目の素数さん
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:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています