SWETの仕様分析サポートチーム所属のtakasek（@takasek）です。 仕様分析サポートチームでは、社内のプロダクト開発に対する形式手法の活用可能性を模索しています。当ブログでも、継続的に形式手法に関する情報発信をしています（形式手法 カテゴリーの記事一覧）。 当記事は、Kuniwak（@orga_chem）により社内開催されたAlloyガイダンスを元に再構成した記事です。よく知られたデータ構造であるStackを形式仕様記述しビジュアライズすることで、Alloyの使い方と利点を実感できます。Alloy未経験者でもステップバイステップで試せるように構成しました。是非、お手元にAlloyをインストールして読み進めてください。環境はAlloy 5.1.0を想定しています。 https://github.com/AlloyTools/org.alloytools.alloy/release

「ガルパンは騒がしい内容なのに全ての音がはっきり聞こえる」──聴覚障がいのアニメファンが語る岩浪音響監督の丁寧すぎる仕事っぷり 2020年3月、あるツイートが話題となった。 聴覚障がい者であるくらはしさんが、アニメ音響監督の岩浪美和さんの手掛けた作品がいかに聞きやすいかを記したものだ。 岩浪音響監督は「サイコパス」シリーズ、『ガールズアンドパンツァー』、『ソードアートオンライン』、「ジョジョ」シリーズなど、数多くの人気作を手掛けている。 聴覚障害者としてアニメの声の聞き取りやすさをメモしているんですが、PSYCHO-PASS 3の聞き取りやすさは神レベルで、無線声、ささやき、室内残響の演出でもほとんどすべて聞き取れる。 音響監督は岩浪美和さんという方で、担当作品を調べてみたら「聞き取りにくかったメモ」に該当なしでした。 — くらはし (@TareObjects) March 27, 202

親民主派のメディア創業者逮捕　活動家の周庭氏も―香港国安法違反 2020年08月11日01時08分 親民主派の香港紙「リンゴ日報」創業者の黎智英氏＝６月１６日、香港（ＡＦＰ時事） 【香港時事】香港警察は１０日、民主派寄り香港紙「リンゴ日報」創業者の黎智英（ジミー・ライ）氏（７１）と著名活動家の周庭（アグネス・チョウ）氏（２３）を国家安全維持法（国安法）違反容疑などで逮捕した。香港メディアによると、２人には、外国勢力と結託し国家の安全に危害を加えたなどの疑いが持たれている。 香港「一国二制度」崩壊を導いた「大物フィクサー」 １０日には、ほかにもリンゴ日報関係者ら８人が国安法違反容疑などで逮捕された。これまで同法を適用しての逮捕者は、デモ参加者や「香港独立」を主張する団体関係者にとどまっていたが、当局は今回、メディア界の大物や国際的に知名度のある活動家にまで摘発対象を広げた。詳細な容疑内容は不

【記者：Biagio Simonetta， Nick Squires】 イタリア北部ロンバルディア州ネンブロの中心部に、おもちゃ屋がある。シャッターは閉まっている。このシャッターが開くことはもうない。おもちゃ屋を経営していた年配のピエラさんが新型コロナウイルス感染症（COVID-19）にかかり、死亡したのだ。隣で息子たちと共に金物屋を営んでいたピエラさんの兄弟も、コロナで亡くなった。 これは、この小さな町を襲った多数の悲劇の一つに過ぎない。 イタリアをはじめ、欧州の多くの国で経済活動が再開する中、ネンブロのような町はニューノーマル（新常態）を見出すのに苦労している。傷痕があまりに生々しいからだ。 理容室を営むマニュエルさんは「月に1度通ってくれていた常連の少なくとも10人が亡くなった」と言う。「彼らに二度と会えないというのが本当に信じられない」 ネンブロはイタリアが新型コロナウイルス流行の

とりあえず落ち着け。 みなさん、毎日なにかしらのコードを読み、開発する日々を送っていると思います。そんな中で、 糞コードは死ぬべきである！！絶対に直すべき！！ という感情に取りつかれてしまうことがあると思います。自分の技術力に自信のある人ほど、無理やりにでも直そうと試みると思います。それがどんな修羅の道か。そして、糞コード修正がどんな道を歩むのか。この記事では糞コード修正の罠とありがちなストーリーについて書きたいと思います。 ビジネスとしてのプログラムは本質的に糞である 例えば、「携帯電話の利用料金」のプログラムがあります。 「携帯電話　透明性高め料金値下げを」という記事もあるように世の中の携帯電話の料金プランはかなり複雑です。例えば、auだと「auでんき」といった電気料金とパックされた電話料金プランがあります。また、「auスマートバリュー」といったプランもあり、家のインターネット回線をa

