「FRP」を含む日記 RSS

はてなキーワード: FRPとは

2018-05-12

せんとくん、多過ぎ!

奈良県せんとくん経済効果が2105億円だか何だか知らんけど、いろんなもんが多過ぎ

デザイン多過ぎ

まわしを締めた「相撲せんとくん」、桜の花が頭を飾る「桜せんとくん」……。現在オリジナルせんとくんを含め、8パターンデザイン存在する。


県の使用指針には「違う要素を加えたり表情など細部を部分的に加工することはできません」と著作権保護のため、厳格な規定がある。テーマに沿ってせんとくんアレンジするには、その都度、新たなデザインが求められるのだ。

読売新聞2018年02月15日付奈良県内朝刊

県は売り上げや製作費用の3%をライセンス料として納めることなどを条件に、商品広告に利用することを認めており、遷都祭があった10年度には約4900万円の収入があった。


ところが祭りが終わって一段落した11年度は、699万円に激減。同年に県のキャラクターになったのを機に、県は12年度に、「官服」「桜」紅葉」の3デザインを追加しててこ入れを図ったが、各地に次々と特徴的なゆるキャラ誕生する中で存在感の低下は否めず、16年度は154万円にまで落ち込んだ。県は先月、さらに「はかま姿」を投入し、起死回生を狙う。

毎日新聞2018年05月15日付大阪夕刊

菩薩
基本ポーズ、走る、歩く、お願い・感謝、ナイショ、あのね、指さし紹介、考える、バンザイピース、座る、寝そべる
官服
基本ポーズ、お願い・感謝、あのね、指さし紹介
紅葉
椅子叩く、鼓椅子、舞い、鼓縁結び叩く、鼓縁結び
海づくり
ラグビー
相撲

着ぐるみ多過ぎ

通称「海づくりせんとくん」。2014年に開かれた「全国豊かな海づくり大会」PRのため、前年に誕生した。デザイン料約60万円、着ぐるみ代約180万円をかけて作成したが、大会終了後は大型商業施設でのアマゴ販売イベントなど、3回しか登場していない。


農業水産振興課の一角で、「海づくりせんとくん」は箱に納められている


昨年の「国民文化祭」「全国障害者芸術文化祭」に登場した通称「はかませんとくん」も、同様の状況に陥る危機にある。デザイン料約60万円、着ぐるみ2体計約330万円をかけて生み出したが、運営を担った大会特別課そのものが、来年度にはなくなる見込み。

読売新聞2018年02月15日奈良県内朝

分身多過ぎ

実は、私たちが目にするせんとくんには、2種類があるらしい。県の主催事業や県外で催されるPRイベントで会えるせんとくんの多くは、プロスタッフによるもの自治体主催する小規模な行事などでは着ぐるみを貸し出すだけで、自治体職員などがその役目を引き受けているという。県観光プロモーション課幹部は「時々、『元気がない』と指摘をもらいます」と明かす。

読売新聞2018年02月14日付奈良県内朝刊

とある1日のスケジュール

ツイッターアカウント多過ぎ

ツイッター社の公式マークがついているのが「せんとくんつぶやき」だ。


奈良県庁の担当者によると、こちらのアカウントでは、主に奈良県全体に関わる情報を発信しているという。もう1つのアカウントが「せんとくんOFFICIAL》」で、こちらはせんとくん活動報告などをメインに発信している。

http://j-town.net/tokyo/news/localnews/237313.html

ツイッターでは奈良県庁が管理する公式アカウントのほか、非公式アカウントもあり、人気のものではフォロワー数は7万を超える。

AERA 2017年7月3日号

昨年12月末時点では公式は3145人しかおらず、非公式の7万5878人に今以上の大差をつけられていた。

毎日新聞2017年01月26日付大阪夕刊

県ならの魅力創造課の担当者は「問題になる内容はなく、目くじらを立てるつもりはない。持ち味の違う2人のせんとくんを楽しんでもらえれば」と静観しつつ、「公式フォロワーも増えればありがたい」と期待する。

読売新聞2012年05月16日奈良県内朝

