集合論に基づいた言語を作りたい

**デフォルトの名無しさん** · 2014/08/10(日) 21:27:16.56

計算機科学の基礎は集合論であるという。
ならば、集合論に基づいた言語を作れば美しい言語になるのでは？
そんな発想から徹底的に集合論的思想で言語仕様を考えるスレです。

**デフォルトの名無しさん** · 2014/10/11(土) 12:51:05.92

この板でハッとさせられるような事言う奴滅多にいないんだよな。
たまに居ると思ったら５年前の自分の書き込みだったw

**デフォルトの名無しさん** · 2014/10/11(土) 13:27:28.71

>>475
つまり、おまえは5年間進歩してないんだな。

**デフォルトの名無しさん** · 2014/10/11(土) 15:22:20.55

とっくに出てると思うけど、SQLがまさに集合論をベースとしてる
今ではC#がLINQという名前で取り込んでるな

**デフォルトの名無しさん** · 2014/10/11(土) 16:17:13.48

それは集合論ではない。
集合や集合演算を扱えるだけ。

**デフォルトの名無しさん** · 2014/10/11(土) 17:10:54.15

>>477
それSQLじゃなくてRDBシステムが集合論つかってるってことじゃないのか？

**デフォルトの名無しさん** · 2014/10/11(土) 18:08:16.60

集合操作だから集合論とか言うの止めてくれないか

**デフォルトの名無しさん** · 2014/10/11(土) 20:16:24.89

SQLは集合論つーより代数論だ。

**デフォルトの名無しさん** · 2014/10/11(土) 20:16:36.33

別に素朴集合論に単純な型を付けたようなもので普通に用は足りるだろ。
公理的集合論だからといって現実的には何かできることが増えるわけじゃないぞ。
単に数学の基礎を議論する時に必要というだけで。

**デフォルトの名無しさん** · 2014/10/11(土) 20:18:28.72

>>482
その程度のものなら既存で腐る程あるだろ、って話を何度ループすれば気が済むんだ？

**デフォルトの名無しさん** · 2014/10/11(土) 22:48:51.28

で、集合論に何を夢見てるんだ？

**デフォルトの名無しさん** · 2014/10/12(日) 00:31:12.35

素朴集合論ってカントールの集合論のことだぞ。
中学生が習うやつじゃないぞ。

**デフォルトの名無しさん** · 2014/10/12(日) 02:13:46.33

カントンが手術したらモテモテになると勘違いしている様>>1

**デフォルトの名無しさん** · 2014/10/12(日) 20:49:20.54

だから「単純な型を付けたようなもの」って言ってるだろ。
その意味がわかってない？

**デフォルトの名無しさん** · 2014/10/12(日) 20:55:04.62

お前が分かってない。

**デフォルトの名無しさん** · 2014/10/12(日) 21:08:23.19

なんとなくだけど、結論を急いで、できないとか意味がないとか言って、一切の建設的な意見を出さず、妨害だけする人って居るよね？

**デフォルトの名無しさん** · 2014/10/12(日) 21:17:15.44

そりゃこの広い世界のどこかにはそういう人も居るかもしれないね

**デフォルトの名無しさん** · 2014/10/12(日) 21:35:02.06

素朴集合論に型を付けたらうまくいくんじゃね？
とやってみたら恐ろしく複雑で不自由になったのがフレーゲのタイプ理論。
その後100年近く塩漬け状態。
それなら集合とクラスの二つだけに分けて、後はあまり強く型付けしなければ、
カントールの楽園から追放されないんじゃね？
というのがツェルメロの公理的集合論。

集合論、集合論と言っている人は、
無限公理や正則性公理を積極的に言語で使うつもりがあるのかな?
↓必要なのはここまでなんじゃないのかな。
http://ja.wikipedia.org/wiki/%E9%9B%86%E5%90%88%E3%81%AE%E4%BB%A3%E6%95%B0%E5%AD%A6

**デフォルトの名無しさん** · 2014/10/12(日) 22:31:37.21

>>489
どのレス？

**デフォルトの名無しさん** · 2014/10/12(日) 22:35:38.76

S Set
T Theory
P Programming

Aはどうしよう。

**デフォルトの名無しさん** · 2014/10/12(日) 22:38:10.76

advanced
application
applied

**デフォルトの名無しさん** · 2014/10/12(日) 22:44:43.09

the set theory applied programming (STAP) language

略してSTAP言語

**デフォルトの名無しさん** · 2014/10/13(月) 00:27:06.12

