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

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

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

**デフォルトの名無しさん** · 2014/09/23(火) 11:31:06.71

無限集合を扱わない代わりにストリームを集合として扱えるようにしようぜ

**デフォルトの名無しさん** · 2014/09/23(火) 11:38:18.07

無限集合を扱うのが困難なように言っているが、どういう操作を実装するか次第だろう。
例えば分数ライブラリがあるが、必要になればいくらでも循環小数や無理数の桁を取り出せ、しかし普段は分子と分母を保存しておくだけ。
それをさらに除算以外の演算もサポートした、値を式で保持するライブラリもある。
実際に何かの集合を扱うたびに本物のコンテナを生成するよりもマシな気がするけど。

>>305
> 関数型言語には状態がないってのはなんとなくしっくりこないなぁ。
変化しないものは状態といわない。
例えば人間には生と死という状態があるが、親が人間かどうかというのは変更がないから状態とはしない。
プログラムでいえば再代入のあるものが状態だ。
c/c++のconst変数は建前では参照透明だ(キャスト、mutableがであるので実際は違う)。
本当に関数型言語に状態がないかどうかは言語によるし、システムコールによる副作用があっても参照透明と呼ぶのはレトリックと言われても仕方ない気もする。
特定の言語自体の価値よりも、関数型プログラミング的テクニック全体に価値がある。c++でもPythonでも使える。

> あと、参照透過性を守ったって停止性問題が根本的に解決するわけじゃないよね？
難題とか複雑性が減るとかいう表現を使ったのは、停止性問題の証明には関係ないからだよ。

> これは自覚症状ないんだが。たとえばどの辺が分かったつもりの発言になってる？
>288 を読んで知ったかぶりらしく思わない人がどれだけいただろうか。

**デフォルトの名無しさん** · 2014/09/23(火) 12:03:18.67

>>326は嘘で、無知で発想が支離滅裂で実行力もない人が多いみたいです。

**デフォルトの名無しさん** · 2014/09/23(火) 16:14:06.99

実装に寄らないクラス定義、メソッド、オペレータ、その処理の定義決めればいいんじゃね
オペレータオーバーロードできない処理系ではオペレータの代わりにメソッド実装でいいし、しっかり概念が定義されてたらどの言語にも移植できるやん

1 · 2014/09/24(水) 20:26:39.07

うーん。とりあえず、集合のリテラルがある言語、またはリテラルを自作できる言語ってある？

**デフォルトの名無しさん** · 2014/09/24(水) 20:34:18.13

C++11

**デフォルトの名無しさん** · 2014/09/24(水) 20:46:24.29

Pascalの型に集合はあったけど、リテラルあったっけ？

１ · 2014/09/24(水) 21:32:20.18

C++11すげぇｗ
正気の沙汰とは思えないｗ
しかしこれ、setみたいなテンプレート型のリテラルもちゃんと作れるのかなぁ？

**デフォルトの名無しさん** · 2014/09/24(水) 21:47:35.83

つうかC++11使ってリテラル定義しなくても、初期化子書けばいいだけ。

１ · 2014/09/24(水) 21:59:47.35

std::initializer_listなんてものもあるのか。
世の中知らないうちに便利になってるな。

**デフォルトの名無しさん** · 2014/09/24(水) 22:19:34.82

VDM http://en.wikipedia.org/wiki/Vienna_Development_Method
Z http://en.wikipedia.org/wiki/Z_notation

**デフォルトの名無しさん** · 2014/09/25(木) 22:46:08.06

>>1 >>360
あーまだそんなこと言ってるのか

１ · 2014/09/26(金) 20:57:23.89

C++１１結構面白そうだが完全準拠したコンパイラが無いっぽい？

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

お前のOSにゃ無いかもしれんな

１ · 2014/09/26(金) 21:24:17.23

とりあえずVisual Studio 2013 Express でいじってみてるけど結構楽しい。

int _tmain(int argc, _TCHAR* argv[])
{
set<set<int> > a = { { 1, 2 }, { 3 }, { 4, 5, 6 } };
for (auto i : a){ for (auto j : i) cout << j << " "; cout << endl; }
return 0;
}

