1 :
非決定性名無しさん :
02/04/02 03:39 高橋正子『計算論』 ラムダ計算のモデルが難しくて理解できません。
ラムダ計算といえば、蓬莱軒 蓬莱軒といえば、ラムダ計算 ですね。
3 :
非決定性名無しさん :02/04/02 05:49
λf.(λx.f(xx))(λx.f(xx))
4 :
非決定性名無しさん :02/04/02 05:49
宝来先生はICUに行かれました。
5 :
非決定性名無しさん :02/04/02 18:40
ラムダ計算といえばやっぱりSchemeを思い出すなー。
6 :
非決定性名無しさん :02/04/02 21:50
誰か簡単に説明しれ
何を?
萌え騰がれ 萌え騰がれ 萌え騰がれ ランダム 気味よ 歯知れ まだ錨に萌える 投資があるなら 虚題な滴を 鵜手よ鵜手よ鵜手よ 兵話に無かって 砥部よ ランダム 綺堂先史 ランダム ランダム
そういやあ大昔scheme使ってlambda敬さんやったなぁ。懐かしいねえ。
10 :
非決定性名無しさん :02/04/02 23:04
ラムダ計算とか言ってると、 π計算ってご存知?とか言い出す人が居る
奈美恵 奈美恵 不利無かないで 雨中の金谷 加賀焼く保志は 奈美恵 お前の膿まれた振る聡だ 尾墓得て海豚い 正念の日の頃を 阿他々界温もりの 中出目覚めた朝を 奈美恵 不利無垢な奈美恵 男は奈美蛇を 店ぬもの 店ぬもの ただ明日へと 明日へと 衛艶に いー
12 :
非決定性名無しさん :02/04/02 23:07
>>8 ランダムといえば、
ランダウはHe4のλ転移に関する研究をしていたそーだ
15 :
非決定性名無しさん :02/04/02 23:56
ここはT工大のN崎先生に登場していただかなくては
17 :
非決定性名無しさん :02/04/03 01:14
age
18 :
非決定性名無しさん :02/04/03 01:18
>>1 λモデルD∞
λモデルPω
って話ですかー。
19 :
非決定性名無しさん :02/04/03 03:48
ラグランジェの未定定数
20 :
非決定性名無しさん :02/04/03 17:23
計算機科学→計算幾何学→珪酸基化学
22 :
非決定性名無しさん :02/04/04 02:22
すべては工学から始まるといえる
>>22 それは捏造ないし歪曲である。
すべては韓半島から始まるというのが定説である。
ウリナラマンセーである。
ハングるで「λ計算」って言葉は、どう書くの?
27 :
非決定性名無しさん :02/04/05 01:58
28 :
非決定性名無しさん :02/04/05 02:01
結局らむだってなに?
29 :
非決定性名無しさん :02/04/05 02:15
結局らくだってなに?
30 :
非決定性名無しさん :02/04/05 07:43
ハット計算のはずだたのに
31 :
非決定性名無しさん :02/04/05 23:52
>>10 π-Calculusって、並列計算のやつですか?
今度セミナーやるんですよね。
R. Milner, Communicating and Mobile Systems: the π-Calculus.
Cambridge University Press, 1999.
32 :
非決定性名無しさん :02/04/06 00:00
ブラケットだろ
33 :
非決定性名無しさん :02/04/06 03:13
スーパーπのこと?
34 :
非決定性名無しさん :02/04/06 03:26
【学術】ムダナ計算
35 :
22222222 :02/04/06 08:38
プロジェクトx 22222222222222 第83回 4月9日放送予定 「国産コンピューター ゼロからの大逆転」 〜日本技術界 伝説のドラマ〜
36 :
非決定性名無しさん :02/04/06 11:38
みるなーがくるのー? それは聴講したいなー。どこでやるの?
37 :
非決定性名無しさん :02/04/06 16:03
ウチ、λっちゃ
39 :
非決定性名無しさん :02/04/06 22:59
40 :
非決定性名無しさん :02/04/07 00:39
数学のいっしゅか?
41 :
非決定性名無しさん :02/04/07 02:12
ラムダ計算∈計算論 数学基礎論の一種 数学基礎論とは? ・数理論理学 ・証明論 ・モデル理論 ・集合論 ・計算論 からなる理論体系である。
42 :
非決定性名無しさん :02/04/07 04:36
で,結局何のためにあるの?
43 :
非決定性名無しさん :02/04/07 22:17
モデル理論ってなんなのか教えろ下さい。
44 :
非決定性名無しさん :02/04/08 04:59
それはなかなか不思議な名前だな
45 :
非決定性名無しさん :02/04/09 00:33
型付きラムダ計算のいい参考書を教えろ下さい。
46 :
他称キティー :02/04/09 01:26
なんか、雨後のたけのこ か? 学術ってなによ ∧∧ ミ _ ドスッ ( ,,)┌─┴┴─┐ /' つ 終了 │ 〜′ /´ └─┬┬─┘ ∪ ∪ ││ _ε3 ゛゛'゛'゛ 。
47 :
非決定性名無しさん :02/04/09 05:19
おいしいたけのこだね
48 :
非決定性名無しさん :02/04/09 23:55
>>45 H. Barendregt, "Lambda Calculi with Types",Handbook of Logic in Computer Science Vol.2
高いので、コピーをしましょう。
49 :
非決定性名無しさん :02/04/10 06:13
論文は?
50 :
非決定性名無しさん :02/04/10 20:03
コピペ
>>43 情報分野ではモデルという言葉はいろいろに使われるけれど、
数学的には現実の世界に対して、数学の道具立てで作られた世界の様々な模型ですね。
モデル理論というのはそれらの数学的な模型が共通して備えている特徴に関する理論です。
世界の数学的な模型というのは皆、
公理から出発して論理的な推論を積み重ねて作られる命題の集合の形になっているので、
モデルの共通的な性質というのもそのような
公理と命題の集合と推論のもつ性質に絡んだものになります。
ちなみにモデルに関する定理の中でもっとも有名なのは不完全性定理でしょうかね。
51 :
非決定性名無しさん :02/04/11 02:02
計算可能性のモデルって,学部で ・チューリングマシン ・ラムダ計算 ・帰納的関数 の三つを習ったけど,他にどんなのがあるの?
52 :
非決定性名無しさん :02/04/11 06:21
>51 コンビネータ論理(S,K,I)も。
53 :
非決定性名無しさん :02/04/11 07:28
ホーン論理もソだった夜鳴きが
54 :
非決定性名無しさん :02/04/11 08:03
かんむしちちはきよわったな
55 :
非決定性名無しさん :02/04/11 12:28
ホーン論理は計算可能性の理論からは比較的(これまで上がったのにくらべると)遠いでしょ。 述語論理とか、Prologとか、そっち方面だもん。
56 :
非決定性名無しさん :02/04/11 16:05
だから論理プログラミング言語もチューリングマシン等価だって事でしょ? どう比べるとどう遠いの?
57 :
非決定性名無しさん :02/04/11 18:55
そいえば、 「コンビネータ論理(Combinatory Logic)」を 「コンビネータ理論」と逝ってみたりする態度ってどうよ? そりゃ論理体系じゃないのはわかるが、いちおう直訳しとこうぜって思うんだが…
58 :
非決定性名無しさん :02/04/12 00:24
コンビネータ理論って言ったら ラムダ式S,K,Iで全ての閉ラムダ式が表現できるって話じゃないの? コンビネータ論理はまた別でしょ。
59 :
他称キティー :02/04/12 00:33
よくわかんないので ∧∧ ミ _ ドスッ ( ,,)┌─┴┴─┐ /' つ 終了 │ 〜′ /´ └─┬┬─┘ ∪ ∪ ││ _ε3 ゛゛'゛'゛ 。
良くわかんないなら、ROMっててくだちい
61 :
非決定性名無しさん :02/04/12 04:32
62 :
怪人アッカーマン :02/04/12 13:16
>>57 は? 一応論理体系にはちがいないでしょうが。
63 :
非決定性名無しさん :02/04/12 23:22
>56 だから論理プログラミング言語もチューリングマシン等価だって事でしょ? 論理プログラミング言語(例えばPrologに代表される)はその通り。 しかし一方で、ホーン論理の世界で考えられるのは、モデルである、とか、モデルでない、という概念でさ、 これと計算あるいは計算可能性の間にはギャップがある。 ホーン論理になんらかの操作とその意味(operational semantics)を与えた所でしか計算は考えられない。 例えばPrologならdepth firstでやるとか、節を選択する順番とか、操作が陽に定まっているでっしゃろ。 ギャップを具体的にあげようか。 ホーン論理を枢軸にしつつ、あらゆる計算が停止しない(=あらゆる計算が不可能な)系と言うのを作れる。 いつでも公理(の先頭)に T=T を陰に加えることを考えてみ。 これでもプログラマが与えた the set of clausesのsemanticsをホーン論理の世界では完全に保存してるよな。 ところが、これをPrologの世界に持って行くと、refuteできるgoalが1つも存在しない(計算が何もできない)っしょ。
64 :
非決定性名無しさん :02/04/12 23:50
>61 せんせい、Sがでてきません!
65 :
非決定性名無しさん :02/04/13 00:25
ラムダ計算∈計算論 数学基礎論の一種 数学基礎論とは? ・数理論理学 ・証明論 ・モデル理論 ・集合論 ・計算論 からなる理論体系である。
66 :
怪人アッカーマン :02/04/13 00:31
…みんなよくわかってないんじゃない?
67 :
非決定性名無しさん :02/04/13 00:44
>63 いいたい事はわかるんだけど例は間違ってるな。 別にprologでrefutation得られるよ。goalのbodyの先頭にTが入ってない限りさ。
68 :
非決定性名無しさん :02/04/13 02:14
>>64 Sで思い出したんですけど、手元にある『計算論入門』に
Sプログラムという記述があります。
これは世間ではWHILEプログラムと呼ばれているものだと
思うのですが、なんでSプログラムって言うんですかね?
S言語とは別物ですか?
69 :
非決定性名無しさん :02/04/13 04:56
C言語のぱくりみたいな名前だな
>>62 論理ってのは、少なくとも形式化する対象が論理式じゃないと
そういえないんじゃない?(単に用語の問題じゃなく)
もしCLの式がある主張をあらわす論理式と解釈できるなら、
論理でいいと思うけど。。どうなのよ
>>57 コンビネータ理論ってcombinatory logicの訳だったんですね。
今日テキスト読んでて書いてました。スマソ
72 :
非決定性名無しさん :02/04/19 02:37
(・∀・)イイ!
73 :
非決定性名無しさん :02/04/21 21:03
らむだってなによ?
74 :
非決定性名無しさん :02/04/24 01:20
強正規化性の証明は、帰着可能に持っていく手法が難しい。 だれか、統一的な手法の研究してないの?
75 :
非決定性名無しさん :02/04/24 23:27
なんで「ラムダ」計算っていうんですか?
わしゃしらん
77 :
非決定性名無しさん :02/04/28 12:47
ラムダってなに?
78 :
非決定性名無しさん :02/04/28 15:09
λ,lambda
79 :
非決定性名無しさん :02/05/04 04:28
最近、S, KコンビネータだけでUniversal Turing Machineを記述できたっていうのがあったよね。
80 :
非決定性名無しさん :02/05/06 23:03
81 :
非決定性名無しさん :02/05/06 23:18
数学基礎論でラムダ式っていうのが出てきた記憶があるが、俺はゼクェンツの方が難しかった。 半年ほど悩んでいたが、ある日、BNF記法のことを思い出して疑問は解消された。 数学者の説明ってホントわかりにくいよな。
82 :
非決定性名無しさん :02/05/08 06:55
∧∧ ヾ√(´・ω・`) <ふがっふがっショボーン UUU U
83 :
非決定性名無しさん :02/05/15 12:18
ラムダ計算のモデルってどうよ?
波長?
λ転移?
86 :
非決定性名無しさん :03/02/26 20:06
87 :
非決定性名無しさん :03/05/27 18:42
ラムダ式から再帰を検出するにはどうしたらいいのですか? DQNなのでわかりません。 よかったら教えてください。 式の展開中に同じ形の式が現れたら再帰? でも相互再帰が…… ムニャムニャ
あ、形なしです
えーと Yコンビネータを使って作ったような式から再帰を検出するアルゴリズムですね、 私が知りたいのは。 プログラム意味論とか読んでますけど DQNなのでよくわかりません;-; それでも少しずつ意味がわかるようにはなってきましたが……
もしかして共通部分式の削除と同じ問題かな?
91 :
非決定性名無しさん :03/09/02 04:13
計算可能性のモデルって,学部で ・チューリングマシン ・ラムダ計算 ・帰納的関数 の三つを習ったけど,他にどんなのがあるの?
92 :
非決定性名無しさん :03/12/10 23:25
学術スレage
93 :
非決定性名無しさん :04/01/02 07:55
学術スレage
94 :
非決定性名無しさん :04/01/02 17:57
学術スレage
95 :
非決定性名無しさん :04/01/04 05:26
学術スレage
96 :
非決定性名無しさん :04/01/07 23:11
学問あげ
97 :
非決定性名無しさん :04/01/25 12:16
>>91 クリーニの一般帰納的関数?
入門数学基礎論」に少し書いてあったかも
98 :
非決定性名無しさん :04/01/25 12:19
学問あげ
99 :
非決定性名無しさん :04/01/25 12:20
学問あげ
100 :
非決定性名無しさん :04/01/25 12:20
学問あげ
101 :
非決定性名無しさん :04/01/25 12:20
学問あげ
102 :
非決定性名無しさん :04/01/25 12:21
学問あげ
103 :
非決定性名無しさん :04/01/25 12:21
学問あげ
104 :
非決定性名無しさん :04/01/25 12:21
学問あげ
105 :
非決定性名無しさん :04/01/25 12:22
学問あげ
106 :
非決定性名無しさん :04/05/17 01:35
学術あげておこよ!
107 :
非決定性名無しさん :04/05/19 23:03
学問揚げ
>>1 は、学部生専門課程の話題に飢えてる引きこもり中退(元)学生
ねぇ、きみの人生の価値ってなんなのw
109 :
非決定性名無しさん :04/05/25 21:45
氏んでしまいたい
110 :
非決定性名無しさん :04/06/24 09:17
ギャランΛを知ってるかい?
111 :
非決定性名無しさん :04/07/29 00:17
久々に学問上げ
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
593 :
非決定性名無しさん :04/08/15 22:09
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
俺のバイト先は24時間営業している薬局で、店の前には店長が「客寄せ」のために 設置した、ものすごい勢いで左右に旗を振る電動式のパンダの人形が置いてある。 先日、俺が夜のシフトで勤務していたとき、入り口付近を掃除しようと思って外に出たら OL風の女性が、そのパンダの人形をじーーっと見つめていた。 近所でもキモイと評判のパンダなので、ああまた注目されてるなと、たいして気にもせず 掃き掃除をしていたが、どうもそのOLの様子がオカシイ。 パンダから目をそらさないまま、少しずつ歩み寄り、パンダとの距離を縮めていく。 何がしたいんだろうと不思議に思って見ていたら、突然OLが片手を振り上げて 構えの姿勢をとった。そしてパンダの持つ旗が大きく右に振られたときを見計らって がらあきになったパンダの顔面をドッと突いた。 呆気にとられている俺の視線を気にすることもなく、OLはパンダが旗を右に左に 振るたびに、正面にできる隙をついてパンダの顔をど突くど突く。 一定のリズムで、餅つきの杵のようにドッ・・・・ドッ・・・・・ドッと。 俺はしばらく黙って見ていたが、あまりにも怖いし、客の目によくないし、 何よりパンダの頭がグラグラし始めたので、勇気をふりしぼって、OLを止めた。 しばらくすると「あー!いたー!」という叫び声と共に、数人の男女が走ってきた。 明らかに酔っ払っている男たちは、OLをとっ捕まえると引きずるようにして去っていった。 その場に残って何やら携帯で連絡している女の人に何があったのか聞いてみたら、 さっきのOLは会社の飲み会が終わって居酒屋を出たとたん 「今ならあいつに勝てる気がする。ていうか勝つ」と言い残してどこかへ消えたそうだ。 パンダが彼女の何を刺激したのかは知らんが、OLとかってストレス溜まってそうだしなぁ。
sage
sage
sage
sage
sage
sage
sage
sage
sage
まだやな
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
何年か前、女子高生をドラム缶にコンクリ詰めにした少年グループの犯罪がありまし たよね。よく遊ぶ友人の家族が警察関係に勤めておられまして、その方からの当時のお 話です。 その方が警官になるときの教官がこの事件の取り調べをなさった方で、被害者が監禁 されていた部屋を見てただの青少年の犯罪とは思えなかったとおっしゃったそうです。 床・壁はもちろん天井にまで犠牲者の血が飛び散っていたのです。私がそこを聞き流す 様子を見て、「でもね、いっとくけどね。人を殴って天井に血はつかないよ。もう、だ らだら血を流している人間の顎を更に殴り上げるようなことをなんべんもくり返したん だよ」と。「さらってきた女の子相手に、いわゆるやくざや過激派のリンチ顔負けだよ 」。 ★聞くところによると、ドラム缶の中から出てきた遺体には頭髪が残っていなかった そうです。なぶられ続けたストレスで、生きている間に全部抜けてしまっていたんです ね。 40日間、100人ぐらいにまわされ、超暴力と超陵辱された。膣を灰皿代わりにされ、ji自慰を強制され、鉄の棒を突っ込まれ、ライターで火あぶり、その他むちゃくちゃ。(生きてるか死んでるかわからないが)ゴキブリも食わされたそうだ。 死体の顔は目の位置がわからないほど、変形し、親でも誰かわからず、原型をとどめてないほどで、性器のほうは顔よりもっとひどく完全に破壊されていた。死体の膣にオロナミンC2本はいっていた。 裁判記録は死ぬほどエグイ内容であった。「コンクリート詰め事件」で検索すればわかる。
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
696 :
非決定性名無しさん :04/08/16 02:31
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
もうじきだね
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
まんこ
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
sage
1001 :
1001 :
Over 1000 Thread このスレッドは1000を超えました。 もう書けないので、新しいスレッドを立ててくださいです。。。