July Tech Festa 2018 で使用したスライドです。二相コミットを例として、分散アルゴリズムの検証にモデル検査を使用する手法について解説しています。また、代表的なモデル検査ツールである SPIN、TLA+、P について、同じシステムを各ツールで記述してみることでその特定の違いについて学びま…

最高のITエンジニアリングとは、ユーザーへの価値提供に最大限集中できる状態を維持し続ける技術だと私は考えます。では、その状態を阻害する要因は一体何であり、どうすれば取り除くことができるのでしょうか。このような具体的な問題と向き合い、近年注目されているSRE の考え方を取り入れ、実装しながら乗り越えてきた…

17. 17 システム構成情報 サーバ構成 No ホスト名 IPアドレス OS 備考 1 web-server-01 192.168.111.11 RHEL7.3 web-server-02とのAct-Standby構成 2 web-server-02 192.168.111.12 RHEL7.3 web-server-01とのAct-Standby構成 3 db-server-01 192.168.111.31 RHEL7.3 db-server-02とのAct-Act(ReadReplica)構成 4 db-server-02 192.168.111.32 RHEL7.3 db-server-01とのAct-Act(ReadReplica)構成 5 db-lb-server-01 192.168.111.21 CentOS7 db-lb-server-02とのAct-Act構成 6 d

水も消火剤も使わない新しい消火器の登場です。 ブーンという低い音とともにフライパンの炎があっという間に消えました。これは、アメリカのジョージメイソン大学の2人の学生が開発した、水や消火剤を全く使わない消火器です。スピーカーから出る低周波を火元に浴びせることで、炎から酸素を切り離す仕組みになっているということです。この消火器を開発した2人は、特許取得を目指しています。

本書は、エレクトロニクス（電子工作）初心者のためのハンダづけ入門書です。独学で電子工作を学ぶ読者を対象に、さまざまなハンダづけの手法の紹介に始まり、ハンダごてやハンダなど必要な道具の選び方、そして実際のハンダづけの手順、失敗した際の対処法まで、詳しく解説を行い、初めてのハンダづけへの不安を取り除きます。さらに上級者のためには、表面実装部品のハンダづけ方法も解説。日本語版ではテクノ手芸部によるオリジナル作例（紙箱で作るハンダの煙吸い取り器、暗くなるとほんのり光る小さなライト）を追加しました。 刊行によせて はじめに 1章　ハンダづけってなんだろう？ ほかの種類のハンダづけ ハンダづけ（ロウづけ）と溶接の違い エレクトロニクスのハンダづけ 2章　ハンダづけの基本的な道具と材料 どんなハンダごてを買うべき？ いい道具、すごい道具、そして買ってはいけない道具！ でも、ほかにどんな種類のハンダごてが

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? CNCFで管理されているプロジェクトであり、コンテナへのネットワーク接続を実現する技術としてデファクトになりつつあるCNIについて完全に理解したので解説していく。 CNI 役割 ContainerNetworkInterface(CNI)はコンテナとネットワークを接続する技術。CNIプロジェクト自体は仕様といくつかの基本的なプラグインを提供するのみで、コンテナを利用するユーザがCNI仕様にそったプラグインを自分たちで用意する。 CNI 仕様 CNIの仕様はGithubレポジトリのドキュメントにまとまっている。CNIプロジェクトはcont

一時は複数のメーカーから次々と新型のVRヘッドセットが登場しましたが、近年はあまり大きな話題を耳にすることがなくなってきたバーチャル・リアリティ(VR)界隈。メディアがVR市場の苦境をデータで示したところ、「HTC Vive」を開発するHTCが、公式ブログの中で「VR市場はこれからだ」と反論しています。 HTC Vive hits back following "VR is dying" claims • Eurogamer.net https://www.eurogamer.net/articles/2018-07-27-htc-vive-hits-back-following-vr-is-dying-claims Thinknum Mediaが、Amazonにおける販売ランキングデータを追跡することで、主要VRヘッドセットの販売台数が落ち込んでいると指摘しました。このデータでは4つの主