とか書けていい感じ。

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

>>1はC++のように集合が扱える言語が実現したいのか?
一部のスクリプト言語だったらかなり以前からできていなかったか。
CでもC++でも以前から、ライブラリで拡張したら集合は扱えたはずだろ。

１ · 2014/09/26(金) 21:56:27.24

>>365
個人的にはもうちょっと言語の設計が根本から変わるようなものが
集合にはあるんじゃないかと思ってるんだが。
それがなんだかは分からないｗ
いまのところ集合を普通のライブラリとして用意する以上のアイディアは出てない。

**デフォルトの名無しさん** · 2014/09/26(金) 22:40:52.33

（>>856 の続き）

始めは「考えられるリスクの低減」から
・ライブラリや共通部品の多くは(アルゴリズムやデータ変換を実現する単純なものもあるが)
　データベース/ファイル／ネットワーク/プロセス間通信といったプログラムの
　外部インターフェイス処理が多くを占める
　これらを実装するには、プログラマにシステムコールや標準ライブラリ(>>829)、
　そして社外のライブラリや社内の共通部品等等、幅広い知識が求められる
　これを経験の浅いメンバに負わせるのは無謀
・ライブラリ/共通部品の実装技術は機能仕様(=ビジネスルール)には依存しないから、
　類似のシステム開発プロジェクトがあれば、類似の実装になる
　もしライブラリ設計担当がいくつかのプロジェクトを経験したベテランであれば、
　過去の(失敗を含めた)経験から、既存の設計やコードを改造母体にして短期間で設計できる
　これと同じことを経験の浅いメンバに期待するのは無茶
・万が一、ライブラリ/共通部品の開発日程が遅延して結合テストに間に合わなかったり、
　結合テストでバグが多発する事態になれば、その影響はプロジェクトの全体に及ぶ
　もしモスク(>>856)の中位/上位層であれば影響範囲は限定的だし、
　その炎上の火消しのためにライブラリ/共通部品を担当させて余力のあるベテランを投入できる
　（当然、ライブラリ/共通部品設計には日程厳守(or 前倒し)と高品質(=バグ0)をベテランに要求する）

１ · 2014/09/26(金) 22:44:11.22

>>367
仕事でやってんじゃないんだから好きにさせろ。

**367** · 2014/09/26(金) 22:44:51.94

>>367 は誤爆だから無視してくれ、スマソ

１ · 2014/09/26(金) 22:55:37.85

誤爆とは思えないほどスレの流れに合ったレスだったが。
まあいいや。

**デフォルトの名無しさん** · 2014/09/27(土) 12:16:01.73

オメガってZFに基づいた言語がアメリカにあったはずだが見つけられない。
集合はsetとclassの型付け。
上にある仕様記述言語Zとは別。

**デフォルトの名無しさん** · 2014/09/28(日) 20:41:53.96

>>1
>>360についてはどうなのよ？

１ · 2014/09/28(日) 21:20:59.19

>>371
すまん。あんまりちゃんと読んでない。
wikiだけじゃよくわからんというのが素直な感想。
それに英語は大の苦手。

１ · 2014/09/28(日) 21:21:51.62

安価ミス
>>372ね

**デフォルトの名無しさん** · 2014/09/28(日) 22:47:39.25

>>373
http://homepages.cs.ncl.ac.uk/cliff.jones/publications/Jones1990.pdf
http://www.cs.ncl.ac.uk/publications/books/papers/100.pdf
http://spivey.oriel.ox.ac.uk/~mike/zrm/zrm.pdf
http://staff.itee.uq.edu.au/ianh/Papers/SCS2.pdf

英語が苦手なのに
>しかたないのでこのスレは>>4とかの言語を勉強するスレにするか。
と書いたのか。

１ · 2014/09/28(日) 23:24:45.68

>>375
英語苦手なのでこれを読むのは結構時間かかると思う。
まあ、ぼちぼち頑張る。

**デフォルトの名無しさん** · 2014/09/28(日) 23:48:18.69

