仕様検証言語 TLA+ の AWS における使用事例について向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。 Why Amazon Chose TLA +  | SpringerLink (Google Scholar) How Amazon Web Services Uses Formal Methods Practical TLA+: Planning Driven Development: Hillel Wayne Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers: Leslie Lamport TLA+tlaplus/tlaplus: TLC is an explicit state

The not-so-ancient stone circle in Leochel-Cushnie. Photograph: Aberdeenshire council/PA The not-so-ancient stone circle in Leochel-Cushnie. Photograph: Aberdeenshire council/PA

A page from the alleged network. Photograph: FacebookSputnik is a sister service of RT, the television channel known as Russia Today. It has offices around the world, including in London and Edinburgh, and often runs punchy news stories with an anti-west message. Facebook said it had removed 289 pages and 75 accounts believed to be involved in the Sputnik-run network, with activity dating as far b

They have always lost out on romantic lead roles. But while glamour fades, talent endures – letting these supporting stars win the long game When the actor Paul Chahidi was leaving drama school, he met a seasoned agent. Suit and tie, leather chairs, schooner of white wine at 3pm. Old school. “He sat down, a bit too close to me,” Chahidi remembers, “and said: ‘Three things you should know about you

Piskorski visited Crimea to show his support for the Russian annexation of the peninsula from Ukraine in 2014. Photograph: Alexander Shcherbak/TASS Piskorski visited Crimea to show his support for the Russian annexation of the peninsula from Ukraine in 2014. Photograph: Alexander Shcherbak/TASS

The internet, but not as we know it: life online in China, Cuba, India and Russia More than half of the world's population is now online, but that does not mean we all see the same thing. From being filtered by the government to being delivered by post, the internet can vary enormously depending on where you live. Here are four illustrated examples

A game of poker. Scott Wellenbach’s third place finish in the Bahamas scooped more than nine times his previous total. Photograph: mediaphotos/Getty Images/iStockphoto A game of poker. Scott Wellenbach’s third place finish in the Bahamas scooped more than nine times his previous total. Photograph: mediaphotos/Getty Images/iStockphoto

Sleek, pared-back, industrial elegance – that’s how most of us think of Bauhaus, the modernist design group born in Germany in 1919. But that was only one side of this short-lived but longlasting movement… Norman Foster, Margaret Howell, Michael Craig-Martin and others on Bauhaus’s rich legacy The Bauhaus, simply put, was a German school of art and design that opened in 1919 and closed in 1933. It

‘I lost everything’: Tran Thi Ngai, a Vietnamese nurse who was raped at the age of 24, says she lost her home and her freedom as a result. Photograph: Courtesy of JLDH ‘I lost everything’: Tran Thi Ngai, a Vietnamese nurse who was raped at the age of 24, says she lost her home and her freedom as a result. Photograph: Courtesy of JLDH

As a liaison psychiatrist, patients with chronic pain are often referred to our team when our physical health colleagues feel stuck – all the relevant investigations have been done but they cannot find any bodily damage to account for the patient’s pain. Therefore, it must be a mental health problem, right? This dualistic thinking that continues to pervade our understanding and response to illness

A few years ago, when I was teaching at Yale, I made an announcement to my class. I said that I was going to have to cancel office hours that day because I was dealing with some personal issues and a friend was coming up to help me sort through them. I was no more specific than that, but that evening 10 or 15 students emailed me to say they were thinking of me or praying for me. For the rest of th

A damaged building on Monday after a militant assault on a training center in Wardak Province run by the Afghan intelligence agency.Credit...Jawad Jalali/EPA, via Shutterstock KABUL, Afghanistan — The Taliban infiltrated an Afghan intelligence base on Monday, killing dozens of people in what Afghan officials said was one of the deadliest attacks against the intelligence service in the 17-year war

You don’t really need to call it a “Super Blood Wolf Moon.” Part of the moon was obscured by Earth’s shadow as a total lunar eclipse began on Sunday in Miami.Credit...Gaston De Cardenas/Agence France-Presse — Getty Images Skygazers across the Western Hemisphere will be treated to celestial eye candy on Sunday night into early Monday morning as the full moon turns coppery red during a total lunar e

Certain people, researchers have discovered, can’t summon up mental images — it’s as if their mind’s eye is blind. This month in the journal Cortex, the condition received a name: aphantasia, based on the Greek word phantasia, which Aristotle used to describe the power that presents visual imagery to our minds. I find research like this irresistible. It coaxes me to think about ways to experience