あつ🍥🍤 @a2_noG 電子レンジから突然ファンファーレが鳴り響いて「自動あたため利用100回目です！いつも使ってくれてありがとう！これからもよろしくね！」みたいなこと言われたんだが人生でこんなに義理堅く生活を見守られたことなかったからレンジ抱えて泣いてる

新板2019はこちら https://takasumasakazu.booth.pm/items/1192465 形式：PDF (スマホでも読めるサイズで書いてます） ページ数： 64 文字数：約1.6万文字 ※2019年1月に加筆した2019年版をだしたので、旧版にあたるこちらの価格を500→250と半額にしました。深センで1年前の話は資料的価値もあるので、これからも年ごとに更新するつもりです。(2019/01/22) https://takasumasakazu.booth.pm/items/1192465 このマッハ新書は個人版とエンタープライズ版があります。 エンタープライズ版は表紙にエンタープライズ版の表記があり、 -同一組織内でのコピー配布可能 -領収書の発行が可能 -価格が5倍 になっています。内容は一緒で、部署で買うとか、ツアーの引率が買ってメンバーに配るみたいな用途を想定

こんにちは、管理栄養士の佐藤樹里です。 突然ですが、「グルテンミート」ってご存知ですか？ グルテンミートは「小麦粉と水さえあれば無限生成できちゃうタンパク源」のこと。 もちもちとした食感で、ミートとついているように「もはや肉なのでは？」といわれるくらい、お肉にそっくりなんです……！ 材料は小麦粉と水だけなので、お財布にもやさしいうえに、しっかりした歯ごたえで満腹感も得られるというダイエッターの救世主的な食材でもあるのです！ そんなグルテンミートをさっそく作ってみました。 ＊グルテンミートはグルテンを多量に含む食品です。グルテン過敏症の方や、小麦アレルギー、グルテン関連障害の可能性のある方は健康を害する恐れがあるのでご注意ください。 簡単シンプル！グルテンミートの作り方 材料 小麦粉・・・500g 水・・・250g 材料はたったの2つ！ 作り方 1. ボウルに小麦粉を入れ、水を少しずつ加えな

先日、こばかなさんと意思決定の話をした。その話のまとめメモ。 意思決定の遅さや、先延ばしに巻き込まれて、チャンスを逃すケースが非常に多い。私生活でも仕事でも。 でも、実は意思決定で悩むケースは、この世にはほとんど無いんじゃないかなと思う。多くの場合、物事の選択はざっくり「ポリシーの問題」「セオリー」「不変の法則」の3種類のレイヤーに分類できるのではないかと思う。あらゆる意思決定をこの3レイヤーに分類することで、悩むシナリオを最小化できる。 ポリシーの問題この卵を「目玉焼きにする」か「卵焼きにする」か「ゆで卵にする」か。些細なこと、完全に等価なこと、要素が複雑すぎて分析不能な問題。ポリシーの問題は悩むだけ無駄。シンプルに好みや生き様で、決めてしまえばよい。 どちらかというと、明快な「生き様」や「ポリシー」など、行動規範を持っているかどうかが重要。本人が行動規範を持っていれば、何も悩むことはな

Twitterで良く使用される「ハッシュタグ」は、同じハッシュタグが付けられた投稿を簡単に検索することができることから、さまざまなメディアの企画やイベントの宣伝などで幅広く利用されています。SNSの分析などを行っているMentionが調査を行ったところ、「ハッシュタグの付いたツイート」はユーザーからあまり好意的な反応を得られていないことが判明しました。 The Twitter Engagement Report 2018 | Mention https://mention.com/en/reports/twitter/ Mentionが7億件以上のツイートを調べて作成した分析レポートでは、「ユーザーがツイートに興味を引かれたことを示す指標」として、「いいね」「返信」「リツイート数」の合算値を示した「エンゲージメント数」とその値をツイートの表示回数で割ったエンゲージメント率を使っています。

