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

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

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

１ · 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上で推論・数式処理・計算をする実行時モジュール作ればいいんじゃね？

１ · 2014/10/21(火) 22:36:26.49

なぜに突然、推論、数式処理がでてくるのかわからんが。
わざと面倒くさそうなの持ってきてない？

**デフォルトの名無しさん** · 2014/10/22(水) 05:45:57.21

集合論扱うのに必須だからだろ

**デフォルトの名無しさん** · 2014/10/22(水) 05:48:31.37

ルビ厨ってこんなんばっかり
威勢のいいこと言うだけで自分は何もしない
他人や他言語の成果に乗っかるだけ

**デフォルトの名無しさん** · 2014/10/22(水) 15:09:01.24

Rubyまでとばっちりw

**デフォルトの名無しさん** · 2014/10/22(水) 18:30:22.20

>>559
「わざと難しそうなの持ってきてない？」「わざと面倒くさそうなの持ってきてない？」と言ってみたり >>474 >>575

**デフォルトの名無しさん** · 2014/10/22(水) 19:56:19.33

>>517
二つの海岸線を曲線L1, L2とおいた時に、あるp(x,y)∈L1と曲線L2との中間点を
pとpを通る傾き-dx/dyの直線lとL2との交点との間にひかれる線分の中点とすると、
二つの海岸線の中間線はこの中点を集めたものになる？

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

設問の矛盾が問題ややこしくしているだけ。
その矛盾とは湾だ。湾を除外すれば簡単になる←このへんの要領の良さが仕事では重要。
まず陸地に外接する凹みのない多角形を生成すればいい。
次に各国の外接多角形どうしから等距離の点の軌道を求めればよい。

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

国Aの外接多角形上の点を定めれば、そこから国Bへの最短距離の線分が定まる。その中間点は明らかに
国Bから同様の手順で求めた中間点と同じだ。だからその軌道で中間線は定まる。

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

なお凸な外接多角形を用いない場合、中間線は定まらない。

**デフォルトの名無しさん** · 2014/10/22(水) 23:34:03.55

設問（仕事における設計）を改変したことで怒られることはありえるので、アホ設計者に相談するのが先決である。

**デフォルトの名無しさん** · 2014/10/22(水) 23:58:12.26

定まらなくもないか、凹の部分の曲率が、相手国から引いた最短距離を半径とする円より小さいならば定まる。

**デフォルトの名無しさん** · 2014/10/23(木) 01:20:06.15

ああそっか、最短距離でいいのか…いらんこと考えて複雑にしてたthx
http://pastebin.com/LqkjJc5k

**デフォルトの名無しさん** · 2014/10/23(木) 01:51:05.76

何がムカつくって、>1が何もするつもりが無さそうなのに成果だけクレクレ言っているところだよな。

>1はPrologについて調査したのか？

**デフォルトの名無しさん** · 2014/10/23(木) 02:14:57.76

最短距離じゃない。線分とそれを微小移動させた線分とが作る平行四辺形の密度が全海域に渡って一定となるように微小移動（速度関数）を決めればいいのか。
微分積分の問題。

**デフォルトの名無しさん** · 2014/10/23(木) 02:16:30.21

平行四辺形じゃなくて四角形 ,ねじれて２つの三角形になることもある。

**デフォルトの名無しさん** · 2014/10/23(木) 02:20:07.97

ねじれて２つの三角形になることもある→ない。

**デフォルトの名無しさん** · 2014/10/23(木) 04:45:24.37

で、それのどこが集合論？

**デフォルトの名無しさん** · 2014/10/23(木) 04:46:42.26

ID:TE8bWo7Y は病気なんです。何も言わずにNGして下さい

**デフォルトの名無しさん** · 2014/10/23(木) 09:00:17.01

>>588
別に海岸線上の点を連続的に動かす必要ないでしょ
一般に距離空間において点Pから集合A,Bまでの距離をそれぞれd(P,A),d(P,B)とおくと
これらは連続関数になるからd(P,A)=d(P,B)を満たす点Pの集合を求めりゃいいだけ

