【毛の壁】脱アルゴリズム宣言【FXST】

これは素晴らしい。アルゴリズムからの脱却！！


http://qiita.com/kenokabe/items/41189c45001321c9e283
Swiftで脱アルゴリズム！
iOS開発を関数型（宣言型）プログラミングへパラダイムシフトしてみる【脱アルゴリズム宣言�@】

forループ（など）が無いことを脱アルゴリズムと言ってるけど、
代わりに使ってるreduceやmapの中に移しただけじゃん

ぎゃっはっはっはっ

関数型には関数型のアルゴリズムがあるだけだが

どんだけバカなんだこいつwwwwwwww
計算可能性という概念とか全く知らずにこれだけ偉そうなことをのたまうバカは初めて見たwwww

「アルゴリズム＝フローチャート」という、マイコンブーム時代の
化石のような固定観念がどれだけ脳みそをぶっ壊したか、だよな。

なかなか先端的なこと言ってるとおもうけど？論理的に反論するべき

このスレを立てた奴は、このギークに数年以上粘着してるらしいね

本人様登場かな？

>>1
その記事読んだ
勉強になった
最近Schemeやってるんだが
改めて関数型プログラミング脳と命令型プログラミング脳
の対比を見てなるほどと思った

>>2
状態変数の駆逐の有無という、論者にとっては重要な差異があるけど？

> 言ってることは至極真っ当だと思う。
> なかなか国内にはここまで書ける奴は居ないね。

デタラメですwwwww
「アルゴリズム」が、手続き的に定義されたものでなければならないなんて決まりは
どこにもない。

GCDを次のように関数的に記述したとしても、
gcd(a, b)
　} a < b　　　　= gcd(b, a)
　| b == 0　　　= a
　| otherwise　= gcd(b, a%b)
ユークリッドの互除法というアルゴリズムの記述である、と考えるのが
コンピュータ科学の常識です。

> 状態変数の駆逐の有無という、論者にとっては重要な差異があるけど？

アルゴリズムというものの定義を間違えてるだけだ。

番号飛んでるな
精神病が喚いたか
しょうもないやつ

http://togetter.com/li/682150
ケンオカベ=サンの脱アルゴリズム宣言の衝撃

チンコパワー宣言

あぼーん宣言は負け宣言だぞw

勉強にはなったが
言ってることは普遍的ではないだろ

1.命令型プログラミングにおけるアルゴリズムをもってtheアルゴリズムとしていることがそもそも、奇妙

2. そのうえで、関数型プログラミングでは命令型プログラミングにおけるアルゴリズムから脱するコトができる、それは定義からいっておたりまえだが、アルゴリズムがないとはならないだろ

map関数のようにアルゴリズムが隠蔽される便利な例を出してるだけ

3. 関数型プログラミングにおける関数の定義は、それが問題解決のアルゴリズムだろ？

まあ、状態変数を減らせるけど。状態変数の有無がアルゴリズムかどうかの分岐点じゃないし

;;;incriment/decriment関数を用いて正の整数の加算を定義する
(define (add x y)
(cond
((zero? y) x)
(else (1+ (add x (1- y))))))

>>18
つづき
関数addではなるほど状態変数などない
でも、アルゴリズムはあるよ

http://qiita.com/kenokabe/items/41189c45001321c9e283
で例としてある
「1から10までの数を足して結果を表示する」
をmap使うなんてずるいし。もろ没アルゴリズムになるな
でも、mapなんてずるいことしなければ

まずは、はじめにデータを全部準備するという狂気のやり方でやれば