このところ人手不足による倒産が増えている。日本は未曾有の人手不足時代に入っており、労働者の不足から供給制限がかかる可能性は以前から指摘されていた。 やっかいなのは、景気がよい状態で人手不足になっているわけではなく、もともと経済の基礎体力が低下しているところに人手不足が重なっていることだ。今後、人手不足による供給制限はジワジワと日本経済を蝕む可能性がある。 もはや高齢者しか残っていない 帝国データの調査によると、2018年上半期の人手不足による倒産件数は70件と前年同期比で42.9％の増加となった。件数が前年同期を上回るのは3年連続で、初めて年間100件を突破した昨年を上回るペースとなっている。人手不足で倒産する企業が急増しているのは間違いない。 業種別の分類では、サービス業がもっとも多く、次いで建設業、運輸、通信業の順となっている。過去5年の累計でも建設業とサービス業が多い。 具体的には、

外はパリッ、中はモチモチ。高温で焼き上げる絶妙の食感がたまらない。インドカレーに欠かせないナン。でもそう思っているのは日本人だけかも！？　インドでは北部でしか食べられていないそうだ。皿からはみ出すボリュームもうれしいけれど、本場は皿に収まる円形で、日本独自に巨大化したという。ナンでだろう？　答えを探していくと、ナン窯「タンドール」を作る下町の町工場に行き着いた。（重松明子、写真も） 南インド料理ダクシン八重洲店（東京都中央区）で、チェテナード・チキンカリーをいただく。２０種以上のスパイスをまとった鶏肉が柔らかく、コクと辛さがいい。ナンのほんのりした甘みが絶妙な和らぎを与えるが、本来この組み合わせはありえない。 「南インドにナンはありません。主食はライスや鉄板で焼くクレープ『ドーサ』です。南インド人としては少々悔しいのですが９年前に出店する際、日本人相手にはナンが必要と判断したのです」と、社

昔からそうだった。 ピアノも 英語教室も ダイエットも おしゃれも 勉強も お絵描きも 全部そうだった。 強いて言えば、ゲームをクリア（やりこみ要素は度外視して）することのみ。 中学生になったら 高校生になったら 大学生になったら 社会人になったら 結婚したら 全部、変わることはなかった。 最近では趣味のゲームですら最後までクリアすることができなくなってしまった。 このどうしようもない飽き性なくせに、何かに常にのめり込みたいと思う。 他の事を忘れるほどのめり込んだのは、大学時代にハマった某対人ゲームくらいだった。 あの頃は何するにもそれが優先だったけれど、ものすごく密度が高くて楽しい時間を過ごした。 またそういう経験がしたい。 死ぬまでの目標は 自分が望む絵をかけるようになること ダイエット成功してオシャレできるようになること ゲームか作曲で何か残せるものを作ること これがしたい。 でもど

誰でも参加できるYYPHPという勉強会があります。この勉強会の大きな特徴は、毎回内容をYouTubeライブ配信していることです。 もし見逃しても安心。ライブ配信後はアーカイブとして過去回を閲覧できるようになっています。→YYPHP YouTubeチャンネル 今回7/27（金）のテーマは、DockerでLaravelの開発環境を作るハンズオンでした。 動画でわかるDocker Dockerの説明は20分過ぎたあたりから始まります。 （それまではYYPHP自体の説明と、参加者の自己紹介が入っています） 概要DockerでLaravelを起動できるところまでを説明します。 Laradockなどの既に構築されていて複雑化してしまったものだとDockerへの理解がなかなかできないため、この #動画でわかるDocker では、とてもシンプルな形を作ってみます。 目次 ・Dockerとは何か？ ・他の仮

