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

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

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

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

Peggyでいいじゃん。

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

だからせめて記述例を書けよお前の脳内は読めねえ

１ · 2014/08/16(土) 09:37:02.60

だから具体的な案はまだないんだって。

１ · 2014/08/16(土) 10:17:23.81

有限オートマトンの遷移関数を書くのに、関数の引数のパターンマッチは欲しいかな。

１ · 2014/08/16(土) 10:35:06.72

と、おもったけどそんなめんどくさいことしなくても連想配列でもいいのか。

**デフォルトの名無しさん** · 2014/08/16(土) 10:41:17.00

>>87
ここはお前の日記帳じゃないんだから、具体的にまとまってから書いてくれ

1 · 2014/08/16(土) 11:51:35.82

俺が持ってる教科書、マイケルシプサの計算理論の基礎っていう本の38,39ページに載ってる
A={w|wは少なくとも一つの1を含み最後に現れる1の後に偶数個の0が存在する}
っていう言語を受理するオートマトンの実装例は以下のような感じかな。かなりC++ぽいが。
enum State {q1,q2,q3};
set<State> Q={q1,q2,q3};
set<char> Σ={'0','1'};
map<pair<State,char>,State> δ={
  (q1,'0')=>q1,
  (q1,'1')=>q2,
  (q2,'0')=>q3,
  (q2,'1')=>q2,
  (q3,'0')=>q2,
  (q3,'1')=>q2
};
set<State> F={q2};
class Automaton {
  set<State> Q;
  set<char> Σ;
  map<pair<State,char>,State> δ;
  State start;
  set<State> F;

  bool accept(char *str){
    State state=start;
    while(str){
      state=δ[(state,*str)];
      str++;
    }
    return F.include(state);
  }
} M = (Q,Σ,δ,q1,F);

1 · 2014/08/16(土) 11:54:15.04

あれ、空白ミスってんな。
プレビューでみたらちゃんと空白になってたと思ったけど。

1 · 2014/08/16(土) 11:57:01.89

まあ、いいや。インデントなしで再投稿
enum State {q1,q2,q3};
set<State> Q={q1,q2,q3};
set<char> Σ={'0','1'};
map<pair<State,char>,State> δ={
(q1,'0')=>q1,
(q1,'1')=>q2,
(q2,'0')=>q3,
(q2,'1')=>q2,
(q3,'0')=>q2,
(q3,'1')=>q2
};
set<State> F={q2};
class Automaton {
set<State> Q;
set<char> Σ;
map<pair<State,char>,State> δ;
State start;
set<State> F;

bool accept(char *str){
State state=start;
while(str){
state=δ[(state,*str)];
str++;
}
return F.include(state);
}
} M = (Q,Σ,δ,q1,F);

**デフォルトの名無しさん** · 2014/08/16(土) 13:25:37.77

Ragelでいいじゃん。

1 · 2014/08/16(土) 15:25:06.91

とりあえず、集合と連想配列と組のリテラル表記は欲しいな。
型さえ一致してれば組はクラスに暗黙のキャストできる感じで。

**デフォルトの名無しさん** · 2014/08/16(土) 17:30:42.83

目新しいものがないな。なんとなく美しくなりそうってのは天才的センスがないと実現しない。
天才か凡才かを確定させるためにさっさと作ってしまおう。

１ · 2014/08/16(土) 17:44:24.71

まじかｗ
言語仕様きめるだけでも結構大変だぞｗ
さくっと作れるみたいなこと言うなｗ

**デフォルトの名無しさん** · 2014/08/16(土) 17:45:22.16

結局、見た目の問題でしかないの？
新しいパラダイムもなにも無いなら、わざわざ言語を作る意味が無いよ

１ · 2014/08/16(土) 17:56:17.24

いまのところシンタックスシュガーの問題の域をでてないな。
オートマトンだけじゃなくてもっと色んな問題を考察していけば
なんか出てくるのかもしれないが。
とにかく、今のプログラミング言語において集合は不当に冷遇されてる気がする。
もっと集合を活躍させるべき、というのがこのスレの発端です。

**デフォルトの名無しさん** · 2014/08/16(土) 17:59:58.20

>>75を具体的に語って欲しい

１ · 2014/08/16(土) 18:04:10.41

型のキャストって結構不自由じゃない？
集合論に基づいた型の表記法が一致したらバンバンキャストできるようにしちゃうとか。

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

>>100
いや、>>75を具体的に語ったのが>>93なんだけども。
残念ながら教科書コピペとはほど遠いC++チックなコードになっちゃったけど
教科書の定義にはなるべく従ったコードにしたつもり。

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

