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

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

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

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

たとえばプリミティブなコレクションが配列じゃなくて集合だとか。

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

どういうことだってばよ？

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

http://c2.com/cgi/wiki?SetOrientedProgramming

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

http://cmt.math.unipr.it/jsetl.html

**桃白白** ◆9Jro6YFwm650 · 2014/08/10(日) 21:53:00.69

SQLっていうのがすでにあるっすよ

1 · 2014/08/10(日) 22:07:52.74

ID違うと思うけど1です。
もうあるとかｗまじか。
まあ俺が思いつくようなことはほかの誰かがおもいついてもおかしくないが。
しかたないのでこのスレは>>4とかの言語を勉強するスレにするか。

**デフォルトの名無しさん** · 2014/08/10(日) 22:09:07.71

あれ、IDおなじだな。
IDの仕組みがよくわかってない俺。

**デフォルトの名無しさん** · 2014/08/10(日) 22:48:01.93

いや作れよ

1 · 2014/08/10(日) 23:02:45.16

>>9
まあ自分で作ったほうが面白いしな。
せっかくだから作るか。

**片山博文MZ次期CEO** ◆T6xkBnTXz7B0 · 2014/08/10(日) 23:06:18.79

多重集合についてはご存じかな？重複した元の個数を数えるものだけど。
RubyやPHP,JSなどの最近のスクリプト言語はリストを扱うのが簡単になってきている。
一般にリストはそのまま多重集合や集合と見なすことができる。
元の重複をなくすには、重複した元の追加を禁止するか、sort＆uniqueすればいい。

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

とりあえずプリミティブ型は集合。
構造体や配列なんかも基本集合で表現するようにする。

**片山博文MZ次期CEO** ◆T6xkBnTXz7B0 · 2014/08/10(日) 23:15:58.40

無限集合はどうするか？
写像はどうするか？

**デフォルトの名無しさん** · 2014/08/10(日) 23:16:09.88

>>11
Rubyは好きでちょくちょく使ってる。
Rubyの配列はかなりイイね。

**デフォルトの名無しさん** · 2014/08/10(日) 23:17:58.23

>>13
そのへんも集合論になるべく沿った方法で仕様を決められたら面白いかなと思ってる。

**片山博文MZ次期CEO** ◆T6xkBnTXz7B0 · 2014/08/10(日) 23:18:27.90

集合の集合をどうするか？

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

集合の集合はそんなにむずかしくないんじゃないか？
数学のとおりに扱えばいいだけだろう。

**片山博文MZ次期CEO** ◆T6xkBnTXz7B0 · 2014/08/10(日) 23:28:28.92

無限集合を含むデータ構造を扱うなら、構造体の要素に対す
る区間演算と区間のパターンマッチはサポートしないといけない。
[0,∞)∪(-8,-4]とか

**デフォルトの名無しさん** · 2014/08/10(日) 23:29:50.35

型をどうするかがまず問題だな。
普通のクラス的なものを許してしまっていいものか。

**デフォルトの名無しさん** · 2014/08/10(日) 23:33:00.94

>>18
無限集合を扱うと遅延評価とかそういうのが必要になってくるのかな。
結構めんどくさいな。
実用的かも怪しいし。
難しいな。

**デフォルトの名無しさん** · 2014/08/10(日) 23:38:37.89

所詮コンピュータが扱えるのは有限の世界だからな。。。
無限集合はあきらめるのが得策か。。。

**片山博文MZ次期CEO** ◆T6xkBnTXz7B0 · 2014/08/10(日) 23:40:46.61

特性関数ってご存じですか？

**デフォルトの名無しさん** · 2014/08/10(日) 23:44:53.13

いや知らない。
ぐぐってみたけど確率論の用語？

**片山博文MZ次期CEO** ◆T6xkBnTXz7B0 · 2014/08/10(日) 23:51:55.05

別名、集合の指示関数とか集合の定義関数とか言われる。

f(x)＝0; x∈Xでないとき、
f(x)＝1; x∈Xであるとき
を満たすfをXの特性関数という。

**片山博文MZ次期CEO** ◆T6xkBnTXz7B0 · 2014/08/10(日) 23:55:18.56

この「集合の特性関数」を型にするといいんじゃね？

**片山博文MZ次期CEO** ◆T6xkBnTXz7B0 · 2014/08/11(月) 00:01:36.05

∀x:any(x)＝1.
∀x:none(x)＝0.

var x:any.//全部
var y:none.//空集合