地域や時間を区切って電気の供給を止める「計画停電」の運用ルールが変更され、除外されていた東京２３区も原則、対象に含まれることが分かった。２０１１年３月の東日本大震災では、２３区は国の有事対応に支障が出るなどとして、計画停電の対象外とされた。今後の災害では、都心の企業や住民もこれまで以上の備えが必要となりそうだ。 全国規模で電力の需給調整を行っている経済産業省の認可法人「電力広域的運営推進機関」が決定した。 計画停電とは、対象地域や日時を事前に予告した上で、順次、強制的に停電させる仕組みだ。震災直後の１１年３月１４～２８日に首都圏を中心に実施された際には、信号機が止まるなどして大きな影響が出た。 当時、２３区については、電力を止めると国の行政機能が著しく低下するなどと判断され、計画停電の対象外だった。しかし震災から７年余りが経過し、企業などで非常用電源の整備が進んだことや、一部地域だけ除外す

グルーヴノーツ コンサルタントの吉村です。 先週（日本時間7月26日午前1時過ぎ）に発表されたBigQuery MLを試してみました。 BigQuery MLとはGoogleのDWHであるBigQuery上で線形回帰とロジスティック回帰を実現するものです。 もちろんBigQueryで動くのでモデルを作るところも並列で高速に処理されることが期待できます。 これまで線形回帰といえばR言語やPython、またはExcelの分析ツールアドイン（16項目制限有り）を使っていたかと思います。 これがBigQueryでやればクエリを書けばプログラミングはいらないしデータサイエンティストには便利ですよね。 さて実際に使ってみたいと思います。題材としてはもちろん電力需要で線形回帰でモデルを作って予測していきます。元ネタのデータはこの形です。 説明変数 ・月（1〜12の整数が文字列として入っている） ・曜日（

1956年生まれ、神戸市出身。早稲田大学理工学部機械工学科中退後、1977年にアスキー出版（現アスキー、KADOKAWA傘下に）を設立後、マイクロソフトとアスキーマイクロソフトを設立し社長に就任。2001年にアスキーの全ての役職を退任。米国マサチューセッツ工科大学メディアラボ客員教授や尚美学園大学教授等を務め、2001年に須磨学園高校の校長を務めるかたわら2017年から現職 今月の主筆　アスキー創業者　東大大学院IoTメディアラボディレクター　西 和彦 日本で初めてのパソコン雑誌「アスキー」を設立、マイクロソフトのビル・ゲイツと意気投合し、極東担当副社長を務めるなど、日本のパソコン市場創世記を牽引した西和彦。そんな西は今、研究者と教育者に軸足を置いている。これまでのIT革命を振り返ると共に、将来のIT世界について語ってもらった。 バックナンバー一覧 ビル・ゲイツとMS‐DOS、Window

コンテンツブロックが有効であることを検知しました。 このサイトを利用するには、コンテンツブロック機能（広告ブロック機能を持つ拡張機能等）を無効にしてページを再読み込みしてください。 ✕

Electronic Frontier Foundation 2011年1月25日にエジプトのインターネットを埋め尽くした希望は、いまや消え去りつつある。近年、同国の軍事政権が、デジタルディストピアを構築しつつあるためだ。かつては活気に溢れていた政治コミュニティ、ジャーナリズムコミュニティは閉じた空間やオフラインに追いやられ、数百のウェブサイトがブロッキングされ、デジタルメディアで活動する多数のアクティビストが拘束されている。 この2年間、テロ組織との関与や「フェイクニュースの拡散」を口実に、デジタル人権活動家やジャーナリスト、セクハラの告発者、さらには詩人に至るまで、さまざまな人々がターゲットにされてきた。そのエジプト政府は現在、テクノロジーを利用するすべての人を標的とし、取り締まることを可能にする新たな法律を制定した。 全45条からなる「サイバー・情報テクノロジー犯罪対策法」は、大きく