@heijyosento
2009年7月開設。フォロワー74,182。運営不明で、写真も返信もないもの関西弁のゆるいつぶやきが人気。TKOのしたさん、水野良樹さん、古坂大魔王さん、ハマ・オカモトさんら芸能人も多数フォロー
@sentokunteam
2012年1月開設。フォロワー11,798。平城遷都1300年祭オフィシャル広報隊「平城人(ならびと)」の提案で始めたひとつ目の公式ツイッターで、1300年祭が終わってからは1年ごとに委託事業者を募集。当初は約460人しかいなかったフォロワーも、写真を欠かさず投稿することで2017年1月、1万人を突破
@narakencyou
2012年6月開設。フォロワー10,007奈良県広報広聴課が運用する2つ目の公式ツイッターだが、県からのお知らせを標準語つぶやくだけだったので、当初のフォロワー数はたったの約580人。しかし、中の人辻本哲也さんだった2014年4月2018年3月双方向コミュニケーションを心がけたり、フォロワーが少ないことを嘆いてみたり、堂本剛くんや桐生戦兎くんに言及したり、台風情報を夜通し投稿したり、なんやかんやあって大幅にフォロワーが増加し、2018年5月にようやく1万人を達成。

フィギュア多過ぎ

素材は繊維強化プラスチックFRP製、高さ1.6メートル制作費は約40万円。

https://nara.keizai.biz/headline/136/

東京
奈良まほろば館、養徳学舎
京都
京都
大阪
株式会社ポップ工芸
奈良
奈良春日野国際フォーラム天平東大寺店、奥村記念館、奈良県庁、奈良県美術館近鉄奈良駅JR奈良駅、奈良うまいものプラザ奈良総合観光案内所、奈良ロイヤルホテル、ラ・ロイヤルスパ奈良県図書情報館、ならファミリー 平城の宙庭、阪奈道路道の駅テラス道の駅 ‎宇陀路大宇陀道の駅 宇陀路室生道の駅 伊勢街道 御杖、奈良県立民俗博物館、奈良県立万葉文化館、かしはらナビプラザJAならけんまほろばキッチン

しかまろくんの方がグッズの売り上げ多過ぎ

「もう圧倒的しかまろくんの方が10倍売り上げが多い」

テレビ朝日『ずっと追ってるジャーナル

※なら和み館の場合

記者リポート

「今は売り場のほとんどが『しかまろくん』で、『せんとくん』の売り場はここしかありません」

奈良観光協会が5年前に作った「しかまろくん」に追いやられてしまっています

土産物店の人】

「『しかまろくん』のほうがやっぱり。『せんとくん』は商品がかなり少なくなっている」

お客さんが手にとるのも、「せんとくん」ではありません。

子供は】

「『しかまろくん』はおっとりしているから売れると思うけど、『せんとくん』は人間みたいやん。こいつ誰って」

関西テレビ報道ランナー

駅前土産店なんですが、他のキャラクターグッズに比べると、せんとくんのグッズはやや少ないように感じます」(記者リポート

店内には奈良観光協会のマスコットキャラクターしかまろくん」が所狭しと並んでいて、せんとくんは片隅に追いやられています

「だいぶ減りましたね。遷都1300年祭が終わった年くらいから、問屋さんが在庫で終わらせていくみたいな感じで」(土産物店)

MBSVOICE

しかまろくん以外もライバルの鹿キャラ多過ぎ

奈良といえば、奈良公園にいるたくさんの鹿―。そんな奈良の鹿が、ゆるキャラ世界でも増加中だ。

朝日新聞2015年01月01日付奈良県内朝

2017-09-14

便器について

陶器以外の便器が欲しい。例えば木製とかプラスチック製とか。他にもクリスタルとか金、銀、ダイヤ便器なんかもいいな。FRPもいい。大理石とか水晶便器もいいな。レンガや石を彫った便器面白そうじゃない?竹のトイレも風情があっていい。あぁ、便器って夢が膨らむなぁ。

2016-06-26

http://anond.hatelabo.jp/20160604105205

結局「間違っている」というFRP権威による同意を得て終了だろw

2016-05-28

http://anond.hatelabo.jp/20160523005052

FRP関数型言語も、誰も合意があるなんて言ってない。岡部氏の藁人形論法

藁人形に加えて「合意がないから僕の独自理論は正しい!」という詭弁

2016-05-25

http://anond.hatelabo.jp/20160525213232

バグがあって、ストリームに変な値が入った時、どこがバグなのか、追跡するのが困難でしょ?

第一に、それは、ストリームFRPの値の定義)の問題であって、ユニットテストすれば良い。もしくは単にFRPログを取れば良い。

