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

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

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

**デフォルトの名無しさん** · 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

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

**デフォルトの名無しさん** · 2014/10/27(月) 03:06:19.81

>>623
「集合論に基づいた言語」を新たにつくっても、その言語に「こまごまとした小道具」はそろってないわけだが、
そうするとその新言語は1にとって魅力がないってことになるんじゃないか?
Rubyだったら簡単にできることが新言語では簡単にはできないのだから。

**デフォルトの名無しさん** · 2014/10/27(月) 04:05:38.32

>>420
>>409のリンク先にあるような、集合や列の内包表記を使ったプログラムを読むのは1にはしんどいってことだな。

**デフォルトの名無しさん** · 2014/10/27(月) 05:43:19.35

結局、ルビー以外を提案しても全部却下して
「ここがルビーのいいところ」とか書いちゃうんだよ。
関数型言語の生産性の高さも知らずにね。

**デフォルトの名無しさん** · 2014/10/27(月) 06:55:54.77

そもそも「作りたい」ってスレタイが間違ってんじゃね
こいつ絶対作る気ないだろ

**デフォルトの名無しさん** · 2014/10/27(月) 11:42:55.16

そんなことはどうでもいい

１ · 2014/10/27(月) 20:16:20.56

>>627
まあ、確固たる主張があるわけではないからな。

>>628
関数はファーストクラスの方がいいだろうな。
参照透明性は微妙。
あるに越したことはないけど、そこ頑張りどころかなぁ？という気はする。

>>629
ぶっちゃけ、Rubyは最強言語なので。
そんな簡単には超えられないでしょう。

>>630
正直、かなりしんどい。
あれ以上は簡単にできないのかもしれんが。

>>631
関数型言語で生産性が上がる問題があるなら教えてくれ。

>>632
まだネタ出しの段階だからな。実装ははるか先の話だ。

１ · 2014/10/27(月) 20:19:14.66

それにしてもprolog動かんなぁ。
センスないわ俺。

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

>>634
>関数型言語で生産性が上がる問題があるなら教えてくれ。

で、相手が何か例を挙げたらケチつけるんだろw
自分は「集合論に基づいた言語」で生産性が上がる例を示さずにw

１ · 2014/10/27(月) 21:22:05.89

俺がケチつけられないほど明確に生産性の上がってる問題を頼む。

１ · 2014/10/27(月) 21:25:15.63

まあ、集合論に基づいた言語は絵空事で終わる可能性があるからな。
関数型言語はそんなことないんだろ？

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

ほんとに何言ってんのかねこの人はｗｗｗ

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

>>637
そうした例を挙げても1に餌を与えるだけだし。
関数型言語でも論理型言語でもその他でも同じこと。

**デフォルトの名無しさん** · 2014/10/27(月) 22:01:34.98

高階関数によるチェインなんかは生産性のあがる例じゃないの。並列化も簡単でしょ。
まあ関数型のスレではないけど、集合論というか数学ってまさに関数型言語なのに、
よくわかってなさそうだからつっこまれるんだろうけど。

**デフォルトの名無しさん** · 2014/10/27(月) 22:37:28.46

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

>>305
>集合論に基づいた言語では狭い領域の問題に限り（教科書の章末問題とか）
>高い生産性を発揮することを目標にしてる。

「サクサクっとインプリメント」できるどうか、「高い生産性を発揮」しているかどうかは、1の主観で判断される。

１ · 2014/10/27(月) 22:42:25.97

>>641
確かに高階関数はカッコいい気がするが、具体的にどんな問題で使われてるか知らない。
並列化は簡単というが、まだ実現はしてなかったような。
まあ、俺は関数型言語も数学も造詣はないな。

**デフォルトの名無しさん** · 2014/10/27(月) 22:54:12.79

jqueryのメソッドチェーンは便利だね

**デフォルトの名無しさん** · 2014/10/27(月) 22:57:50.25