**デフォルトの名無しさん** · 2014/08/11(月) 00:02:37.88

面白そうだけど、コンピュータでうまく扱えるかなぁ。
たとえば、ある集合が空集合かどうかさえ、コンピュータには決定できなかったりするよね？
特性関数を特性関数のまま扱えばうまくいくのかなぁ。

**片山博文MZ次期CEO** ◆T6xkBnTXz7B0 · 2014/08/11(月) 00:11:32.04

区間演算って知ってる？

**デフォルトの名無しさん** · 2014/08/11(月) 00:18:19.72

>>1
Haskellでいいじゃん。

1 · 2014/08/11(月) 00:30:59.49

>>28
いや、知らない。
ぐぐってみたら区間の四則演算がのってたけど、これがどう役に立つのかわからない。

>>29
Haskellは触ったことないな。
そんなにいいの？

**片山博文MZ次期CEO** ◆T6xkBnTXz7B0 · 2014/08/11(月) 00:47:21.96

区間というのは数の集合だから、数の集合上の演算を
定義してやろうという話です。

**片山博文MZ次期CEO** ◆T6xkBnTXz7B0 · 2014/08/11(月) 00:53:40.33

集合の元は集合なのか？という問題が

**デフォルトの名無しさん** · 2014/08/11(月) 02:06:52.68

>>32
というか、集合を元とする集合を許してよいかどうか、という問題ですねえ
自己言及のパラドックスとか

**片山博文MZ次期CEO** ◆T6xkBnTXz7B0 · 2014/08/11(月) 02:21:22.82

特性関数を使うとパラドックスはどうなるか。これ宿題。じっくり考えてね。

1 · 2014/08/11(月) 08:56:36.65

集合を元とする集合は扱いたいな。
それすら扱えないんじゃ不自由すぎる。
正則の公理ってのでパラドックスは回避できるんじゃなかったっけ？
特性関数はそもそも定義域がよくわからんなぁ。

1 · 2014/08/11(月) 09:14:21.82