OCamlのvariantみたいなことがしたいのかなあ？

１ · 2014/08/17(日) 00:17:38.28

OCamlは触ったことがないけど面白そうな雰囲気ですね。
本でもかってくるかな。

**デフォルトの名無しさん** · 2014/08/17(日) 00:38:59.38

>>1はCライクな言語しか触ったこと無いの？
だったら、もっと色々な言語を知るべきだよ。
その上でLispなり何なりで好きなようにDSLを実装すればいい。

少なくとも、集合が不当に冷遇されてるなんてことはない。ありえない。

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

集合論よりかは圏論のほうが良くないか。厳密には違うが、ほぼ集合論の一般化でプログラム言語として利用する上では不具合無いだろ。

Haskell/圏論 - Wikibooks
http://ja.wikibooks.org/wiki/%E3%83%95%E3%82%A1%E3%82%A4%E3%83%AB:Simple-cat.png
http://ja.wikibooks.org/wiki/%E3%83%95%E3%82%A1%E3%82%A4%E3%83%AB:Functor.png
http://ja.wikibooks.org/wiki/Haskell/%E5%9C%8F%E8%AB%96

Scala で圏論入門
https://github.com/scalajp/introduction-to-category-theory-in-scala-jp/wiki

Coq を始めよう
このチュートリアルでは定理証明支援系言語である Coq について解説をします。
読者の前提知識としては OCaml や Haskell などの関数型言語でプログラミングできることを想定します。
また、本文書において Coq のプログラムとの比較には Haskell と OCaml を用いますが、Haskell や OCaml を書いたことがなくても他の関数型言語に触れていれば理解できるような内容を心がけます。
http://www.iij-ii.co.jp/lab/techdoc/coqt/coqt1.html

圏論は数学をするための「高級言語」　
http://www.is.s.u-tokyo.ac.jp/isnavi/images/logic/picture04.gif
http://www.is.s.u-tokyo.ac.jp/isnavi/logic06.html

**デフォルトの名無しさん** · 2014/08/17(日) 07:09:05.41

メニー・コアの時代にはそういう言語が流行るんだろな。

**デフォルトの名無しさん** · 2014/08/17(日) 07:29:25.82

圏論 - Wikipedia
圏論（けんろん、category theory）は、数学的構造とその間の関係を抽象的に扱う数学理論の 1 つである。
さらに一般的な圏論、つまり、意味論的な柔軟性をもち高階論理との親和性があるようなより現代的な普遍的代数が発展し、現在では数学全体を通して応用されている。
トポスと呼ばれる特別な種類の圏は、数学基礎論としての公理的集合論に取って代わることすら可能である。
実際構成的数学を記述する手段としても、トポスは非常に精緻に機能することが示されている。

集合論 - Wikipedia
さまざまな数学の問題に対応した構造を理解するときには、個々の対象が具体的にどんな集合として定義されたかということよりも、
類似の構造を持つほかの数学的対象との関係性の方がしばしば重要になる。
この関係性は対象間の写像のうちで「構造を保つ」ようなものによって定式化される。このような考え方を扱うために圏論が発達した。
集合論の著しい特徴は集合間の写像たちまでが再び集合として実現できることだが、こういった性質を圏論的に定式化することで
集合論の圏論化・幾何化ともいうべきトポスの概念がえられる。

１ · 2014/08/17(日) 09:26:36.14

>>105
私の使用言語は主にC/C++ですね。
あとはRubyを少々。JavaやC#はかじった程度。
関数型言語は触ったことないですね。

>少なくとも、集合が不当に冷遇されてるなんてことはない。ありえない。

うーん。そうなんですか。でもそれだとこのスレが終わってしまうｗ

>>106
圏論は知らないですね。なんか難しそうってイメージです。
はたして独学で勉強できるかどうか。。。

**デフォルトの名無しさん** · 2014/08/17(日) 09:41:10.85

集合が{○、●、◎、□、■}とすると、
圏は{→(1)、→(2)、→(3)、→(4)、→(5)}>

**デフォルトの名無しさん** · 2014/08/17(日) 09:51:19.75

途中で送信した。
(ある条件をみたす)全ての集合に対して、(ある条件をみたす)全ての集合の写像の集まりが圏。
圏論は、集合間の写像に注目したもの。
厳密なことは知らないが、どんな集合も圏として扱えるはずだろう。
集合{○、●、◎、□、■}に対して、圏{○→○、●→●、◎→◎、□→□、■→■}、(f(x)=xとなる写像)が作れる。