で、できたの？

**デフォルトの名無しさん** · 2014/10/13(月) 00:34:39.55

200回ぐらい。

**デフォルトの名無しさん** · 2014/10/13(月) 05:17:51.25

>>489
既存研究のサーベイが皆無なバカが悪い

**デフォルトの名無しさん** · 2014/10/13(月) 09:30:42.66

>>496
ありま～す

**デフォルトの名無しさん** · 2014/10/13(月) 17:01:25.51

1.動機
2.仕様
3.実装
と進む。前段階へのフィードバックもある。
まだ1.の整理がつけられてない状況。

**デフォルトの名無しさん** · 2014/10/13(月) 18:07:14.67

まずどんな出力を得たいかを書く
次にそれを得るのに入力に何が必要かを書く
これで仕様決めまで終わるよね
入出力が決まってれば実装手段なんて何でもいい

**デフォルトの名無しさん** · 2014/10/13(月) 19:11:43.08

こういう状態
>>425 >>428

**デフォルトの名無しさん** · 2014/10/13(月) 20:12:54.48

オブジェクトは全て集合で
ペアノの公理を入力したらそれに則って足し算ができるようになる言語は
どうかな？

**デフォルトの名無しさん** · 2014/10/13(月) 20:22:39.44

足し算しかないのはプレスバーガー算術といって、完全理論だよ
（どの命題も肯定か否定かどちらか一方が証明可能って意味）
足し算とかけ算の混じったペアノ算術は不完全理論だけど

**デフォルトの名無しさん** · 2014/10/13(月) 22:25:59.32

>>503
ノイマンの自然数の構成も必要だぞ。

**デフォルトの名無しさん** · 2014/10/14(火) 09:11:24.51

集合への四則演算は濃度に変化無しだよな？
即ち、四則演算はしなくていいって事。

**デフォルトの名無しさん** · 2014/10/14(火) 13:04:54.64

濃度を増やすことが目的じゃなくて
計算結果を求めるのが目的だろうが

**デフォルトの名無しさん** · 2014/10/14(火) 14:33:07.44

これとかいいんじゃね
http://peace.2ch.net/test/read.cgi/tech/1407673636/

**デフォルトの名無しさん** · 2014/10/14(火) 17:47:21.71

外野として面白く見守ってるだけでいうのもアレだけど
具体的に章末問題をひとつ持ってきて「これをこう書きたい」っていうのがみたい！
１さんだけじゃなくてここに居る皆さんで「こう書いたら気持ちよさそう～」とかでいいからサ

**デフォルトの名無しさん** · 2014/10/14(火) 19:09:39.61

0=φ
1={φ}
2={φ{φ}}
3={φ{φ}{φ{φ}}}
4={φ{φ}{φ{φ}}{φ{φ}{φ{φ}}}}

は良いとして、このノイマンの表現法で通常の４則演算ってどういう意味があるの？
２＋２＝４　　ってこの右側の集合の記法でどうやってでてくるんだ？？

**デフォルトの名無しさん** · 2014/10/14(火) 20:03:06.07

ラムダペアノでググれ

**デフォルトの名無しさん** · 2014/10/14(火) 20:40:10.02

>>511
ラムダとペアノの奴っていうのは

後者関数と射影関数を使って原始帰納法から原始帰納的関数を定義する方法で
加算を定義するというものと内容的に同値だろうから、

この自然数を包含関係で表現してみた集合に対する演算の定義とは違わないか？

**デフォルトの名無しさん** · 2014/10/15(水) 07:50:36.68

>>510
それはまず
0:=φ
succ(x):=x∪{x}
があって、そこから
1:=succ(0)=φ∪{φ}={φ}
2:=succ(1)={φ}∪{{φ}}={φ∪{φ}}
…
と順に定義していくから
結局はペアノの焼き直しに過ぎない

**デフォルトの名無しさん** · 2014/10/16(木) 00:40:06.63

>>510
四則演算の意味は四則演算w

ペアノの公理に出てくるプリミティブを定義しないといけないから、
succは>>513、lessは∈に帰着させる。
たぶんlessを先に考えたのだろう。

**デフォルトの名無しさん** · 2014/10/17(金) 13:53:23.37

>>511
ノイマンの集合モデルとチャーチのラムダ式モデル(チャーチ数)は、ペアノの自然数の別のモデル。

１ · 2014/10/17(金) 22:20:25.82