2020年8月現在、全国で新型コロナの流行が拡大しています。 どのような症状があれば新型コロナを疑い病院を受診すれば良いのでしょうか。 新型コロナの典型的な症状、経過、重症化のリスク、後遺症などについて現時点での知見をまとめました。 新型コロナの潜伏期間潜伏期間とは感染する機会から何らかの症状を発症するまでの期間を指します。 新型コロナの潜伏期間には1〜14日と幅がありますが、多くの人がおよそ4〜5日で発症します。 無症状の感染者はどれくらいいるのか新型コロナには一定の割合で感染しても無症状の人がいます。 どれくらいの人が感染しても無症状のままなのかまだ十分には分かっていませんが、これまでの報告からはおよそ3〜4割の人が感染しても無症状のままではないかと推定されています。 例えばダイアモンド・プリンセス号の乗客712人のうち58％は診断時に無症状であり、その後も約8割の人が最後まで無症状で

#122 新型コロナ対策、研究と政策現場での6ヶ月～西浦博教授ロングインタビュー～ 2020年07月31日 新型コロナウイルスによる感染症COVID-19は今現在も終息することなく、日本だけでもこれまでに約26,000名で感染が確認されています。本学の西浦博さん（医学研究院 教授）は中国で感染症が発生した直後の1月上旬から研究を開始し、厚生労働省のクラスター対策班の一員としても対応にあたりました。 次々と発生する危機的な状況のなかでデータをかき集め、COVID-19の特徴を徐々に明らかにしていく。そしてそれは直ちに国や自治体の政策へ反映されていく。このような科学と政策のあわいにある感染症の数理疫学は、じっくりと取り組む科学研究、純粋で確実な成果を論文で発表する科学研究というイメージからは遠いかもしれません。しかし、応用重視のオペレーション研究と言われるような分野もまた研究の実際の姿です。

西浦先生の記事を読んだけれど、クラスタ対策班発足当時から「頭いい人系作業の外注部隊前線基地」みたいな感じになってて、国会対策資料の補助まで依頼してたのは霞ヶ関の過ちですよね。本邦一流の学者と学生集めて中央合同庁舎５号館でひたすらデータ入力させてたなんて笑いを越して泣けてくる話。

米カリフォルニア州モントレーパークの学校で、マスクをして互いとの距離を取りながらサマースクールの授業を受ける子どもたち（2020年7月9日撮影、資料写真）。【翻訳編集】 AFPBB News 【AFP＝時事】米ジョージア州で6月に開かれたサマーキャンプで、参加した子ども数百人が新型コロナウイルスに感染したことが分かった。米疾病対策センター（CDC）が7月31日、発表した。子どもにも新型ウイルスの感染や媒介が起き得ることを改めて示す事例だ。 【写真特集】緩和進むも続く「ソーシャル・ディスタンシング」 CDCの報告書によると、サマーキャンプは滞在型で1週間ほどにわたり開かれ、子どもたちとスタッフ合わせて597人が参加。うち少なくとも260人の感染が確認された。検査を受けられたのは全参加者の58％のみだったことから、実際の感染者数はさらに多い可能性が高いという。 CDCはサマーキャンプ開催時の指

先日Cybozu Frontend Monthly #1 にてb4h0_c4tさんの「HTMHell special: close buttons」のお話を聴いていた中で、一つ引っかかるものがあった。 「そもそも✗(バツ)は閉じるって意味じゃないから！」 確かに。 現代、様々なUIを触ってきた中でなぜ ✕ を閉じるものと捉えているのだろうと不思議に思った。 ✕ではなくx(エックス)で表現されることも多々あるようで、こんな名言もある。 ✕とはなんなんだろう ではなぜこのクロスの記号(✕)が閉じるの意味を持ってしまったのか考えてみる。 一旦✕を見て思い出すものを上げてみようと思う。 ・◯と✕(日本の正誤表記) ・✓と✕(海外...主に欧米の正誤表記) ・プレステのコントローラー ・海外ゲームだと決定が✕、キャンセルが◯ ・宝の地図なんかで在り処を記す ・上記のツイートのようにx(エックス)とし

Web標準のHTTPクライアントfetch()でストリーミングしながらアップロードできるようになる。

会社員として売上や利益の数字合わせを長年やっているとわかるのですが、とても利益が出ているとき、もしくは出そうなときにそのまま計上するのは賢くありません。なぜかというと、まず、利益はそもそも課税されます。すべてが手元に残りません。また、今年度で過大に利益を出すと、じゃあ来年度も！と変に期待をされハードルを上げることになります。したがって、利益のうちいくらかは研究投資や設備投資、マーケティング費用などにまわし、あえてお金を使って利益を下げるのが常とう手段です。どぶに金を捨てるのではなく、将来の利益につながるかもしれない消費を行います。例えば大量に広告を打ってブランド力を上げれば、来年度は何も活動しなくても受注が増えるかもしれません。現在の主力商品の次世代開発にお金をたくさん使うことで、来年稼いでくれる商品ができるかもしれません。税金でそのまま取られるよりよっぽどマシ、という戦略です。Amazo