**デフォルトの名無しさん** · 2014/08/17(日) 09:52:50.76

>>110
→の意味がわからないｗ
あと最後の>は必要なの？

１ · 2014/08/17(日) 09:53:56.42

うおリロードしてなかった。

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

圏の主人公って「対象」なのかな？「射」なのかな？ | TETRA'S MATH

「しりとりの圏」を圏とみなそうとするとき、まず、1字1字があって、
http://artet-math.img.jugem.jp/20101201_1468744.jpg

　それを始域、終域とする文字列を考えるのか。
http://artet-math.img.jugem.jp/20101201_1468743.jpg

それとも、まず文字列ありきで、
http://artet-math.img.jugem.jp/20101201_1468745.jpg

始域、終域の一致でそれらの関係をひとまとまりのものとして捉えるのか…
http://artet-math.img.jugem.jp/20101201_1468746.jpg

どっちのイメージが圏の本質に近いのだろう？

で、検索していたら、檜山さんの有限集合と写像の圏もJavaScriptで書いてみた、遊んでみてねにて、「圏の主役は射です。」と書いてあるのを発見。なるほど。
http://math.artet.net/?eid=1306322

１ · 2014/08/17(日) 10:17:17.51

TODOが一気にふえたな。
とりあえず、Ocamlの本買ってきます。
圏論を理解できるようになるのは相当先かな～。

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

>>1はやりたいことが沢山あって圧倒される段階か。その後何年かして夢見た事はすべてやり尽くした段階になる。
能力が足りないとそうなるまえに死んでしまうがね。

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

Ocamlは副作用があって純粋な関数型でない。副作用ありでいいならJavascriptも関数型言語でJavascriptで関数型の勉強可能。

純粋関数型プログラミングとは
関数が純粋であるというのは、副作用がないということである。副作用とは、関数が、内部で、なんらかの状態を隠しもつことをいう。
OCamlのようなML由来の言語は"ほぼ純粋"である。副作用を、参照や配列の形で使えるけども、大抵は、書いたコードは純粋関数型に落ち着くことが多い。
Haskellもまた、関数型言語で、純粋関数型だ。OCamlは、より実用的といえる。純粋でない関数もときには便利だからだ。
http://ocaml.org/learn/tutorials/functional_programming.ja.html

JavaScriptで学ぶ関数型プログラミング
http://hamasyou.com/blog/2014/02/21/functional-javascript/

JavaScript はプロトタイプベースのオブジェクト指向言語ですが、関数型言語の機能も備えています。
http://www.geocities.jp/m_hiroi/light/js03.html

JavaScript - Javascrptで関数型プログラミングの入門 - Qiita
http://qiita.com/takeharu/items/cf98d352ff574c5ac536

JavaScriptは関数型言語の特徴を取り入れていると思いますが、純粋な関数型言語ではありません。しかし今、そしてこれからのトレンドは関数型言語と言われています。
そこでJavaScriptでより関数型言語的なプログラミングを可能にするfn.jsを使ってみましょう。
http://www.moongift.jp/2014/02/fn-js-javascript%E3%82%92%E9%96%A2%E6%95%B0%E5%9E%8B%E8%A8%80%E8%AA%9E%E3%81%AE%E3%82%B9%E3%82%BF%E3%82%A4%E3%83%AB%E3%81%A7%E6%9B%B8%E3%81%8F%EF%BC%81/

CoffeeScript と Node.js による関数型の JavaScript
http://www.ibm.com/developerworks/jp/java/library/j-coffeescript/

Functional JavaScript
https://gist.github.com/ympbyc/5564146

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

この記事では、クイックソート・アルゴリズムの実装について、様々な言語で書かれた関数型プログラミングのコードを紹介しています
なお、この記事の内容は、 2ちゃんねる掲示板のプログラム板にあるスレッド【PHP,Python】スクリプト, バトルロワイヤル36【Perl,Ruby】で行われた議論を整理、加筆したものです。

関数型言語が関数型プログラミングを何の苦もなく実践できるのは、当たり前の話です。
Haskell
quicksort [] = []
quicksort (pivot:xs) = quicksort littles ++ pivot:(quicksort bigs)
where
f x (ls, bs) = if x < pivot then (x:ls, bs) else (ls, x:bs)
(littles, bigs) = foldr f ([], []) xs

この節で取り上げる Ruby, JavaScript, Python はどれも関数型言語には分類されていませんが、関数型の特性を取り入れていると言われています。
それでは、これら言語の関数型プログラミング・スタイルを見ていくことにしましょう。