最近書き込むネタがないな。
>>509
なんかお題くれ。

**デフォルトの名無しさん** · 2014/10/17(金) 22:55:41.78

>>516
一つの海によって隔てられた２つの国の領土が与えられたときに、海上に２国の中間線を引くプログラムを作れ
ここで、中間線とは２国の海岸線から等距離になるような線のことである

１ · 2014/10/17(金) 23:03:16.81

まためんどくさそうな問題を。。。
海岸線のデータは多角形で与えられるの？
入力データ作るだけもでかなり面倒だなぁ。

１ · 2014/10/17(金) 23:20:00.94

できれば１００ステップくらいで実装できるの希望。

１ · 2014/10/17(金) 23:30:05.44

垂直二等分線がカギになるのかな。
どっちにしろむずかしすぎ。

**デフォルトの名無しさん** · 2014/10/17(金) 23:53:33.32

関数型言語(笑)でいいと思うよ

**デフォルトの名無しさん** · 2014/10/18(土) 00:33:49.53

>>516
どの教科書に載っているどういう問題をどのように書ける言語にしたいのか、1が言わなきゃどうしようもない。
>>62 >>75 >>83 >>300 >>305

１ · 2014/10/18(土) 09:56:05.69

>>522
教科書は離散数学とかアルゴリズムのやつで。
どのように書ける言語にしたいかはまだアイディアないってことで。
みんなで雑談するうちになんか出てくればいいなと思ってる。

**デフォルトの名無しさん** · 2014/10/18(土) 12:22:35.42

>>517
実際のデータをおいている場所をご存知のかたはおられませんか？

**デフォルトの名無しさん** · 2014/10/18(土) 14:38:07.57

>>523
(まだ手元にある>>463)教科書や扱いたい問題を「いくつか具体的に」示せ、
言語仕様も叩き台になるものを示せ、
1がそうしたことすらやらないんじゃどうしようもない、
ってことだろうに。

http://www.weblio.jp/content/%E3%81%9F%E3%81%9F%E3%81%8D%E3%81%A0%E3%81%84

**デフォルトの名無しさん** · 2014/10/18(土) 14:48:23.34

SymPyでいいよ。
http://docs.sympy.org/latest/modules/sets.html

1 · 2014/10/18(土) 19:42:31.60

>>524
データ出されてもこんな問題多分とけんぞ。
仮に解けたとしても相当時間かかる。

>>525
もう俺はネタもってない。

>>526
無限あつかうのか。よくこれでまともに動くな。驚くわ。

**デフォルトの名無しさん** · 2014/10/18(土) 21:20:22.32

>>527
自分の持ってる本に載ってる問題の中から一つ挙げてくれるだけでもいいと思うよ
あと、他人の協力を必要としてるのに他人の出した問題にケチをつけるのはよくないよ

１ · 2014/10/18(土) 21:42:25.30

>>528
ケチつけるというか、難易度が半端ないんだが。
もうちょっとお手軽に楽しめるお題を期待していた。

それと本からじゃないけど暇つぶしに一個出題。

一本の紐がありこれを次の操作を９回繰り返して切断する。

操作「今ある紐の断片からランダムに一つ選択し三等分する。」

この操作を行った後、紐の断片をランダムに２つ選択する。
２つの断片の長さが等しい確率を求めよ。

※未解決な問題
操作をn回行った後断片をランダムに２つ選択したとき長さが等しい確率をp(n)とおく。
lim[n→∞]p(n)はいくつになるか。

**デフォルトの名無しさん** · 2014/10/18(土) 22:05:05.10

これに計算機必要なの？

１ · 2014/10/18(土) 22:12:35.28

>>530
手計算でやりたいなら止めないが。

**デフォルトの名無しさん** · 2014/10/18(土) 23:08:22.47

継続中
>>425 >>428

今度はプログラミング言語と関係ない問題をだしてみたり

１ · 2014/10/18(土) 23:22:35.69

>>532
まあ、ネタもないしな。
このスレは基本雑談ってことで。

**デフォルトの名無しさん** · 2014/10/19(日) 09:37:05.49

あらら。
集合論関係無く、集合操作したかったってことでしょ？
で、聞いてみたら既にいろんな言語（ライブラリ）が存在したと。

１ · 2014/10/19(日) 17:36:40.59

>>534
まあ少し面白い話にならないかと期待してた。
具体的なアイディアはないんだが。

**デフォルトの名無しさん** · 2014/10/19(日) 17:46:26.61