グローバル変数ではそういうことはできない。FRPでは、岡部氏のFRPライブラリ特にそうだけど、基本的ミュータブルな値同士が関数リアクティブ連携されて常に整合性を保っているのだからグローバル変数の、各所で更新されたそれぞれの値によって全体の整合性が損なわれないように気を配らなければいけないという(テスト自体困難な)問題は発生しない。それがFRPの唯一とも言えるメリットだとも言える。

使用する関数問題じゃないし、「印」として引数に加えても別に構わないと思うが、君のいうグローバル変数問題と一緒というのはまったく違う。

岡部氏との争いって「OCamlGUIアプリ純粋関数型(状態渡し)で簡潔に書けるか」ってところじゃないよね?

いや、それがそもそもの発端であるブログの経緯には書かれている。説明されている方式GUIアプリまで書けるのか?と疑念が呈されたことがきっかけ。

岡部氏はFRP状態関数の外部に持ってても純粋関数型だ、と言ってて、そこで争ってるんだよね?

この論点は聞いたことがない。岡部氏がこだわっているのは非手続き型の宣言型で、純粋がどうとか議論はされてないように思う。

あと、OCamlGUI状態渡しで書いたら簡潔で無いのを「書けない」、「不可能」って言ってるのはわざと印象操作しようとしてるよね?

原理的に可能かという議論ではなく、実用的な範疇か?という議論。反対派ブログで出てきたコードは、本人が認めるように普通のやり方ではなく、実用的なコードだとは思えない。あと、FRP状態渡しは同じ複雑さだという主張も崩されている。そこが重要

Haskellで書けて、OCaml冗長になっても、書けるなら「書ける」、「可能」だよね?

段階を踏んだ上で、非FRPHaskellのIOモナドコードを誰かが書いたらいんじゃない?当面、最初OCamlの話だったのに、いきなりHaskellやElmのコードで書いて、そういうのがごちゃまぜに、何がどの言語でできるのかできないのか、誤魔化しがあると見做されたか制限されたんでしょ。実際には、OCaml関数型では冗長しか書けないと実証されたけど、そういうのがバレないように、別の言語を利用していたと看破されて当然の状況だと俺は思うね。

俺の書き込み他人といきなり結び付けられたから、電波だな、と思ったの。

俺1人か、とか、らくだや住井が含まれてない根拠とか、関係無いよね。

関係ある。君ひとりは、そうじゃない、と君ひとりが言ってもそれが本当だとは確認のしようがないし、

書き込みをみれば、君以外の書き込みもすべて、その一派ではない、とでも言いたそうだ。

http://anond.hatelabo.jp/20160525202812

否。ストリームに限らず、定数は引数で与えなくても純粋関数である、という見解はごく普通

定数って、プログラム中で更新不可能で、いつ読みだしても同じ値が出てくるからグローバルでも問題無いんだよ。

ストリームは定数だ、って言ってみたところで、プログラム全体から更新可能なんじゃ、グローバル変数と同じでしょ?

バグがあって、ストリームに変な値が入った時、どこがバグなのか、追跡するのが困難でしょ?

なんで伝わらないんだろ。

複数人プログラム開発したり、他人プログラムデバッグしたり、したこと無いんだろうか。

まりGUIになればもはや関数型では書けない、というのが推奨スタイルだ、って言ってるようなもの

純粋関数型」とは何か、という話と、とOCamlでそれが推奨スタイルか、って別の話だよね?