内部的な実装はともかく、外部仕様としては整数も集合であらわすことにするかな。。。
0=φ
1={φ,{φ}}
2={φ,{φ},{φ,{φ}}
...

**デフォルトの名無しさん** · 2014/08/11(月) 09:18:20.93

作れば？
壁にぶつかって悩む時間も含めて半年もあれば余裕だろ。

1 · 2014/08/11(月) 09:32:02.64

いやいや、そんなに簡単じゃないからｗ

**デフォルトの名無しさん** · 2014/08/11(月) 11:08:29.88

>>1
Z

**デフォルトの名無しさん** · 2014/08/11(月) 13:27:34.36

簡単じゃないって、1000時間あればさすがにできるだろう。何年もかけて洗練された言語というレベルの話をしているわけではないのだから。
つーか相談したいなら質問スレや雑談スレでやってほしいね。単発クソスレ立てるんじゃなくてさ。
考察や実装を報告したいならブログでね。

**デフォルトの名無しさん** · 2014/08/11(月) 14:11:41.44

面白そうだし別にいいじゃん
がんばれ

**デフォルトの名無しさん** · 2014/08/11(月) 14:42:29.95

結論出て実装終わったら起こして。

**デフォルトの名無しさん** · 2014/08/11(月) 15:26:58.26

>>36を見るとこりゃダメだってすぐわかる。
発想力　５段階中最低
実装力　５段階中最低

1 · 2014/08/11(月) 17:03:12.57

始めは全てを集合で表すつもりでいたけれど、現実的じゃないな。
やっぱタプルはタプル、リストはリストなんだよな。
無理やり集合で表現するのは無理がある。
全てのオブジェクトを集合にキャストできるってのなら
なんとかなりそう。

**デフォルトの名無しさん** · 2014/08/11(月) 20:48:03.17

lispでええやん

1 · 2014/08/11(月) 20:53:25.27

lispもあんまり触ったことないな
そんなにいいの？

**デフォルトの名無しさん** · 2014/08/11(月) 21:11:11.02

ありきたりな発想だから既存のものの問題点を知らないうちは
何を作っても新しいものは生まれない。

**デフォルトの名無しさん** · 2014/08/11(月) 21:18:09.44

実数を集合であらわす原理を明らかにしないと意味ない。
デデキントカットで集合をもって実数を表せるけど、そんなの計算機でどうあらわすかね

1 · 2014/08/11(月) 21:31:46.30

>>47
それは確かにそうだと思う。
>>48
意味不明。計算機で本当の実数は扱えないでしょ。
だからみんな浮動少数点とか使ってるわけで。

**デフォルトの名無しさん** · 2014/08/11(月) 21:33:16.67

某スレでカルネージハートみたいなビジュアル言語を作りたいとか言ってた奴の方がなんぼか発想力がある。（５段階で３）
だが論理性や実装力は致命的に皆無にみえた。
俺はそれをどう構成すればいいか知っているが教える義理はない。

**デフォルトの名無しさん** · 2014/08/11(月) 21:47:28.34

>>45-46を見るとこりゃダメだってすぐわかる。

**デフォルトの名無しさん** · 2014/08/11(月) 22:10:25.37

つまらんやつだな

1 · 2014/08/11(月) 22:38:00.43

>>52
なにを期待してたんだ。。。

**デフォルトの名無しさん** · 2014/08/11(月) 23:35:56.32

>>50
似た様なゲームで最近はACVDのUNACってのもある
ツリー構造と繰り返しで関数を嵌め込んで数値パラメータを関数に設定するだけの物だが

>>53
紫本を読もう

**デフォルトの名無しさん** · 2014/08/12(火) 12:26:24.53

不勉強な上に
他人を当てにしてのスレ立て
万死に値する

**デフォルトの名無しさん** · 2014/08/12(火) 12:46:04.68

>>55
己の未熟を>>1は告白してるからその言いようは酷いんじゃ無いのかな？

**デフォルトの名無しさん** · 2014/08/12(火) 13:45:33.28

>>1は偉いよ
日本では
>>51とか
>>55とか
いかにも世界に悪評高い「考えそのものを考え出していくことの意義」がわからん馬鹿が多いけどな
ま気にせずがんばれ

**デフォルトの名無しさん** · 2014/08/12(火) 14:37:19.20

いや、1が無知すぎて話にならないのが問題なんじゃ・・・
何度もネタ振りしてるってのに

1 · 2014/08/12(火) 15:09:14.84

そもそも集合論に基づいた言語を作りたいってのは
数学のテクニックをプログラミングに持ち込めるかなと思ったからだけど、
案外、そうでもないのかもｗ
根底から意義が揺らいできたｗ

**デフォルトの名無しさん** · 2014/08/12(火) 15:38:39.73

釣りか？釣りだよな
マジで言ってるのなら、計算機科学史を一からやり直してこい！

**デフォルトの名無しさん** · 2014/08/12(火) 16:15:20.95

>>59
ちょ、>>56で擁護した事根底から覆すかなもう

1 · 2014/08/12(火) 18:29:00.33

教科書に載ってるような問題を教科書に載ってる定義のまま
インプリメントしたら面白いかなーと思ったんだけど。
集合をプリミティブ型にしてもインプリメントが
劇的に変わることはないかなーと思い始めた。

**デフォルトの名無しさん** · 2014/08/12(火) 20:06:53.08

Coqでいいじゃん。

**デフォルトの名無しさん** · 2014/08/12(火) 20:28:06.45

二進数で自然に表現できるものを、わざわざペアノ算術から自然数の定義を頑張る意味がわからない

1 · 2014/08/12(火) 20:46:58.68

Coqって知らんなあ
証明支援言語？
それそんなにいいの？

1 · 2014/08/12(火) 20:51:54.62

>>64
それは俺もちょっと思ったｗ
まあ、全てを集合で表そうとおもったらそうなるというか。

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

>>66
二進数は元が含まれるか否かの２択で決まるから、十分集合と二値論理に依っているがな

**デフォルトの名無しさん** · 2014/08/13(水) 00:57:44.46

SQLでいいじゃないか

1 · 2014/08/13(水) 09:08:18.79

SQLもそんなに詳しいわけじゃないが
SQLは違うくね？

**デフォルトの名無しさん** · 2014/08/13(水) 09:44:32.05

ggrks

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

>>1の言う集合論的思想って何よ。

SQLが違うってんなら自分の思想を述べてみろよ。

**デフォルトの名無しさん** · 2014/08/13(水) 11:15:46.15

「計算機なら集合の操作がやりやすいはず！」なんて話は別にどこにもないからな
計算機科学って「集合論的な操作をいかに計算機上で効率よく実装するか」ってものだから
そもそも >>1 の主張がおかしいんだよ。

1 · 2014/08/13(水) 12:28:01.11

>>71
計算機科学の基礎になる集合論ではSQL見たいなデータの定義しないだろ。

>>72
昔はハードが高価でいかに効率よく実装するかが大事だったけど、
今はハードも高性能で安価になってきたから
もうちょっとハードがソフトに歩み寄ってもいいんじゃないの？
ということなんだが。

**デフォルトの名無しさん** · 2014/08/13(水) 13:27:22.49

>>73
たんに美学の問題なんだったら、
それこそ「どういうのが美しいのか」を例に挙げないと話が進まないんじゃねーの

1 · 2014/08/13(水) 18:42:03.57

こんどこそID違うと思うけど１です。
どういうのが美しいかというと、教科書の記述をコピペすると
それがそのまま実装になるような言語がいいな。
用途は主に教育用。実用性はあんまり追わない。

**デフォルトの名無しさん** · 2014/08/13(水) 19:07:44.67

意味不明

**デフォルトの名無しさん** · 2014/08/13(水) 19:14:36.99

美味しいものが食べたい

1 · 2014/08/13(水) 20:07:16.34

明日から２日くらいレスできなくなるけど、失踪したわけじゃないからな。
よろしく。

**デフォルトの名無しさん** · 2014/08/14(木) 00:15:37.33

ファジィ論理 - Wikipedia
ファジィ論理（ファジィろんり、英: Fuzzy logic）は、ファジィ集合から派生した多値論理の一種で、真理値が0から1までの範囲の値をとり、
古典論理のように「真」と「偽」という2つの値に限定されないことが特徴である。
ファジィ論理と確率論理は数学的に似ており、どちらも0から1までの値を真理値とするが、概念的には解釈の面で異なる。
ファジィ論理の真理値が「真の度合い」に対応しているのに対し、確率論理では「確からしさ」や「尤もらしさ」に対応している。

■[QC]量子コンピュータの基礎：振幅の初期化
本記事は、量子コンピュータの初期状態の作り方についてです。1998年に発表された手法です。
状態
2量子ビットの場合、0,1,2,3と4つの状態が作られます。
http://d.hatena.ne.jp/cgi-bin/mimetex.cgi?\sqrt{\frac{1}{2}}|1>~+~\sqrt{\frac{1}{2}}|3>
を観測すると、振幅http://d.hatena.ne.jp/cgi-bin/mimetex.cgi?\sqrt{\frac{1}{2}}
の2乗が出現確率なので、この状態を「観測」すると、50%の確率で|1>、50%の確率で|3>が得られます。
問題は、この状態をどうやって人為的に作り出すかというお話しです。
このレベルですら、論文になるほどの内容…。
http://d.hatena.ne.jp/yukoba/20090928/p1

量子プログラミング言語
蓮尾一郎（東京大学大学院情報理工学系研究科）
星野直彦（京都大学数理解析研究所）
量子プログラミング言語とは――研究の動機
量子計算の分野においてアルゴリズムを記述するためには，量子回路が用いるのが一般的だろう．
一方で，（量子でない）古典アルゴリズムを回路で表現することはあまりなく擬似コードとよばれるプログラムもどきが用いられる．
この一点においてすでに「量子計算のためのプログラミング言語とはどのようなものか？」という疑問が自然に浮かびあがるのであり，
筆者らはこの疑問に答えるべく（おもに数学的なアプローチから）研究を行っている．
しかし以下ではさらにもう少し，「量子プログラミング言語の実現によって何が可能となるのか？」ということについて論じたい．
http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/papers/quantProgLangJapaneseMar2014.pdf

**デフォルトの名無しさん** · 2014/08/14(木) 07:53:05.12

http://en.wikipedia.org/wiki/Z_notation
http://wwwold.stups.uni-duesseldorf.de/publications/proz.pdf

**デフォルトの名無しさん** · 2014/08/14(木) 22:20:55.55

「全貌はともあれこういうことをこうカッコよく書けそう」みたいなのをみたい

**デフォルトの名無しさん** · 2014/08/15(金) 12:53:42.95

http://www.buzzword.jp/img/face10.png

1 · 2014/08/16(土) 08:32:34.29

>>81
とりあえず、正規表現と有限オートマトン、文脈自由言語とプッシュダウンオートマトン
あたりを美しく、または教科書のとおりに書きたいなと思ってる。
具体的な案はまだない。

**デフォルトの名無しさん** · 2014/08/16(土) 09:06:38.11

意味不明。雰囲気だけで語るな。