JavaScript
function quicksort(xs) {
function f(xs) {
var pivot = xs[0];
function g(pair, x) {
var ls = pair[0], bs = pair[1]
return x < pivot ? [ls.concat([x]), bs] : [ls, bs.concat([x])];
}
var pair = xs.slice(1).reduce(g, [[], []]);
var littles = pair[0], bigs = pair[1];
return [].concat(
quicksort(littles), [pivot], quicksort(bigs)
); }
return xs.length <= 1 ? xs : f(xs); }

http://www.h6.dion.ne.jp/~machan/misc/qsort-in-fp.html

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

こっちのクイックソートのほうが短くわかりやすかった。

クイックソート - NullPointer's Blog

Erlangで書くと…
quicksort([]) -> [];
quicksort([Head|Tail]) ->
quicksort([X || X <- Tail, X < Head ]) ++ [Head] ++ quicksort([X || X <- Tail, X >= Head]).

小さいのを左に集めて、大きいのを右に集めて、繰り返し…、アルゴリズムの説明そのままのコードになる。
簡単すぎ。アルゴリズムを理解するという目的であれば、関数型のコードの方が10000倍理解しやすい。
関数型っぽい書き方は、最近のJavaScriptならばサクッと書けますが…

function quickSort(array) {
if (array.length <= 1) return array;
var pivot = array.pop();
var lt = array.filter(function(a){ return a < pivot });
var ge = array.filter(function(a){ return a >= pivot });
return quickSort(lt).concat([pivot]).concat(quickSort(ge))
}

http://paulownia.hatenablog.com/entry/20111204/1323015703

１ · 2014/08/17(日) 15:08:45.66

本屋めぐってきたけどOcamlの本なかったわー
廃れてしまった言語なん？
しかたないからwebで情報探すか。

**デフォルトの名無しさん** · 2014/08/17(日) 15:31:49.05

ググれば数秒でみつかるのに。
http://caml.inria.fr/resources/index.en.html

**デフォルトの名無しさん** · 2014/08/17(日) 16:03:30.63

>>109
> うーん。そうなんですか。でもそれだとこのスレが終わってしまうｗ
いいことじゃん。
続きはブログでやってくれ。

１ · 2014/08/25(月) 19:07:11.02

とりあえず、Ocamlでconnect4のルールだけ作ってみた。
だれか添削たのむ。
http://www.age2.tv/rd05/src/up3979.txt

connect4はこことかで遊べます。
http://www.connectfour.org/connect-4-online.php

**デフォルトの名無しさん** · 2014/08/25(月) 19:28:01.77

以下>>1がOCamlを勉強するスレ

１ · 2014/08/25(月) 19:30:28.60

いやｗ今はそうだけど、そのうち本題に戻りたいとは思ってる。

**デフォルトの名無しさん** · 2014/08/25(月) 20:06:42.36

この思考エンジンで。GUIはすでにあるから思考部だけ。

http://www.vector.co.jp/soft/win95/game/se401975.html

石を7つ直線に並べた方が勝ちという五目並べに、囲碁の石を取るという概念を加えた新しいゲーム「囲連星」。CPU戦も対人戦も楽しめる。

ルールは簡単！
1) 黒白交互に打っていき、先に縦・横・斜めに7つ石を並べたほうが勝ち
2) その間に相手の石を囲んで取ることが出来る

１ · 2014/08/25(月) 20:15:54.91

ばかやろーｗ
囲連星つったら今までまともなAI作れたの２人しかいない難題じゃねーかｗ
もっと簡単な奴にしろｗ

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

総当たりができなければモンテカルロでやりゃ良いじゃん
もっと素晴らしいのを見つけて欲しいな

１ · 2014/08/26(火) 19:40:10.91

モンテカルロなら簡単だとおもってるな？
そんな甘くないから。
今のLV３のプログラムは相当レベル高いから。

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

>>1程度の習熟度だとそうかもな

１ · 2014/08/26(火) 20:22:34.58

>>130がLV3に勝ち越す囲連星AI作ったら納得してやる。

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

>>1「これ知らなーい、あれも知らなーい」ばかりで、
挙句の果てには「数学のテクニックをプログラミングに持ち込めるかなと思った」だもんなあ。どんだけ無知なんだよ。

OCamlに興味を示したと思ったら、
>>1「connect4のルールだけ作ってみた。添削頼む（）」とか、更にすっとぼけたこと言ってるし。

せめてスレタイに沿うような問題設定ができるまで学習しろ。
適切に問題設定ができないのに、コードをこねくり回したって意味ない。そりゃ只の自慰行為だ。

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