Tomorrow will mark the anniversary of one of the most morally contentious events of the 20th century, the atomic bombing of Hiroshima. And after 58 years, there's an emerging consensus: we Americans have blood on our hands. There has been a chorus here and abroad that the U.S. has little moral standing on the issue of weapons of mass destruction because we were the first to use the atomic bomb. As

PART I 1. The Ghosts of TeoumaA faint aura of destiny seems to hover over Teouma Bay. It’s not so much the landscape, with its ravishing if boilerplate tropical splendor — banana and mango trees, coconut and pandanus palms, bougainvillea, the apprehensive trill of the gray-eared honeyeater — as it is the shape of the harbor itself, which betrays, in the midst of such organic profusion, an aspect o

Facebookで投稿や写真などをチェックできます。

This domain may be for sale!

Facebookで投稿や写真などをチェックできます。

Facebookにログインして、友達や家族と写真や近況をシェアしましょう。

Facebookにログインして、友達や家族と写真や近況をシェアしましょう。

Facebookで投稿や写真などをチェックできます。

Facebookにログインして、友達や家族と写真や近況をシェアしましょう。

【Dr.ハウシュカのリップケア】 冬は特に手放せない、リップケアアイテムをご紹介します✨ . Dr....

慈善活動 event by 実クラブ -Jitsu - オトナの友達作り and 2 others on 土曜日, 2月 2 2019

【新商品のお知らせ】 https://bit.ly/2HlGsVW 📣2019.2.1(金)発売開始📣 クレンジングミルク バリア 130mL 2,500円+税 ・ デリケートな春の肌のための、特別処方🌸 うるおいバリアで守るクレンジングミルク。 ・ 肌がゆらぎやすい、季節の変わり目。...

Facebookにログインして、友達や家族と写真や近況をシェアしましょう。

Facebookにログインして、友達や家族と写真や近況をシェアしましょう。

こんにちは。 現役エンジニアの”はやぶさ”@Cpp_Learningです。 仕事の都合もあり「C言語 ⇒ C++ ⇒ Python」の順にプログラミング言語を習得しました。 最近は、PythonとC/C++両方を使って仕事をしています。 Pythonでプログラミングをしていると…

Facebookにログインして、友達や家族と写真や近況をシェアしましょう。

Facebookにログインして、友達や家族と写真や近況をシェアしましょう。

Facebookで投稿や写真などをチェックできます。

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

ドリンク event in 東京都中央区 by カフェ・コミューン and 3 others on 月曜日, 2月 4 2019

With a massive $2 billion reported investment from Google, Anthropic joins OpenAI in reaping the benefits of leadership in the artificial intelligence space, receiving immense sums from the tech giant X, formerly known as Twitter, is introducing two new tiers for its subscription offering in order to bring in additional revenue. The social media giant is adding a new Premium+ tier that costs $16 p

Facebookで投稿や写真などをチェックできます。

Facebookにログインして、友達や家族と写真や近況をシェアしましょう。

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

Your effort and contribution in providing this feedback is much appreciated.

How the National Trust is diversifying its portfolioThe conservation charity hopes to appeal to young urban-dwellers with modern properties, themed walking tours and exhibitions SINCE ITS foundation in 1895, the raison d’être of the National Trust, Britain’s premier conservation charity, has been to look after grand stately homes and breathtaking stretches of coastline. Among the more than 300 his

- Source: CNN " data-fave-thumbnails="{"big": { "uri": "https://media.cnn.com/api/v1/images/stellar/prod/190109111744-exp-carbon-emissions-spiked-in-2019-00002001.jpg?q=x_0,y_0,h_1080,w_1919,c_fill/h_540,w_960" }, "small": { "uri": "https://media.cnn.com/api/v1/images/stellar/prod/190109111744-exp-carbon-emissions-spiked-in-2019-00002001.jpg?q=x_0,y_0,h_1080,w_1919,c_fill/h_540,w_960" } }" data-vr

WASHINGTON (Reuters) - One of 20 undeclared ballistic missile operating bases in North Korea serves as a missile headquarters, according to a report by the Center for Strategic and International Studies (CSIS) published on Monday. FILE PHOTO: Intercontinental ballistic missiles are seen at a grand military parade celebrating the 70th founding anniversary of the Korean People's Army at the Kim Il S