僕は今までに、月曜から金曜まで働く週5勤務をやったことがあるが、週4勤務や週3勤務もやったことがある（より正確には週0勤務もある）。最近、週4勤務の話をネットでも目にするようになってきたので、実際に体験してみて感じたことを書いていきたい。 まず、週3勤務は、当たり前だけど、体がとても楽だ。しかし、仕事が進まない。火水木と働いていたんだけど、火曜日に会社に来た時点で、先週の記憶がほとんどない。水曜にはエンジンがかかってくるんだけど、木曜には「今からこれに手を出すと中途半端になるから来週にしよう」というモードになりつつある。そして、来週にはその記憶が薄れている。 そういうわけで、日数はたっていても、思った以上に仕事は進まない。すぐ締め切りが来てしまう。 一方、週4勤務は良い。月火・木金と働いていたことがあるんだけど、間があまりあいていないので、前の日の記憶もそれほど薄れてない。週3勤務（火水木

赤ちゃんは夜中にしばしば目を覚ましてよく泣き、不機嫌になる。このような睡眠障害が疑われる乳幼児を対象とした「夜泣き外来」が７月、兵庫県立リハビリテーション中央病院（神戸市西区曙町）に開設された。発達障害の予防や早期発見にもつながるほか、眠れない親の精神的負担を和らげて虐待防止にも効果が期待される。全国的にも珍しい診療部門という。（佐藤健介） 【写真】まぶた外来の受診者増加　開設以降、口コミで拡大 乳幼児の睡眠障害は運動や言葉の発達を遅らせ、注意欠如多動性障害（ＡＤＨＤ）やコミュニケーション障害、自閉症に似た症状を示すことが報告されている。医療が関わるべき問題だとして、同病院子どもの睡眠と発達医療センター長の菊池清医師（６６）を中心に専門外来を立ち上げた。 対象は、夜中眠れずに何度も起きて泣く▽ぐずってなかなか寝付かない▽日中機嫌が悪い－といった症状に悩む４歳未満児とその母親。睡眠リズムを記

はじめに の前に(2019/06/20追記) こちらの記事に いいね を下さる方がいらっしゃって（本当にありがとうございます）忍びないので、走り書きになりますが追記をしておきます。 以下の内容は古い話で、現状では最近出たRemote Developmentの拡張機能がベターというか最高だと思ってます。 どうぞ、そちらをお試し下さい。 はじめに WSLでVS Codeを利用してpythonを勉強していたのですが、困ることがありました。 gitも同じなのですが、環境をWSLとWindowsの両方に用意する必要があるのです。 例えば、pipでライブラリをインストールしてVS Code上の統合ターミナル(WSL)で実行すると問題なく動くのですが、一方でVS Code上のpylintはWindows側のpython環境を参照するためエラーを表示します。 そもそも、python自体もWSL環境とWin

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

夜に寝ている間、人間の脳の中では海馬に蓄えられた短期記憶の情報を側頭葉に移すことで長期記憶として定着させるという作業が行われています。この記憶のメカニズムに関する最新の研究からは、寝ている時の脳に電気的な刺激を加えることで記憶定着のメカニズムを強化して、記憶力をアップできることが明らかになってきています。 Closed-loop slow-wave tACS improves sleep dependent long-term memory generalization by modulating endogenous oscillations | Journal of Neuroscience http://www.jneurosci.org/content/early/2018/07/23/JNEUROSCI.0273-18.2018 Overnight brain stimulati

こんなやつ マジじゃん。 Microsoft Azure Cloud Shell(Azure PortalのWeb画面から生えてくるシェル)の中で、なんかVSCodeが動くようになってた。つまりブラウザでVSCodeが動く。https://t.co/vE35stsFrc #azurejp #jazug pic.twitter.com/1XC1XLFAZN — suzuki.sh(s2terminal) (@suzukiterminal) July 17, 2018 Azure Cloud Shellとは？ Cloud Shellとは、MicrosoftAzureの提供する、ブラウザ上で利用できるシェルです。 おもに、Azureをブラウザ上から$ azコマンドでCLI操作することを目的として作られているようです。 Azure Cloud Shellのいろいろな起動方法 shell.azure