>>132
俺が無知なのは認めるが、おまえが威張るのはLV3を超えるAIを作ってからだ。
そうでなきゃお前も口だけだぞ。

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

別に威張ってないよ？
>>1の習熟度だと難しく感じるだろう、と言っただけ。

自尊心が傷ついたのかな。幼子みたいな奴だ。
次からは優しく諭すように指摘してあげるよ。

ところで、>>1のやりたいことって何だ？スレタイとは違うのか？

１ · 2014/08/26(火) 21:15:57.51

まあ、一応スレタイの通りだな。
スレの方向はずれてきているが。
とりあえず、関数型言語を触ってみてるところだ。

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

LV3は大して強くない。手動でほぼ100%勝てる。
たぶんプログラムでも勝てると思う。
これは囲碁と違って有効手が見付けやすくモンテカルロ法は向いていないと思う。

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

ダメダメだな。いつまでたっても何もできそうにない

１ · 2014/08/26(火) 22:10:51.94

>>136
手動なら俺だって勝てるわ。
ほぼ１００％とはいかないけど。
プログラムで勝ち越すことに意義がある。
LV３に勝ち越して人間相手にも自然な手を返せるプログラムが作れるってならぜひ作ってほしいね。
一囲連星ファンとして。

>>137
その可能性は非常に高いｗ

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

ふーん。ならスレ終了でOKだな

１ · 2014/08/27(水) 18:26:42.61

>>139
まあ、そうあせらずに。
どうせ過疎板だ。
ノンビリ行こう。

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

はあ？これ以上妄言を垂れ流すならブログでやれば？

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

1のスレだし見たくないやつが来なければ済む

１ · 2014/08/28(木) 19:02:16.77

しかしOcamlはプログラム組みにくいな。
ちょっとしたことやるにも再帰関数つかうっぽいし。
慣れてないだけかもしれんが。

**デフォルトの名無しさん** · 2014/08/28(木) 19:15:00.80

慣れてないだけ。

**デフォルトの名無しさん** · 2014/08/28(木) 19:38:25.81

>>143
http://peace.2ch.net/test/read.cgi/tech/1330429547/413-418

１ · 2014/08/28(木) 20:42:22.39

>>145
俺がこんなこと言っちゃいかんのかもしれんが、
確かに参照透過性とか数学的にはいいのかもしれんが、
実用性では怪しく感じる。

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

純粋関数型でない、参照透過性がないのは、手続き+αの手続き型言語。

**デフォルトの名無しさん** · 2014/08/28(木) 22:43:29.27

2032 年の FPGA： 20年後の FPGA の未来像
Tabula 社社長兼 CTO の Steve Teig 氏は、次のように断言しました。
「FPGA のプログラミングに関して言えば、RTL は適していません。しかし、C はさらに問題があります。
直列実行から並列実行への移行でさえも低レベルすぎます。
Haskell のような関数型言語の方がましですが、ほとんどの関数型言語がベースとしている数学的抽象化であるラムダ計算も最適な抽象化とは思えません」
Blainey 氏も同じ意見のようで、ソフトウェアを FPGA 構造に変換するライブラリおよびコンパイラを備えた明示的並行言語が広く普及するとともに、
特定の種類の問題を扱う関数型言語プログラマのエリートが現れることになると予想しました。
http://www.altera.co.jp/technology/system-design/articles/2012/fpgas-in-2032-the-acm-fpga-2012-workshop.html

現状でさえマルチスレッドプログラミングは開発の困難さが指摘されている分野である。
Sweeney氏は、これは現在主流の開発言語であるC++の手続き型言語としての特性に由来すると指摘する。
Sweeney氏は、この問題を解決するためには、ゲーム開発言語として純粋関数型の言語が必要になるだろうと言う。
この種の処理系では、C++のような共有メモリのアクセスや、I/O操作は基本的に行なえない。
その引き替えとして、各関数のアトミック性が構造的に保証されており、安全に並列実行できるのだ。
しかも、コンパイラが対応さえすれば、関数を自動的に多数のコアに分散処理させることができるというスケーラブルな実行バイナリを作り出せる。
Sweeney氏はそのひな形として言語“Haskel”を挙げているが、ゲーム開発のメインストリームたり得る言語はまだ登場しておらず、将来に期待しているという。
http://game.watch.impress.co.jp/docs/20080911/epic.htm

１ · 2014/08/28(木) 23:08:29.08

>>148
CPUコアが1万個くらいあるならこういうパラダイムシフトも起きるのかもしれんが。
20年後どの程度ハード進歩してんのかね。