>>643
個人的な経験でいえば、DBからデータを取ってきて加工したりするときに非常に書きやすいかな。
とにかく、コレクションのデータを加工して流すときに非常に簡潔に書ける。
他にもあるけど、今すぐに思いついたのはこれかな。
並列化はClojureなんかは簡単に書ける。Javaも8からできたんじゃなかったっけ。まあJavaのあれは関数型と言うには気持ち悪いけど。
というか、適用する関数が副作用を持たないと仮定するなら、作用させるデータを分割して再結合すればいいっていう単純な話でそ。

**デフォルトの名無しさん** · 2014/10/27(月) 23:02:23.54

あ、メソッドチェーンにおける並列化が簡単にできるという意味ね。
プログラム自動並列化は詳しくないけどまだ発展途上じゃないかな。

１ · 2014/10/27(月) 23:32:47.45

>>645
ふーむ。確かにコレクションのデータを加工して流すのは出現頻度が高そう。
勉強になりました。
Clojuerちょっとぐぐってみたけど、ソフトウェア・トランザクション・メモリーとかよくわからんかった。
とりあえず簡単に並列化できそうな雰囲気は伝わってきたｗ

**デフォルトの名無しさん** · 2014/10/28(火) 00:54:20.05

>>とにかく、コレクションのデータを加工して流すときに非常に簡潔に書ける。
>ふーむ。確かにコレクションのデータを加工して流すのは出現頻度が高そう。
>勉強になりました。

このスレでHaskellの名前が出てから2ヶ月たつけど、2ヶ月の間に自分で調べたりはしなかったんだな。

**デフォルトの名無しさん** · 2014/10/28(火) 01:22:16.19

この言語が最強っていう信念のある人だからね

**デフォルトの名無しさん** · 2014/10/28(火) 01:46:36.67

Ruby最強と思っているらしいけど、それなら新しい言語を作ろうなんて思わければ良さそうなものだがな。
新しい言語を作っても、Rubyにあるような、お気に入りの便利な機能なんかないから、「Rubyなら簡単にできるのに」
って不満がたまるだけだろうに。
集合を使った表記法のプログラムを読むのもかなりしんどいそうだし。>>634

**デフォルトの名無しさん** · 2014/10/28(火) 13:51:55.51

>>638
ちょっと待った。
絵空事で終わらない可能性がゼロでないことを説明してくれ。

>>643
C++ やるんじゃなかったけ？ <functional> とか高階関数だらけじゃん。
Javascript とかでも良く使うよ。Ruby では使わないの？

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

