2016-05-17

http://anond.hatelabo.jp/20160516214817

ブログ複数リンクされて引用もされていたけど、2chしかみていない君は知らないだけじゃないかな?

トラックバック - http://anond.hatelabo.jp/20160517120032
  • http://anond.hatelabo.jp/20160516112619

    実際、timeengine.js を読み込んだ状態で、以下のようになります。 > const __x = __();undefined> __x.t = 1;1> __x.t = __x.t + 1;2> __x.t;2 これは岡部健氏が著書で「論理破綻」と批判していた、命令型...

    • http://anond.hatelabo.jp/20160516192742

      まず、 >……と言っても聞き入れていただけるとは思えないので、私ももうこれ以上の書き込みはやめます。 できるだけ丁寧に技術的な誤りだけを指摘したつもりですが、やはり誹謗...

      • http://anond.hatelabo.jp/20160516194341

        おかべたんは教育者らしいですけど何をやってきた人なんですか?

        • http://anond.hatelabo.jp/20160516195833

          当事者じゃない、高みの見物だけど、岡部氏vsアンチで、例の教育者らしい東北大の先生の解説があまり役に立たなかったのは事実 また、岡部氏による例の教育者らしい先生のまずい...

          • http://anond.hatelabo.jp/20160516204233

            岡部さんの言説の支持者がネット上に全然見当たらないのはどうしてでしょうか? Qiitaには何人かいたのですが、なぜかアカウントが全部消えてしまっていて・・・・・やはり陰謀でし...

            • http://anond.hatelabo.jp/20160516214817

              ブログで複数リンクされて引用もされていたけど、2chしかみていない君は知らないだけじゃないかな?

              • http://anond.hatelabo.jp/20160517120032

                それって何人ぐらいですか? ネットを見回しても岡部さんには否定的な声ばかりで、不自然なほどです。やはり日本中の大学や学会、ユーザーグループが「結託」して岡部健さんをおと...

                • http://anond.hatelabo.jp/20160517123407

                  ちくわみたいな質の悪い中傷犯と結託してる住井みたいな自称関数型コミュニティの質の悪い連中を警戒してるからだろうな。 あとおまえが見まわす範囲も偏ってるんじゃない?具体的...

                  • http://anond.hatelabo.jp/20160517130350

                    ちくわたちって誰ですか? 「ちくわたち」なのか「ちくわ達」どっちですか どちらにせよ、知らん名前。

                    • http://anond.hatelabo.jp/20160517140332

                      「ネットを見回しても」云々、事情通を語るくせに、 一方で、この一連のスレッドみても「ちくわ」に関してかなり書き込みがあるのに、それは見えないという嘘はきダブスタっぷり。...

                • http://anond.hatelabo.jp/20160517123407

                  >やはり、「Qiitaもグルになってる」、ということでしょうか? いや、それアピールしながら、後ろめたいのか、バレたらまずいのか、削除編集してるのがおまえらなんだけど?w 「運...

                  • http://anond.hatelabo.jp/20160517130927

                    いまいち要領を得ないのだが、「お前ら」って何なの? 俺は誰ともつるんでないし、誰かと認識してるのであれば人違い あと運営がどうとか学内云々とか、さっぱりわかんないです。 ...

                    • http://anond.hatelabo.jp/20160517140735

                      >いまいち要領を得ないのだが、「お前ら」って何なの? あのね、 >やはり、「Qiitaもグルになってる」、ということでしょうか? などと、トピックを理解して、あと「ネットを見回...

                • http://anond.hatelabo.jp/20160517123407

                  岡部さん曰わくは、「ぼくの主張に同調的な国内の学者たちは、 自称関数型コミュニティの圧力を恐れて、表立って肯定できない」とのことです。 また、 「nonstarter氏や住井教授のよう...

                  • http://anond.hatelabo.jp/20160519175956

                    観測できる事実として、岡部さんと住井さん、nonstarteさんの振る舞いが目立ってきた頃から、 国内ネットでは、地雷、滅多なことを言わないほうがいいという風潮がありました。 しか...

                    • http://anond.hatelabo.jp/20160520072553

                      住井さんをはじめ、岡部さんが批判する相手は、議論となっている関数型プログラミングの定義などが、まるで世界的に合意がされており岡部さんのみが異端だという主張ばかりしてお...

                      • http://anond.hatelabo.jp/20160520083417

                        岡部健さんも過去にロスに居たようですよ。 UCLAでコンピューターサイエンスを学んで卒業したと主張されています。 それは実績ですよ?

                      • http://anond.hatelabo.jp/20160520083417

                        岡部氏より、反論のエントリがなされています。 http://kenokabe-techwriting.blogspot.jp/ これを見るところ、圧倒的に岡部氏の言い分に説得力があります。 「世界的」?ご冗談でしょう・ 住井...

                        • http://anond.hatelabo.jp/20160520093920

                          この人なんでいつも自分のブログを他人が書いたかのように紹介してるの?

                        • http://anond.hatelabo.jp/20160520093920

                          いや、そのStackoverflowでもマヌケな投稿やらかしてたんだよ奴はw

                          • http://anond.hatelabo.jp/20160520111512

                            これか?国内の胡散臭い勢力が参照透明じゃないて断言してたけど海外じゃ全く温度が違うようだ Is Date.now referential transparent? http://stackoverflow.com/questions/37244023/is-date-now-referential-transparent

                            • http://anond.hatelabo.jp/20160523080137

                              " 表示的意味論が与えられるならそれに対してはDate.now()も R. T. だろうけど、それが具体的にどんなもんかわからないし、 それと意味論的に等価なものをどうやって見つければいいか...

                              • http://anond.hatelabo.jp/20160526235642

                                http://stackoverflow.com/questions/37293422/a-true-frp-principle-and-reactivebanana-code また演説して注意されてる・・・・

                                • http://anond.hatelabo.jp/20160527121809

                                  英語のプログラミング質問サイトに増田引用して、「なんかいちゃもんつけられたけど、俺のほうが正しいよね?ね?」ってか。

                        • http://anond.hatelabo.jp/20160520093920

                          岡部氏は当該部分を引用していませんが、元記事をちゃんと読むと Cの「プリプロセッサが」Cプログラムを生成する純粋関数型言語、 という話ですね。

                          • http://anond.hatelabo.jp/20160523003141

                            住井某が岡部氏が同じことを言ってるのを聞けば「私の知ってる純粋関数型とは違います」とかしれっといいそうだなw 純粋関数型なんて今でもずっと議論されてて合意なんてないよ。

                        • http://anond.hatelabo.jp/20160520093920

                          仮にCが純粋関数型言語で、岡部式FRPのx.t=x.t+1;も関数型なんだったら、C言語のx=x+1;も関数型だよね。 岡部氏の本でさんざん「x=x+1;は論理破綻」って批判してたのは何だったんだろう。 と...

                          • http://anond.hatelabo.jp/20160523005330

                            ブログでおまえみたいな馬鹿むけに丁寧に説明されてるじゃん http://kenokabe-techwriting.blogspot.jp/2016/05/timeengine-xt-xt-1.html

                      • http://anond.hatelabo.jp/20160520083417

                        「700円のiOSアプリ」だの2ちゃんの岡部氏への粘着スレのお経を繰り返している時点で、おまえがどういう人物かわかるよね? そういうネガキャンやりたい人アピールのお前がなにか客...

                        • http://anond.hatelabo.jp/20160520101324

                          毛の壁さんがiOSソフトを出してたのは事実のようですよ 700円で機能拡張してたようなので、700円のiOSソフトを出していたと書くことは大した問題ではないでしょう。

                      • http://anond.hatelabo.jp/20160520083417

                        岡部氏と比較すればどう見たって活動規模も、何もかもが圧倒してるじゃないですか。 住井氏はペンシルバニア大学でも実績のある人で、所属学協会だけを見ても、「狭い人」ではない...

                        • http://anond.hatelabo.jp/20160520110314

                          東大の地震学者にしろ、学会がどうだの権威だけ振り回して自慢する連中にろくなのはいない 特にプログラミングの分野でそういうこと言ってるのは眉唾

                        • http://anond.hatelabo.jp/20160520110314

                          関数型プログラミングを特権として考えていない前時代的プログラマー okabbe氏にGUIアプリ書けるのか?と詰め寄られてもなんともできない もっとも裏では2ちゃんねるやQiitaの裏アカウ...

                        • http://anond.hatelabo.jp/20160520110314

                          http://kenokabe-techwriting.blogspot.jp/2016/01/qiita-esumiicamloeba8.html 住井も駱駝はメンヘル集団に合流して同化してる時点でクソ いかんせん、Qiita以降の奴しか知らないので、不慣れなところはレ...

                      • http://anond.hatelabo.jp/20160520083417

                        「滅多なことが言えなくなった」としたら、nonstarter氏のブログのように 岡部氏に反する意見を言うと激しく荒らされるからですね。 迷惑がかかるといけないのでリンクしませんが、 住...

                      • http://anond.hatelabo.jp/20160520083417

                        おまえが権威に頼るしかない低能なのはわかった

                      • http://anond.hatelabo.jp/20160520083417

                        The Fifth ACM SIGPLAN ICFP Programming Contest 1位 The Third ACM SIGPLAN ICFP Programming Contest 1位

        • http://anond.hatelabo.jp/20160516195833

          あはは、それを言ったらかわいそうですよ(爆笑) 中年無職のジェラシーって、怖いですね

      • http://anond.hatelabo.jp/20160516194341

        kenokabe氏のコードでもマウスが動くたびに同じ__drawFrom.tへの破壊的代入が行われるんですがそれは

    • http://anond.hatelabo.jp/20160516192742

      http://kenokabe-techwriting.blogspot.com/2016/05/ocamlgui-esumii-camloebanonstarter.html の自称関数型コードに出てくる __value.t = e.target.value __items.t = __value.t 等々も、kenokabe氏の心の中では「時間軸でインデ...

      • http://anond.hatelabo.jp/20160519135844

        http://kenokabe-techwriting.blogspot.com/2016/05/ocamlgui-esumii-camloebanonstarter.html __items.t = __value.t のコードで、これがもし破壊的代入ならば、 const ListElement = __Element(__([__items]) .__(() => ((__ite...

        • http://anond.hatelabo.jp/20160520120817

          そうなんだよね 岡部氏のライブラリ、tへの代入にsetのフックが掛かってて単純な破壊的代入ではないんだよね この辺JavaScriptがわかってるひとが岡部ライブラリのソース読まないとわか...

          • http://anond.hatelabo.jp/20160520121556

            単純な破壊的代入でない、ってのも変な言葉だな。 ライブラリソースレベルで破壊的代入というのは、もう意味のない批判だと確定で、 ライブラリユーザレベルでは単に破壊的代入とい...

            • http://anond.hatelabo.jp/20160520135123

              すでに否定された「反論」を何度も繰り返して 無限ループでうやむやにしようとしているようですが、 誤りは何回繰り返しても誤りです。 http://anond.hatelabo.jp/20160515231526 http://anond.hatelabo...

              • http://anond.hatelabo.jp/20160520142159

                無限ループなのはおまえだろ。 もう一回だけまとめると、__x.t=__x.t+1のような単純な例はもちろん、 その「おまえが書いた命令型コード」について、 処理系が、左辺を先に評価して、...

                • http://anond.hatelabo.jp/20160520142924

                  いくら哲学ガーとか現在時刻ガーとか喚こうが、関数型だったらこんなことは起きません。 ユーザから見て命令型の代入そのものですね。 __x = __();》Array [ ]__x.t = 1;》1f = function(){return __x...

                  • http://anond.hatelabo.jp/20160520143856

                    うん、だから、「おまえ」が、 __x.t = 1 と定義した時間 と __x.t = 2 と定義した時間 が異なるじゃん。 __xは、時間のストリームだ、って定義なのに、だからおまえは馬鹿なんだよ。自覚...

                    • http://anond.hatelabo.jp/20160520144213

                      同じ一つの変数の値が「処理系が評価する時刻」によって変わるのであれば、 それは命令型プログラムですね。

                      • http://anond.hatelabo.jp/20160520144913

                        「変数」を「時間上のストリームの現在時刻での値」とか言い換えても同じことです。念のため。

                      • http://anond.hatelabo.jp/20160520144913

                        違うわアホ 同じ一つの変数の値が「処理系が評価する時刻」によって変わるのであれば、 それは命令型プログラムですね。 同じ一つの変数.ではなく定数というのは、 __x という、...

                  • http://anond.hatelabo.jp/20160520143856

                    再束縛OKの関数型言語はあるよ > (let [t 1, t (+ t 1)] t)2 http://www.tryclj.com/ Elixirもそうみたい t = {x: 1, y: 2} のあとで t.x = 10 t.y = 15 とか直接書き換えられたら問題かな

              • http://anond.hatelabo.jp/20160520142159

                「別の場所」じゃなくて、 各分布値を包括するストリームな。 「別の場所」とか言ってる時点で何も理解できてない。

                • http://anond.hatelabo.jp/20160520143910

                  「現在の値」であるt(実体はvalOnT)とは別の場所ですね。

                  • http://anond.hatelabo.jp/20160520150731

                    また無限ループか。 __x.t は __x の集合要素、 別の場所?なにほざいんての?語るなよ、FRPを。

                    • http://anond.hatelabo.jp/20160520150849

                      tの実体であるvalOnTと、過去の値を実際に保存しているseqは 同じオブジェクトの中にはありますが別のフィールド変数ですよね。

                      • http://anond.hatelabo.jp/20160520152016

                        tの実体であるvalOnTと、過去の値を実際に保存しているseqは 同じオブジェクトの中にはありますが別のフィールド変数ですよね。 「実体」?実体ってなに?内部実装の話?まだ言って...

        • http://anond.hatelabo.jp/20160520120817

          最初から http://anond.hatelabo.jp/20160515231526 で指摘されているとおり、セッターでvalOnTに破壊的代入して ゲッターでvalOnTの値を返してるので、内部実装だけでなく ユーザから見ても破壊的代...

          • http://anond.hatelabo.jp/20160520133350

            過去の値が全部残ってるからイミュータブルって言うんじゃないの Datomicみたいに

            • http://anond.hatelabo.jp/20160520134528

              すでに出てるけどユーザから見て > const __x = __();undefined> __x.t = 1;1> __x.t = __x.t + 1;2> __x.t;2 昔の値を別の場所に保存していようが、これを関数型とは言わないし、普通の命令型。 kenokab...

              • http://anond.hatelabo.jp/20160520140758

                言い訳してるのはおまえ。 関数型ライブラリつかって、あからさまな命令型を書いて、命令型だ!って言われてもな。馬鹿だろ? 方程式の左右の評価時間が違う処理系ならば、岡部氏...

                • http://anond.hatelabo.jp/20160520141703

                  「kenokabeのGUIプログラムも、イベントが起こるたびに変数の値を繰り返し更新してる。」はスルー もしくは「岡部さんの哲学を理解していない」ですか。まあそうですよね。 >方程式の...

                  • http://anond.hatelabo.jp/20160520143122

                    方程式の左右の評価時間が違う処理系 やっぱり「処理系」という言葉の意味を理解していないことがよくわかったので、ありがとうございました わかってるよ。そんな難しい言葉だ...

              • http://anond.hatelabo.jp/20160520140758

                << イベントが起こるたびに変数の値を繰り返し更新してる。 ライブラリの内部的にはな。馬鹿がまだ、ライブラリの実装では破壊的代入だってゴネてるのかな?

              • http://anond.hatelabo.jp/20160520140758

                外野だが、関数型って彼の言うとおり思想哲学共有してないと馬の耳に念仏、豚に真珠だからな 岡部さんは豚に真珠見せてる段階

          • http://anond.hatelabo.jp/20160520133350

            http://kenokabe-techwriting.blogspot.jp/2016/05/timeengine.html でまた反論されてるけどさ、 「命令型」って繰り返してるけど、どういう意味で使ってる? 「破壊的代入」ってどういう意味で使ってる...

記事への反応(ブックマークコメント)

ログイン ユーザー登録
ようこそ ゲスト さん