**デフォルトの名無しさん** · 2014/10/23(木) 12:20:33.04

海岸線を微分するためには連続関数にしなければならない。
そのためにはまずB-spline曲線近似する必要がある。
プロットした点を除外し再計算することでB-splineから湾を除去することもできる。
このように海岸線をパラメトリック曲線で表すことにより
パラメータの範囲を求めることができる。
どのように求めるかというと２つのパラメトリック曲線上の点が
２つの海岸線の共通の接線となる値を求め、それの最大と最小を求めればいいのだ。
これにより分割すべき海域が求まる。
次に海域を等密度で並ぶ線を求めることを考える。

**デフォルトの名無しさん** · 2014/10/23(木) 12:25:21.29

訂正；２つのパラメトリック曲線上の点が→２つのパラメトリック曲線上の点を通る線が

**デフォルトの名無しさん** · 2014/10/23(木) 12:40:29.47

そんなことしなくてもいいか。
２つのB-spline曲線上の点を結ぶ線分で、他の箇所と交わらないようにパラメータの最大と最小を求めればいい。

１ · 2014/10/23(木) 18:46:19.11

>>587
Prologだとどんな問題がHaskell,Rubyよりうまく解けるの？
なるべく人為的でない自然な問題希望。

>>596
すげぇ難しそうですね。
俺はもうギブアップです。

**デフォルトの名無しさん** · 2014/10/23(木) 19:35:25.06

B-spline以外にもC1連続な曲線なんていくらでもあるだろ

**デフォルトの名無しさん** · 2014/10/23(木) 19:39:22.10

さて２つのB-spline曲線をF(t),G(t) とする。
２つの曲線上の点を結ぶ大陸間横断線分が海域を等密度で並ぶようにし,F,G間の関係式を求めてみよう。
まずその線分が微小移動したときにできる細い四角形の面積を求める。
２つのベクトルのなす三角形の面積の外積公式より
A=(1/2)*|ΔF×L|
B=(1/2)*|ΔG×(-L)| (面積が負にならないようにベクトルの向きを逆にするといい)
A+Bが細い四角形の面積であり、これを大陸間横断線分の長さ|L|で割ったものを密度と定義し一定であればよい。
なおLは大陸間横断線分のベクトルであり、後に積分するので移動前と移動後とは近似できる。
(A+B)/|L|=C ただしCは定数
A+B=C*|L|と変形し両辺積分する。積分範囲は上記ですでに求めてある。
∫Adt+∫Bdt=曲線の長さの関数の定数倍=c(t)
F(t)=F(Fx(t),Fy(t)),G(t)=G(Gx(t),Gy(t))とすると
c(t)=∫(Fx'*(Gy-Fy)-Fy'*(Gx-Fx))dt-∫(Gx'*(Gy-Fy)-Gy'*(Gx-Fx))dt
c(t)=∫(Fx'-Gx')*(Gy-Fy)dt + ∫(Gy'-Fy')*(Gx-Fx)dt
c(t)=-∫(Gx-Fx)'*(Gy-Fy)dt + ∫(Gx-Fx)*(Gy-Fy)'dt
部分積分の公式より
c(t)=-∫(Gx-Fx)'*(Gy-Fy)dt +[(Gx-Fx)*(Gy-Fy)](a→b)- ∫(Gx-Fx)'*(Gy-Fy)dt
c(t)=[(Gx-Fx)*(Gy-Fy)](a→b)- 2∫(Gx-Fx)'*(Gy-Fy)dt　・・・(1)
この式はこれ以上簡単にならないように思えるが、B-spline曲線はベジェ曲線の集まりであるから各ベジェでこの積分式を解くことができる。
c(t)もB-spline曲線の性質により簡単に求まるので、F(t)とG(t)の関係式が得られる。
関係式が得られたら線分と中点も求まる。
なお辺が交差して四角形が崩れないようにするには大陸間横断線分が他の部分と交差しないように湾を削っておけばよい。