Most of them aren’t old enough to vote yet, but Generation Z shows signs of being as liberal as millennials on a number of political and social topics, and they’re more liberal when it comes to their belief about the role of government, according to a new report from Pew. Pew defines Gen Z as those born from 1997 to 2012. They’ll be ages 7 to 22 in 2019, and recent Pew surveys of teenagers and adu

(Reuters) - Ousted Nissan Motor Co 7201.T chairman Carlos Ghosn has offered to post stock he owns in the automaker as collateral, surrender his passports and submit to electronic tracking as part of a renewed effort to persuade a Tokyo court to grant him bail while he awaits trial on charges of financial misconduct, a spokeswoman for the car executive said. FILE PHOTO: Carlos Ghosn, chairman and C

- Source: CNN " data-fave-thumbnails="{"big": { "uri": "https://media.cnn.com/api/v1/images/stellar/prod/190120101639-gabbard-1-20.jpg?q=x_160,y_0,h_874,w_1554,c_crop/h_540,w_960" }, "small": { "uri": "https://media.cnn.com/api/v1/images/stellar/prod/190120101639-gabbard-1-20.jpg?q=x_160,y_0,h_874,w_1554,c_crop/h_540,w_960" } }" data-vr-video="" data-show-html=" State of the Union " data-byline-ht

Your effort and contribution in providing this feedback is much appreciated.

LA SERENA, Chile (Reuters) - A magnitude 6.7 earthquake hit the coast of north-central Chile on Saturday evening, the U.S. Geological Survey said, with authorities reporting as many as 200,000 without power and two people dead of heart attacks. The quake struck at 10:32 p.m. about 16 km (10 miles) south-southwest of Coquimbo, the USGS said. The quake, measured 53 km (33 miles) below the surface, s

日本の美術館情報が少しずつ開かれてきている。東京2020大会が近づく中で、書籍やアニメ、文化財、自然史といった膨大な資料を横断的に検索できるポータルサイト「ジャパンサーチ」の試験運用が2019年1月から始まる予定であり、美術情報の検索利便性が上がることが期待される。また、美術図書館連絡会（ALC: The Art Library Consortium）では昨年「美術図書館横断検索」の英語版が追加され、東京文化財研究所はゲティ研究所と協定を結び、日本美術に関するデジタル情報を「Getty Research Portal」へ公開する予定である。美術館発信の情報量が増えてきたが、日本の美術館は何を、誰のために、どのように情報発信しているのだろうか。美術館の情報化の現場で活躍されている国立西洋美術館の川口雅子氏に日本の美術館情報の現状をご執筆いただいた。（artscape編集部） 1. 国立美術館

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Correction: An earlier version of this article misspelled the name of Japanese Deputy Prime Minister Taro Aso. This version has been updated. Pity Carlos Ghosn. Japanese prosecutors have denied bail to the jailed former Nissan chief executive, extending his two months in pretrial detention where he is subject to up to eight hours of interrogation a day without access to legal counsel. By wearing h

Correction: An earlier version of this article misspelled the name of Japanese Deputy Prime Minister Taro Aso. This version has been updated. Pity Carlos Ghosn. Japanese prosecutors have denied bail to the jailed former Nissan chief executive, extending his two months in pretrial detention where he is subject to up to eight hours of interrogation a day without access to legal counsel. By wearing h

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Amazon EC2 では、いくつかの新しいライセンス込み (LI) AMI を使って Microsoft Windows Server 2019 をサポートしました。これによって、お客様は最新バージョンの Windows Server を簡単かつ柔軟に起動して運用できるようになります。Amazon EC2 で Windows Server 2019 を運用すると、Windows Server の新機能を使って AWS の持つ信頼性、パフォーマンス、伸縮性をフルに引き出すことができます。 Windows Server 2019 が搭載するさまざまな新機能には、サイズが縮小したのに効率が向上した Windows コンテナや、アプリケーションのモダナイゼーションを目指す Linux コンテナのサポート、アプリ互換性オンデマンド機能を含みます。Windows Server 2019 の詳細につい

Correction: An earlier version of this article misspelled the name of Japanese Deputy Prime Minister Taro Aso. This version has been updated. Pity Carlos Ghosn. Japanese prosecutors have denied bail to the jailed former Nissan chief executive, extending his two months in pretrial detention where he is subject to up to eight hours of interrogation a day without access to legal counsel. By wearing h