(define lst '(1 2 3 4 5 6 7 8 9 10))
(define (sum lst)
(if (null? lsp) 0
(+ (car lst ) (sum (cdr lst)))))

で、
(sum lst)

次に、データをリスト化して事前に準備するというアホなことしなければ
関数は以下の通り

(* (+ 1 10) (/ 10 2))

でおしまい。そこにもアルゴリズムはある
「はじめと終わりのカズを足して、それに、かずの個数を二で割った数をかける」

といわけで
このスレ終了ということでいい？

本人が認めないだろうから、終わらないと思うけど……

Clojureのコードで笑ったw

まさに、脱毛だな。

> おまえらは頭いい風の馬鹿

それは岡部健さんに言えよw

> 数学やれ。出直してこい

それは岡部健さんに言えよw

> 岡部健さんの真意をなに一つ理解してなかったことがわかる

「アルゴリズム」を間違って定義しておいて、真意もなにもないわーーーw

> まあ無駄だろうけど

無駄でしょうね、岡部健さんwwwww

なんかこう、再帰で階乗を求めるプログラムを作って、
「ループじゃなくても求められる」って狂喜乱舞した中学生時代の自分を思い出すよ。

>>25
テーブルを使って関数ポインタで呼び出したり、それを一歩推し進めたOOPの
多態性でのif文が無くても！ってのに進化するまでもう少しかかるのかな。

kenokabeはgithubでも誰かに顰蹙買ってたなぁ

>>27
そんな事実など無い。デマ流すな。
普通にこの人ギークだろ

毛は変態ギークを自称してるけど、変態までしか合ってないだろwww

岡野っての、愚かしくも顔写真出してるだろ
本人はカッコイイとおもってるんだろうが
ありゃ、露骨に精神病の写真

特徴は宣言した世界を、それのみがありうる世界とみなし、演繹的帰結は、それまた直ちに世界そのものとみなすこと

アホさらけ出しのアルゴリズムの独善的定義と、そこからの演繹
もろそのものズバリ

ぷぷぷ、いつまで精神病の写真だしてるんだろな

手続き型行政 ⇔ 非手続き型行政

たとえば
> 数珠つなぎでデータを操作していく
という表現があるが、これは命令型の特徴そのもの。
特定の順番を処理系に指示することこそ命令型。
非常に例が悪いか、かなり誤解している。

岡部君は要するに手続き型で書けない、と。

毛のアレは手抜き型だろw

関数型（宣言型）プログラミングで無限をコーディングする「遅延評価」のわかりやすい解説【脱アルゴリズム宣言�B】
http://qiita.com/kenokabe/items/821ce4020644372b648c
一応、成り行き上Swiftのタグをつけていますが、実質JavaScript/node.jsの記事になっています。
理由は、ObjectiveCに比べて随分と扱いやすくなったけれど、自分自身まだ慣れていないということ。

//----知らないなら書くなって！！　Swftと書いておけば食いつきが良いから利用しただけみたいだな。

リアクティブプログラミングを 仮想言語で分かった気になる

a=1 b=a*3 a=2 print(b) ←ここで何が出てくる?
命令型なら bは3のまま ← a*3が計算された時のまま

リアクティブプログラミングでは bが6になってる ←「bはaの3倍」という関係性を定 義しているので、
bの値はaの値が変更されたら自動 で再計算され、自動で再代入されている(?)

Excelのセルに書いたマクロのような感じ

その後、a=b*2と書いたらどうなるんだ？

言い訳を書いているとあったから、過ちを認めたのかと思ったら……
自分の過ちも認められない阿呆だったか。

>>37
循環参照で無限ループじゃね？

>>37 お互いに影響し合うなら、無限ループだけど、現実的には影響の仕方を一方向にしたりなんらかの制限を付けるだろう。

しかし現実的に例えばSwiftだとどうするのかな？
思いつくのは、get set かな、aにsetする時にbにa*3 を入れるとか。でもなんの変哲もないね。
bに動的な演算式を入れるのはSwiftでは出来無いだろ。
lazy と結びつけるには、bを取り出すと言う別のプロパティが必要なんじゃないかな。

誰か適当なサンプルを書いてみて。

わきゃきゃ、やっぱり岡部っての精神病だろ
ネットでの批判に対して、ねちねちと記事の中で攻撃してるのが笑える
要するに形而上学頭で馬鹿ということ

Togetterで脱アルゴリズムまとめられて、コメント欄でkenokabe2という名前使って暴れてる模様

ttp://togetter.com/li/682150

>>42
そのkenokabe2って垢、凍結されたkenokabe垢の代替垢として作って速攻で凍結された垢なんだが。
凍結されてる垢でTogetterで暴れるとか、毛はそろそろ措置入院させないと危険だな。

何せ、奴は幼い姪の身体を性的に狙ってて、親兄弟にまで発覚してるし。

こいつ凄いな。　完全にいかれてる。

40過ぎてもまだ童貞で、その童貞を姪を犯して捨てようと考えてるとかもうねwww

40過ぎての初体験をそんな形でやろうとか変態にも程があるだろwww

>>42-43
最初 ケンコバと見間違えて
次に 毛の壁って何だよ？　と考えた俺の時間を返せ

ke no kabe 今解った。
お前らファンなのか？

>>48
ばか？
精神病？

FRPと遅延の関係をここまで分析してる記事は初めてみた。
かなり勉強になったんだが、このギークに何年も粘着してる気違いが湧いてるみたいだ。
プログラマ板をネトヲチ板と勘違いしてるようだな。巣に帰れ基地外ども。

とは言え、基地外に言っても無駄だろうから削除依頼出しとくか。
1から3まで通しで読むと初心者打って付けの教科書になるんだが、叩き目的でしか書き込まない奴が湧いている以上板違い。

件のTogetterまとめ、当の毛の壁が削除依頼を出して消されてしまったわけなんだが。
ついでにkenokabe2垢もTogetterでBANされてるのがwww

>>50
毛の人必死だな

>>52
おまえこの板の住人じゃないだろ？プログラム書けないだろ？

なんだよ、毛の人って？　ウザ

ローマ字のつづり方 内閣告示第一号
http://www.mext.go.jp/b_menu/hakusho/nc/k19541209001/k19541209001.html

脱アルゴリズム宣言というのは脱ダム宣言から来てるんだろうけど、
ちょっと学術的じゃないな。多分、非手続き型プログラミングと
言うべきかもしれない。

宣言型とかけてるんだと思うが。
遊び文句に学術的じゃないとか、なぜ重箱の隅をつつくような奴が多いんだろう。
逆に何が気に食わないんだろうか？理由を知りたい。

論文を発表したいなら、情報処理学会に入会すればいいじゃん

情報学会で発表する論文でもないのに、学術的じゃないと文句たれてる理由がわからないと書いたんだが？

堕落

は？

>>60 本人か？ Swiftが全然出てこないのなら表題書き直せ。
何も知らないのに良く大ボラ吹いて客集め出来たな。

>>59 が情報処理学会だの言い出してるので問いただしたら、なんで本人になるんだ？
ああ、Swiftで具体的なコードが不足しているから不完全燃焼して大ボラだの文句たれてるのか。
知るか。

>>63 あと、作者が何も知らない、っていう部分のソース。
短絡的なアルゴリズムの定義のいちゃもんつけ以外でよろしく。

うわ、キモ

番号飛んでるな
精神病が喚いたか
しょうもないやつ

>>67
え？きみ、精神病だろ？
違うのか？
どうなんだ？

本人じゃなかったら粘着・偏執狂、うわ、キ・モ・す・ぎ。
本人だったら別人なりすまし乙、宣伝乙。

本人以外の何者でもないよ

本人じゃないソースはよ

Wrong terminology made your paper terrible. Die die die.

Qiitaの記事ににpaperとか学術論文とか言って粘着してるやつは一体なんなんだ？

>>72
Fuck your ass hole.

あんまり無根拠なこと言いたくないけど id:9dUPlf3F が本人っぽすぎてわろた

素直に褒めたら、粘着してるキチガイが本人扱いして誤魔化そうとするためのスレだからな

詐欺師の犯罪者だから大目に見てあげようよ

【GAY?】毛の壁ファンクラブ 45【YES!】
http://awabi.2ch.net/test/read.cgi/net/1403615704/

ああこれは関わらないほうがいいやつだ
というかそっちでやって

>>78

ああこのスレ建てて雪崩れ込んできた粘着どもはそこから来たのか
プログラマ板でも粘着かよ

マ板の事情は知らんよ。

あ、ム板とマ板の区別がついていないだけか。

>>65　Swiftのコード1行も書いていないじゃないか。 lazyをサポートしてたって殆ど何も変わらんぞ。
コーディングが楽になる訳でも、早くなる訳でもない。

スレタイにハンドルが入ってる。
ゆえに、削除対象。

ネットウォッチ板でどうぞ。

「毛の壁」がハンドルでいいのか?
本人はTogetterで反論してた気がするが。

今日も本人来ててﾜﾛﾀ ID:T0iVtpPk

国会図書館なんて寄贈すれば蔵書してくれるんだから
全く何の自慢にもならないんだよ、けの岡部君。

どこまでバカなんだ。

岡部さんは脱アルゴリズムの理念により、麻原彰晃尊師を讃える
プログラムを作っています。暖かい目で見守ってください。

ちなみに、私は野田犬さんと誤解されています。

だけど、↓これは岡部さん本人だなw

> ますます脱アルゴリズムパラダイムへの変換が進んでいる感じだな世間では

>>87　間違いない。　煽れば今日もお出ましするだろう。

あのさ、あのJavascriptの遅延のフィボナッチの例だけど、どこに遅延の効果が有るんだ？
書いた格好は単に　take や　toArray みたいな関数が有れば済む話。
スピードは遅延であろうがなかろうが変わらないだろ。

hair wall!!!
hair wall!!!
hair wall!!!
hair wall!!!
hair wall!!!

> 岡部のこと言ってることがおかしかったら論理的に反論してみろ

「脱アルゴリズム」←これが最初から論理的に破綻してますんで。
ナンチャッテはどう見ても毛の壁です。

脱アルゴリズムでーす
ビローン

　　　　　 　　　／_ノ '　ヽ_＼
　　　　　　　／（≡） 　 （≡）＼
　　　　　 ／::::::⌒（__人__）⌒:::::＼ 　　
　　　　　 |　　　　　|r┬-|　　　　　|　　　
　,.--――＼ 　　 　`ー'´ 　 　 ／――--､
（ )　　　　(￣　　　　　　　　　　￣）　　　 ( ）
　ヽ 　 　　￣| 　 　 　 　　　　 |￣　　　　 /
　　 ヽ 　 　　|　　　　э　　　　|　　　　　/　　　
　　　　ヽ、＿(　　　　,,,,　　　 ,ﾉ 　　＿_ノ
　　　　　　 ／ 　　 ､(Ｕ)ﾉ　　 ＼￣
　　　　　／　　／´ 　　　｀＼　　＼ 　 　　　　　　
　　　 ／　 ／ 　 　　　　　　　＼　 ＼　

学歴がどうだろうが、アルゴリズムの定義は変わりませんから。

Reactive-node.js ・ Issue #391 ・ baconjs/bacon.js
https://github.com/baconjs/bacon.js/issues/391

ちくわ大明神かな？

「アルゴリズムはバズワードだ」、ってすごいな。バズワードの定義を間違えているのか、アルゴリズムの定義を間違えているのか…？

この人、ＵＣＬＡを卒業しているって言ってるんだけど、本当かな？

脱アジアイズム

>>94
単なる中二病でしょ。

>>88
遅延評価器だと宣言的記述でもうまく計算結果共有してくれることあるよね。

長澤弁護士〜長澤弁護士〜自称UCLA卒業〜（爆笑）

>One way to classify algorithms is by implementation means.
>A recursive algorithm is one that invokes (makes reference to) itself repeatedly
>until a certain condition matches, which is a method common to functional programming.

毛の壁が引用したWikipediaの「Algorithm」にはこう書かれているけど、毛の壁はこれは無視してるんだよな。

毛の人ｷﾁｶﾞｲやもん

毛の壁にとって>>12にある定義はアルゴリズムではないが、こうすると毛の壁にとってもアルゴリズムw

unsigned gcd(unsigned a, unsigned b) {
unsigned t;
GCD:
if (a<b) { t=a; a=b; b=t; goto GCD; }
else if (b==0) return a;
else { t=a%b; a=b; b=t; goto GCD; }
}

パターンマッチと末尾再帰が彼のおつむでは理解出来なかったってこと？

理解していても、奇妙で強い思い込みが、知識の妥当な利用を妨げている平凡な一例。

＞好評なようなので、【脱アルゴリズム宣言】シリーズとして連載していこうと思います。

不評なので3回で打ち切りw

脱アルゴリズムなら宣言型言語つかえや
SQLでも使ってなさい

ほざけ。チューリング不完全のSqlで何が出来る？言ってみろ

>>107 PL/SQL

えー。一応SQL単体でも再帰クエリでチューリング完全になるけど、どうでもよくね
SQLでアルゴリズムはDBに丸投げしていきたいわけだし

>>106
毛の壁がwikipediaから引用している宣言型プログラミングの説明もSQLやHTMLについてだしな。

wikipedia
＞宣言型プログラミング（英: Declarative programming）は、プログラミングパラダイムの名称だが、2種類の意味がある。
＞第一の意味は、処理方法ではなく対象の性質などを宣言することでプログラミングするパラダイムを意味する。
＞第2の意味は、純粋関数型プログラミング、論理プログラミング、制約プログラミングの総称である。

毛の壁は第2の意味があることにはふれずに第1の意味についての記述だけを、関数型プログラミングについての
記述であるかのように引用している。

wikipedia
＞特に制約プログラミングでは、解の性質を記述することに注力し、解を求めるためのアルゴリズムは特に指定しないこともある。
＞論理プログラミングにもその傾向がある。

関数型プログラミングにそうした傾向があるとは書かれていない。

こんな本があった。

Pearls of Functional Algorithm Design
Richard Bird 著
http://www.amazon.co.jp/Pearls-Functional-Algorithm-Design-Richard/dp/0521513383

Richard Bird は 「関数プログラミング入門 ―Haskellで学ぶ原理と技法―」の著者。

>>107
岡部さん、ちゃんとSQLって書きましょうよ

この人、ブログ読んだけど頭おかしそうじゃない？

すごいぞ。悪口しか書いてないw

この人、UCLA卒業らしいけど本当かな

皆苛めるなよ。　障害者は易しく見守って上げよう。　励ましの言葉をかけてあげよう。
ブログの中で満足していれば外に出て迷惑かける事は無くなる。
そう言えばあのブログは応援コメントを書けないんだな。

もうブログの中だけじゃ済まなくなってるけどな。
ヤメ検弁護士を名指しで誹謗中傷したもんで刑事告訴されてるしw
当然、刑事が終われば民事が待ってるわけでwww

毛は、犯罪を犯して告訴され、裁判にかけられるというアルゴリズムからは逃げられないんだけどな。
自分の罪をなかったことにしたいがための脱アルゴリズム宣言だからなwww

脱アルカトラズ

総務省の「異能べーション」プロジェクトで、
脱アルゴリズムの岡部健氏が内定の模様。
刑事告訴で取り消されないといいけど。

無能マスターベーションの間違いじゃないのか

>>111
こう書かれている。

My aim in writing these particular pearls is to see to what
extent algorithm design can be cast in a familiar mathematical tradition of
calculating a result by using well-established mathematical principles,
theorems and laws.

Explaining the ideas behind an algorithm is so much easier in a functional style than
in a procedural one: the constituent functions can be more easily separated,
they are brief and they capture powerful patterns of computation.

ラムちゃん役は、性格的には
吉高が似合いそう

この手の手続き型に代わるパラダイムの言語って何度も何度も繰り返し作られてるけど
定着したためしがないよな

あるよ

毛はさ、まずは自爆して笑われるというアルゴリズムの方をどうにかした方がいいと思うぞ。
だからって、弁護士を誹謗中傷して告訴されるルートを選択するのもどうかと思うがなwww

> おまえら、頭いい風のトンチキ。数学やれ。

てめぇがまず数学やれ、毛の壁。
まずアルゴリズムの定義を訂正するとこからだ、トンチキ。

これからは脱アルゴリズム。

そのうち、「脱アルゴリズム」とはアルゴリズムから脱却することだと書いた覚えはないなどと言いそうだな。
つーか、「脱アルゴリズム」はバズワードだ、か。

バズマン

あの時、脱アルゴリズムしていれば・・・

・・・と悔やむことが無いように、脱アルゴリズムしておきましょう。

今！

脱アルゴリズムって何ですか？

ほざけ

脱毛アルゴリズム

１．髪の毛を一本抜く
２．毛がなくなるまで１を繰り返す

>>134
機械語の系譜である命令型プログラミングを捨て、
高度に抽象化された宣言型プログラミングへパラダイム転換しよう

髪の毛．map（一本抜く）

>>134
ハゲのパラドクスを思い出した。

精神病スレ、まだあるんだ
乙

毛の壁がまた変なことを言い出した。
http://qiita.com/kenokabe/items/13ea8d2da6adce1b3b9a

どうせやるなら「オブジェクト指向にアルゴリズムは含まれてない」とか
「オブジェクト指向も脱アルゴリズムすべき」とでも言えばいいのにw

植毛アルゴリズム

１．チン毛を一本抜く
２．１のチン毛を頭皮に植毛する
３．チン毛がなくなるまで１と２を繰り返す

これからは脱アルゴリズムの時代。

>>138
読んだ。彼はものすごい勘違いをしてる気がするが、その量が多過ぎて指摘し辛い。

>>129
アルゴリズムがバズワードだから脱アルゴリズムもバズワード
それすら分からず批判する阿呆どもが多いことw

多くの人が脱kenokabeしたのはいつなんだろ

ぎゃっはっはっ
拡散しておこう

究極の命令型プログラミングは機械語。
アセンブラもこれに近い。
だから命令型から脱却するのは言語の進化の当然の
成り行き。

クアハウスクアハウス〜

昨日はタバスコとキムチをお買い上げでしたが、
アナニーはご満足いただけなかったようですねwww

毛の壁の考えでは、>>12に書かれているGCDの定義をもとに書かれた
HaskellプログラムにGCDを求めるアルゴリズムは含まれてない。

毛の壁の考えでも、そのプログラムをコンパイルして生成された機械語コードには
GCDを求めるアルゴリズムが含まれている。

つまり毛の壁の考えでは、HaskellコンパイラがGCDを求めるアルゴリズムを
生成したということになる。GCD以外でも同様。

要するに粘着軍は岡部への恨みで枕を濡らし続けているのです

>>149
病院へお帰り

>>150
涙ふけw

TON兄貴も人が悪いww

旦那とか兄貴とか
三下気質の奴がいるよなw
タバコ買ってこい

タバコ？タバスコの間違いだろw
いいから自分で買えよwww

　　　　　　　 　 　　　　　　　　　　,.-―:￣｀ー::::::::::､
　　　　　　　　 　 　　　　　　　　／::::::::::::.::::::::::::::::::::::::::::｀::､､
　　　　　　　　 　 　　　　　　　/::::::::::::::::::::::::::::::::::::::::::::::::::::::｀､
　　　　　　　　 　 　　　　　　 ｌ::::::::::::::::::::::::::::::::::::::::;':l:::::::::::＼::l
　　　　　　　　 　 　　　　 　 l:::::::::::::::::::::::::::::::::,,::::::::;-,:,::::::::::::::::l
　　　　　　　　 　 　　　　　 l::::::::::::::::,＿,.::::,';::::::;:::::: :: l ::::::::::::::l
　　　　　　　　 　 　　　　 　l::::::::::／-/:::/-ニ,.::::／=,.／::::::::::l
　　　　　　　　 　 　　　　　 ヽ::::　´､ひ> ;: 　l .<ひ>'　 ､::::::::/
　　　　　　　　 　 　　　　　ヽ:::::　　 ￣ .)::;　 l　￣　　　ｌ::::/ 　　　
　　　　　　　　 　 　　　　　　､:::::..　　 /:::;　.,-､　　　　 l:::/
　　　　　　　　　 　 　　　　　 ::::::　　ゝヽ- ｰ' ､　　　 l::/
　　　　　　　　　　　 　 　　　 ヽ:､::　/ ,--､,-.､_ l　　 /　　　　　　＜ お北村、許さんぞ。
　　　　　　　　　　　 　 　　　　　､::､　｀ー￣-'　　　/
　　　　　　　　　　 　 　　　　　　　　::ヽ　　　　　 ／
　　 　　　 　 　　　　　　　　　　　　　　人　　Y
　　 　　　 　 　　　　　　　　　　　　　 （　ヽ　ﾉ
　　 　　　 　 　　　　　　　　　　　　　 人 　Y′
　　 　　　 　 　　　　　　　　　　　 　 （　 ヽﾉ
　　 　　　 　 　　　　　　　　　　　　 人 　Y′
　　　　　　 　 　　　　　　　　　　　 （　 ヽﾉ
　　　　　　 　 　　　　　　　　　　　 人 　Y′
　　　　　　 　 　　　　　　　　　＿（　 ヽﾉ、
　　　　　　 　 　　　　,,.....イ.ヽく、人 　Y　ヽ--､
　　　　　　 　 　　　　:　 　| 　';　＼___ﾉ_ ノ| ヽ　i
　　　　　　 　 　　　　　 　 |　　＼/ﾞ（__)＼,| 　i　|
　　　　　　 　 　　　　　 　 ＞　　 ヽ. ハ　 | 　 |｜