※本記事は、”あくまで数学的”見解からコロナウイルス感染検査実施の要否を述べており、社会影響や、感染予防の観点については言及しておりません 皆さん、こんにちは！けんたろと申します！ 数学とファイナンスがとても得意で、良く講義などさせていただくのですが、 今回は表記コロナ検査について、”数学的視点”から、意外にも知られていないことがあるな、と感じたのでnoteに書きました。 もちろん、その内容をビジネスにどうつなげるのかまで考察してますので、 ・人材分析をする人事の方 ・品質管理に統計学を採用する予定の方 ・就活生でNEWSへの見解を問われる可能性がある方 ・数学好きの方 是非最後までお目通し頂けると嬉しいです^^ 検査されない日本の状況（20年3月20日時点）新型コロナウイルス（COVID-19：以後コロナ）の感染者数が、３月20日12：00現在、国内で950例となりました。 一方、検査者

フルHDや4K、8Kという言葉を耳にしたことがあるかと思います。 これは、動画の画面の大きさ（解像度）をあらわす言葉となっています。 とは言え、具体的にどんな違いがあるのか、 分かりにくいところもあるのではないでしょうか。 インターネットで動画配信をする場合、動画の画面解像度は動画配信そのものに大きな影響を与えるため、きちんと理解し、最適なものにする必要があります。 このブログでは、動画の画面解像度について解説し、動画に最適な画面解像度の選び方がわかるようになります。 ＼未経験でも大丈夫！【自社でもできる、動画の録画とライブ配信ガイド】／ 画面解像度とはなにか 画面解像度は、動画の縦横のピクセル数を表す言葉です。 「1280×720」などの数値で表す場合もあれば、「720p」や「HD」などと表す場合もあります。 画面解像度が高ければ高いほど、たくさんの画素（ピクセル）で映像を描写することに

全国でモバイルSuicaが使えることは知っていても、関西で使おうとは思わないかもしれませんね。 しかしモバイルSuicaを比較対象に入れないのはもったいないと思いますので、モバイルSuicaについても説明したいと思います。 Suicaカードは、ビューカードなどクレジットカードに付帯したタイプもあります。 Suicaカードを購入できるのは、JR東日本エリアに限定されるため、関西圏の方がSuicaを利用したい場合は、必然的にモバイルSuicaになります。 モバイルSuicaはスマホがあれば電車に乗れる 改札での利用においてSuicaが便利な最大の理由は「モバイルSuica(スマホ)で改札が通れる」という点です。 当たり前のことを言いましたが、ICカードと同じように、改札の読み取り部にスマホをかざすだけで支払いができます。 モバイルSuicaが使えるスマホさえあれば、電車に乗ったり買い物をするこ

リサーチ会社のマイボイスコムは3月17日、「携帯電話会社のイメージに関するアンケート調査（第19回）」の結果を公表しました。本調査は、「MyVoice」のアンケートモニター10,311名を対象に、2020年2月1日〜2月5日にかけてインターネット上で実施されています。 最もCMの印象が良い携帯会社はau 携帯電話会社のイメージを左右するものの1つがCMです。 アンケート調査対象者にCMの印象が良いと思う携帯電話会社を聞いたところ、トップは「au（39.7％）」、次いで「ソフトバンク（17.7％）」、「NTTドコモ（15.5％）」となりました。 auは2016年2月実施の調査から5年連続トップを維持しているほか、CM総合研究所が実施した「2019年度 銘柄別CM好感度 トップ10」においても1位に輝いています。 2015年1月から現在まで放映されている「三太郎」シリーズは特に好評を得ており、

Looking Glass makes trippy-looking mixed-reality screens that make things look 3D without the need of special glasses. Today, it launches a pair of new displays, including a 16-inch mode that…