岡部氏との争いって「OCamlGUIアプリ純粋関数型(状態渡し)で簡潔に書けるか」ってところじゃないよね?

純粋関数型とは何かといった時にHaskellのように、IOも含めて引数戻り値表現する、関数のふるまいが関数の外の状態依存しない、関数副作用が伴わないとかの性質をいうと思うんだけど、岡部氏はFRP状態関数の外部に持ってても純粋関数型だ、と言ってて、そこで争ってるんだよね?

あと、OCamlGUI状態渡しで書いたら簡潔で無いのを「書けない」、「不可能」って言ってるのはわざと印象操作しようとしてるよね?

Haskellで書けて、OCaml冗長になっても、書けるなら「書ける」、「可能」だよね?

その発言事実か確かめる術はないし、ここで岡部攻撃しているのは君ひとりなのか?他の人間まで一連の誹謗中傷集団ではない、す駱駝、住井が含まれていないみたいに断言する根拠は何か?

俺の書き込み他人といきなり結び付けられたから、電波だな、と思ったの。

俺1人か、とか、らくだや住井が含まれてない根拠とか、関係無いよね。

http://anond.hatelabo.jp/20160521163144

ReactはJavaScript界隈の関数型プログラミング化の潮流で登場。

最近炎上している別の方面で、特にFRPと組み合わせると圧倒的なパワーを発揮すると一部では実例とともに指摘されている。

http://kenokabe-techwriting.blogspot.jp/2016/05/frptimeenginereactjsocaml.html

Reactは、関数型あるいは宣言型に書けるように用意されている。DOMは、「仮想DOM」として、JSJSX)上の「値」として統合されていて、それは自由に変形し、組み合わされ、リアクティブJSX上の仮想DOMからDOMリアルタイムマッピングされ描写される。

JQueryも、実DOM関数型で操作できるような拡張ではあるが、Reactのように宣言的に書くことは不可能

coffee scriptは、ES6登場までの過渡期の橋渡しみたいなもので、登場したのも消えたのも合理性がある。

React.jsは、関数型の潮流で登場したものでこれも合理性があり、この延長線上でさらに洗練された代替物が登場する可能性はあれど、このパラダイムが消えることはない。

http://anond.hatelabo.jp/20160525104221

ストリーム関数の外部に持つFRP純粋関数型っていうのは少数派でしょ。

否。ストリームに限らず、定数は引数で与えなくても純粋関数である、という見解はごく普通

http://stackoverflow.com/questions/37405262/is-this-pure-functional-using-a-value-in-the-nested-closure-like-function/37405374

OCamlの元々の推奨スタイルならもっと短く書けるんでしょ?

まりGUIになればもはや関数型では書けない、というのが推奨スタイルだ、って言ってるようなもので、OCamlベースいくら関数型の講義やっても、最終的にはその関数型でまともなGUIアプリすら書けない、という批判でしょ。その批判岡部からされたら、あたか関数型で書ける、という強弁からまれたのが「状態渡し」理論。それが無理筋だ、ということが今回実証された。

だって駱駝でも住井でもない面識も無い俺の書き込みが住井扱いされるんだもの

その発言事実か確かめる術はないし、ここで岡部攻撃しているのは君ひとりなのか?他の人間まで一連の誹謗中傷集団ではない、す駱駝、住井が含まれていないみたいに断言する根拠は何か?

いやだからグローバル変数使ってるプログラム欠点をそのまま持ってるじゃん

あのね、グローバル変数欠点とは、それが「変数」だからなの。

何度も言うけど、「定数」ならグローバルだろうがなんであろうが、そんな欠点なんてないの。

http://anond.hatelabo.jp/20160524164501

関数型という枠組みの中にミュータブルな時間要素が純粋に収まるようにしているのがFRPだろ。

ストリーム関数の外部に持つFRP純粋関数型っていうのは少数派でしょ。

関数の結果が引数以外で決まるわけだからさ。

多分、純粋とかの定義もまた違うんだろうね。

関数型の拡張」で全部丸く収まると思うんだけど。