Correction: An earlier version of this article misspelled the name of Japanese Deputy Prime Minister Taro Aso. This version has been updated. Pity Carlos Ghosn. Japanese prosecutors have denied bail to the jailed former Nissan chief executive, extending his two months in pretrial detention where he is subject to up to eight hours of interrogation a day without access to legal counsel. By wearing h

MARTINSBURG, W.Va. — Weeks after fleeing an abusive relationship, a 49-year-old woman was ready to move out of a shelter and into a trailer with a security deposit provided by a nonprofit organization that relies on federal funding. But the government shutdown scuttled her plans to start a new life. The Eastern Panhandle Empowerment Center this month cut all extra spending and client expenses to p

Correction: An earlier version of this article misspelled the name of Japanese Deputy Prime Minister Taro Aso. This version has been updated. Pity Carlos Ghosn. Japanese prosecutors have denied bail to the jailed former Nissan chief executive, extending his two months in pretrial detention where he is subject to up to eight hours of interrogation a day without access to legal counsel. By wearing h

Correction: An earlier version of this article misspelled the name of Japanese Deputy Prime Minister Taro Aso. This version has been updated. Pity Carlos Ghosn. Japanese prosecutors have denied bail to the jailed former Nissan chief executive, extending his two months in pretrial detention where he is subject to up to eight hours of interrogation a day without access to legal counsel. By wearing h

Correction: An earlier version of this article misspelled the name of Japanese Deputy Prime Minister Taro Aso. This version has been updated. Pity Carlos Ghosn. Japanese prosecutors have denied bail to the jailed former Nissan chief executive, extending his two months in pretrial detention where he is subject to up to eight hours of interrogation a day without access to legal counsel. By wearing h

このブラウザーはサポートされなくなりました。 Microsoft Edge にアップグレードすると、最新の機能、セキュリティ更新プログラム、およびテクニカル サポートを利用できます。

このブラウザーはサポートされなくなりました。 Microsoft Edge にアップグレードすると、最新の機能、セキュリティ更新プログラム、およびテクニカル サポートを利用できます。

このブラウザーはサポートされなくなりました。 Microsoft Edge にアップグレードすると、最新の機能、セキュリティ更新プログラム、およびテクニカル サポートを利用できます。

このブラウザーはサポートされなくなりました。 Microsoft Edge にアップグレードすると、最新の機能、セキュリティ更新プログラム、およびテクニカル サポートを利用できます。

[2021年10月18日] この度、本レポートの数値の集計に一部誤りがあったことを確認し、内容を訂正いたしました。訂正箇所について、赤字で表記しております（括弧内は過去の公開情報です）。 本訂正に関するプレスリリース：https://linecorp.com/ja/pr/news/ja/2021/3933 捜査機関からのユーザー情報開示・削除要請 情報開示-対応件数 捜査機関 受領した要請のうち85%(86%)が日本の捜査機関からのものでした。 当社では2018年1-6月の間にLINEメッセンジャーアプリに対し、前期間比13%(177件(186件))増となる1,561件(1,576件)の要請を世界各国の捜査機関から受領し、うち76%の1,193件(1,190件)の要請に対し何らかの情報開示を行いました。情報開示件数（要請数）の増加の大部分は日本(人身被害関連/31%増)と台湾(金銭被害関連

Azure Monitor は、クラウド環境とオンプレミス環境からの監視データを収集し、分析し、それに対応するための包括的な監視ソリューションです。 Azure Monitor を使用すると、アプリケーションおよびサービスの可用性とパフォーマンスを最大化できます。 アプリケーションのパフォーマンスを理解するのに役立ち、システム イベントに手動およびプログラムで対応できます。 Azure Monitor は、複数の Azure および Azure 以外のサブスクリプションとテナントにわたって、システムのすべてのレイヤーとコンポーネントからデータを収集して集計します。 それを、データの関連付け、分析、視覚化、および/または応答を行うことができる一般的なツール セットによって使用するために、一般的なデータ プラットフォームに格納します。 他の Microsoft および Microsoft 以外

Azure Monitor のドキュメント Azure とオンプレミスのサービスについて説明します。 メトリック、ログ、トレースを集計して分析する方法を理解します。 通知を送信できるアラートを発生させたり、自動化されたソリューションを呼び出したりすることで、問題に対応します。

StarCraft: Brood War. This game means so much to me! And to many of you, I guess. So much, that I wonder if I should even give a link to its page on Wikipedia or not. Once Halt sent me PM and offered to learn Rust. Like any ordinary people, we decided to start with hello world writing a dynamic library for Windows that could be loaded into StarCraft's address space and manage units. The following