Eclipse、はじめの一歩 - インストールから便利な日本語化プラグインの導入まで 開発業務の効率化に有用なツールとして使われる「Eclipse」は、豊富な拡張機能も魅力です。ごく初歩から学べるよう、インストールの方法や初歩的な使い方の導入、便利な日本語化プラグイン「Pleiades」による機能拡張などを体系的に紹介します。 IDE（統合開発環境）として広く知られている「Eclipse」は、開発業務の効率化に有用なツールとして使われています。また、豊富な拡張機能も魅力です。 しかし、使い方を学ぶための情報源は限られており、基礎知識をWeb上の検索結果から得るには限界があります。そこで本稿では、ごく初歩からEclipseについて学べるよう、インストールの方法や初歩的な使い方の導入、便利な日本語化プラグイン「Pleiades」による機能拡張などをあらためて体系的に紹介します。 IDEとEcl

オンラインストレージは、複数のパソコン間でのやり取りをスムーズにしたり、バックアップ用としても使えるので、とても重宝するサービスです。 しかし、最近はサービスの数自体が増えてきており、どれが一番いいのか比較しづらくなってきているのも事実です。 そこで、ここでは、３７個のオンラインストレージの機能や各種プランを比較してみました。 「これからオンラインストレージを使ってみたい！」という方も、「今使っているものより使いやすいものがあれば乗り換えたい！」という方も、ぜひ参考にして頂ければと思います。 全３７のオンラインストレージ比較表 ↓クリックすると、オンラインストレージ比較表（エクセル版）をダウンロードできます。 ※上の画像をクリックするか、「右クリック⇒対象をファイルに保存（名前をつけてリンク先を保存）」でダウンロードできます。 （各データは、本記事執筆時のものです。） それでは、以下にそれ

2019年9月にアメリカ・ニューヨークで行われた、パット・メセニーのライブを収録した番組「サウンド・フロム・ニューヨーク～パット・メセニー」(NHK BSプレミアム)が、3月27日(金)夜0時30分から放送される。 【写真を見る】パット・メセニーの独占インタビューも放送！ グラミー賞を何度も獲得し、40年以上にわたって世界的ギタリストとして活躍するパットは、これまで幾度となく来日公演を行っており、日本の音楽ファンにもなじみが深い。 今回は、そんなパットが2019年にニューヨーク・タイムズスクエアのライブハウスで行った「サイド・アイ・ツアー」の模様を放送。さらに独占インタビューも公開される。（ザテレビジョン）

VS CodeとPythonとFlaskで作成したWeb APIをDockerコンテナ上で実行したり、リモートデバッグしたりしてみよう。

Windows コマンド net user / net localgroup で コマンドプロンプトからアカウント管理するメモ はじめに# 2015 年の初仕事は, Windows 2003 サーバの障害復旧から始まった. 連休最後の昨日は AWS で Ubuntu や Windows2012 サーバを気軽に構築できることに感動した. そして, 仕事始めの今日は部門のオンポロファイルサーバが壊れたので Windows2003 のクリーンインストールからとは (-_-) — きつね (@tsu_nera) 2015, 1 月 5 結局復旧できない (データロスト??) なので, 明日も頑張ります. ということで, 明日やることのメモ. 今日は, Windows2003 サーバを再インストールしたので, 明日はユーザとグループを作成し直す. できれば, コマンドラインからやりたい. コマンド#

Windows OSでユーザーアカウントを管理するには、ローカルなら［コンピューターの管理］、Active Directoryなら［Active Directory ユーザーとコンピューター］といったGUIベースの管理ツールを利用する。 しかしそれだけではなく、コマンドプロンプト上で「net user」というコマンドを利用することも可能だ。アカウントの作成／削除、設定内容の確認、有効／無効の変更、パスワードの設定といった簡単な操作なら、コマンドプロンプト上で行えば素早く作業できる。バッチファイルで一連の設定作業を自動化することも可能だ。 ここでは、このnet userコマンドの使い方について、簡単にまとめておく。 以下で説明している操作を行う場合は、基本的には管理者権限のあるアカウントでサインインした上で、管理者権限のあるコマンドプロンプトを開いて実行する必要がある。さもないと、権限の問題

バッチファイルを作成する 新しいユーザーアカウント（ユーザー名：user01／パスワード：P@ssvv0rd）を作成する場合、以下のバッチを利用します。 @echo off net user user01 P@ssvv0rd /add pause exit 表示名を設定する場合、以下のバッチを利用します。 @echo off net user user01 /fullname:"林 鼓平" pause exit 「ユーザーはパスワードを変更できない」を有効にする場合、以下のバッチを利用します。 @echo off net user user01 /passwordchg:no pause exit 「パスワードを無期限にする」を有効にする場合、以下のバッチを利用します。 @echo off wmic useraccount where Name="user01" set PasswordE