いやそもそも岡部氏が複雑なアプリになるとFRP必要

これはGUIアプリ(対話的なアプリ)ってことでいいのかな。

コンパイラだとかをFRPで書かないでしょ。

ユーザから入力リアルタイムに処理するプログラムにはFRP有効だよね。

事実、「駱駝」は「状態渡しはむしろ異常」って書いた上に、

OCamlでは」じゃないの?

全部純粋関数型(引数戻り値に収める、状態渡し)にするのを良しとするHaskellと違って、OCaml副作用部分的に使うのが普通で、IOモナドみたいな入出力までも純粋に書くための道具立てが揃ってない、それでちょっと冗長になる、ってことでしょ?

OCamlの元々の推奨スタイルならもっと短く書けるんでしょ?

俺はそう読んだけど。

それっぽい書き込みほどそうやって、事実誤認だ、と強調するから、なんで当事者でもないのに、そんなことが断言できて、電波だということになるんだ?

だって駱駝でも住井でもない面識も無い俺の書き込みが住井扱いされるんだもの

いやだから、どの関数で読み書きされようと、誰が書き換えようとも、時間にたいしてイミュータブルな定数なんだから、定数は定数なのよ。

いやだからグローバル変数使ってるプログラム欠点をそのまま持ってるじゃん

グローバル変数使ってるプログラム欠点説明する必要ある?

2016-05-24

http://anond.hatelabo.jp/20160524161137

拡張なら「関数型的じゃない」っていわれたら「関数型を拡張してるから」って答えればいいだけの話

関数型という枠組みを拡張しているのではなく、関数型という枠組みの中にミュータブルな時間要素が純粋に収まるようにしているのがFRPだろ。「関数型を拡張してるから」というのは、また独自拡張だ、という批判を許すし、FRP関数型の拡張だというのは誤解を招くし、語弊もある。

FRPの効力を否定なんて誰もしてない(よね)

いやそもそも岡部氏が複雑なアプリになるとFRP必要だ、と批判すると状態渡しで充分だ、という反発があった。それが誤魔化しだとして、今に至るし、否定されているから一連のブログでの徹底的なまでの反撃がなされている。

「これが正しい関数型でお前らの状態渡しは間違ってる」みたいに言うから荒れる

事実、「駱駝」は「状態渡しはむしろ異常」って書いた上に、岡部氏のコードの倍の分量の複雑なコードしか示せなかった。あの無理して書いたのが第三者にもまるわかりの状態渡しの実装って間違ってるんじゃないの?

個人的電波だと思うのはこういう匿名書き込みを住井だ駱駝だ言い出すところ

これまでのアンチ岡部のやり方を眺めていると、被害者岡部氏の分析には一定の信ぴょう性が認められるよね?

しかも、それっぽい書き込みほどそうやって、事実誤認だ、と強調するから、なんで当事者でもないのに、そんなことが断言できて、電波だということになるんだ?という素朴な疑問がある。当事者から否定してるんだろ、と誰が見てもおもうだろ。

ストリームから定数とか、過去の値保存してるから定数とか言ってみたところで、プログラム内の色んな関数から読み書きされる可能性があって誰が書き換えたか中身読まないとわからないんじゃ、グローバル変数使ってるプログラム欠点をそのまま持ってるじゃん

いやだから、どの関数で読み書きされようと、誰が書き換えようとも、時間にたいしてイミュータブルな定数なんだから、定数は定数なのよ。

グローバル変数ってのはFRP関係ないだろ?

http://anond.hatelabo.jp/20160524151555

FRPライブラリサブタイトルに、 library that provides first class reactive value 'over time' と書かれている、これ拡張じゃないのか?

拡張なら「関数型的じゃない」っていわれたら「関数型を拡張してるから」って答えればいいだけの話

すでに出たサンプルからFRPの効力がまざまざと見せつけられている。

FRPの効力を否定なんて誰もしてない(よね)

「これが正しい関数型でお前らの状態渡しは間違ってる」みたいに言うから荒れる

間違っている電波