最初の自動化で「大失敗」して得た気付き――SREはトライ＆エラーが全てである：リクルート流、SREコトハジメ（5）（1/3 ページ） 現状の把握も終え、いよいよ運用作業を自動化しようとしているアナタ。私自身もSRE活動を始めてすぐに自動化に取り組みましたが、実は最初に「大失敗」をしてしまいました。そこで「トイルの削減＝自動化」と勘違いしていたことに気付いたのです。 SRE活動と言うと、どうしても自動化やツール導入から進めたくなるものですが、その前にすべきこととして、Webサイトの現状を把握する「棚卸し」をするべきだ――。前回の記事では、その理由と具体的な取り組みについてお話ししました。 棚卸しを終えたら、いよいよ自動化、つまりはトイル（Toil＝自動化できるのに手作業で行う運用作業にかける労働時間）の撲滅へと動き出すことになります。トイルというのは、SRE活動の中でもクローズアップされやす

駅構内の点字ブロックに表示したQRコードをスマートフォンのカメラで読み取ると、目的地まで音声で道案内してくれる――視覚障害者向けナビゲーションシステム「shikAI」の実証実験を、東京メトロが8月6日から、有楽町線辰巳駅構内で行う。 ホームから改札、出口まで（または改札からホームまで）を音声で案内するシステム。点字ブロックのQRコードに位置情報がひも付けられており、現在地から目的地までの正確な移動ルートを導き出し、「右折、3メートル前進」など音声で案内する。駅構内で随時、視覚障害者に利用してもらい、システムの有用性を検証する。 開発したのはベンチャー企業のプログレス・テクノロジーズ。東京メトロのリソースを活用してスタートアップを支援するオープンイノベーションプログラム「Tokyo Metro ACCELERATOR」で賞を受賞した企画という。 関連記事 スマホカメラで見る世界　進む自立支援

こんにちは! タダケン(@tadaken3)です。 定期実行といえば真っ先にcronが思い浮かびますが、scheduleはcronを代替するPythonライブラリです。cronにくらべ読みやすく、非常にシンプルです。 windowsでも動作しますし、cronが使えない環境なんかでちょっとした処理をPythonで実行できたりするので、便利です。 scheduleのコンセプト ジョブのスケジュール実行は、標準モジュールを駆使して、実装することも可能です。ですが、scheduleを使うことでコードを非常にシンプルに保つことができます。 scheduleは「Python job scheduling for humans.」というコンセプトで作成されたライブラリです。直訳すると「人間のためのジョブスケジューラ」でしょうか。Rubyのclockworkにインスパイアされて作成されたようです。 けっこ

直感的かつ短いコードでアイデアを形にできるKerasはTensorFlowのラッパーとして大人気のライブラリです。本書でもTensorFlowをバックエンドとして使用し、自然言語処理、画像識別、画像生成、音声合成、テキスト生成、強化学習、AIゲームプレイなどさまざまなモデルをPythonとKerasで実装します。対象読者は、各種のディープラーニングを素早く実装したいプログラマー、データサイエンティスト。ディープラーニングを支える技術の速習にも好適です。数式はなるべく使わずにコードと図で説明します。ニューラルネットワークおよびPython 3の基本を理解している人であれば誰でも始めることができます。 目次 訳者まえがき まえがき 1章　ニューラルネットワークの基礎 1.1　パーセプトロン 1.1.1　最初のKerasのコードの例 1.2　多層パーセプトロン：最初のネットワークの例 1.2.1

NTTデータは対面営業での「コミュニケーション能力」を人工知能（AI）で診断するシステムを開発した。営業担当者の表情や身ぶり、話し方をAIが分析し、相手に与える親しみやすさなどの印象を採点する。ロールプレイング研修などでの利用を想定しており、三井住友海上あいおい生命保険や富国生命保険など4社が採用を検討している。開発したシステムは、営業担当者の表情や身ぶり、話し方をAIが「親しみやすさ」「説得