リクルートグループは、ネット授業「スタディサプリ」や中古車情報「カーセンサー」、結婚情報「ゼクシィ」など、時代を先取りしたビジネスを次々と世に送り出してきた。どうして新規事業が次から次へと生まれるのか、リクルートの次世代事業開発室長の川本広二氏とスタディサプリを担当するリクルートマーケティングパートナーズのまなび事業統括本部オンラインラーニング事業推進室プロダクト企画1部部長の笹部和幸氏に聞いた

2019年9月16、17日、日本最大のPythonの祭典である「PyCon JP 2019」が開催されました。「Python New Era」をキャッチコピーに、日本だけでなく世界各地からPythonエンジニアたちが一堂に会し、さまざまな知見を共有します。プレゼンテーション「Python開発を円滑に進めるためのツール設定」に登壇したのは、Atsushi Odagiri氏。講演資料はこちら 開発を効率的に進めるためのツール設定 Atsushi Odagiri氏：この時間はビギナーセッションで、内容はPythonでの開発を効率的に進めるためのツール設定です。 まず「ツール設定」という趣旨の説明と、あとは今日説明するツールがflake8、black、mypy、pytest、toxなどがあります。そしてそれぞれを使うためにエディタ設定をするという流れになっております。 先に自己紹介させていただきま

2019年9月16、17日、日本最大のPythonの祭典である「PyCon JP 2019」が開催されました。「Python New Era」をキャッチコピーに、日本だけでなく世界各地からPythonエンジニアたちが一堂に会し、さまざまな知見を共有します。プレゼンテーション「Pythonで始めてみよう関数型プログラミング」に登壇したのは、株式会社SQUEEZEの寺嶋哲氏。講演資料はこちら 不変／永続データ構造を提供するパッケージ 寺嶋哲氏：続いて、不変／永続データ構造についてです。 listを操作する関数の問題点について、例題で見ていきましょう。add_mangoは果物名の文字列のlistをとって、mangoをそのlistに足して返します。change_from_apple_to_bananaは、同じようにlistをとってappleを探して、bananaに入れ替えて返します。 その

逃げ口上 雑な記事です。 はじめに ときどき「プログラミング言語と呼ぶための条件とは」のような話題が出ることがあります。よくある回答としては「チューリング完全ならプログラミング言語と呼べるんじゃないの」あたりでしょうか。「まあ、それはそうかな」とも思います。しかし、あるときCの言語仕様書を読んでいてふと思いました。 「Cはチューリング完全なんだろうか？」 実は結構怪しいのでは、と思いました。本記事ではなぜ怪しいと思うに至ったか、経緯などをてきとうに書いてみようと思います。 ちなみに自然言語で書かれた701頁に及ぶ仕様書を数学的に厳密に、というのはそもそも無茶な話なので、あまり結論にはこだわってません。というか中途半端な終わり方になっています。「こんなことを考えました」程度のポエムと受け取って頂ければ幸いです。 前提知識 前提知識1. チューリング完全とは まずチューリング完全の説明です。

多くの関数型プログラミングに関する記事が教えてくれるのは、抽象的な関数型のテクニックです。つまり関数合成やパイプライン、高階関数などです。この記事では違います。ここでは、プログラマが毎日書く、命令型で非関数型のコードの例を示し、それを関数型の形式へ書き換えます。 最初のセクションでは、短いデータ変換のループを取り上げ、map関数やreduce関数に書き換えていきます。2つ目のセクションではより長いループを取り上げ、ユニットに分解し、それぞれのユニットを関数型に書き換えます。3つ目のセクションでは、連続した長いデータ変換のループを関数型のパイプラインに分解します。 ここではPythonでの例を取り扱います。というのも多くのプログラマはPythonを読むのは簡単だと思っているからです。多くの例では、mapやreduce、パイプラインなどの多くの言語に共通する機能を例示するため、Python的な