>>598
どんな曲線でもいいわけではなく(1)が解けなければいけない。

**デフォルトの名無しさん** · 2014/10/23(木) 19:46:13.66

>>599
人格障害ですか？お大事に。

**デフォルトの名無しさん** · 2014/10/23(木) 20:26:31.21

まともに解こうとすると糞難しい。
この問題を安易に解く方法は両陸地に接する円をすこしづつ動かして中心点をつないでいくのがよい。

**デフォルトの名無しさん** · 2014/10/23(木) 21:45:05.80

>>597
離散数学やアルゴリズムの教科書の演習問題みたいなのでいいんだよな。

>>300
>教科書の章末問題をサクサクっとインプリメントすることを目的としてる。
>実用性はあんまり求めない。

１ · 2014/10/23(木) 22:11:09.64

>>602
>離散数学やアルゴリズムの教科書の演習問題みたいなのでいいんだよな。
おｋ
できれば言語差がはっきりわかるやつ頼む。

**587ではない** · 2014/10/23(木) 22:48:38.73

>>597
問題領域が「有限集合と集合間の関係」でモデル化できるのであれば、
関数型やオブジェクト指向よりも論理型言語の Prolog のほうが圧倒的に簡潔に書ける

・プログラミング雑談スレ♯+++
　http://peace.2ch.net/test/read.cgi/tech/1406986967/357-371

この例では、従業員/部門/所属という有限集合を扱っている
たとえば集合従業員は以下のように定義される

　従業員 = { <1, 山田>, <2, 鈴木>, <3, 田中>. <4, 松下>. <5, 本田> }

ここで、「<X, Y>」は集合 X と Y の直積を表す

**デフォルトの名無しさん** · 2014/10/24(金) 11:20:44.18

Coqにおける集合論的直観主義数学の実装
http://shirodanuki.cs.shinshu-u.ac.jp/TPP/TPP2013_satou.pdf

ハイ、このスレ終了～

**デフォルトの名無しさん** · 2014/10/24(金) 19:07:28.65

そういう意味での終了ならとっくに終了してる。ずっと雑談スレとして続いている。
まあこのペースなら放置よりも1000の方が落ちるのが早そうだから、さっさと消化して落としてしまうのがいいだろう。

**デフォルトの名無しさん** · 2014/10/25(土) 13:59:00.13

>>605-606
ほんとにCoqなんかで終了と思っとるん？

**デフォルトの名無しさん** · 2014/10/25(土) 14:49:44.46

思ってるよ
何か問題でも？

**デフォルトの名無しさん** · 2014/10/25(土) 15:00:33.74

それは証明系であって、汎用プログラミング言語じゃない。
コーディングしているのは証明。

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

>>609
それのどこが問題なんだ？

１ · 2014/10/25(土) 21:33:01.44

prologでconnect4作ろうとしたんだがやり方がよくわからん。
盤面の情報はどうやって保持すればいいんだ？

**デフォルトの名無しさん** · 2014/10/26(日) 04:14:23.56

>>611
リストじゃダメなのか?
効率が良くなければならないってことはないんだよな?

>>299
>関数型言語は効率が悪そうたって、「集合論に基づいた言語」とかいうのはもっと効率が悪くなるだろうに。

>>300
>集合論に基づいた言語は教科書の章末問題をサクサクっとインプリメントすることを目的としてる。
>実用性はあんまり求めない。

**デフォルトの名無しさん** · 2014/10/26(日) 11:52:04.74

>>612
その人に理由きいたって無駄だよ。
関数型言語は効率悪いから集合論言語として却下するけど、
集合論言語は効率度外視でいいとか言い出す上に
ルビーは文字列操作ユーティリティーが充実してるから使えるとか
真顔で書いちゃう人なんだから。

**デフォルトの名無しさん** · 2014/10/26(日) 12:19:59.03

おいおいそんなこと書くと『わざと曲解してないか？』って言われちゃうぞ

１ · 2014/10/26(日) 19:06:58.39

>>613
関数型言語却下は効率わるいからじゃなくて生産性あがんないからだよ。
まあ、探せば生産性あがる問題もあるのかもしれんが。