>>535
まだ手元にある離散数学やアルゴリズムの教科書や、それに載ってる演習問題を挙げる
程度のことすらしないのはなぜ? その程度で

>>463
個人情報とか洩れる

わけがないのに。

１ · 2014/10/19(日) 19:25:17.13

>>535
×まあ少し
○もう少し

>>536
じゃあ、まあ、教科書から一個出題。

ニ?ゲームはスティックの山の集まりを用いたゲームである。
一つの手番でプレーヤーはどれか一つの山から１個以上のスティックを取ることができる。
プレーヤーは交互に順番に手番を行う。そして最後のスティックを取るプレーヤーを負けとする。
いま、ニ?ゲームの局面としてs_1,s_2,...,s_k本のスティックからなるｋ個の山が与えられているとする。
与えられた局面に対し、先手必勝かどうかを判定せよ。

１ · 2014/10/19(日) 19:29:53.16

あれ、文字化けしてんなぁ。
ニムゲームね。

１ · 2014/10/19(日) 21:14:49.94

ちなみに>>529の問題はRubyで689byteで実装できた。
もっと短くかける言語があるよ！という人がいたら教えて。

**デフォルトの名無しさん** · 2014/10/19(日) 21:24:53.85

>>537
まだ手元にある離散数学やアルゴリズムの教科書を何冊か挙げる程度のことすらしないのはなぜ?

１ · 2014/10/19(日) 21:38:28.27

>>540
これとか。
http://www.amazon.co.jp/dp/4320029488/
もう捨てちまってあんまり持ってないんだよ。

**デフォルトの名無しさん** · 2014/10/19(日) 22:07:12.36

教科書捨てる奴ってw　学術的な研究はとっとと諦めた方がいい。向いてない。

**デフォルトの名無しさん** · 2014/10/19(日) 22:15:08.20

>>541
「あんまり」じゃなくて「一冊しか」だろ。

１ · 2014/10/19(日) 22:20:34.02

>>542
まあな。

>>543
そう責めるな。

**デフォルトの名無しさん** · 2014/10/19(日) 22:28:38.99

>>541
捨てたんじゃなくて元からその一冊しか持ってなかったんだろ。
で、その本を読んで「集合ってスゲー」と思い、勢いでこのスレを立ててしまったと。

１ · 2014/10/19(日) 22:38:57.73

>>545
学生のころ使ってた教科書はほとんど捨てたよ。
まあ、勢いでスレたてたのは認める。

**デフォルトの名無しさん** · 2014/10/20(月) 09:04:25.01

>>533
> このスレは基本雑談ってことで。
君は軽い気持ちで立てたスレかもしれないが、多くの住民はム板にクソスレを立てるべきではないと感じている。
だから君への風当たりが強いのである。
雑談なら雑談スレやブログやVIPでやればよい。まあ、このスレを使い切った後にな。

**デフォルトの名無しさん** · 2014/10/20(月) 10:17:53.34

だから、巡回セールスマン問題とかの為に、量子コンピューター用の言語にすればいいのに。

**デフォルトの名無しさん** · 2014/10/20(月) 12:52:46.72

とりあえず圏論を学習してからにしてくれ

**デフォルトの名無しさん** · 2014/10/20(月) 18:45:10.40

>>546
で、結局何がしたいの？後出しジャンケンがしたかっただけ？

１ · 2014/10/20(月) 19:25:51.34

>>547
まじで。

>>548
量子コンピュータでNP完全問題って多項式時間でとけるようになったのか。
時代は進歩してるな。

>>549
じゃあ、>>549が教えてくれ。

>>550
後出しジャンケンといわれても困るんだが。

**デフォルトの名無しさん** · 2014/10/20(月) 20:21:35.78

教科書捨てるくらいだから頭の中空なんだろ。アイディアもない。
普通ならアホなアイティアで収拾つかなくなってなきゃいけない。
そういうカオスが偶然ぷよぷよみたいに連鎖して新しい発想になる。
才能無い人が努力やコミュ力で才能ある人を打ち負かすっていう
根性論はもう見飽きた。

１ · 2014/10/20(月) 20:43:37.79

>才能無い人が努力やコミュ力で才能ある人を打ち負かすっていう
アニメかなんかか？

**デフォルトの名無しさん** · 2014/10/20(月) 20:58:59.44

デスマーチとかやってるのは才能ないやつ（納期ギリギリまで上流工程やってる上司＋素人同然のコーダー）を寄せ集めてやってるからだと思う。
だから　デスマーチ＝根性論　と思っている。断っておくが、アニメの話でもある。