テクノロジー業界の発展に伴ってソフトウェア開発者の人材不足がいたるところで発生していますが、言い換えれば「プログラミングスキルを身につければ仕事に困らない」ということでもあります。とはいえ、「若いころならまだしも、30歳を超えてイチからプログラムの書き方を勉強するのは遅すぎるのでは」と思う人は多いかもしれませんが、下は35歳、上は57歳からプログラミングを習って成功を収めている10人の開発者が「ソフトウェア開発者になるのに遅すぎるということはない」と実情を語っています。 Is It Too Late to Become a Software Developer After the Age of 35, 40, or 50? And to learn programming? https://belitsoft.com/php-development-services/its-not-too

開発中のバーチャルろくろ、新機能の動きがなかなかエモくなってきたのでちょっと見てほしい https://t.co/wDK6n3ZpNf

実はオブジェクト指向ってしっくりこないんです! 私はJavaでキャリアを始めたので、当然、オブジェクト指向を前提としてプログラミングを学んでいきました。オブジェクト指向の概念を聞いたとき、なるほどこれはよくできているなと思ったのを覚えています。オブジェクト指向では、現実世界の「もの」をそのままオブジェクトに表現します。なるほど、合理的でプログラミングが簡単になるように感じます。ちょうど現実のものを操作するようにプログラミングができるのですね。 実際にオブジェクト指向でプログラムを書こうとして分かったのは、私が作っているのはコンピューターのコードであって、現実のものではなかったということです。ArrayListって現実の何に対応するんでしょうか? 本棚? 「プログラミングはデータの入出力と、その変形のことだ」というデータ指向プログラミングの考えを知ったことが、決定的にオブジェクト指向への興味

�これまで目指していた「変化に強いインフラ」の話から、Microservices における課題、インフラチームが目指すものの変化、それをどう解決していくか？という話をしました July Tech Festa 2018 at 産業技術大学院大学(公立大学法人 首都大学東京)

July Tech Fest 2018のB40でお話した資料です。

障害発生が明らかになって５日目、ようやく復旧したシステムを使って残務に追われる職員（２７日、坂井市役所で） 福井県あわら市、坂井市、永平寺町、おおい町で証明書発行といった住民サービスが利用できなくなり、庁内業務を含めて計９市町に影響したシステムの障害は、発生から１週間が過ぎた３０日にようやく完全復旧となる見通しだ。県と全１７市町の業務に関わる民間のシステム会社で発生した通信障害はほぼ１週間に及び、原因も解明されておらず、現代社会を支える情報通信技術が抱えるもろさを露呈した。 ◆失態 「復旧作業は順調に進んでいる。明朝には解決する」。運用する福井システムズ（坂井市）はトラブルを公表した２３日以降、楽観的な見通しを示しては翌朝に撤回、という失態を繰り返した。 障害の発生は２２日未明。各役場の休みにデータをやりとりする会社のサーバーのソフトを更新しようとして突然、システムが使えなくなった。丸一日

元コーヒー屋さんです。皆さんにコーヒー沼にハマってほしいため、美味しい（と思う）コーヒーの淹れ方を記します。 ▼コーヒーの淹れ方 ハンドドリップ、サイフォン、エアロプレス、フレンチプレスエスプレッソマシン、水出しとありますが、今回はハンドドリップです。ハンドドリップとはコーヒー粉をフィルターに入れ、上からお湯を注ぐことで抽出する手法です。フィルターにはペーパー（紙）、ネル（布）、金属がありますが、まずはペーパーがおすすめです。 ペーパー：油分が紙に吸収されてしまうが、お手軽。 ネル：油分が多く抽出されるが、お湯の淹れ方やネルの保存方法が面倒。 金属：多分美味しく淹れられると思うけど、使ったことがないのでわかりません。 ▼必要器具 グラインダー：必須。まずは手挽きのものでOK。コーヒー豆は粉にした瞬間から酸化劣化が始まるため、豆での保存がマスト。おすすめはカリタのナイスカットミルだけど高いで