個人的電波だと思うのはこういう匿名書き込みを住井だ駱駝だ言い出すところ

いやだから、定数なんだから書き換わらないんだよ、FRPストリームconst 定数なんだから

ストリームから定数とか、過去の値保存してるから定数とか言ってみたところで、プログラム内の色んな関数から読み書きされる可能性があって誰が書き換えたか中身読まないとわからないんじゃ、グローバル変数使ってるプログラム欠点をそのまま持ってるじゃん

http://anond.hatelabo.jp/20160524145224

よーわからんw 岡部氏は、自作ライブラリHPで、

FRP純粋理想とする関数型+時間で変化するストリームを値にマップして扱うリアクティブプログラミングの組み合わせ

まり関数型の拡張っていうなら誰も反対無いと思うんだけど。

FRPライブラリサブタイトルに、 library that provides first class reactive value 'over time' と書かれている、これ拡張じゃないのか?

https://www.npmjs.com/package/timeengine

HaskellのIOモナドみたいな別の抽象化DISりつつ、FRPこそ正しい関数型みたいに言うから荒れるんじゃないの?

IOモナドDisってるのかどうかまでは知らない。しかし、すでに出たサンプルからFRPの効力がまざまざと見せつけられている。

荒れるのは自由だけど、両方正しいとかそういうのじゃなくて、間違っている電波だみたいな叩きしかなくて、要するに感情論で反対派は反発しているだけでOK?

あるよ。

関数がどのパラメータ依存して、何を結果として返すのか明確になる。

グローバルな値を参照したり書き換えたりしてたら、関数の中身読まないとわからなくなる。

短いプログラムならそれでもいいけどね。

別の誰かが書いてたように、上位スコープ内に定義されてるDOMでも、数学ライブラリでもなんでも、引数関数に渡すのか?

グローバルな値を参照したり書き換えたりして

いやだから、定数なんだから書き換わらないんだよ、FRPストリームconst 定数なんだから

関数型のわかりやす説明であって、住井派に反対してるとか、岡部路線とかじゃないよね、と。

オブジェクト指向と対比して考え方をまず学ぶって岡部路線、住井グループはそれを目の敵にしていて集団的攻撃している様をみたプログラミングコミュニティは逃げ、その後、不毛な大地のみが残った。

http://anond.hatelabo.jp/20160524142313

FRP純粋理想とする関数型+時間で変化するストリームを値にマップして扱うリアクティブプログラミングの組み合わせっていうなら、別に誰も反論しないと思うけど。

まり関数型の拡張っていうなら誰も反対無いと思うんだけど。

HaskellのIOモナドみたいな別の抽象化DISりつつ、FRPこそ正しい関数型みたいに言うから荒れるんじゃないの?

全部の時間依存関数にそういうことをする意味はない

あるよ。

関数がどのパラメータ依存して、何を結果として返すのか明確になる。

グローバルな値を参照したり書き換えたりしてたら、関数の中身読まないとわからなくなる。

短いプログラムならそれでもいいけどね。

初心者からFRPのことまで考えてないんだろう。

関数型のわかりやす説明であって、住井派に反対してるとか、岡部路線とかじゃないよね、と。

http://anond.hatelabo.jp/20160524140005

この辺でさ、岡部氏のFRPは、時間軸を持つストリームとしての値っていうのを、特別扱いして外部に持ってるわけじゃん?

岡部氏のFRP」ではなくて、FRPっていうのはそういうもの

反対してる人は、状態を外部(関数引数でも戻り値でも無い所)に持つの関数型的でない、って言ってたわけじゃん?

俺も岡部氏のコード見ながら、この点考えてみたが、時間依存FRPの値を__TIMEVALUEのようなひとつオブジェクトにまとめて、逐一すべての関数引数に加えれば?と思ったが、全部の時間依存関数にそういうことをする意味はない、岡部氏のコードは、反対派ブログに書かれているコードよりも可読性が高く、コード量も半分とか圧倒しているし、「状態渡し」ではアプリは作れない、というのも岡部氏が正面切って批判するまで誰もはっきりと言わなかったことも反対派の信用性がない理由。それに「岡部氏のFRP」とか文句言う反対派の理解が怪しいと俺も思うようになった。