**デフォルトの名無しさん** · 2014/08/29(金) 00:59:50.98

>>149
コア数、5760基

2014年7月22日掲載
ビデオカード単体の価格を下回る破格のロープライスで発売中！安い、安すぎる！ NVIDIA史上最速「GeForce GTX TITAN Z」搭載ゲーミングPCが299,799円！？

「GeForce GTX TITAN Z」は、1枚のカードに「GK110」コアを2基搭載する、NVIDIAの最上位デュアルGPU。
12GBのGDDR5メモリーを搭載するほか、CUDAコアは計5760基で、演算性能は8TFLOPSをうたうウルトラハイエンドGPUです。
デルによると、このGPUを搭載する「ALIENWARE Aurora TITAN Z」は、3840×2160の4K環境で60fpsを超えるパフォーマンスを叩き出し、
「グラフィックス設定を最大にして4Kを有効にすることで、2014年6月に発売され全世界で記録的なセールスを更新中のオープンワールド型アクションゲーム『ウォッチドッグス』も、
すべてのエレメントがさらにシャープで滑らかで鮮明になり、開発元であるUbisoft Montrealの意図通りのディテールをすべて体験することができる」とのことです。

http://magazine.kakaku.com/mag/pc/id=1687/

**デフォルトの名無しさん** · 2014/08/29(金) 14:03:44.10

>>146
停止性問題さえ知らないのか。
参照透明性はプログラムを解析しやすくする。
C/C++ で const の少ないソースを見たら気を付けろ。
実用でいえば、コンパイラが最適化するときに全ての中間式に仮の名前を付けて const 変数として扱い、
例えばループの外に追い出すためのスコープ中で不変な部分を探すために使ったりするが、
これは参照透明な範囲を見つけるためだと言えるだろう。
手続型でプログラムをしていても、なるべく参照透明を保った方がいいし、参照透明な範囲を意識しておいた方がいい。

１ · 2014/08/29(金) 19:54:56.85

>>150
GPGPUはまだ実用って感じじゃないなぁ。
限られた問題しか上手く解けないイメージがある。

>>151
俺もC++書くときはconstつけられる場所はなるべくconstつけるようにしてるけど、
constつけられるメンバ関数って単純な処理やってる場合が多いつーか
やっぱクラスの肝となるメンバ関数にはconstつけられない場合が多いつーか。
std::vectorだと単純なsize()なんかはconstつけられるけど肝となるpush_back()にはつけられないみたいな。

**デフォルトの名無しさん** · 2014/08/29(金) 20:31:28.66

>>148
【Python】ｽｸﾘﾌﾟﾄﾊﾞﾄﾙﾛﾜｲﾔﾙ45【pl,rb,php,js】
http://peace.2ch.net/test/read.cgi/tech/1405874605/670-680

**デフォルトの名無しさん** · 2014/08/31(日) 04:44:55.96

>>148
こいつら夢と理想を語ってる時点で1の妄言と大差ないわ。

**デフォルトの名無しさん** · 2014/08/31(日) 04:46:10.77

夢と理想を描くくらいなら一昔前の俺のレベル。

１ · 2014/09/03(水) 19:05:09.17

結局、関数型言語って何がいいのかいまいちわからんな。
もうちょっと修行が必要か。。。

**デフォルトの名無しさん** · 2014/09/03(水) 19:21:58.87

関数型の良さは手続き型でなく、計算順序(手続き)がなく、副作用がないところ。
(実際は計算時間が掛かるけれど)入力に対し瞬時に応答が返るというイメージ。

１ · 2014/09/03(水) 20:06:29.19

副作用がないってのが今一信用できないんだよなぁ
デカいオブジェクトの一部を更新しようとしたら丸コピーするんでしょ？
まあ、ハードが進歩したらどうなるかわからんが、
副作用なしで十分速いコードを書くのは難しくない？

**デフォルトの名無しさん** · 2014/09/03(水) 20:49:03.08

>>158
>デカいオブジェクトの一部を更新しようとしたら丸コピーするんでしょ？

そんな馬鹿はしない
更新した項目(名前と更新値のペア)が新しい環境へ追加されるだけ
それ以外の項目は古い環境をさかのぼって検索すれば参照できる
（一般には検索結果はメモ化されるから、２回目以降の検索は遅くならない）

ただし副作用のない世界におけるデータ構造に関する
効率的な実装アルゴリズムは発展途上にある
（世の中の歴史的なアルゴリズムの大半は副作用を前提にしているからね）
たとえばこんなのが分かりやすいと思う
・20分でわかる Purely Functional Data Structures - Kmonos.net
　http://www.kmonos.net/pub/Presen/PFDS.pdf