この1週間はGPT-3のユースケースの広さに驚かされる毎日でした． シリコンバレーでは話題騒然ですが日本ではほとんど話題になっていないので，勢いで書くことにしました． GPT-3はOpenAIが開発した言語生成モデルです．名前の由来であるGenerative Pretrained Transformerの通り，自然言語処理で広く使われるTransformerモデルを言語生成タスクで事前学習しています． 先月申請すれば誰でもGPT-3を利用できるOpenAI APIが発表され，様々な業種の開発者によって驚くべきデモンストレーションがいくつも公開されています． 特に話し言葉からJSXやReactのコードを生成するデモは著名なベンチャーキャピタルから注目を集め，誇大広告気味だと警鐘を鳴らす事態に発展しています． This is mind blowing. With GPT-3, I built

ショックだった「暗黙の想定」の崩壊 ――新型コロナウイルスの流行を受けて意識が変わったそうですね。 今回は幸いにして、人類の大多数が死亡するような致死率が高いものではなかった。だが、もっと毒力の高いウイルスがいつ出てくるかわからないことに、われわれは真摯に向き合う必要がある。原子力発電所は、事故がありうることを想定せずに安全だと考えてきたが、福島の経験でひっくり返された。新型コロナもある程度ノーマークに近かった。科学者として暗に信じていたことが覆された。 ――どういうことですか。 これまで厚労省の感染症対策に関係してきたが、日本中の病院から患者があふれるようなウイルスは想定したことがなかった。厚労省は「これくらい病床が必要になるので用意してください」と都道府県に通知する立場だが、「対応しきれないくらいの感染者数が想定されますが、あなたの県では何をしても病床が足りないでしょう」と言うのは、地

欧州で新型コロナウイルスが出現して以来、スウェーデンは独自の社会実験で世界から注目されてきた。パンデミック中に政府がほとんど行動制限を加えず、通常の生活を続けるとどんなことになるのかは、スウェーデンを見ればわかる。 スウェーデン方式の成果はこうだ。まず死者数がロックダウン（都市封鎖）を実施した近隣諸国を大幅に上回った。そして経済も近隣諸国と似たようなダメージを受けている。 「本当に何のメリットもなかった」と語るのは、アメリカのワシントンDCに本部を置くピーターソン国際経済研究所のジェイコブ・カークガード上級研究員だ。「自ら傷口を広げただけで、経済的に何の得にもなっていない」。 健康を犠牲にしても経済は回復しない スウェーデンの経験は、スカンジナビア半島から遠く離れた地域とも無関係ではない。新型コロナの感染が恐るべき速度で拡大しているアメリカでは、トランプ大統領に背中を押される形で多くの州が

コロナでダメージを受けた観光業を振興するため、日本以外でも国内観光キャンペーンが展開される国は少なくないしかし、それ以前にコロナの抑え込みに成功していた国以外では、観光の振興以前にロックダウンの再開といった弊害も生まれているそのなかでヒントになるのは、国全体では観光業を振興しながらも、一部地域を例外とするオーストラリアのやり方である 日本政府はGo to キャンペーンに前のめりだが、ウィズコロナのもとで観光業の再開に成功したといえる国は、これまでのところ多くない。 観光再開に向けた動き　東京都は7月15日、コロナ感染状況に関する警戒レベルを４段階のうち最も深刻な「感染が拡大していると思われる」に引き上げた。 この状況で政府、国土交通省が22日からの実施を目指すGo toトラベルキャンペーンに、疑問や批判が噴出することは不思議ではない。 実際、ウィズコロナの状況下での観光振興に関して海外の事

平素は株式会社ライブドアのサービスを ご利用いただきありがとうございます。 提言型ニュースサイト「BLOGOS」は、 2022年5月31日をもちまして、 サービスの提供を終了いたしました。 一部のオリジナル記事につきましては、 livedoorニュース内の 「BLOGOSの記事一覧」からご覧いただけます。 長らくご利用いただき、ありがとうございました。 サービス終了に関するお問い合わせは、 下記までお願いいたします。 お問い合わせ

ネットミームではなく、代替肉のような、あるテーマに沿って検索し、まとめたいとする。 検索ワードを探す。代替肉以外に、培養肉、クリーンミートなど類似ワードを揃え、検索式を作る。ノイズになっているキーワードもまとめる。日本語と英語で検索するとする。日本語、英語のWikipediaで概要をつかむOneNoteなどWebクリップ機能を使って、閲覧したサイトを保存しておく。企業名、関係者名、将来ロードマップ、市場規模、問題点などをまとめる。食には宗教が関係するため企業を調べるときは国籍にも注意する。投資家、投資額を調べる。Amazon、Googleブックスで書籍が出ていないか調べる。著者名、参考文献をたどる。オープンアクセスの論文を探す。Google Scholar、Microsoft Academic Search、Dimensions.aiなどで論文を探す。研究を積極的にしている大学を探す。論文