■ このスレッドは過去ログ倉庫に格納されています
土曜・日曜は岡部健のブログを読み解こう！★8
- 1 ：BeastTadokoro：2015/10/06(火) 09:37:02.86 .net
- 恒等式は「ささいな記述ミス」であることが判明。
Qiitaに再び降臨、3つのシリアルアカウントを駆使するも運営にBANされた
孤高のコーダー、毛の壁。
http://kenokabe-techwriting.blogspot.jp
そんな毛の壁氏の、独自用語・独自解釈について皆で解明していきましょう
※前スレ
土曜・日曜は岡部健のブログを読み解こう！★7
http://kanae.2ch.net/test/read.cgi/prog/1440252315/
過去スレ
土曜・日曜は岡部健のブログを読み解こう！★５
ttp://kanae.2ch.net/test/read.cgi/prog/1437877590/
土曜・日曜は岡部健のブログを読み解こう！★６
http://kanae.2ch.net/test/read.cgi/prog/1438406961/
- 2 ：BeastTadokoro：2015/10/06(火) 09:37:55.20 .net
- ご自由にお使いください
,.-―:￣｀ー::::::::::､
／::::::::::::.::::::::::::::::::::::::::::｀::､､
/::::::::::::::::::::::::::::::::::::::::::::::::::::::｀､
ｌ::::::::::::::::::::::::::::::::::::::::;':l:::::::::::＼::l
l:::::::::::::::::::::::::::::::::,,::::::::;-,:,::::::::::::::::l
l::::::::::::::::,＿,.::::,';::::::;:::::: :: l ::::::::::::::l
l::::::::::／-/:::/-ニ,.::::／=,.／::::::::::l
ヽ:::: ´､ひ> ;: l .<ひ>' ､::::::::/
ヽ::::: ￣ .)::; l ￣ ｌ::::/
､:::::.. /:::; .,-､ l:::/、
,―:::::::: ゝヽ- ｰ' ､ l::/,､ヽ
l,､,､,,:､:: / ,--､,-.､_ l /::::::,､,､l
ｌ,､,､,､,､,､::､ ｀ー￣-' /:::::::::::,､,､l
ｌ,､,､,､,､,､,､::ヽ ／::::::::､,､,､,､,ﾉ:＼
- 3 ：BeastTadokoro：2015/10/06(火) 09:42:31.94 .net
- 伝説の「些細な記述ミス」
一般人： y=(v0sinθ)t - 0.5gt^2
岡部氏： y=(v0sinθ)t - gt^2
- 4 ：BeastTadokoro：2015/10/06(火) 09:47:57.66 .net
- 情報技術者で、htmlやcssも基本をマスターしてると主張（stackoverflowにて確認）する岡部様による斬新なウェブデザイン
https://archive.is/rgHjj 👀
Rock54: Caution(BBR-MD5:1322b9cf791dd10729e510ca36a73322)
- 5 ：BeastTadokoro：2015/10/06(火) 09:49:25.64 .net
- ・Facebook React を使ったクリックカウンターで
「関数型プログラミングで実用に耐えうるGUIアプリが書けるポテンシャルを証明」とマウントをとる
→ 後に可読性も実用性も皆無であることが指摘される (>>2 、 >>452 ほか)
・岡部のコードは worldcomponent を使った FRP (Functional Reactive Programming) であると主張
→ FRPではなく、単なる命令型スパゲティでした (Lambada)
基本的な無理解
・末尾再帰を知らない
・コールバック経由の再帰がスタックを食いつぶすと誤認
・等価でないコード書き換えに基づくスタックオーバーフローでイチャモン
・IQ145執筆期間中、関数型の基礎である map と reduce を何ら理解していなかったことを示すstackoverflow
http://stackoverflow.com/questions/27810549/
知ったかぶり
・IOモナドとFRPを「同格」と発言（全く違います）
・TryOCaml を「エミュレータ」と発言（コンパイラです）
React==FRP？？？
・「Reactのstateという組み込みFRP」発言（React != FRPです. そもそも worldcomponent の動機と自己矛盾）
・"There is nothing React specific about using Immutable data in React" （immutable なデータを使うのは大したことではない）で
React=FRP と誤解（自己矛盾）
否認
・ソックパペッツが 何故か Lambada に 「真のFRP」 を示せと迫る（1ヶ月以上前から nonstarter により何度も示されている）
・Elm による正しいFRP を示したところ、以後話をそらし続ける
- 6 ：仕様書無しさん：2015/10/06(火) 09:50:54.53 .net
- 受ける会社大丈夫？
下記の条件が全て当てはまる会社にご注意下さい。
・IT系 in tokyo
・「社名 労基」でググると過去の2chスレが出てくる
・転職会議で2.5点
- 7 ：仕様書無しさん：2015/10/06(火) 09:51:29.03 .net
- 当たり前だけど念のため、岡部の理論は100%完全にデタラメ。
そもそも岡部以外にDate.now()が参照透明なんて言ってる奴は世界中に誰もいないが、
英語版Wikipediaも間違ってるとか言い出したから一応、専門の研究者に広く受け入れられている厳密な定義は
論文 http://www.itu.dk/people/sestoft/papers/SondergaardSestoft1990.pdf の第4節(p.511)な。
当然、Date.now()やtoday()は参照透過でない。
- 8 ：仕様書無しさん：2015/10/06(火) 09:52:27.03 .net
- 伝説の、本人様ご光臨
214 仕様書無しさん 2015/09/02(水) 15:53:15.65
http://kenokabe-techwriting.blogspot.jp/2015/08/timeengine-frp.html
https://github.com/kenokabe/timeengine
https://www.npmjs.com/package/timeengine
結局このスレって、岡部氏のこの辺のちょっと凄いライブラリとか一人残らず完全スルーなのでお里が知れる。
こういうスレに群がる連中による批判のための批判だと（俺も含め）思われてるのはそれが理由なんだわ。
で、Date.nowが参照透過なのは、岡部氏がコード書きながら説明してる様に
ニュートン物理のtで考えれば彼が正しいんだけど、Wikipedia情報で彼が完全敗北とか笑うしかない。
あと恒等式の説明も岡部氏のほうが正しいよな。ググれ。
- 9 ：TDN：2015/10/06(火) 09:53:03.59 .net
- ___
＜´ ｀i
,...._ _,.．-- ､｀''ｰ'′
,:' , `ｰ-､_｀ヽ、 ｝
,r‐' '‐ﾞ ノ `ー'′
i ,.r''´
｀''i r',´-‐‐‐- 、
. | ´ _,....、 ｝
. ヽ、_,r'´ _,! ﾉ
r-‐''´ _,,.r"
￣￣´
＼＿＿＿＿＿ ＿＿＿＿＿＿／
∨
,.-―:￣｀ー::::::::::､
／::::::::::::.::::::::::::::::::::::::::::｀::､､
/::::::::::::::::::::::::::::::::::::::::::::::::::::::｀､
ｌ::::::::::::::::::::::::::::::::::::::::;':l:::::::::::＼::l
l:::::::::::::::::::::::::::::::::,,::::::::;-,:,::::::::::::::::l
l::::::::::::::::,＿,.::::,';::::::;:::::: :: l ::::::::::::::l
l::::::::::／-/:::/-ニ,.::::／=,.／::::::::::l
ヽ:::: ´､ひ> ;: l .<ひ>' ､::::::::/
ヽ::::: ￣ .)::; l ￣ ｌ::::/
､:::::.. /:::; .,-､ l:::/、
,―:::::::: ゝヽ- ｰ' ､ l::/,､ヽ
l,､,､,,:､:: / ,--､,-.､_ l /::::::,､,､l
ｌ,､,､,､,､,､::､ ｀ー￣-' /:::::::::::,､,､l
ｌ,､,､,､,､,､,､::ヽ ／::::::::､,､,､,､,ﾉ:＼
- 10 ：TDN：2015/10/06(火) 09:53:55.49 .net
- ↓これが、当該エントリのコメント欄で最初に出た、「Q_Jirouに対するプロフィールへのイチャモン」の一部である。日付に注目。7月31日だ。
●2015-07-31 14:55 unstartere『http://qiita.com/Q_Jirouプロフィール開いたら、Ken Okabe って著者の名前騙ってるし。捨て垢じゃないが聞いて呆れる異常者』
尚、それ以前は、Q_Jirou氏のプロフィール画面に対するイチャモンは存在していない。
unstartere氏がその後、再三にわたって、スクリーンショット（https://lh3.googleusercontent.com/0wm2h3tln46r1-RJKuZEa1O6Bp5Tq5UzmJxD19dgrVs=w896-h761-no）まで貼り付けて、
文字列の読み間違いに気付かず噴飯ものの主張を続けていたことは皆さんご存じの通り。
↓本日8月4日、unstartere氏がいつまでたっても誤りに気付かない事について、本人に指摘する良心的な人が現れた。
●2015-08-04 11:22 MIT_GEEK『Q_Jirou氏は何もKen Okabeなどとは名乗ってないではないか。画像にも、きっちりKen Obakeとあるではないか』
↓ところがunstarte氏は見苦しい言い訳を開陳。
●2015-08-04 13:20 unstartere『最初に指摘されてからObakeにでも書き直したんだろう。似ているので気が付かなかったが』
↓呆れるMIT_GEEK氏は「神に誓って断言できるか？」と詰め寄る。
●2015-08-04 13:44 MIT_GEEK 『自分が読み間違えておいて、訂正もないのか。最初に指摘した！？いつそんな指摘をした！？その時はOkabeだったと神に誓って断言できるのか』
↓unstartere氏、「断言できる」と神に誓う
●2015-08-04 13:54 unstartere『最初から指摘されているだろう。断言できるよ』
ところが、「最初の指摘」である7月31日よりもはるか前、7月18日時点でQ_Jirou氏は Obake Kenとプロフィールに書いていることが判明。
証拠 → https://archive.is/1SHmk
これによりunstartere氏による虚言が明白なものとなった。
unstartere氏はウソツキだ。 👀
Rock54: Caution(BBR-MD5:1322b9cf791dd10729e510ca36a73322) 👀
Rock54: Caution(BBR-MD5:1322b9cf791dd10729e510ca36a73322)
- 11 ：仕様書無しさん：2015/10/06(火) 10:00:03.64 .net
- 恒等式の間違いを何ヶ月も放置してるのは凄い
- 12 ：仕様書無しさん：2015/10/06(火) 10:05:14.17 .net
- >>11
「最近になってようやく一人が気付いたか！」と、記憶のすり替え（メモリーの書き換え）に及んだ。
- 13 ：仕様書無しさん：2015/10/06(火) 10:06:11.91 .net
- >>11
そもそもあれ、恒等式じゃねーし。
式が間違ってる上にそれじゃあ、言い訳不可能だよ。
- 14 ：仕様書無しさん：2015/10/06(火) 10:08:00.80 .net
- 岡部クン、ようやく間違いを認めたのは偉い偉い。
あとは、ブログを訂正したら5点ぐらいはあげよう。
さあ、訂正を。
修正するのに何ヶ月もわかったのは、忘れてあげるから。
- 15 ：仕様書無しさん：2015/10/06(火) 10:09:34.93 .net
- GHCが命令型のC言語コードで書かれてるとかいってるキチガイの人〜
- 16 ：仕様書無しさん：2015/10/06(火) 10:10:15.10 .net
- 最近になって一人が気付いたかのように振る舞いだしたぞ。
ブログ公開直後からツッコミ受けてた現実は、彼には重すぎたようだ。
- 17 ：仕様書無しさん：2015/10/06(火) 10:10:49.96 .net
- な、な、な、なんにもできない〜なんにもできない〜
- 18 ：仕様書無しさん：2015/10/06(火) 10:11:33.11 .net
- >>14
ゴメンナサイするのが遅すぎますよ、健ちゃは。
- 19 ：仕様書無しさん：2015/10/06(火) 10:12:35.13 .net
- 誰か増田で奴を虐めたのか？
頼むからあそこで飼っておいてくれよ・・・・
- 20 ：仕様書無しさん：2015/10/06(火) 10:13:34.30 .net
- 恒等式〜恒等式〜（爆笑）
- 21 ：仕様書無しさん：2015/10/06(火) 10:15:45.97 .net
- Date.now()やtoday()は参照透過でないことも、そろそろ理解はしてきたのかな？
それも、些細な間違いって事で処理して、早く訂正しなよ。
- 22 ：仕様書無しさん：2015/10/06(火) 10:16:32.17 .net
- >>14
まあ、間違いを認めたのは彼にしたらちょっとした成長だね。
- 23 ：仕様書無しさん：2015/10/06(火) 10:17:39.03 .net
- >>21
あ、それは無理。
ブログで再度断言しちゃったから、彼の病状からすると撤回はあり得ない。
「世界の常識」として通すしかない。
- 24 ：仕様書無しさん：2015/10/06(火) 10:24:21.35 .net
- 式の間違いはブログ公開直後からみんな指摘してたけど、毛は見て見ぬ振りをしてダンマリ貫いてた。
そんで、この二ヶ月間、なんとかあの間抜けな式が正しいという主張をすることで構想を練っていたけど、
さすがに無理だと思ったんだろうな。
んで、無難な路線は「よくあるケアレスミス」という言い訳。
ほんと、わかりやすすぎる( ﾟ∀ﾟ)
- 25 ：仕様書無しさん：2015/10/06(火) 10:26:57.26 .net
- >そんで、この二ヶ月間、なんとかあの間抜けな式が正しいという主張をすることで構想を練っていたけど、
さすがに無理だと思ったんだろうな。
なにこの妄想？W
おまえの妄想っていう以外の証拠でもあるの？
- 26 ：仕様書無しさん：2015/10/06(火) 10:28:02.72 .net
- 964 仕様書無しさん sage 2015/10/06(火) 09:00:08.17
timeengineは方程式を恒等式と言ったり
自由落下の式を間違えたり、
岡部が中学生レベルの数学や理科も理解してないっていうアピールだろ（笑）
- 27 ：仕様書無しさん：2015/10/06(火) 10:29:15.68 .net
- 7 ：仕様書無しさん：2015/10/06(火) 09:51:29.03
当たり前だけど念のため、岡部の理論は100%完全にデタラメ。
そもそも岡部以外にDate.now()が参照透明なんて言ってる奴は世界中に誰もいないが、
英語版Wikipediaも間違ってるとか言い出したから一応、専門の研究者に広く受け入れられている厳密な定義は
論文 http://www.itu.dk/people/sestoft/papers/SondergaardSestoft1990.pdf の第4節(p.511)な。
当然、Date.now()やtoday()は参照透過でない。
へえ、あんた「専門の研究者」なんだｗ じゃあいろいろ限られてくるね。
- 28 ：仕様書無しさん：2015/10/06(火) 10:29:34.71 .net
- >>24
そんなところだね。
まあ、あの調子で問題からいつも目をそらして逃げてきたんだろうね
- 29 ：仕様書無しさん：2015/10/06(火) 10:30:16.46 .net
- 「こんな専門的な法律の事を書けるのは限られている！モトケンだ！！」
- 30 ：仕様書無しさん：2015/10/06(火) 10:31:31.81 .net
- 論文 http://www.itu.dk/people/sestoft/papers/SondergaardSestoft1990.pdf の第4節(p.511)
とDate.now()が参照透明＜じゃない＞っていうのがまったく繋がらないんだけど、どうなってんのこれ？
- 31 ：仕様書無しさん：2015/10/06(火) 10:31:44.67 .net
- >>27
>へえ、あんた「専門の研究者」なんだｗ じゃあいろいろ限られてくるね。
世の中にCS研究者がどれだけいると思っているのかwww
- 32 ：仕様書無しさん：2015/10/06(火) 10:31:47.00 .net
- >>24
あのレイアウトが崩壊した狂人ブログについては、どう言い訳するかな？
- 33 ：仕様書無しさん：2015/10/06(火) 10:32:19.66 .net
- >>29
いつ見てもあれは笑える
- 34 ：仕様書無しさん：2015/10/06(火) 10:33:59.68 .net
- >>32
「僕の環境では問題ない。そしてw3c的にもなんら違反していない」で乗り切るでしょ。
- 35 ：仕様書無しさん：2015/10/06(火) 10:33:59.73 .net
- あと、
>そもそも岡部以外にDate.now()が参照透明なんて言ってる奴は世界中に誰もいない
の証拠、
それと、
>専門の研究者に広く受け入れられている厳密な定義
がその論文だっていう証拠、
それに加えて、それが
Date.now()が参照透明＜じゃない＞という立証よろしく
いまこいつがやったのは、単に論文のリンクだけだから。
- 36 ：仕様書無しさん：2015/10/06(火) 10:36:03.81 .net
- そんな主張をしてる奴が居ることの証拠を示す方が早いね。
居ないことの証明は困難だし。
言い出しっぺは岡部健。
そして必要なのは「そう読み解ける記事」ではなく、まんま、言い切ってる記事な。
- 37 ：仕様書無しさん：2015/10/06(火) 10:36:16.41 .net
- >>31
このレスに同時進行で反応するCS研究者ってのはかなり限定されるよなあ。
- 38 ：仕様書無しさん：2015/10/06(火) 10:37:38.53 .net
- おいおい、毛の壁は透明参照の件はUCLAやペンシルバニア大学などでも常識として合意があるとQiitaで書いていたぞ。
あ、違う人か。
- 39 ：仕様書無しさん：2015/10/06(火) 10:37:56.53 .net
- >36
いや、
>そもそも岡部以外にDate.now()が参照透明なんて言ってる奴は世界中に誰もいない
って、証明困難なことぶちあげたのがこいつなんだから。
適当なハッタリかましてるだけ。
- 40 ：仕様書無しさん：2015/10/06(火) 10:38:02.97 .net
- >>31
- 41 ：仕様書無しさん：2015/10/06(火) 10:38:32.12 .net
- >>31
「法律の話だ！これはモトケンだ！」の人だから・・・・。
- 42 ：仕様書無しさん：2015/10/06(火) 10:39:42.58 .net
- このレスに同時進行で反応する法律の専門家ってのも限定されるし、
このレスに同時進行で反応するCS研究者ってのはかなり限定されるよなあ。
なにが難しんだろ？
- 43 ：仕様書無しさん：2015/10/06(火) 10:39:42.99 .net
- >>30
>Date.now()が参照透明＜じゃない＞っていうのがまったく繋がらないんだけど、どうなってんのこれ？
本気で言ってるのwwww？
Date.nowの引数（空集合φ）についてφ＝φが成立するのに
Date.now(φ)とDate.now(φ)の値が異なってしまうので
Date.nowが（0番めの）引数についてpurely referentialでなく、
それゆえreferentially transparentでない、ということすら
この定義から読み取れないようなそんな学力でグダグダ抜かしてるわけwwww？
- 44 ：仕様書無しさん：2015/10/06(火) 10:39:47.79 .net
- >>39
俺も居ないと思う。少なくともCS系では。
無論、毛はアマチュアの下の下なので、「そういうランクの界隈」では、ひょっとしたらいるかも知る無いな。
- 45 ：春日井久美子：2015/10/06(火) 10:40:28.92 .net
- ヒートアップせずに紳士的にね、みんな。
まんこかゆかゆ
- 46 ：仕様書無しさん：2015/10/06(火) 10:41:18.67 .net
- >>43
だから、それ、現実の物理世界の時間はどう数学的に反映されてんの？ってQiitaでつっこまれてること
繰り返してるだけだろ？
グダグダ抜かしてないで、Qiitaでコメント返したら？CSの研究者さんよお。
- 47 ：春日井久美子：2015/10/06(火) 10:41:21.26 .net
- >>36
彼は独学で頑張った人。だから大目に見てあげて
- 48 ：春日井久美子：2015/10/06(火) 10:42:33.23 .net
- >>46
そこコメントってどれですか？私、知りたい！
- 49 ：仕様書無しさん：2015/10/06(火) 10:44:21.44 .net
- ウッホウッホ原始人
ウッホウホハハウホウホ？ナガサワベンゴシ？
- 50 ：仕様書無しさん：2015/10/06(火) 10:49:41.62 .net
- >>46
>それ、現実の物理世界の時間はどう数学的に反映されてんの？ってQiitaでつっこまれてること
>繰り返してるだけだろ？
意味不明なんですけど。
あるexpressionにreferential transparencyを保ちつつ時間に対応して
異なった値を取らせたければ時間を表す引数がなければならないし、
それがないならばreferentially opaqueになるというだけのことなんだが。
- 51 ：仕様書無しさん：2015/10/06(火) 10:51:18.72 .net
- この人はどうして、自分に不都合な人物が居たらその相手をこういう人物像だと決めてかかるんだろう。
Qiitaでも「そんな確率は天文学的」とか言ってたのが興味深かった。
- 52 ：TDN：2015/10/06(火) 10:53:08.87 .net
- >>51
それこそが俺がアスペルガー症候群と断じるに値する傾向なのですよ。
- 53 ：TDN：2015/10/06(火) 10:54:04.43 .net
- 「母数層」をここからここまでと勝手に決めてしまうのが、あのおっさんの特徴。
- 54 ：仕様書無しさん：2015/10/06(火) 10:56:29.62 .net
- >>50
>あるexpressionにreferential transparencyを保ちつつ時間に対応して
異なった値を取らせたければ時間を表す引数がなければならないし、
それがないならばreferentially opaqueになるというだけのことなんだが。
ふーん、じゃあさあ、
「現在時間」を「時間を表す引数」として表すのはどうすんの？
つまりDate.now（）の引数がカラだって文句垂れてるわけだが、
これの、「現在時間」を「時間を表す引数」をわたす表記をおせーてよｗｗ
- 55 ：仕様書無しさん：2015/10/06(火) 10:57:10.35 .net
- 噂に聞く、特異な人物認定か。リアルタイムで見たのは初めてだ
- 56 ：仕様書無しさん：2015/10/06(火) 10:57:36.28 .net
- 「ふーん、じゃあさ」（笑い）
- 57 ：BeastTadokoro：2015/10/06(火) 10:58:47.81 .net
- おいハッタリヌケサクよ？
こんな所で油売ってていいのか？
- 58 ：BeastTadokoro：2015/10/06(火) 11:00:22.70 .net
- おら、オトシマエどうつけんだ？
民事も刑事も、一切何も無し（笑い）
失敗に終わったら「無かったこと」か？ひれつ野郎
- 59 ：仕様書無しさん：2015/10/06(火) 11:01:34.27 .net
- >>56
さすが、「ふーん、じゃあさあ、」が、詰め詰めの皮肉だって理解できない出来損ないだな。
- 60 ：仕様書無しさん：2015/10/06(火) 11:02:34.57 .net
- >>58
いやいや、たしか、粘着軍が「裁判中」だのほざいてたわけだが、どうなったの？ｗｗｗｗ
ああ、また嘘デマか。
- 61 ：仕様書無しさん：2015/10/06(火) 11:03:17.58 .net
- >>54
>「現在時間」を「時間を表す引数」として表すのはどうすんの？
>つまりDate.now（）の引数がカラだって文句垂れてるわけだが、
>これの、「現在時間」を「時間を表す引数」をわたす表記をおせーてよ
「表記」ねえ。この時点でもうなんにも理解できてないのがわかるんだが……
引数を追加するのは
Date.now(a1)
のようにしてやればいいだけだ。
この引数位置の引数が時間を表すかどうかはsemanticsの問題で、syntaxの問題じゃない。
- 62 ：BeastTadokoro：2015/10/06(火) 11:04:08.82 .net
- >>54
おら、小汚い尻穴売ることでしか金を稼げないキチガイよ。
さっさと訴えろや？（笑い）随分と難航してるんだな？
- 63 ：BeastTadokoro：2015/10/06(火) 11:05:36.25 .net
- >>54
貴様は諦めたんだろうが、俺は一生つきあうぞ。
ずっとだ。ずっといじめてやるぜ
- 64 ：仕様書無しさん：2015/10/06(火) 11:06:28.97 .net
- >>61
あのなあ・・・
いやいや、そうじゃなくってさあ、
おまえさんは、
>あるexpressionにreferential transparencyを保ちつつ時間に対応して
異なった値を取らせたければ時間を表す引数がなければならないし、
って書いたわけさ。
現在時間って、１秒前の時間と「異なった値」だよな？
その「異なった値」である、「時間を表す引数」ってどう表すのか？
っておまえの使う言葉そのままに確認してるだけなんだけど？（ww
- 65 ：仕様書無しさん：2015/10/06(火) 11:06:40.90 .net
- >>59
>「ふーん、じゃあさあ、」が、詰め詰めの皮肉だって理解できない
なんにも理解してないこの逆ギレを「詰め詰めの皮肉」だと理解できる
君以外の狂人はそんなにいないと思うよ。
- 66 ：仕様書無しさん：2015/10/06(火) 11:07:25.01 .net
- >>62-63
なあできそこない聞いてる？
たしか、粘着軍が「裁判中」だのほざいてたわけだが、どうなったの？ｗｗｗｗ
ああ、また嘘デマか。
- 67 ：仕様書無しさん：2015/10/06(火) 11:09:04.91 .net
- >>64
とりあえず意味不明なんで、疑問を普通のCS研究者にわかるような形で
数学的に定式化してくださいね。
- 68 ：仕様書無しさん：2015/10/06(火) 11:10:57.37 .net
- >>67
いや、君が日本語で書いたそのとおり、なぞって日本語で書いたんだけど、
数学的に定式化するのも、君が提示した以上のものは何もないのに、何ごまかしてんの？
- 69 ：仕様書無しさん：2015/10/06(火) 11:15:01.82 .net
- 時間 t1
時間 t2
「現在時間」というのは、観察者あるいは、ユーザあるいは、プログラマが属する
現実世界の「現在時間」に依存しており、数学上ある具体的な数値であらかじめ表記するのは不可能。
>あるexpressionにreferential transparencyを保ちつつ時間に対応して
異なった値を取らせたければ時間を表す引数がなければならないし、
ということだが、ユーザの「現在時間」は刻々と「異なる」わけだが、
それをおまえさが、おほざきになるreferential transparencyをもって、
時間を表す引数を明記して、どう表記するのか？って聞いてるだけなんだが、
馬鹿だから答えられないの？
- 70 ：仕様書無しさん：2015/10/06(火) 11:18:48.25 .net
- >>68
お前の使う言葉そのままもなにも、ねえ。
>>61に書かれてる通りなんだけど。
# もしかして、定項と変項の区別がついてないとかいうギャグ？
# kenokabe大先生降臨の予感w
- 71 ：仕様書無しさん：2015/10/06(火) 11:20:45.73 .net
- うわあ、やっぱりkenokabe大先生だこりゃw
まあ、気の済むまで好きなだけデタラメ書いてくといいよ（・∀・）ﾆﾔﾆﾔ
- 72 ：仕様書無しさん：2015/10/06(火) 11:21:02.06 .net
- >>70
へえｗ
Date.now(T)とでも、 semanticsにしろsyntaxにしろ、お望みどおり書いてやろうか？
で？
この T はどのように定義されてんの？
Tは常にユーザの現在時間であるって？
T=Date.now(T)
です、こういうので満足？おまえなにがしたいの？
- 73 ：仕様書無しさん：2015/10/06(火) 11:23:24.93 .net
- デタラメねえ
自身よく咀嚼できない論文振り回すしか能がないヘボ研究者とか山ほど見てきた
あ、おれ初レスなんで
- 74 ：仕様書無しさん：2015/10/06(火) 11:26:29.43 .net
- >>72
> Date.now(T)とでも、 semanticsにしろsyntaxにしろ、お望みどおり書いてやろうか？
なるほど、syntaxもsemanticsもその区別もご存じないことはわかりました。
>この T はどのように定義されてんの？
論理学の意味論モデルで術語 F(x) の xがどう定義されてるか知ってる？
>Tは常にユーザの現在時間であるって？
モデルの何に対応するかしか問題にならないんですけどw
そのモデルにあなたが「現在時間」の取りうるものの集合に
対応する数学的何かがあることをお祈りします。
>T=Date.now(T)
はあ。
- 75 ：仕様書無しさん：2015/10/06(火) 11:26:54.61 .net
- 「時間に対応して 異なった値を取らせたければ時間を表す引数がなければならない」
これに対して「ユーザの現在時間」という「時間に対応して 異なった値」というのは、
どうコード上で明示的に表現するのか？そんなことは不可能だから、
DateNow(T)でもDateNow()でも一緒だろ？と突っ込まれてるだけでしょ？
それにたいして説得力ある明確な回答はまるでない、
ここまで読んだ。
- 76 ：仕様書無しさん：2015/10/06(火) 11:28:24.61 .net
- おまえがまず、参照透過なユーザの現在時間を返す関数のフォーマットを提示してみたら？
ほらやってみろ。
- 77 ：仕様書無しさん：2015/10/06(火) 11:28:36.33 .net
- > そのモデルにあなたが「現在時間」の取りうるものの集合に
> 対応する数学的何かがあることをお祈りします。
あとから語句挿入したらおかしくなってた。
下記のとおりに訂正。
そのモデルにあなたが「現在時間」の取りうると思うものに
対応する数学的な何かがあることをお祈りします。
- 78 ：仕様書無しさん：2015/10/06(火) 11:28:36.82 .net
- 岡部健に費やされた工数
100人月超
もっと生産的なことに時間使えばいいのに
- 79 ：仕様書無しさん：2015/10/06(火) 11:29:25.96 .net
- 現実世界のモデル化において、時間要素を「数学的に」無視しているのは何故か？という確認をしているに過ぎません。
という論点において、ユーザが現実世界において、todayやtommorowという「差異」を生じさせている現象を伴いながら、コードをrunnningさせる時間要素については、上記２ちゃんねるレスの数学的説明にはまったく考慮されていないことを申し上げています。
- 80 ：仕様書無しさん：2015/10/06(火) 11:29:45.95 .net
- >>74
おまえがまず、参照透過なユーザの現在時間を返す関数のフォーマットを提示してみたら？
ほらやってみろ。
>なるほど、syntaxもsemanticsもその区別もご存じないことはわかりました。
バカバカしいが、相手がわからないということにしてごまかすのはガキの所業だぜ？
- 81 ：仕様書無しさん：2015/10/06(火) 11:33:02.02 .net
- ＞そのモデルにあなたが「現在時間」の取りうると思うものに
対応する数学的な何かがあることをお祈りします。
意味不明。
じゃ、プログラミングで、「現在時間」を取得できてるのは、
なんか論理を超越した魔法みたいな仕組みなんだｗｗ
77 ：仕様書無しさん：2015/10/06(火) 11:28:36.33
の2015/10/06(火) 11:28:36.33てどうやって取得したの？
数学を超越した魔法？ｗｗｗ
- 82 ：仕様書無しさん：2015/10/06(火) 11:36:11.50 .net
- ＞時間に対応して 異なった値を取らせたければ時間を表す引数がなければならない
↓
＞そのモデルにあなたが「現在時間」の取りうると思うものに対応する数学的な何かがあることをお祈りします。
おもしろいなあ。
だから、「現在時間」の取りうるものに対応する数学的な何かが、なーんにもないのに、
だからいったいどうやって、DateNowの 「時間に対応して 異なった値を取らせたければ時間を表す引数」なんてものを
表記するんだい？って聞いてあげてるんだが、
とことんオバカさんみたいで、回答不能みたいｗ
- 83 ：仕様書無しさん：2015/10/06(火) 11:39:53.55 .net
- 「おまえがまず、参照透過なユーザの現在時間を返す関数のフォーマットを提示してみたら？」
この短い文章で、ここまで意味不明なことが書ける才能すげえ
- 84 ：仕様書無しさん：2015/10/06(火) 11:40:38.94 .net
- F(e)
ただし、モデルの付値Vについて
V(e) ∈ E (可能な評価環境を表す集合)
V(F) ⊆ E × R （Rはモデルに於いて可能な時刻を表すとあなたが思う集合）
とする。
たぶん毛の壁さんには意味分かんないだろうけどね。仕方ないね。
- 85 ：仕様書無しさん：2015/10/06(火) 11:41:35.67 .net
- 77 ：仕様書無しさん：2015/10/06(火) 11:28:36.33
の2015/10/06(火) 11:28:36.33てどうやって取得したの？
数学を超越した魔法？ｗｗｗ
の回答を教えてやろうか？オバカさん。
DateNow（空引数＝表記のしようがない）が「ユーザの現在時間」に呼応して「参照透過」だからだよ。
わかった？ウスノロ？
総レス数 1001
274 KB
新着レスの表示
掲示板に戻る
全部
前100
次100
最新50
read.cgi ver.24052200