１ · 2014/10/20(月) 22:04:32.06

なぜに突然デスマーチ？
カオスだ偶然だで新しい発想は出ないと思うぞ。
根性からはでるかもしれんが。
まあ、新しいものってのはセオリーに裏打ちされてるもんだよ大抵。

**デフォルトの名無しさん** · 2014/10/20(月) 22:15:50.47

ある世界Aには学術体系、理論体系が構築されている。
もう一つの世界Bがゴチャゴチャのカオスだとする。
AとBの間には写像のように紐付けがされている。
発想は世界Bから生まれる。
世界Bが空なのが1だ。

１ · 2014/10/20(月) 23:08:08.26

>>556
まじでそんな世界観で生きてんの？
アニメの見すぎじゃね？

**デフォルトの名無しさん** · 2014/10/20(月) 23:17:33.77

世界Bが空というのは「頭が空」という意味だから言い過ぎた。すまん。
>>1の発想が尽きたのは、
世界Aの一部と世界Bが一対一対応で同じだからか、
世界Bがあまりに小さいからだと考えられる。

**デフォルトの名無しさん** · 2014/10/21(火) 04:55:39.53

>>551
クレクレ言うから条件に合いそうなものを提供すると、
別の条件を出してソレジャナイと言う。
かといって、自分から何かを提供するわけでもない。
ひたすらクレクレ言い続けて、ソレジャナイと返し続ける。

そういうのを後出しジャンケンと言う。

**デフォルトの名無しさん** · 2014/10/21(火) 05:07:05.92

後出しかぁ
どうせなら中出しの方がいいな

**デフォルトの名無しさん** · 2014/10/21(火) 08:21:27.32

ジャンケンﾄﾞﾋﾟｭｯ

**デフォルトの名無しさん** · 2014/10/21(火) 11:02:34.86

このチラ裏まだやってたのか
まだ見限ってない人がいるんだな

**デフォルトの名無しさん** · 2014/10/21(火) 14:21:29.74

>>559
本当にそれのくりかえしだもんな。

１ · 2014/10/21(火) 19:14:06.10

>>559
>>563
今の状態で後出しジャンケンというなら、今後も後出しジャンケンは続くとしか言えないな。
まあ、愛想をつかすというなら>>559 >>563の勝手だよ。

**片山博文MZ次期CEO** ◆T6xkBnTXz7B0 · 2014/10/21(火) 20:10:33.19

>>1
ネタ切れか？まずは、命題論理を実装した言語を作ってもらいたい。

a = true;
b = false;
c = a && b;
println c; //false

さあ、できるかな？

**デフォルトの名無しさん** · 2014/10/21(火) 20:13:11.64

後出しジャンケン継続宣言w

１ · 2014/10/21(火) 20:34:57.34

>>565
C++でいいんじゃないか。

>>566
まあ、俺の技量には限界があるからな。

**片山博文MZ次期CEO** ◆T6xkBnTXz7B0 · 2014/10/21(火) 20:46:47.47

>>1は、大学か独学でコンパイラやスクリプト言語の作り方の勉強をしたのかね？

１ · 2014/10/21(火) 21:00:41.61

>>568
さわりだけ。
ぶっちゃけ、ひらがな電卓はかなりすごいと思う。

**片山博文MZ次期CEO** ◆T6xkBnTXz7B0 · 2014/10/21(火) 21:08:49.12

新しく言語を作るなら、バックエンドはGCC系、LLVM系、他言語変換系(Java,JS,C,C++)のいずれかが妥当だろうな。

**片山博文MZ次期CEO** ◆T6xkBnTXz7B0 · 2014/10/21(火) 21:21:00.17

GCCで作るなら、GDCのソースを読むべし。

GDC (D Programming Language for GCC)

**片山博文MZ次期CEO** ◆T6xkBnTXz7B0 · 2014/10/21(火) 21:27:37.89

言語変換で作るなら、Pascal⇔C変換プログラムのソースを読むべし。

１ · 2014/10/21(火) 21:28:12.21

LLVMとか多分無理。
他言語変換系がいいかな。
個人的にはRubyが好みなんだが。

**片山博文MZ次期CEO** ◆T6xkBnTXz7B0 · 2014/10/21(火) 21:57:41.40

Ruby上で推論・数式処理・計算をする実行時モジュール作ればいいんじゃね？