この記事は、Rust Advent Calendar その２ の25日目の記事です。 tokioいいらしいよ！という話を、最近良く聞くので、試してみようとしたんだけど、どうやって使ったら良いのかわからない・・・ サイトのサンプルとか見てみたけど、Futureとかよくわからない・・・ そんなお悩みのあなたに！！ 私も最初そうでした。 で、少しずつ動かしながらやってみたら、だんだんわかってきたので、その軌跡をここに残しておきます。 対象読者 - Rustの基本的な構文がわかっている人。実際にコーディングしたことがある人。 - tokio による非同期処理の実装方法を知りたい人。 注意事項（2019.8.19追記） 本記事で使っている Future は、futures-rs( https://github.com/rust-lang-nursery/futures-rs )の0.1です。 今は

北海道・根室半島の納沙布岬（左下）沖に浮かぶ多楽（たらく）島、志発（しぼつ）島、勇留（ゆり）島、秋勇留（あきゆり）島、水晶（すいしょう）島などの歯舞群島。先にある色丹島は雲に遮られ肉眼では望めなかった 安倍晋三首相は北方領土問題に関し、北方四島のうち色丹島と歯舞群島の引き渡しをロシアとの間で確約できれば、日ロ平和条約を締結する方向で検討に入った。複数の政府筋が20日、明らかにした。2島引き渡しを事実上の決着と位置付ける案だ。4島の総面積の93％を占める択捉島と国後島の返還または引き渡しについて、安倍政権幹部は「現実的とは言えない」と述べた。首相はモスクワで22日、ロシアのプーチン大統領との首脳会談に臨む。 「2島決着」に傾いた背景には、択捉、国後の返還を求め続けた場合、交渉が暗礁に乗り上げ、色丹と歯舞の引き渡しも遠のきかねないとの判断がある。

監視という一種マニアックな領域を真正面から解説した貴重な本です。監視で悩む人のみならずシステム開発に携わるすべての人にオススメ。 「全然わからない。俺たちは雰囲気で監視をやっている」 自分はAWS事業本部コンサルティング部所属ということもあって、いろんなお客様にAWSインフラのコンサルティングしてます。最初のインフラ構成設計時に監視の話をすることも非常に多いんですが、 「どうしましょう。CloudWatchでいけますかね？」 「MackerelとかDatadogとかもありますが、どうしましょ。マネージドとの違いは〜」 「とりあえず、ディスク使用率80%でしきい値設定しておきましょうか。みんなそうしてますよ」 とか言っていた昔の自分に見せつけたい本、それが今回紹介する「入門　監視」。 監視設計の原則がよくわかんない メトリクスのしきい値決めるところから監視を考えてしまいがち よく考えずに、い

防衛省ウェブサイトのＨＴＴＰＳへの切り替えのお知らせ 防衛省では、利用者の皆様に、より安全かつ安心にウェブサイトをご利用いただくため、ウェブサイトのHTTPS化を行いました。今後は、『https://www.mod.go.jp/』でのご利用をお願いいたします。あわせて、ブックマークやリンクなどのご確認をお願いいたします。 １０秒後に自動的にHTTPSサイトを表示しますが、画面が切り替わらない場合は、お手数ですが、以下のURLをクリック下さい。 今後は、以下のとおり、冒頭に『https』を付記したＵＲＬからのアクセスをお願いいたします。 新しいＵＲＬ

同大の全学部とも出願を受け付け中だが、１７日現在、夜間を除く全体の志願者数は３万６３１２人で、昨年の最終志願者数１１万４３１６人の３２％にとどまる。中でも２月２５日が出願締め切りの危機管理学部（定員１５０人）は１７日現在、志願者数が３２７人と昨年の最終数１８７７人の１７％。全学部の中で最も割合が低い。 昨年５月のアメリカンフットボール部の危険タックル問題では、同大の第三者委員会が事後対応のまずさやガバナンス（統治能力）の欠如を指摘するなど、大学側の危機管理のあり方が問題視されていた。

人、猫、車などをピクセル単位で物体認識、その背景を取り除いて透過PNG画像を作成します。編集作業が必要ないので画像を選択するだけで作成できます。

まずは公務員の保育士の給料を民間に合わせる。その後、官民合わせて水準を上げる。ただし、いきなりの税金投入ではなく保育所に貯まっている内部留保金を使ってもらう。これが橋下流改革。素人には理解できないだろう。 https://t.co/1Nt4AsqNwr

セブン―イレブン・ジャパンが成人向け雑誌の販売を中止する方針を決めたことが21日、わかった。8月末までに全国の2万店超の全店で原則、販売をやめる。ローソンも同日、8月末までに成人誌販売をやめると発表した。女性や子どもが来店しやすくするほか、2020年の東京五輪・パラリンピックなどを控え、インバウンド（訪日外国人）のイメージ低下を防ぐ。【関連記事】ファミマとセイコーマートも　成人誌販売終了広がる

深刻なバスの運転士不足に歯止めをかけようと、プロ意識や職業に対する誇りといった意識改革に主眼を置いたユニークな取り組み「運転士道塾」が始動した。京成バス社長や同会長、千葉県バス協会会長などを歴任した小田征一さんが提唱する「運転士道」の考えに基づき、運転技術や接客に優れた人材育成を目指している。 主催する「運転士道研究所」などによると、バス業界では運転士になってもすぐに辞めてしまう人が多いことが人手不足を助長している。背景には、労働時間が不規則なことなど仕事内容に見合った賃金が支払われていない実情がある。 一方で、バスは多くの人にとって日常生活に必要な移動手段であり、路線の廃止や減便になれば日常生活に支障を来す。運転士不足への対応はバス会社にとって大きな課題となっている。 「運転士道塾」は、「武士道」に着想を得た「運転士道」の理念に基づいて職業への誇りを高め、仕事にやりがいを持ってもらうこと

総合科学技術・イノベーション会議Council for Science, Technology and Innovation 総合科学技術・イノベーション会議（CSTI）は、内閣総理大臣、科学技術政策担当大臣のリーダーシップの下、各省より一段高い立場から、総合的・基本的な科学技術・イノベーション政策の企画立案及び総合調整を行うことを目的とした「重要政策に関する会議」の一つです。

はじめに この記事はTensorFlow2.0（以下、TF2.0）のPreview版がPyPIに公開されたことを受け、正式版の公開やその利用に向けて備える記事です。特に、APIの整理に伴って消えたAPIを紹介し、それによってTensorFlowの使い方が大きく変わることの警告を目指します。 また、筆者の属性は、TF歴3年の画像認識屋です。しかし、内容は個人の意見で、別分野の方や別ライブラリユーザーだけでなく、同属性の方からも別の意見が出ると思います。純粋にTF2.0を学びたい方は、他の記事を参考にしてください。 リンク 公式ドキュメント tf.keras以外の高レベルAPIの消滅 tf.layers tf.contrib.slim tf.contrib.layers（slimはtf.contrib.layersを呼んでいる） これらがいつからあるのか調べてみると、「TensorFlowの増

参考URL TF Lite Developer Guide TensorFlow Lite Converter Save and restore models Cloud OnAir 番組レポート : クラウドからエッジまで！進化する GCP の IoT サービス Google Developers ML Summit 2018、追記)、2018.12.14 Google Edge TPU を使うためのメモ @Vengineer 2018.12.09、2019.1.5(r1.13追記)、2019.1.19(master追記)、2019.03.05(Coral関連) Google E...