>>376
http://homepages.uel.ac.uk/A.Kans/MSc%20week3.pdf
http://www.cs.nott.ac.uk/~rxq/files/4FSPnotation.pdf
http://formal.iti.kit.edu/~beckert/teaching/Spezifikation-SS04/11Z.pdf

１ · 2014/09/29(月) 00:04:52.39

>>377
こっちのほうが入門っぽいの？
まあ、あんまプレッシャーかけんなや。

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

>>360についてどう思うかたずねられる →「wiki(pedia)だけじゃよく分からん」
詳しく書かれている文書を提示される →「読むのに時間がかかる」
もっと短い文書を提示される →「プレッシャーかけるな」

**デフォルトの名無しさん** · 2014/09/29(月) 13:28:38.13

>>1
センスは悪くないが、致命的に勉強が足りんな

１ · 2014/09/29(月) 18:35:35.54

>>379
このスレで提示されたもの、俺が全部勉強しなきゃいかんのかと思うとちょっと怖いんだが。
>>380
勉強不足なのは認める。

**デフォルトの名無しさん** · 2014/09/29(月) 20:16:07.80

どっちに進んだらいいのか分からないんだから、提供された情報を手がかりにして、
wikiだけじゃ分からんとか言わずに自分で情報をさがして勉強するしかないだろ。

情報を提供してもらうためにスレを立てたんだろ。

１ · 2014/09/29(月) 20:43:37.99

>>382
スレたてた時は軽い気持ちだった。
なんかこんなガチな感じのスレになるとは思ってなかったと言わざるを得ない。

１ · 2014/09/29(月) 20:52:49.67

>>377
ちょっとだけ読んでみただけだから誤解があるかもしれないけど、
これは仕様をガチガチに固めるためのもの？
こんなこと言うと批判がありそうだけど俺としてはbashやRubyみたいに緩い感じでコーディングして
仕様変更があってもちょちょっとハッキングすれば何となく動いちゃうみたいのが好みなんだけど。

**デフォルトの名無しさん** · 2014/09/29(月) 22:24:17.39

>>383
>>365の言うとおりだけど、不勉強だから、
「発想から徹底的に集合論的思想で言語仕様を考える」って大風呂敷を広げてしまったわけだ。

１ · 2014/09/29(月) 22:46:32.46

>>385
まあ、ぶっちゃけ俺には>>365を超えるような大したアイディアがあったわけじゃないな。
みんなで雑談してるうちに面白い話が聞けたらいいなぐらいの気持ちだった。

**デフォルトの名無しさん** · 2014/09/29(月) 22:53:43.66

Python の set とかってイメージしてる "集合" とはどういう関係にあるのかな

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

Zは仕様記述言語だよ。
Notationと言われているように、日本語だと記法と言ってもいいかもしれない。

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

>>386
大風呂敷を広げている自覚があるならたためばいいのに。
>>365には「そのとおりだ。不勉強だから『発想から徹底的に集合論的思想』などと大風呂敷を広げてしまっていた」と言い、
>>360には「情報ありがとう。でも考えているのは>>365のようなものだからVDM等とは方向が違う」とでも言えばよかったのに、
「言語の設計が根本から変わるようなもの」とか言い出すし。

**デフォルトの名無しさん** · 2014/09/30(火) 00:27:57.32

過去の発言をあげつらうとか無粋なことを‥
そのときどきで感想がぽつぽつ上がってそこから何かが生まれればよし、そうでなくてもいいので、こうしてお付き合いしているわけだし‥

**デフォルトの名無しさん** · 2014/09/30(火) 00:47:37.34

1の興味がどっちに向いてるのかはっきりさせとかないと、誰かが>>360のように情報を出してくれても、
1は興味を持てず理解もできず、情報を出してくれた人を無視することになるわな。

**デフォルトの名無しさん** · 2014/09/30(火) 04:58:34.96

一次元で言ったら
(1-5) | ( 2-6) | (3-9) | (9-10) = (1-6, 3-10) こういうの返すとか
2次元だと、GDIなんかでもよくあるリージョン計算とか
三次元にも応用してとか
言語にこだわらず、集合表記決めて興味持った人が各言語で実装するのがいい

**片山博文MZ次期CEO** ◆T6xkBnTXz7B0 · 2014/09/30(火) 07:28:17.49

