再帰関数の再帰構造だけを抜き出して抽象化した概念。例えばRecursion Schemesの一つであるcataはリストにおけるfoldrトリックの一般化と言える。このように再帰関数から再帰構造を独立させることは法則を使った等式論証を可能にしたりコンパイラによる最適化を期待することが出来る。再帰を直接使わずにRecursion Schemesを使ってプログラムを書くことは、gotoを使わずにfor, whileを用いることで構造的なプログラムを書くことに例えることもできる。ある関手Fの始代数/終余代数として定義される代数的データ型からは、その始対象/終対象としての性質から別の(余)代数との間にユニークに伸びる射が存在する。この射を利用してRecursion Shemesは定義される。Recursion SchemesはSquiggolやBird–Meertens formalism (BMF

ソースコードを読んだ人の感情を動かしてはならない。

私見です。 「なぜ、ふりかえりをするのか？」と聞かれてもパッと答えられてない気がしたので、書いておこうと思いました。 前提として、不確実性の高い正解の無い仕事をしている 参考: 現代ソフトウェア開発の地図 誰も正解を知らないので、競合よりも早いスピードで学習を重ねて最適化していくことが優位性につながる 言い換えると、学習が止まると競合に置いていかれ、将来的には食いっぱぐれることになる このとき、職能などに別れてふりかえりをしていると全体最適ではなく部分最適に近づいてしまう 視点によって見えるものは違うので、プロダクトにとって必要な多様な視点を取り入れることが重要(=職能横断的にやりましょう) 例えば、単に「仕様が複雑」という課題も、エンジニアだけだと「実装を工夫して簡単にする」ことに執着してしまいがちだが、プランナーの視点からだと「先方と調整して仕様を単純にする」というアイデアも見えてくる

#財テク #保険 賃貸仲介業者の言いなりで火災保険に入っていませんか? 保険販売には強い規制があります 「この家に住むためには、この保険に入らなければならない」 → 独占禁止法、保険業法に抵触します 「この家に住むためには、借家人賠償責任保険のある保険に入らなければならない。ところで我が社でオススメの保険はこちらです」 → こういう案内なら合法、こういう風にやっている仲介業者は多い しかし違法な案内をしている業者が多いのもまた事実… 仲介業者が儲かる仕組み そもそも何故仲介業者は、指定の火災保険に加入させたいのだろうか 保険会社からキックバックがある? 保険会社は仲介業者の違法行為を幇助している? しかし保険会社は強い規制の中で運営されているのでコンプライアンスには厳しいはず… かんぽとか見ると別にコンプライアンスに厳しくなさそうな気もする 火災保険を始めとする保険販売は代理店に委託するこ

4202692702995154386319005101293915131773915702632234503304716087198335731457276226633938477267013660962533661702858329186641162298822215333733574147268614522205177960360216576292096795530656502537998314495026330500620719088898984643619599926476236108318505023749864703859491024686621241730682736115723551647724257547502352412468746074851053353923438703547870019701586274514903943581778012410826464461

現状でFlets光ネクスト マンション・ギガラインタイプ＋IIJ FiberAccess/FでIPv4 PPPoE + IIJ FiberAccess/NFでIPv6 IPoEを利用していたのを、リストラする計画。201811月版 目標は以下の2点 シンプルな構成、シンプルな契約 都内のFletsはとても遅いのでできればもう少し高速化したい シンプルさ（とできれば速度）を目指すために、 現在利用しているBOX型のONUからSFPタイプの小型ONUに変更する SFPが刺さるルーターにリプレースして一体化させる IPv4 PPPoEはどうせ速度はあんまりでないのでIPv6 IPoE + DS liteによる構成に変更する ことを検討した。 2018/11/24にUbiquiti EdgeRouter 4 をAmazon.comに発注。価格は176.85USDで送料などをつけて191.67USD

https://twitter.com/shiology/status/844712311885586433 https://gyazo.com/2d3a265a45cde946b3238a76789ce4ac

なんとか平成のうちに完成しました。ツイート埋め込みのHTMLをScrapboxでの表示用に変換するUserScriptがなかったのでサクッと作りました。https://t.co/PjyI0jUVGX

Get the free windows 10 application that called "3tene", it allows you to master-slave operation of VRM 3D model only USB Web Cam and mic input.

結論から言うと，そもそもなんでマイニングしたらあかんのかというのは結構曖昧なんだよな。電気容量の話も一つにはあるわけだけど(熊野寮は電気容量が小さく，しょっちゅうブレーカーが落ちる)、じゃあ電気容量に余裕があったらマイニングしてもいいのかというと、俺は駄目だと思う。本質的には電力を不当に消費していることにキレてるわけだ。なぜなら、まずそれは俺が払った金がOくんの懐に入っているということにほかならないし、光熱費は大学に半分負担してもらっているので、間接的に国民の血税から盗みを働いているということだからだ。 ここが難しいところで、じゃあお前の部屋にあるPS4が消費する電力についてはどう思ってんのという話になる。いやいやこれはマイニングと違って金を儲けてるわけじゃないんです、と言うかもしれないが、じゃあお前が寮の電力で起動したPCで在宅のプログラミングのバイトをやって貰ってる金についてはどう思う

たとえ自分自身がLGBT当事者だとしても、社会には自分以外の様々な人間が存在しているのだから、自分の視野や感覚や経験や事情だけを根拠として社会的な主張をするのは慎んでほしい ある社会問題について、当事者であろうと当事者でなかろうと、いち市民として、社会的な活動や社会的なルールについて何らかの意見を主張するのなら、その社会問題に関する基礎知識やこれまでの歴史的な議論の経緯について把握することに加えて、多様な事情を抱えた人間が存在しているという前提で、実際の当事者の具体的な事例を可能な限り色々と集めるなどして、議論を進めてほしい

はじめに / 低调 / 日本語対応 / 無料 / ユーティリティ / シューティング / ホラー / サバイバル / 宇宙 / 海 / アクション / 報道 / 協力プレイ / ウォーキングシミュレーター / VRデバイス / 低調PC / ストア一覧 / 音楽 / DJ / SmartByte Drivers and Services

大全 / 概念 / エンジニアにオススメ / 劣悪家庭環境 / ウェブ×ソーシャル×アメリカ / 人類の叡智コタツ / ネットロア: ウェブ時代の「ハナシ」の伝承 / オカルティズム　非理性のヨーロッパ / カルト資本主義 / 現代オカルトの根源 / 苦しまない練習 / こだわらない練習: 「それ、どうでもいい」という過ごしかた / 真理の探究 / 仏教 / デジタルメディアの社会学 / メディア

この出品者の評判を見ると、fast、quick、prompt という単語が目立つので、安定して速い？（要確認）