オライリーの「入門 監視」の付録Cを執筆しました | おそらくはそれさえも平凡な日々
入門 監視 ―モダンなモニタリングのためのデザインパターン この本はPractical Monitoringの邦訳です。原著は持っており、良い本だと思っていたので、翻訳者の松浦さんが邦訳されている話を聞いたときには嬉しく思いましたし、そこで付録を執筆して欲しいという依頼もいただき、身に余る話でしたが、引き受けさせてもらいました。 そして「実践 監視SaaS」と言う内容を付録Cとして20ページほど書かせていただきました。原著が監視SaaSの活用を推奨してはいるのですが、内容的にはツールに偏らない、概念的で中立的な本であるため、監視SaaS活用に関してはもう少し具体的、実践的な話を補強して欲しいというオーダーを受け、書いたものです。 私は、Mackerel という監視SaaSのプロダクトマネージャーを務めており、それもあって依頼を頂いた形ですが、逆に、原著の中立的な良さを損なわないように公平さ
外国人問題：外国籍の子 就学不明1.6万人 義務教育の対象外 | 毎日新聞
日本に住民登録し、小中学校の就学年齢にある外国籍の子どもの少なくとも約2割にあたる約1万6000人が、学校に通っているか確認できない「就学不明」になっていることが、全国100自治体を対象にした毎日新聞のアンケート調査で明らかになった。既に帰国している事例もあるとみられるが、外国籍の子は義務教育の対象外とされているため就学状況を確認していない自治体も多く、教育を受けられていない子どもが多数いる可能性がある。 アンケートは昨年9～11月、義務教育を受ける年齢の外国籍の子どもが多い上位100市区町を対象に実施。新年度が始まった直後の昨年5月の時点で住民登録されている6～14歳と、公立の小中学校や外国人学校に通っている児童・生徒の人数を聞いた。5月のデータがない自治体には近接した時点の人数を尋ね、全自治体から回答を得た。
ジム・オルークの『Steamroom』を聴く - LL
ジム・オルークがbandcampにてリリースしている『Steamroom』シリーズは、これを書いている2018年11月の時点で42作がリリースされている。その内容は大雑把に分類するならリリースの直近の期間に制作された新録音源、過去の作品をデジタルアルバムとしてリリースし直した再発音源、そして（映画やイベントの為に制作された音楽、ライブ演奏の録音、古いセッションの掘り起こしなどの）蔵出し音源の3つに分けられる。 本記事では現状リリースされている42作品について、それら3つのどれにあたるかや、録音の時期、オリジナルリリースはどの作品か、などの情報をまとめたうえで、全ての音源を聴き、その感想も短く記していく。 作品のタイトルの後にまずリリース日、次に3つの分類のうちどれに当たるかを記述。録音時期については画像の下の文章中に記載。 新録と蔵出しどちらに分類するか難しいものがいくつかあったが、基本的
日本社会はロボットによる労働力不足解消の夢をみるか？ - 急がば回れ、選ぶなら近道
どちらかと言うと関係者向け。 とある事情でロボットとかCVとか、いろいろAI系（の一歩手前）に関わることになっている。業務系IT屋と今後のマーケットの視点で書いておく。最初に断っておくが自分はロボットに関しては素人なのよ。なので、だからむしろこれから書くことは間違っている可能性もある。単純に「外側から見た考え方の一つ」だと思ってもらっていい。そのつもりで書いておく。 前提はNCやFAと言った工作機械の延長のものではなく、あくまで人手の代替を行える水準のものを想定する。ま、極論いうと「劣化版「鉄腕アトム」」だ。 現状全般 一般に言われていることであるが、日本は世界歴史上ないかつてないレベルの高齢化になっており、少子化対策の失敗からの労働力不足に思いっきり正面激突して半死半生である。こういう大惨事のさなかに、この労働力不足を真面目にロボットで補うという、まさかのSFチックなこれまた世界史上例の
Learn to become a Backend Developer
Update for 2020This roadmap has been updated for 2020, please have a look at roadmap.sh Web development today is completely different from what it was a few years ago; there are lots of different things that can easily baffle anyone entering into the web development. It was one of the reasons that we decided to make these step by step visual guides demonstrating the bigger picture and to give anyo
定理証明リンク集
定理証明、特に定理証明支援系(Proof Assistant)はその存在こそ少しずつ浸透しつつあるような気がしないでもないけれど資料とか全然まとまってないのが不便だなと前々から思っていたのでリソースをまとめておきます。 これも追加してほしいみたいなのあったら教えてください。 Proof Assistants 始めるなら次の中から選ぶのがよいと思います。 Coq Calculus of constructionsベースの型システムとリッチなコマンドを備えた言語 このリストの中では最もコミュニティが大きい、入門書等も豊富 型システムと項を書くためのGallina, コンパイラへの命令を記述するためのVernacular, タクティクスの定義に使うLtacなどの言語が混ざって出てくるのが初心者には混乱必至 結構複雑な言語なので使いこなすのはそれなりに大変 Agda Martin-Löf type
トップレベルのコンピュータエンジニアなら普段からチェックして当然の技術系メディアN選 - kuenishi's blog
〜〜が知っておくべきサイト20選とか、エンジニアなら今すぐフォローすべき有名人とか、いつも釣られてみにいくと全く興味なかったり拍子抜けしたりするわけだが、こういうのが並んでいたらあまりの格の違いに絶望してしまうだろうというものを適当に並べてみた。私が見ているわけではなくて、こうありたいと思っている私の願望である。どちらかというとインフラ系とか基盤系のものに偏っているが、あくまで私が興味ある一連の例だと思ってください。「これが入ってない！」というクレームは受け付けますので、是非教えてください。一緒に成層圏まで意識を高めましょう。 情報サイト、有名ブログ Software Engineering Radio : IEEEが主催しているソフトウェアエンジニア向けのPodCast。データベースからフロントエンド、暗号、ハードウェア、マイクロサービス、などなどとにかく多様なジャンルの最新のトピックの
2018年「はてなブックマーク年間ランキング」トップ100 “時間泥棒”になりそうなあの記事が1位に - はてなニュース
はてなブックマークのブックマーク数が多い順に記事を紹介する「はてなブックマーク年間ランキング」の2018年版を発表します。例年通り、上位トップ100の記事をピックアップしました（集計期間：2017年12月11日～2018年12月10日）。 平成最後の年のランキング1位は「増田文学１００選」（はてな匿名ダイアリー）。はてな匿名ダイアリーには、「増田文学」というタグを付けられた一連の読み物群があります。2018年6月までの「増田文学」のエントリーをブックマーク数をベースにランク付けした記事が「増田文学１００選」です。みなさんはいくつご存知でしたか。 ブロガー周りのトピックとしては、“けんすう”さんこと古川健介さん（Supership株式会社）の記事が、20位までに3本もランクインしていることが驚きでした。自身の体験をもとに、生きやすさの手掛かりになりそうな内容を丁寧に伝えていること、それが読者
実践的低レベルプログラミング
はじめに 学校で習わないが(習う学校もある)、現実に必要になるプログラミング技術に、低レイヤプログラミングなどと呼ばれるものがある 厳密な定義は聞いたことがないし、おそらく存在しないとは思うが、大体のみんなの共通認識として、 「高級プログラミング言語を使わないプログラムを書き、OSで抽象化されないデバイスの機能を使う」といったような認識があると思う。 筆者の経験から言わせてもらうならば、低レイヤプログラミングに関する知識は、プログラミングにおいてあらゆる場面で、常に、少しずつ役立てられる知識だと言えると思う。 普段はRubyやPHPなどを書いてる人であったとしても、メモリが足りなくなった場合や、デバッガを使っている場合、性能が足りなくなった場合など、 厳しい環境におかれた時に低レイヤプログラミングに関する知識が必ず役に立つ場面が来ると信じている。 また、役に立つかどうかは置いておいても、「
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
「きゃあ 相転移！」浜辺で見つけた謎の1コマから即座に漫画のタイトルが特定される「これがTwitterの力」