ひらがな電卓Calc-Hだと、
「ろくのやくすうはなんですか」とか
「じゅうにいかのそすうは」とか
「よんのばいすうはにでわりきれるか」とか
「いちいじょうのろくのばいすうは、ごよりおおきいさんのばいすうか」
といった質問に答えられるんだけど。参考までに

**デフォルトの名無しさん** · 2014/09/30(火) 12:59:47.25

>>381
勿論勉強なんか最低限でよい。
ただ集合言語を論じるなら、「Z」と「集合論プログラミング」（ググれ）
のさわりだけはおさえとけ（それだけでいいよ）

**デフォルトの名無しさん** · 2014/09/30(火) 15:20:16.06

さわりは音楽でいうサビかイントロか。
イントロと間違う人も多いだろう。

**デフォルトの名無しさん** · 2014/09/30(火) 16:07:43.18

そりゃサビだろ
最低限なんだから大事なところ押さえないと

１ · 2014/09/30(火) 20:27:22.22

>>389
まあ、大風呂敷を広げた方が話が盛り上がるかと思って。

>>391
正直すべてのレスをフォローするのはしんどいかも。
方向性はまだ固まってないです。

>>393
結構、ことばがわかりません。ていわれる。
いまのでも結構すごいがこれを実用までもっていったらかなりすごいと思う。

>>394
Zはオブジェクト指向でいうUMLみたいなもん？
集合論プログラミングはぐぐったけどCiNiiの論文がヒットした。
プレビュー読んでみたけどアルゴリズムを自動生成するの？
確かにすごいし理屈も通ってると思う。
これの処理系がすでにあるなら触ってみたいけど、
自分で実装しようとは思わないｗ。大変すぐるｗ。

１ · 2014/09/30(火) 21:50:21.63

集合論プログラミングは確かに言語の設計が根本から変わってると思う。
こういう情報が得られるだけでもスレをたてた甲斐があるというもの。

**デフォルトの名無しさん** · 2014/09/30(火) 22:19:13.15

>>398
わざわざスレを立てなくても集合論プログラミングでググればすぐ見つかるんだけど。
「発想から徹底的に集合論的思想で言語仕様を考える」と言っておきながら
その程度の検索すらしてなかったんだな。

１ · 2014/09/30(火) 22:29:12.29

>>399
まあな。

**デフォルトの名無しさん** · 2014/09/30(火) 23:59:40.07

>>397
アルゴリズムの自動生成をするわけではなく、論理式を使って書かれた
仕様を元にして人間がプログラムを作っていくもので、VDMやZと同じ
方向なんだけど、感想がずいぶん違うな。>>384 >>398

１ · 2014/10/01(水) 06:02:07.09

>>401
VDM　書いたものが実装にならない
集合論プログラミング　書いたものが実装になる

と思い込んでたからな。
どっちも書いたものが実装にならないならあんまり俺の趣味じゃないなぁ。
集合論プログラムは書いたものが実装になってもよさそうなほど
論理を詰めていたように見えたが気のせいだったか。

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

>>402
VDMは実行可能だ

**デフォルトの名無しさん** · 2014/10/01(水) 11:04:19.89

>>398
やっぱりアンタはセンスが良い。というかこれから何かできる人だ。
集合論プログラミングはZなんかに比べるとマイナーだが、Zより実質がある。
実装もできる。アンタが土台にするべき言語はこれじゃないかな？
検索してないとかなんとかというノイズは無視していいよ。

**デフォルトの名無しさん** · 2014/10/01(水) 14:56:19.11

>>402
論理式を使って、プログラムに自動的に変換できそうなほど詳細な仕様を書くのは、
＞緩い感じでコーディングして仕様変更があってもちょちょっとハッキングすれば
＞何となく動いちゃうみたいの
とはかなり違うわな。

1 · 2014/10/01(水) 19:43:26.77

>>403
どうゆう意味で実行可能なの？
他のプログラムの外付けアサート的な動作しかできないのかと思いこんでいたが。
VDM単体で動くの？