>>643
高階関数って名前じゃ無くても同じ事させてるのは体験してるだろ？
あるオブジェクトのリストを(必要な要素だけ抽出(filter)してデータ変換(map)して集約(reduce)させるとか

**デフォルトの名無しさん** · 2014/10/28(火) 15:52:04.32

関数型の生産性の証拠は求めるけど
もちろんルビー最強の証拠なんて知らんぷり

**デフォルトの名無しさん** · 2014/10/28(火) 15:53:32.28

典型的なルビ厨

**デフォルトの名無しさん** · 2014/10/28(火) 16:20:55.17

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

>集合論に基づいた言語では狭い領域の問題に限り（教科書の章末問題とか）
>高い生産性を発揮することを目標にしてる。

1の言う「生産性」はこういうことだから、教科書やそれに載ってる問題を具体的に挙げて、
この問題をこういうふうに書きたいんだけど、Rubyではこんなふうにしか書けない、
Haskellではこんなふうにしか書けない…、そのためにサクサクっとインプリメントすることができず、
生産性が上がらない

って話を1がしないとどうしようもないんだよな。
Rubyその他、既存の言語で「サクサクっとインプリメントすること」ができるのなら
新しい言語をつくる意味がないんだから。

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

>>655
結局それにつきるな
それに対して1は具体的はアイディアがないからとか
返答になってないことをうだうだ言うだけで問題意識を明らかにしようとはせず
そのうちまた新しいループがはじまる、と。

１ · 2014/10/28(火) 21:27:06.97

>>648
まあな

>>651
>絵空事で終わらない可能性がゼロでないことを説明してくれ。
それはむずかしいな。
数学っぽくプログラムできたらいいんじゃね。とか
教科書の記述がそのまま実装になったらいいんじゃね、とか
そういう曖昧なイメージがあるだけで、見切り発車でスレたてたからな。

>C++ やるんじゃなかったけ？ <functional> とか高階関数だらけじゃん。
functionalって使ったことないかも。
setやmapでoperator<を定義することはあるけどそれとは違う？

>Ruby では使わないの？
Enumerableのメソッドならよく使うが。

>>652
Rubyのcollectとかはよく使う。

>>655
>>656
まあ、サクサクインプリメントできない問題が具体的にあったわけじゃないんだよな。
数学的な記述がそのまんま実装になったら楽しいかなぁとかその程度の問題意識しかなかった。
プログラミングの素養がなくても教科書丸コピで動いちゃうみたいな？
そんな感じ。

ちなみに、教科書丸コピは後付けなんだよなぁ。
いろいろやってるうちにこのスレを立てた時の最初の気持ちは何だったのかもう忘れてしまった。

**デフォルトの名無しさん** · 2014/10/28(火) 22:13:27.20

>>657
教科書の演習問題を丸コピすれば答を出してくれるソフトをつくろうと
してたのか? w

ごまかそうとしないで、どの教科書のどの演習問題をどのように実装できる
言語をつくろうとしているのかちゃんと書け。

**デフォルトの名無しさん** · 2014/10/28(火) 23:02:45.22

>>575
こんなことを書くぐらいだから、推論や数式処理の機能をもつ言語を考えていたわけじゃないよな。

**デフォルトの名無しさん** · 2014/10/29(水) 01:09:17.84

プログラミング言語に有限集合を扱う機能を持たせさえすれば
離散数学やアルゴリズムの教科書の
「数学的な記述がそのまんま実装になった」り
「プログラミングの素養がなくても教科書丸コピで動」かせるようになると
1は思っているということだな。

**デフォルトの名無しさん** · 2014/10/29(水) 07:51:54.82

>>657
>数学っぽくプログラムできたらいいんじゃね。とか

いい言語を教えてやろう。FORTRAN (FORmula TRANslator) だ。

**デフォルトの名無しさん** · 2014/10/29(水) 15:03:48.76

>>655
ヤフーニュースのコメント欄の私もそう思うボタンを探してしまった。

>>657
> setやmapでoperator<を定義することはあるけどそれとは違う？
std::set<int, std::less<int> > s;
const size_t c = std::count_if( s.begin(), s.end(), std::bind2nd(std::greater<int>(), 5) );
例えば後者。関数を返す関数を呼んで、戻された関数を別の関数が呼んでる。

**デフォルトの名無しさん** · 2014/10/29(水) 20:53:26.55

当の本人がどうしたいのかハッキリしてない以上
「顧客が本当に必要だったもの」のあの絵の状態になる可能性は非常に高い
本人はプログラマのつもりかも知れんが、実際は顧客の物言いをしてる
しかも、注文とダメ出しだけ多くて、かつ本人は解ってる(つもり)というタイプの

この板は「こんなソフト作ってよ」と頼む場所ではないと思うのだが

**デフォルトの名無しさん** · 2014/10/29(水) 21:05:16.16

まだ構想（＝夢）の段階であれこれと夢想し構想し、その過程が文字で見える過程を、傍からみている私は楽しんでいる
>>1 続けてくれ

１ · 2014/10/29(水) 23:04:45.80

>>658
むりぽ

>>662
bind2ndとか知らなかったわ。テンプレート恐るべし。
まあ、勉強になりました。

>>664
ぶっちゃけ、毎日書き込むのつらくなってきたわ。
このスレは今後不定期更新になりますｗ

**デフォルトの名無しさん** · 2014/10/30(木) 00:38:38.53

>>665
1が書き込んだあとには

1に餌を与えないでください
>>559 >>655-665

と書いたほうがいいな。
そうしないと同じことの繰り返しになるだろうから。

**デフォルトの名無しさん** · 2014/10/30(木) 03:27:37.45

>>666

>>425も追加で。

１ · 2014/10/31(金) 20:03:03.95

prologのconnect4がどうしても動かん。
誰か俺のコードをデバッグしてくれ。現状のコードは以下。
get_atでリストのN番目の要素を返す。
get_stoneでBOARDの(X,Y)の位置にある石を返す。盤の外を指定したときは3を返す。
straightで連続した石の数を数える。DX,DYは連続した石を探索する方向。

board([[],[],[],[],[],[],[]]).
myboard([[1,2],[1,1],[1,1,1],[1,1,1,2],[],[],[1,2,1]]).
get_at(_,[],_):- fail.
get_at(0,[X|_],X).
get_at(N,[_|Ls],Y):-
N1 is N -1,
get_at(N1,Ls,Y).
get_stone(_,X,_,3):- X<0,!.
get_stone(_,X,_,3):- 6<X,!.
get_stone(_,_,Y,3):- Y<0,!.
get_stone(BOARD,X,Y,0):-
get_at(X,BOARD,Xs),
length(Xs,L),
Y >= L,!.
get_stone(BOARD,X,Y,S):-
get_at(X,BOARD,Xs),
get_at(Y,Xs,S),!.
straight(BOARD,X,Y,_,_,S,0):-
get_stone(BOARD,X,Y,S1),
S1 \== S,!.
straight(BOARD,X,Y,DX,DY,Stn,Len):-
X1 is X + DX,
Y1 is Y + DY,
Len1 is Len + 1,
straight(BOARD,X1,Y1,DX,DY,Stn,Len1),!.

**デフォルトの名無しさん** · 2014/10/31(金) 20:34:56.87

>>668
それと「集合論に基づいた言語を作る」のとどういう関係があるんだ?

>>666-667

**デフォルトの名無しさん** · 2014/10/31(金) 20:42:19.57

>>668
↓で教えてもらえ
【論理】Prolog【初心者】
http://peace.2ch.net/test/read.cgi/tech/1289016056/

**デフォルトの名無しさん** · 2014/11/01(土) 00:21:10.18

>>670
その結果。

http://peace.2ch.net/test/read.cgi/tech/1289016056/786
|全般的な感想として、1)..3) を見るに (Prolog 以前に)一般的なプログラミングの基礎が身に付いていないと思う
|おそらく集合理論言語スレの 1 だと思うけど、大学で情報系を専攻していたのなら情けない結果だ
|学生時代に遊んでいたのか、当時はできたけど今はその感覚が戻っていないだけなのか、わからないけどね
|現状のレベルでは、言語処理系を自作するなんてのは、夢物語か妄想のたぐいと判断せざるをえない

**片山博文MZ次期CEO** ◆T6xkBnTXz7B0 · 2014/11/01(土) 20:55:00.77

Boost.Iclを参照せよ。

１ · 2014/11/02(日) 00:06:07.92

>>672
情報はありがたいんだが、レスするのペースダウンするつもりなので宿題にさせてくれ。

**デフォルトの名無しさん** · 2014/11/02(日) 14:33:07.98

>>673
>宿題

集合論に基づいた言語の作成に関係があるからこのスレに書くべきだと示せるのでなければ
宿題はBoost総合スレにでも行ってやれ。
Boostに興味がある人・詳しい人はそっちのスレのほうが多くいるはずだ。
他の言語・ライブラリのことでも同様。その言語・ライブラリに興味がある人・詳しい人が多そうなスレを選んで書け。

>>425 >>559 >>655-665

1 · 2014/11/02(日) 18:33:09.61

>>674
このスレの基本スタンスは雑談なので面白そうなトピックスは適宜拾っていったらいいんだぜ？
そうじゃなきゃ尺が稼げんだろうがｗ

**デフォルトの名無しさん** · 2014/11/02(日) 20:08:03.24

>>425
今度は『ここは雑談スレだ』と言い出した。