はじめに seabornのヒートマップの使い方をまとめました。 記事タイトルは相変わらずコピーメカに考えてもらってます。 母はヒートマップを暖房器具か何かだと思っているのかな？ seaborn ヒートマップの使い方 今回はseabornのflightsというデータを使っていきます。 import seaborn as sns; sns.set() import pandas as pd flights = sns.load_dataset("flights") display(flights.head())

Describe the bug I am trying archive Signed SSH Certificates using vault. I have non expired signing key too but still prompting for password ssh-keygen -Lf $HOME/.ssh/cert-signed.pub /root/.ssh/cert-signed.pub: Type: ssh-rsa-cert-v01@openssh.com user certificate Public key: RSA-CERT SHA256:nEPnetqmHkB2vVtu8VR1gM86Ng4JPfnWE4d8CsatkIE Signing CA: RSA SHA256:63YWn/Wz3YsRzv+2EI7goh/jraX3+cDefvrJL2oSI

Introduction Go is a new language. Although it borrows ideas from existing languages, it has unusual properties that make effective Go programs different in character from programs written in its relatives. A straightforward translation of a C++ or Java program into Go is unlikely to produce a satisfactory result—Java programs are written in Java, not Go. On the other hand, thinking about the prob

Scala福岡 2019 https://scala-fukuoka.org/ https://github.com/yoshiyoshifujii/scala-clean-architecture-example