>>404
俺をおだてても木には登れんぞ。
集合論プログラムのコンパイラを作るなんて俺の実力じゃとても出来そうもない。
ユーザーとしてなら使ってみたいが。

>>405
仕様を詳細にするのはやり方がまずいと柔軟性のないプログラムになると思う。
抽象度の高いプログラムで仕様を満たせるならそっちの方がいいと思う。

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

>>406
インタプリタで実行できる

１ · 2014/10/01(水) 20:28:28.86

>>407
まじで。英語だからちゃんと読んでないけど>>360のwikiにsqrtの例で

SQRT(x:nat)r:real
post r*r = x

とかいうのがあったからこりゃ単体じゃ実行できないなと思ったんだけど。
早計だったか。

**デフォルトの名無しさん** · 2014/10/01(水) 20:39:41.94

>>408
VDMには実行できるexplicit specと実行できないimplicit specがある。
その例は実行できないimplicit specのほう。
このリンク先のはみな実行できるexplicit spec
http://www.vdmtools.jp/doc/tips/vdmIdiom.html

１ · 2014/10/01(水) 21:57:06.59

>>409
なんか、サンプルプログラムよんでもイメージが湧きづらい。。。
文字列操作の前後のスペースをトリミングとか何やってるのかよく分からん。

[ p | p in set inds org & org(p) <> ' ']がorgの空白でない文字のインデックスの集合で
パターンマッチでその集合の先頭と末尾を取り出してる。
sがorgの空白じゃない最初の文字のインデックスでeがorgの空白じゃない最後の文字のインデックス
でorg(s,...,e)で頭とおしりの空白を取り除いた文字列を返してるってこと？

１ · 2014/10/01(水) 22:21:29.56

[]は集合じゃなくて列か。

**デフォルトの名無しさん** · 2014/10/01(水) 23:50:12.62

>>409
クソVDMなんか持ってくるんじゃねえよ。
お前はセンス悪い。

1 · 2014/10/02(木) 12:38:59.14

あれ？乗っ取られてる？立てただけでちょっと居なくなったすきに…

１ · 2014/10/02(木) 18:33:20.87

>>413は偽物。
といっても俺も本物だと証明できるものはなにも持ってないな。
まあ、何が本当かは皆さんの判断に任せるとしましょう。

**デフォルトの名無しさん** · 2014/10/02(木) 19:01:12.47

ここって>>1となれ合うスレ化してるから、馴れ合ってる1こそが1

**デフォルトの名無しさん** · 2014/10/02(木) 19:52:03.79

>>414
トリップっていうのをつけたら?
http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1241152992

１ · 2014/10/02(木) 20:07:14.68

>>416
今からトリップつけても過去のスレに対してはなんの証明にもならんけどな。
今からでもみんなが付けろっていうなら付けるが。

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

>今からトリップつけても過去のスレに対してはなんの証明にもならん
それは>>415のように考えるしかない。

１ · 2014/10/02(木) 20:45:42.53

>>418
まじでｗ

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

Rubyだとトリミングはstr.stripで一発だな。
ライブラリつかわんでもstr.gsub(/^ +/,"").gsub(/ +$/,"")でワンライナーか。
この比較がフェアかどうかは微妙だが、Rubyと比べてVDMは読むのしんどいな。
慣れてないだけかもしれんが。

**デフォルトの名無しさん** · 2014/10/03(金) 22:20:11.35

>>420
的外れな比較だな。

１ · 2014/10/03(金) 22:25:06.66

>>421
やっぱそうか。そんな気はした。
でもこういったこまごまとした道具がきっちりそろってるのもRubyの魅力なんだよな。

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

で、文字列をトリミングするのが君のいう集合論ベースの言語なのかい？

１ · 2014/10/04(土) 09:55:23.27

>>423
トリミングについてはちょっとふれただけだろ。
そんなに粘着した覚えはないぞ。

**デフォルトの名無しさん** · 2014/10/04(土) 12:53:49.48

言ってることがブレブレなんだよ。
集合論から徹底的にと言ってみたり有限集合だけと言ってみたり
言語仕様だと言ってみたり便利なライブラリだと言ってみたり
美しい言語だと言ってみたり処理速度がどうのと言ってみたり
で、今度は文字列操作ユーティリティライブラリの充実度か。

