2019年3月26日のブックマーク (4件)

  • 30分でわかるJavaScriptプログラマのためのモナド入門

    「30分でわかる」のは、だいたい、 4. モナド(Monad)とは何か? の読了までを想定しています。 また速い人なら、30分で全部一気に読み通せる分量でもあると思います。 30分以上かかっても一気読みしてしまうことが推奨されますし、一気読みできるように、前に戻って知識の再確認をしなくて済むように、最大限留意して構成を設計した上で執筆されています。 数学と用語問題。モナドの理論的基盤として圏論があるのは事実。理論的基盤がしっかりしているのはプログラミングという数学的作業において歓迎すべきことではある一方で、他方そのため一般的なプログラマにとってはまず用語に馴染みがない。歴史的に、圏論ベースのモナドを理論から関数型プログラミングに応用されていく過程では、実際、先駆者の間でさえ紆余曲折があったのだが、学習者へは馴染みのない用語を伴って、いきなり高度な数学的概念全開で天下り的に提示されてしまうこ

    otoan52
    otoan52 2019/03/26
    “「30分でわかる」のは、だいたい、4. モナド(Monad)とは何か? の読了までを想定しています。 ” 4の終わりまで雑に読んで20分だったので「30分で」は一応嘘じゃないようだ。最後の一歩が理解できない人向け何だと思う。
  • 「結果的に、『失敗』という概念が消滅」…?内閣府「ムーンショット型研究開発制度」の資料がポンチ絵過ぎる件

    JAXA新事業促進部 @jaxabiz 内閣府総合科学技術・イノベーション会議(CSTI)は、「ムーンショット型研究開発制度」について、平成30年度2次補正予算において総額1000億円の関係予算を措置するとともに、同制度において「ムーンショット目標」を設定するに当たり、広く提案募集を実施しています。 www8.cao.go.jp/cstp/stmain/20… 2019-03-22 12:10:49 リンク www8.cao.go.jp ムーンショット型研究開発制度に関する提案・アイデア公募について- 科学技術政策 - 内閣府 今般、ムーンショット目標の設定に向け、有識者会議(以下「ビジョナリー会議」という。)を設置し、検討を開始することとしておりますが、ビジョナリー会議における議論の参考とするため、最先端技術を応用して解決を目指すべき未来の社会課題等に関し、皆様からの提案を募集します。

    「結果的に、『失敗』という概念が消滅」…?内閣府「ムーンショット型研究開発制度」の資料がポンチ絵過ぎる件
    otoan52
    otoan52 2019/03/26
  • 兵庫県警ブラクラ摘発の何が恐怖なのか - bonotakeの日記

    兵庫県警によるブラクラ摘発が話題になってもう3週間ほどになるんでしょうか。 最初は中学生がこの件で「補導」(触法少年として刑法犯扱い)された事が話題になりましたけども、その後、僕は同時に摘発された男性に関する以下の記事が出て「これは当にマズイ」と感じるようになりました。 そして、この件で僕が感じているこのザワザワした感情が 恐怖 なんだ、という認識に至りました。 nlab.itmedia.co.jp 以下、僕がこの件で何を恐怖と感じているかを書きます。 書いてあることは他でも言われていることの何番煎じかわからないものですが、あくまで僕自身の所信表明ということで。 目次: 1. ブラクラをウィルスと同列のものとして扱っている 2. ループの質を警察が理解していない ループはプログラムに欠かせないもの 止まらないループは簡単にできあがる まとめると 3. 故意犯の要件を満たしていないのでは

    兵庫県警ブラクラ摘発の何が恐怖なのか - bonotakeの日記
    otoan52
    otoan52 2019/03/26
  • これが認められる「地場産品」 ふるさと納税返礼品で新基準 | NHKニュース

    ふるさと納税制度の見直しで、総務省は地場産品が少ない自治体の要望を踏まえ、都道府県単位で共通の返礼品を設定することなどを認めるとした新たな基準をまとめました。総務省がまとめた地場産品の基準案すべてを紹介します。いずれかに該当すれば、返礼品として認めるとしています。 (2)自治体で原材料の主要な部分が生産されたもの。 (3)自治体内で製造・加工などの主要な部分が行われ、付加価値が生じているもの。 (4)コメなど、近隣の自治体で生産されたものと混じることが避けられないもの。 (5)自治体の広報のために生産されたキャラクターグッズ、オリジナルグッズなど。 (6)関連ある複数の返礼品をセットで贈る場合、主要なものが自治体の特産品など基準に該当するものであること。 (7)返礼品として提供されるサービスの主要な部分が自治体と関係するものであること。 (8)以下のいずれかに該当する返礼品。 ▽地域的につ

    これが認められる「地場産品」 ふるさと納税返礼品で新基準 | NHKニュース
    otoan52
    otoan52 2019/03/26
    “(5)自治体の広報のために生産されたキャラクターグッズ、オリジナルグッズなど。” amazonギフト券を抱いたご当地キャラが……。