人間という頭でっかちな動物は、目の前の輪郭のはっきりした危機よりも、遠くの輪郭のぼやけた希望にすがりたくなる癖がある。だから、自分はきっとウイルスに感染しない、自分はそれによって死なない、職場や学校は閉鎖しない、あの国の致死率はこの国ではありえない、と多くの人たちが楽観しがちである。私もまた、その傾向を持つ人間のひとりである。 甚大な危機に接して、ほぼすべての人びとが思考の限界に突き当たる。だから、楽観主義に依りすがり現実から逃避してしまう——日本は感染者と死亡者が少ない。日本は医療が発達している。子どもや若い人はかかりにくい。1、2週間が拡大か制圧かの境目だ。2週間後が瀬戸際だ。3週間後が分水嶺だ。一年もあれば五輪開催は大丈夫だ。100人に４人の中には入らないだろう。そう思いたくなっても不思議ではない。希望はいつしか根拠のない確信と成り果てる。第一次世界大戦は1914年の夏に始まり191

2021年上半期にAI（人工知能）関連メディアであるLedge.aiで公開した記事のうち、反響の大きかったもの再掲します（※初公開日：2021年4月24日）。 今回は株式会社キカガクが提供する「Python & 機械学習入門」を受けてみました。約9時間の講義がすべて無料で受けられます。 本講座は、機械学習に必要な数学の基礎、Google Colaboratoryを用いた実装を学べる講座です。必要なところだけを絞って説明されるのでわかりやすく、基礎を習得できます。カリキュラムは以下のとおりです。 導入微分線形代数単回帰分析重回帰分析１Python速習単回帰分析の実装重回帰分析の実装演習問題統計重回帰分析2「導入」では、主に機械学習についての説明があります。AI・ディープラーニングとの関係性や、機械学習ではどの数学知識が必要なのか言及しています。初めての人は「微分」と「線形代数」を学びましょう