1. 情報セキュリティ安心相談窓口 1.1 安心相談窓口について 「情報セキュリティ安心相談窓口」は、IPAが国民に向けて開設している、一般的な情報セキュリティ（主にウイルスや不正アクセス）に関する技術的な相談に対してアドバイスを提供する窓口です。

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

Protesters have clashed with police in the Greek capital Athens over plans to rename Greece's northern neighbour, Macedonia. The deal, which is yet to be approved, designates Greece's northern neighbour as the Republic of North Macedonia. Read more: Clashes in Greece over Macedonia name change

イスラエル国防軍（IDF）は21日未明、シリア国内のイラン標的に攻撃を開始したとツイッターで発表した。イラン革命防衛隊の精鋭部隊クッズ部隊に対する作戦だという。 IDFはツイッターで「シリア領内のイラン・クッズ標的の空爆を開始した。イスラエル軍や領土に危害を加えようとしない方が良いと、シリア軍に警告する」と攻撃開始を発表した。

独マックス・プランク研究所とイスラエルのテクニオン工科大学が、合計4万4000人が参加した研究565件のデータを分析したところ、性別的には男性の方がうそをつきやすいという結果が出た。

議会審議が二転三転する中、議事堂前に集まる人たちの抗議行動も熱を帯びていると言われる。しかし実のところは、どうなのか。

Tiny houses look marvellous, but have a dark side that does not appear on the marketing blurb. This article originally appeared on The Conversation, and is republished under a Creative Commons licence. Tiny houses are everywhere. They’ve received heavy coverage in the media and there are millions of followers on dozens of pages on social media. While there is no census for these homes, they have s

Other presidents got money for a border barrier - why not Trump? US President Donald Trump has set out new plans on his Mexican wall project to try to end a partial government shutdown lasting more than four weeks. One of his "compromises" was on so-called Dreamers - who entered the US illegally when young. He still wants $5.7bn (£4.5bn) to fund the wall.

議会審議が二転三転する中、議事堂前に集まる人たちの抗議行動も熱を帯びていると言われる。しかし実のところは、どうなのか。

Nearly three million people in the volatile Mindanao region of the Philippines have voted in a referendum which could see some areas given greater autonomy. They have been asked whether they back a plan by separatists to create a self-administered area known as Bangsamoro. The vote is a political solution to decades of fighting between Islamist separatists and the Philippine army.

More than $77,000 (£60,000) has been raised for a restaurant owner in the Bahamas who wasn't paid for catering the doomed Fyre Festival. Maryann Rolle, who runs the Exuma Point Bar and Grille, says she used $50,000 (£38,000) of her own money to pay other staff who helped at the event.

Twitter said it did not know how many people had their private messages exposed Private tweets sent by users of Twitter's Android app could have been exposed publicly for years.

英・北アイルランドのロンドンデリーで19日に発生した車の爆発事件について、警察は20日、事件に関与したとみられる男たちの身柄を拘束した。拘束されたのは、20代の男2人と、34歳と42歳の男の計4人。

Companies are looking at mining the surface of the Moon for precious materials. So what rules are there on humans exploiting and claiming ownership? It's almost 50 years since Neil Armstrong became the first man to walk on the Moon. "That's one small step for man," the US astronaut famously said, "one giant leap for mankind." Shortly afterwards, his colleague Buzz Aldrin joined him in bounding acr

中国の2018年の第4四半期（10月～12月）のGDP（国内総生産）成長率は前年同時期と比べてプラス6.4％にとどまり、2018年の第3四半期（6.5％）からは0.1%減速した。昨年1年間のGDPは6.6％で、これは天安門事件翌年の1990年以来、28年ぶりの低水準。世界経済に与える影響への不安を掻き立てる内容となった。 世界第2位の経済大国の低迷を受けて、世界経済への潜在的な波及効果についての懸念が高まっている。アメリカとの貿易戦争も悲観的状況に拍車をかけている。

英・北アイルランドのロンドンデリーで19日に発生した車の爆発事件について、警察は20日、事件に関与したとみられる男たちの身柄を拘束した。拘束されたのは、20代の男2人と、34歳と42歳の男の計4人。