結局何がしたいんだ？

**デフォルトの名無しさん** · 2014/10/04(土) 13:00:56.11

有限集合のみだと素朴集合論以下だしな。

**デフォルトの名無しさん** · 2014/10/04(土) 13:34:13.41

>>425
そんなに結論を急ぐのはなんでなの？

**デフォルトの名無しさん** · 2014/10/04(土) 14:11:28.47

結論どうこう以前に
こうまで毎回後だしジャンケンばかりでは
永遠にグダグダだろ

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

個人のチラ裏にそんな文句つけてやるなよ

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

ID:TsYLxX57の書き込みに文句をつけるのもなしの方向で

１ · 2014/10/04(土) 16:10:38.32

>>425
何がしたいかといわれると、建前では教科書の章末問題のようなものを
サクサクインプリメントできる言語をつくりたいだが、本音を言えば>>386だな。

まあ、集合論に基づいた言語自体、まだ形がほとんど何もできてない状態だから
議論がぶれるのはある程度しかたないな。

>>428
後出しジャンケンといわれても困るんだが。

**デフォルトの名無しさん** · 2014/10/04(土) 16:17:38.75

何の教科書だよ。
集合論に基づいた言語と言うから集合論の教科書かと思ってたら
集合論の教科書は想定してなかったとか言い出すし。

１ · 2014/10/04(土) 16:23:04.72

>>432
まあ、主に離散数学だな。

**デフォルトの名無しさん** · 2014/10/04(土) 18:36:28.77

zfcに基づいたプログラミング言語は理論上作成可能？

**デフォルトの名無しさん** · 2014/10/04(土) 19:35:13.51

論理言語なんてPrologでええやん

**デフォルトの名無しさん** · 2014/10/04(土) 19:46:48.95

基づくというだけなら既存のスクリプト言語のsetクラスでも、基づいているとは言えるんじゃね？
ZFCで表現可能な全ての集合を扱える、という条件なら、無理だろ。

**デフォルトの名無しさん** · 2014/10/05(日) 18:24:35.09

>>434
そりゃ可能だよ。既にだれか作ってたような

**デフォルトの名無しさん** · 2014/10/06(月) 01:43:06.63

選択公理は無理だろ。
無限公理もキツイと思う。

**デフォルトの名無しさん** · 2014/10/06(月) 12:01:11.94

選択公理って、よーするに、どんな集合からでも「その要素を一つ選んで取り出す」ことができる、
とする公理でしょ。コンピュータでそれを原理として使えない理由ってある？

（本物の実数の濃度を持った集合を表現できない、とか？）

**デフォルトの名無しさん** · 2014/10/06(月) 12:36:12.97

「無限集合の無限集合」をどう扱うよ？

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

（ポインタで表される）一つの要素であることに変わりは無いと思うけど

**デフォルトの名無しさん** · 2014/10/06(月) 13:25:58.86

…解らないなら解らないと正直に言えばいいのに…

**デフォルトの名無しさん** · 2014/10/06(月) 15:33:29.23

説明できないなら（以下略

**デフォルトの名無しさん** · 2014/10/06(月) 15:44:15.26

選択公理は選択する方法があるとは主張するけど、選択する方法を具体的に出す訳じゃないから無問題

**デフォルトの名無しさん** · 2014/10/06(月) 22:35:03.81

>439
可能無限なら扱える。実無限は無理。

>441
自然数で番号付けできているから、実数は扱えない。

>444
実数は選択できないよ。

**デフォルトの名無しさん** · 2014/10/06(月) 22:39:52.81

哲学屋が語る論理の本で勉強したなw

１ · 2014/10/06(月) 23:54:52.31

なんか計算不能な問題に取り組ませたい奴がいるっぽいな。
>>48と同じ奴か？

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

スレタイに釣られるとそうなるよ

**デフォルトの名無しさん** · 2014/10/07(火) 05:00:08.90

DaOiROEZの半可通っぷりが最高w

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

ZFの範疇でさえ消化できてないのに、実無限なんて飛躍しすぎ。