**デフォルトの名無しさん** · 2014/09/03(水) 20:52:47.28

>>158
そこは CopyOnWrite とかの実装でなんとかなるでしょ
て言うか、一部を更新と言うのがそもそも違うような気がするが

１ · 2014/09/03(水) 21:07:05.78

>>159
これ考えたやつすげーな。
素直に感心するわ。

**デフォルトの名無しさん** · 2014/09/04(木) 12:51:46.22

クリス・オカサキさんはsimonpjとかに並ぶ神レベルの御方のひとり。

**デフォルトの名無しさん** · 2014/09/05(金) 06:58:20.44

>>157
ハア？ナニイッテンノ？
関数型にも計算順序はあるぞ。評価戦略という名前で。

**デフォルトの名無しさん** · 2014/09/05(金) 09:55:29.84

正確には、結果が得られるとしたら計算順序によらない（チャーチ=ロッサ性）だな。

1 · 2014/09/05(金) 19:53:29.10

ちなみに>>159が言ってるデカいオブジェクトの一部を更新するとき
丸コピーしないレベルの最適化を実現してるコンパイラって現段階であるの？
あるんなら触ってみたい。Ocamlでなくていいから。

**デフォルトの名無しさん** · 2014/09/05(金) 20:18:53.62

リンク先のPDFをよく読んだか？

コンパイラがやってくれるという話じゃなくて、そういうようにデータ構造を設計する、
という話だから（ある程度はHaskellコンパイラの最適化のおかげも入ってるけど）。

１ · 2014/09/05(金) 20:50:15.22

自力で実装するのか。
参照透過性を保つのはしんどそうだな。

**デフォルトの名無しさん** · 2014/09/05(金) 21:21:29.17

関数型言語を、参照透過性がないC言語で実装可能だし、
C言語ソースコードにコンバートすることも可能。
実行時の中身の動作は関係がない。

１ · 2014/09/05(金) 21:38:10.90

>>168
よくわからんが論理的にそういうこともできるって話ならあんまりありがたみがないなあ。
実装がどれだけ楽かってのは俺にとって重要な話だ。
やっぱりそこはコンパイラに頑張ってほしいね。

**デフォルトの名無しさん** · 2014/09/05(金) 21:46:10.50

参照透過性はハードウェアの物理的な制約でない。
現状、普及しているパソコンもノイマン型、手続き型でアセンブラ・機械語で動作している。
ハードウェアまでが完全に関数型として動くわけでない。

１ · 2014/09/05(金) 22:11:28.48

物理的な制約ではないったって、参照透過性をノイマン型コンピュータで
効率よく実装できないんならそれは物理的な制約みたいなもんでしょ。
丸コピーに勝る最適化が実装されないと、信用できないなぁ。

**デフォルトの名無しさん** · 2014/09/05(金) 22:11:40.10

>>169
>>1 には初耳かもしれないけど、リストというデータ構造がある
リストの実装方法はいくつかあるけど、
世の中で関数型を名乗る言語のコンパイラのほぼすべてにおける
リストに対する構成(cons)と分解(decons)といった操作は、
大昔から「丸コピーしないレベルの最適化」が実現されている
もちろん OCaml でもリスト操作で丸コピーは発生しない

す　ご　い　だ　ろ　？

**デフォルトの名無しさん** · 2014/09/05(金) 22:27:04.06

>>172
へー、consセルのcarに破壊代入するかわりに
cdrをコピーせずに新しいcarだけを追加するのかい？

そりゃすごいねえ

**デフォルトの名無しさん** · 2014/09/05(金) 23:09:43.43

>>173
リストの丸コピーの定義書いてみ
まあ、まともな精神なら恥ずかしくて書けないだろうけどな w

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

>>174
consセルの丸コピーの定義書いてみ
自分の馬鹿さが明らかになって恥ずかしすぎて書けないだろうけどなw

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

つーかconsセルに破壊代入する関数型言語なんて腐る程あるし
この馬鹿は何を自慢したいのだろう？馬鹿すぎて理解できない

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

>>175
書けないわけね
まあ、そりゃそうだわな w

**デフォルトの名無しさん** · 2014/09/06(土) 19:13:42.33

おー、華麗な勝利宣言だwww

キモ！

**デフォルトの名無しさん** · 2014/09/06(土) 21:11:07.40

>>178
キモとしか書けなくて悔しいね w