現在日本では週休2日、週5日労働が一般的となっているが、労働時間を短縮したほうが作業効率が上がるという研究結果も報告されており（関連記事）、就労時間の見直しを行っている企業も多い。 ニュージーランドのある企業が2ヶ月間、出勤を週4日にするという実験を行った。その結果、予想以上に良い効果が得られたために、その正式採用を検討しているそうだ。 週4日労働にするけど、給料は変わないという実験 これまでも世界で数々の実験が行われ、週の出勤日を減らすと従業員に数多くのメリットがあることが示されてきた。 だが今回、ニュージーランド・パーペチュアル・ガーディアン社の試みで注目すべきは、従業員は4日しか労働しないのに、きちんと5日分の給料が支払われたことだ。 従来の管理の視点からは、そのような勤務システムは少々クレイジーにも見えるかもしれない。だが結果的に、企業にとってリスキーな賭けは報われたのだ。 この画

Googleで培われたシステム管理とサービス運用の方法論である「サイトリライアビリティエンジニアリング(SRE)」のノウハウをまとめた本が「Site Reliability Engineering」です。英語版の内容が無料で公開されているほか、オライリーから発刊予定のSREに関する書籍「The Site Reliability Workbook」も、2018年8月23日までの期間限定で公開されています。 Google - Site Reliability Engineering https://landing.google.com/sre/book.html Site Reliability Engineeringを読むには上記のサイトにアクセスし、「READ ONLINE FOR FREE」をクリック。 目次が表示されるので、まずは序文から読んでみます。「Foreword」をクリック。

灰谷魚 @sakanasama0824 最近のGoogle、複数のワードで検索すると、その通りには調べてくれなくて、勝手に打ち消し線を引いてこちらの提示したワードを取捨選択し、平然とその結果を表示してくるようになったけど、機械の反乱はもう始まっているのですか？？

1. 本Part概要 前PartではB'zの歌詞を「TF-IDF」を用いた分析を行いました。 本Partではトピックモデルの一つである「LDA」を用いた分析についてお話しします。 pira-nino.hatenablog.com 2. LDAとは 2.1 LDAのイメージ 先に簡単な説明をしてしまいます。 LDAは「たくさんの文書データから単語のグルーピングを行う」モデルです。 このグループ1つ1つを「トピック」と呼びます。 例えば、大量のニュース記事にLDAを適用する例を考えます。 ニュース記事データにLDAを適用した例 LDAでは「各トピック（トピック数は予め指定）における各単語の所属確率」が算出されます。 理論的なことはさておき、文書データから単語をいくつかのグループに自動で分けてくれる手法 との理解で大丈夫です。 よく勘違いされることとして以下の2点を示します。 トピック数（いくつ

🍀いちは🍀 @BookloverMD アメリカのある病院は、オペ室が予定手術で満杯なうえ、予定外の緊急手術まで入りこむため、慢性的にペ室渋滞に悩まされていた。 コンサルタントが勧めたのは、オペ室を一つ「空けておく」。すでに予定手術で満杯なのに。外科医らは反発した。 しかし、いざ実行してみると、なんと大幅に改善された。 🍀いちは🍀 @BookloverMD 「オペ室を一つ空けておく」ことで、緊急の「予定外」手術はそこで行われるようになった。すると、これまで予定外の手術のためにずらしたり調整したりが必要だった予定手術がスムーズにいくようになった。これでスタッフの負担は大幅に減り、それがまた手術のスムーズさにつながった。 🍀いちは🍀 @BookloverMD 予定外の緊急手術のためにオペ室を一つ空けておくのは、「予定外」を常に起こりうるものとして考え、「予定外を予定しておく」というこ