[追記] この記事は2014年、私が文系大学生の頃、手探りでプログラミングを独学し始めた頃の記事です。温かい気持ちで見ていただけたら幸いです。 ーー !! おことわり !! このブログには、いわゆる「技術記事」は一切ありません!!!(書きたくても書けない) ただの「勉強記録ノート」です!!! プログラミング初学者の勉強記録ノートです!「日記」です!! 生暖かい目で見ていただけたらさいわいですヽ(；▽；)ノ Index “型のありがたみ”を覗く “型付けの弱い世界”を知る 動的型付けと静的型付け 型付けによる比較 “型付け”と”型変換” 強い型付けと弱い型付け まとめ 追記 (あとで読むリストなど) Introduction よくTwitterのタイムラインで「型安全」という言葉を見ます。 でも、その意味を私は全く分かっていませんでした…そもそも「型安全」という言葉は 「安全な型」を指す(だ

以前書いた（C言語についての） メモリ安全性について定義した記事 について、型安全性について説明する記事も投稿してほしいというコメントがありました。型安全性についてはかなりよく知られてきていると思いますが、ズバリこうだと簡単に定義できるほどにはまだ理解が浸透していません。特に誰かが”Javaは型安全な言語だ”と言った場合、これは厳密に何を意味するのでしょう。全ての型安全な言語はある意味”同じ”と言えるでしょうか。ある特定の言語について、そして一般的な意味で、あなたを悩ませる型安全性とは何でしょうか。 実際のところ、型安全性が何を意味するのかは言語の型システムの定義によります。最もシンプルなケースでは、型安全性はプログラムの動作が正しく定義されるように保証します。もっと一般的な話をすると（この記事ではそのあたりをカバーするつもりですが）、言語の型システムはそのプログラムの正確さと安全性を推論

Kernel/VM探検隊はカーネルや仮想マシンなどを代表とした、低レイヤーな話題でワイワイ盛り上がるマニアックな勉強会です。msyksphinz氏は、自作エミュレータで得た学びについて発表しました。全2回。前半は、自作エミュレータの実装とその結果について。 実機が存在しなくてもエミュレータを使えば動きの中身が見える msyksphinz氏（以下、msyksphinz）：「Rustで作るフルスクラッチQEMU型エミュレータ」と題して、発表をします。 簡単に自己紹介をさせてください。Twitterだとこういうアカウントでいろいろと活動しています。趣味で「FPGA開発日記」というブログを書いていて、RISC-V、FPGA、CPU、低レイヤプログラミングなど、興味のあるものの記事を書いています。本業はハードウェア開発エンジニアをしていて、汎用CPUの設計などの仕事をしています。 今回はRustとい

今日は久しぶりに数学の話題を。 もりしーさん（ @9973_prm ）の以下のツイートの話が面白かったので、今日はこの問題について考えてみたいと思います。 立方数と立方数の差って大体素数じゃん、って思ったけど5^3と6^3の差がまさかの91でわろた— もりしー@素数大富豪 (@9973_prm) 2021年8月24日 なお、もりしーさんは次のようにもツイートしています： 隣合う立方数の差— もりしー@素数大富豪 (@9973_prm) 2021年8月24日 つまり、もりしーさんが考えていたのは 「隣り合う立方数（３乗数のこと）の差は素数になるだろうか？」 という問題ですね。 たとえば、最初の４つのケースを考えると （素数）（素数）（素数）（素数） となって、かなり素数が続いています！　面白いです！ もちろん、もりしーさんがツイートしているように、すべての隣り合う立方数の差が素数になるわけで

Goの標準パッケージにはcontextパッケージというものが存在します。 このパッケージは、net/httpやdatabase/sqlのような現実の事象と対応している何かが存在するようなパッケージではないため、初学者にとっては使い道がわからない、となってしまいがちです。 しかしcontextパッケージは、複数のゴールーチンを跨いだ処理を実装する際には非常に強力な力を発揮する、とても便利なパッケージなのです。 この本では、「contextとは何か？」というところから「どのように使えばいいのかわかる」ところまでたどり着けるように、Goのcontextまわりのことを解説しました。

1991年8月25日、フィンランドの大学院生だったLinus Torvalds氏が、USENETの「comp.os.minix」グループで、「386（486）ATクローン用の（フリーの）OS（単なる趣味で、GNUのような大規模なものでもプロフェッショナルなものでもない）」に取り組んでいると発表した。誰も、Torvalds氏さえも予想しえなかったかもしれないが、この技術はいつまでも変化し続けることになる。 それから30年を経て、LinuxはITを支配する存在になっている。GoogleやFacebook、Wikipediaなど、ほぼすべての主要ウェブサイトがLinuxで動いている。クラウドでも状況は同じだ。Microsoftの「Azure」を見ても、最も利用されているOSはLinuxだ。スーパーコンピューターについて言えば、世界最速のスーパーコンピューター500台すべてがLinux系を利用して

この1年くらいずっと自社サービスの開発に関わっています。(リリースしたのは半年前) 前職でも製品のプロトタイプ開発に関わったりしていましたが、営業もマーケティングも自分が行っているわけではなく、開発も単なるプロトタイピングなので業務コードではないし、プロダクト開発という意味ではかなり限定的な仕事でした。 今回は、営業、マーケティング、開発など、サービス運営に必要なタスク全てに関わっています。(一応念のため言っておくと一人で100%全部やってるわけではないです。あくまでチームの一員として全てのパートに関わっているというだけ) サポート、プリセールス、ポストセールスとキャリアを歩んできましたが、そのキャリアを通してずっと悩み続けていたのが「なぜお客様の課題を解決する製品やソリューションを提供できないのか」というものでした。 サポート時代はプリセールスやポストセールスと違い製品軸の技術的課題解決

Mozillaブログより。 エリーゼ・ブランチャード インターネットは私たちの生活のあらゆる場面に浸透していますが、デジタルの世界では当たり前のように使われているものがあります。それは、多くのリンク、特にハイパーリンクが青色であることに気づいたことがありますか? 同僚が何気なく「なぜ、リンクが青いのか」と聞かれた時、私は戸惑いました。2001年からウェブサイトを制作しているユーザ・エクスペリエンス・デザイナーの和tがしは、常にリンクを青くしてきました。私は青の特定の色調を提唱してきました。しかし、「なぜリンクが青なのか」と疑問に思ったことはありません。それはただの事実でした。草は緑で、ハイパーリンクは青です。文化的に、私たちはリンクを青色に関連付けているため、2016年にGoogleがリンクを黒に変更したときには、かなりの混乱が生じました。 しかし今、私は「なぜ、リンクが青なのか」と言う疑

新型コロナウイルスの感染拡大を防ぐため、様々な企業が非対面でサービスを提供する場面を増やしている。非対面サービスの基盤システムとして各社が導入しているのが「eKYC（electronic Know Your Customer）」。オンラインで完結する本人確認の手法だ。 オンラインの非対面サービスは対面サービスとは異なり、サービス利用者が本当に実在するのかを確認する手順が不可欠だ。一般に本人確認と呼ばれるプロセスは、「身元確認」と「当人認証」の組み合わせである。 身元確認は利用者がアカウントを登録する際に「利用者が実在する本人である」という点を確認するプロセスである。利用者の実在を厳密に確認するには、対面で免許証やマイナンバーカードといった写真付きの公的身分証を確認する必要がある。これをオンラインで行えるのがeKYCである。 非対面サービスの利用者はWebブラウザーやスマートフォンアプリを使

「現場で仕事できるのは残り３年」と語る富野監督。だが、その旺盛な創作意欲はいまだ尽きることがないようだ 『機動戦士ガンダム　閃光のハサウェイ』や劇場版『Ｇのレコンギスタ』のヒットで盛り上がるガンダム。初の実写化作品がＮｅｔｆｌｉｘで全世界配信されることが４月に発表されるなど、ワールドワイドに。そんな状況を"生みの親"富野由悠季（とみの・よしゆき）監督はどう見ている？ 御大が約２時間にわたり語ったのは自身の老い、知られざる原点、そして「ガンダムの世界」の未来だった！　あと、ついでに「ワクチンはもう接種しましたか？」と聞いてみました。 ■富野監督が語るロボットアニメの本質――週プレでは１年半ぶりのインタビューです！　ご機嫌いかがですか？ 富野由悠季（以下、富野）　脊柱管狭窄（せきちゅうかんきょうさく）症（脊椎にある神経の通り道が狭くなり、神経を圧迫。臀部（でんぶ）から足にかけて痛みやしびれが起