上で引用してるのは「状態渡し」推奨の立場じゃないの?

初心者からFRPのことまで考えてないんだろう。それだけFRPの「考え方」っていうのは難しいんだよ。

http://anond.hatelabo.jp/20160524133941

このように何か処理を実行した際に、入力として受けつけたデータ以外の物が変化することを"副作用がある"と表現するようです。

関数型言語はこの副作用のないプログラムを目指します。

引数データを受け取り、それ以外の情報を使わず戻り値を返す」関数を作ることを考えましょう

外部に依存しないよう関数の入出力を定める

この辺でさ、岡部氏のFRPは、時間軸を持つストリームとしての値っていうのを、特別扱いして外部に持ってるわけじゃん?

反対してる人は、状態を外部(関数引数でも戻り値でも無い所)に持つの関数型的でない、って言ってたわけじゃん?

岡部氏は時間グローバルなのが当たり前、引数戻り値で表す必要はない(全てを引数戻り値表現する「状態渡し」ではアプリは作れない)って立場じゃん?

上で引用してるのは「状態渡し」推奨の立場じゃないの?

なんで状態渡し否定派の岡部氏の路線になるの?

http://anond.hatelabo.jp/20160523164755

一応、要求通りに新しい課題OCamlコード書く

http://okaml.blogspot.jp/2016/05/done2.html#more

 ↓

kenokabe氏に、

OCaml関数状態渡し : 74行

JavaScript+React+TimeEngineのFRP : 29行

kenokabe氏のFRPじゃ半分以下のコード実装できたと、トドメをさされて終了

http://kenokabe-techwriting.blogspot.jp/2016/05/frptimeenginereactjsocaml.html

結果、kenokabe氏の圧勝かな、おもしろかったです!

2016-05-23

http://anond.hatelabo.jp/20160523000400

Haskellの""real world""についての等式が「代入」ならば、おまえにとっての「代入」はそれで良いのだろう。

別の言い方をすると、

岡部氏の設計した、FRPHaskellの""real world""の代入と概念的になんら差異はない。

http://anond.hatelabo.jp/20160520093920

仮にCが純粋関数型言語で、岡部FRPのx.t=x.t+1;も関数型なんだったら、C言語のx=x+1;も関数型だよね。

岡部氏の本でさんざん「x=x+1;は論理破綻」って批判してたのは何だったんだろう。

というか普通のCやJavaScript関数型なんだったら、岡部関数型の存在意義は……

http://anond.hatelabo.jp/20160523000400

頭悪いよな。

あのね、FRPについて、何かが認められている、何かの合意があるみたいなことを言ってるのだけど、

岡部氏が出したCornelEliottのいうFRPは、ことごとく他のFRP自分の考えが違う、と各所で表明していて、

どこにもおまえさんの言うような学会コンセンサスみたいな形式がないのだけど、誰が見ても君の言い分詭弁だよねえ。

2016-05-22

http://anond.hatelabo.jp/20160521172848

FRPについての合意について?w ソースは?ほら出してみろよw

ヒント:ElliotをはじめFRP重要論文の大半が発表されてる学会委員長

バカ発見

FRPについての合意ソース出せ、と書いたら、「国際学会の委員長」がヒントの回答らしい。

それが回答になりうるはずもないことくらい理解できるよな?

FRPにについて合意されている、と確認できるソースを出せ、と書いたんだ。できない、でいいんだな?

2016-05-21

http://anond.hatelabo.jp/20160521172848

Haskell.org https://wiki.haskell.org/Functional_Reactive_Programming を見ても

The basic idea is that a time-varying value can be represented as a function of time:

newtype Behavior a =
    Behavior {
      at :: Time -> a
    }

もろに「関数」で書かれていて、岡部自称FRPのような「代入」は影も形も無いな。

アーカイブ ヘルプ
ログイン ユーザー登録
ようこそ ゲスト さん