**デフォルトの名無しさん** · 2014/09/07(日) 08:03:05.89

ハスケラって初心者のくせにハスケル知ってるというだけでエラソーしてるけど
あれって宗教か何かなのか？

１ · 2014/09/07(日) 23:47:31.57

関数型言語やりたいならOcamlよりHaskellお勧め？
>>123のコードは副作用ありまくりなんだが。

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

>>180
ガキにありがちな行動だろ
スルーしとけよ

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

関数型言語の中では副作用がある言語のほうが主流だろ。
LISPやSchemeやSMLやOCamlなど。

**デフォルトの名無しさん** · 2014/09/08(月) 12:03:45.51

副作用、代入ありは、関数型記述もできる手続き型。

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

純血主義ならhaskellで

**デフォルトの名無しさん** · 2014/09/08(月) 15:22:32.10

関数型言語は使うなと何処かの先生が言ってたぞ。
関数型と言うのは単にプログラミング手法であるから言語なんてつけるなと言うことらしい

**デフォルトの名無しさん** · 2014/09/08(月) 17:26:33.52

>>186
kwsk

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

>>187
関数型プログラミングは本当に難しいのか
http://itpro.nikkeibp.co.jp/article/Watcher/20121001/426555/?ST=smart
『関数型言語』を使ってはいけない」との発言が飛び出したのだ。

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

純粋関数型はプログラマの技法のためでなく
コンパイラ、ハードウェアのためだろ。
プログラマにとっては使いにくいが、
手続き、順序がないことで、機械が並列処理しやすい。
順序があると、先の手続きが終わるまで待たないといけない。

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

>>189
逆。
純粋関数型言語はプログラマのための技術だ。
関数型言語の並列化は何十年も昔からの研究テーマだが
未だに実用的な決定打が出ていない。

**デフォルトの名無しさん** · 2014/09/08(月) 19:20:10.71

プログラマのためなら、手続き型も使える関数型、関数型もも使える手続き型というハイブリットのほうがよく
厳しい制約をつけることはない。値の書き換え不可能は便利でない。

１ · 2014/09/08(月) 19:36:06.54

いつの間にか関数型言語スレになってしまったな。
まあ寄り道もいいか。

１ · 2014/09/08(月) 20:53:29.01

無知をさらすようだけど、チューリングマシンで一回テープに書き込んだらそのメモリは書き換えられないマシンがあったら、それはチューリング完全になる？

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

直感的には、規則は面倒になりそうだけど「テープはいくらでもある」というのが
チューリングマシンの前提だから、問題ないんじゃない？

１ · 2014/09/08(月) 21:17:06.30

直感的にはそうなんだけど、じゃあ一回しかメモリに書き込めないマシンでチューリングマシンをシミュレートしてみろって言われると俺には無理。

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

>>186
そういう先生は先生として失格なので無視していい

**デフォルトの名無しさん** · 2014/09/08(月) 23:28:07.41

てゆーか、文脈を無視して取り出すな危険、系だろ

**デフォルトの名無しさん** · 2014/09/08(月) 23:46:25.48

>>180
ナゼ突然に Haskell という名前を出すのか意味不明だなぁ
不変オブジェクトによる計算は、ML や Lisp のように破壊的代入が可能な
不純関数型言語でも重要な概念であり、基本のプログラミング・スタイルだよ
特に>>159のプレゼン内で紹介されているオカサキ氏の書籍では、
すべてのコードが Standard ML で書かれているのに、いったい何を言いたいのだろう？

おそらく>>180の頭の中には「関数型言語 == Haskell」という等式が
あるんだと思うけど、>>180のようにあらゆる関数型言語がHaskellに見えてしまう
ニワカな自称Haskellプログラマを指して「ハスケラ」と呼ぶんだがね

**デフォルトの名無しさん** · 2014/09/08(月) 23:54:48.92

>>186,188
ソースが日経ITpro だろ
ここは以前(2006年)にも「本物のプログラマはHaskellを使う」という煽り記事を書いて、
記事に踊らされた糞ハスケラを量産した張本人だよ
そして今度(2014年)は「『関数型言語』を使ってはいけない」とは、
その変わり身の速さに大笑いするね

>>186,188が、またITに無知なマスゴミ記事に踊らされたいのかい？
日経新聞の中国賞賛記事に煽られて進出した日本企業のように....

**デフォルトの名無しさん** · 2014/09/09(火) 05:57:09.86

単に172みたいなシッタカはハスケラが多いという経験則なんじゃね？
実際、シッタカ多いだろ、ハスケラ界隈。