prologなんか無限ループっぽくなるんだが。
裏でなにやってんのかよくわからん。
prolog確かに面白そうではあるんだが、いまいち理解できん。

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

>>615
有限集合限定でよければHaskellのリストで代用できるだろ。重複要素を取り除くようにすればいいだけで。
「生産性が上がらないからHaskell等は却下」ということなら集合を扱う言語を新たに作っても生産性は上がらない。

1は「集合を扱う言語を作れば高い生産性をもつはずだ」と具体案も示さずに言っているだけ。

１ · 2014/10/26(日) 21:39:05.82

>>616
リストで集合の代用できるのは確かにそうだが、それを言ったらいろんなデータ構造が無意味になっちゃうだろ。
代用できるだけじゃやっぱダメなんだよ。

具体案を出してないのは認める。

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

「生産性」とかいいながらやっぱり効率の面で却下してるね
もいっぺん>>615-617を冷静に読みかえしてみて。
>>616は一言も効率(やデータ構造)の話はしてないよ

せめて自分の頭んなかくらい整理して書いてくれ
整理せずに断片的に書きちらしてるから後出しって言われんだよ

１ · 2014/10/26(日) 22:24:04.14

>>618
俺も効率の話はしてないつもりだったが。
例えばキューやスタックなんかはリストで簡単に代用できるが、
専用のクラスを用意しておくことは意味があると思ってる。

**デフォルトの名無しさん** · 2014/10/26(日) 22:37:21.48

なんでそこでキューやスタックがでてくるんだｗ
有限集合の話じゃないのかよｗｗｗｗ

１ · 2014/10/26(日) 22:40:47.72

集合とリストは本質的に異なるという立場。
まあ、代用はできるんだが。

**デフォルトの名無しさん** · 2014/10/26(日) 22:51:49.39

では>>616が書いて>>1も同意したように
"重複要素を取り除く"ような薄いラッパーをかませばhaskellのリストは有限集合の代用になるのに
それ以外に効率とは関係なく「生産性」の上で課題になる「集合とリストの本質的な違い」ってなんだ？

１ · 2014/10/26(日) 23:02:30.10

ぶっちゃけラッパーかませば問題ないなｗ
そういう薄いラッパーみたいなこまごまとした小道具がきっちりそろってるのがRubyの魅力だったりする。
でもまあ、今更だけど効率的に計算オーダーが変わっちゃうのはやっぱちょっと気になるかな。

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

Rubyしかしらないだけでしょ

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

効率以外の面では既存言語(例えばhaskell)に集合操作ぽいラッパーがあればそれで充分と認めたんだよな？
問題は有限集合を扱う効率だけだということになってかなり整理されたな。

じゃお前さんが「生産性」の上では充分だと思うようなラッパーを既存言語の上で定義してくれよ。
haskellでもrubyでもいいよ
それがあれば効率よく処理する必要があるターゲットがみんなにも具体的によくわかる。

１ · 2014/10/27(月) 00:02:38.69

>「生産性」の上では充分だと思うようなラッパー

ここが一番難しい。
ぶっちゃけ、まだこれだというアイディアはない。

普通に考えると集合論で定義されている一般的な演算をインプリメントすることになるんだろうけど、
それで生産性どの程度あがるかなぁ。

まあ、>>59 >>62でも言ってるけど、なんか面白いアイディアがないとダメかなと思ってる。

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

ここまで短時間で主張を二転三転されると笑うしかないな
あえて好意的に解釈しても正気かどうか心配になるレベル

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

関数型で生産性上がらないみたいなこといってるけど、例えば商集合演算を書く時はどうすんの。
集合論に基づいた言語を作るなら、少なくとも関数がファーストクラスであることは生産性に大きく関わると思うんだけど。
あと数学の関数は状態を持たないから、全ての関数が参照透明であるかどうかはともかくとして、
数学の意味での関数を使う場合には参照透明な関数であることを制約するような記述ができる必要があるかもね。