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

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

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

**デフォルトの名無しさん** · 2014/10/07(火) 11:06:53.72

どうせなら、量子コンピューターで使う言語にまでにして欲しいな。

１ · 2014/10/07(火) 21:14:56.86

量子コンピュータってまだ有効なアルゴリズムが２つ３つしか発見されてないんじゃなかったけ。

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

量子状態を集合的に扱うと便利。

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

>450
少ない公理だけでやるんだったらProlog (HornCNF) で十分だと思う。
というかPrologがろくに検討されていないのはなぜ？

１ · 2014/10/07(火) 22:20:49.79

Prologもやってみる価値あり？

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

公理論ベースのプログラミング言語というのにPrologを検討してないとか意味わからなすぎ

**デフォルトの名無しさん** · 2014/10/08(水) 11:09:43.78

単なる述語論理じゃないか。

**デフォルトの名無しさん** · 2014/10/08(水) 12:20:34.72

>>1ってそもそも集合論、公理的集合論を系統的に学んだこと無いだろ？

**デフォルトの名無しさん** · 2014/10/08(水) 12:47:37.54

既存の言語に有限集合演算を追加するところから始めれ。
クソスレが一個増えただけで終わる前に。

**デフォルトの名無しさん** · 2014/10/08(水) 18:43:36.24

ここは元々>>1の勉強ｽﾚ

1 · 2014/10/08(水) 18:47:59.90

>>458
ばれたか。ZFCとか名前くらいは聞いたことあるけど
どうやって論理を展開していくのとか知らない。

>>459
出来ればもうちょっと面白いアイディアが欲しい。
クソスレも板の賑わいってことで。

**デフォルトの名無しさん** · 2014/10/08(水) 20:19:42.08

1が今まで読んできた教科書教えて

１ · 2014/10/08(水) 20:46:16.58

あんまりいうと個人情報とか洩れるかもしれんので一つだけ。
もう捨てちまって手元にないがこれかな。
http://www.amazon.co.jp/dp/4274130053

**デフォルトの名無しさん** · 2014/10/08(水) 22:26:27.29

じゃあ個人情報が漏れない程度の大雑把さで何を学んできたか教えて

１ · 2014/10/08(水) 22:32:55.73

そんな漠然としたこと聞かれても。
まあ、情報系の学部出身だよ。

**デフォルトの名無しさん** · 2014/10/08(水) 23:00:13.01

人生……かな

**デフォルトの名無しさん** · 2014/10/08(水) 23:04:08.42

>>59を見てどの程度の知識があるのか気になったのよ
数学科ではないのね

１ · 2014/10/08(水) 23:24:26.28

数学科ではないな。
まあ、俺は数学ガチ勢ではないってことで。

**デフォルトの名無しさん** · 2014/10/08(水) 23:51:56.29

>>465
それにしてはレベルが低いな。

**デフォルトの名無しさん** · 2014/10/09(木) 14:59:21.86

>スクリプト言語でありながら、速度も求めた Julia という言語。
> Julia は科学技術計算向けだが、汎用的な用途にも使える。
http://julialang.org/

集合論とはちょっと違うが、こういう言語を作るのって、プログラミングとはまた別の頭の良さが必要なんだろうなあ・・・

**デフォルトの名無しさん** · 2014/10/09(木) 18:53:47.65

>>463
こんなの学部一、二年だろ？
http://www.amazon.co.jp/Constraint-Logic-Programming-Selected-Research/dp/0262023539
こういうの読みなよ。

**デフォルトの名無しさん** · 2014/10/09(木) 19:18:35.22

constraint logic programming‥

メジャーなもののなかで一番近い言語はなんですか

**デフォルトの名無しさん** · 2014/10/09(木) 19:25:16.95

これのOｚだよ。
http://www.amazon.co.jp/dp/4798113468/

１ · 2014/10/09(木) 20:10:14.35

>>469
こんなもんじゃね？

>>470
インタプリタでCに迫る速度とかホンマかいな？
まあ、速くて書きやすいのはいいことだ。

>>471
わざと難しそうなの持ってきてない？

**デフォルトの名無しさん** · 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
後出しジャンケンといわれても困るんだが。