TypeScriptで学ぶ代数的データ型
代数的データ型とはなにか 代数的データ型とは、要素の個数の足し算と掛け算のアナロジーで語ることができる型のことを指すというふわっとしたコンセンサスがありますが、 厳密に「これが代数的データ型である」という定義はおそらくありません[1]。 また、代数的データ型はいわゆる関数型言語で実装されることが多い言語機能であり、 代数的データ型を重用するプログラミングスタイルは関数型の一派としてみなされる傾向がある[2]と思っています。 本記事では数学的な説明やアナロジーは用いず、なるべく具体的なコードを提示します。 そして、代数的データ型という言葉を「かつ」と「または」を表すことができる型として使います。 更に、「または」の型はコンパイラによって漏れなく徹底的にチェックされる必要があります。 詳細は後ほど説明します。 本記事の構成 まず、本記事における「代数的データ型」とはなにかを説明し、それをコード
テスラの「完全自動運転をAIチームディレクターが解説」を翻訳とともに解説 - EVsmartブログ
『CVPR2021』というコンピュータービジョンのイベントで、テスラのAIチームシニアディレクターであるAndrej Karpathy氏が登壇。テスラが進める完全自動運転への取り組みを解説しました。はたして、テスラはどこまで進んでいるのか。テスラオーナーで翻訳家の池田篤史氏が翻訳しつつ解説します。かなり専門的ながら、興味深い内容です。 ※冒頭画像はCVPRウェブサイトより引用。 はじめに 2021年6月下旬に開催されたCVPR（Computer Vision and Pattern Recognition）に、昨年に続きテスラのAIチームシニアディレクター、アンドレイ・カーパシー氏が登壇し、カメラからの入力のみで自動運転機能を達成する取り組みについて解説しました。この記事ではそれに加え、テスラハッカーとして有名なGreentheonly氏にも取材をして、アンドレイ氏が表向き言えないようなこ
いまさら聞けない「VLAN」「サブネット」の基礎 両者の違いとは？
関連キーワード ネットワーク | ネットワーク管理 ネットワーク管理初心者が学ぶべき用語に「VLAN」と「サブネット」がある。VLANとサブネットの価値を理解するには、まず「OSI参照モデル」を理解することが役立つ。OSI参照モデルは、ネットワークを介してアプリケーションが相互通信するルールを定義する。 VLANとサブネットの違いとは？
MySQLベースの分散インメモリDB「HeatWave」の最適化と運用自動化を支援する「MySQL Autopilot」、オラクルが発表
MySQLベースの分散インメモリDB「HeatWave」の最適化と運用自動化を支援する「MySQL Autopilot」、オラクルが発表 オラクルは、MySQLのデータベースエンジンに分散インメモリデータベース機能を搭載し、高速なデータ分析が可能な「HeatWave」向けの新機能として、機械学習による性能の最適化などを提供する「MySQL Autopilot」を発表しました。 Say hello to MySQL Autopilot, the in-memory query acceleration engine for @MySQL HeatWave Database Service in #OCI. https://t.co/u9aKiwoJCf pic.twitter.com/ec6sMJ1Fhs — Oracle (@Oracle) August 11, 2021 HeatWave
４～6月のGDP 年率+1.3％ 2期ぶりプラスも個人消費は伸び悩み | NHKニュース
ことし4月から6月までのGDP＝国内総生産は、前の3か月と比べた実質の伸び率が年率に換算してプラス1.3％となりました。輸出などが増加し、2期ぶりにプラスに転じましたが、緊急事態宣言を受けて個人消費が伸び悩んでいることで、景気の持ち直しの動きは力強さを欠いています。 内閣府が、16日発表したことし4月から6月までのGDPの速報値は、物価の変動を除いた実質の伸び率が、前の3か月と比べてプラス0.3％でした。これが1年間続いた場合の年率に換算しますと、プラス1.3％となり、GDPは2期ぶりにプラスに転じました。 ただ、比較の対象となっていることし1月から3月までのGDPの伸び率が、年率換算でマイナス3.7％の落ち込みだったことを踏まえると景気の持ち直しの動きは力強さを欠いています。 項目別では、前の3か月と比べて、「輸出」が、中国向けの半導体製造装置などを中心にプラス2.9％になったほか、「企
「Microsoft Edge」最新の知られざる便利機能7選！ Chromeを使っている場合じゃない
Windows 10の標準ブラウザアプリは「Microsoft Edge（マイクロソフト エッジ）」である。しかし、ウェブレッジの調査によれば、日本国内でのパソコンのブラウザアプリのシェアトップは34.81％のChromeで、Microsoft Edgeは15.93％で2位なのだ（2021年6月時点）。 確かにChromeを使っていても何の不満もないだろうが、Chromeはパソコンのメモリ消費量が大きいことが知られている。これに対し、Microsoft Edgeならメモリの消費も少なくChromeにはない便利機能もたくさん搭載されているのだ。そこで今回は、Microsoft Edgeを使いたくなるような7つ便利機能を紹介しよう。 ただし、Microsoft Edgeは頻繁に更新されている。Windows 10を普段から利用していれば自動的にChromium版のEdgeにアップグレードされて
ネイティブアプリケーションの意味｜usagimaru
プラットフォームによってはアプリケーションの実装技術には複数の方法があり、開発側の要件や制約、好み等に合わせて適した技術を選ぶことができます。例えばiOSアプリケーションの実装技術には、Appleが提供するCocoa Touch（およびUIKitやSwiftUIなどのフレームワーク群）がありますが、そのほかのベンダーから提供されている技術として、FlutterやReact Native, Titanium, Xamarinなどのフレームワークも存在します。 どのフレームワークが一番優れているのかを語ろうとすると宗教戦争に発展してしまいますので、そこは避けつつも「ネイティブとは何か」の解釈をはっきりさせておきたいと思いました。 どのようにして実装技術を選ぶのか開発現場としては、大抵は次のような観点で実装技術を選ぶことになると思います。 ・開発コスト、運用コスト重視 ・開発スピード重視 ・技術
図で理解する Flexbox
Flexboxはレイアウト組む上でとても便利だが、justifyだとかalignだとか名前と意味の対応が曖昧で毎回調べていた。 仕組み・使い方を理解しようと思い、図を使って整理してみた。 ※ CSS Grid についても整理してみました Flexbox Flexboxは縦・横に要素を並べられるレイアウト方法です。 Flexboxを使うことにより、縦・横に並べるだけでなく、並べた要素の中央寄せ・上寄せなど細かな位置も調整できます。 コンテナ・アイテム Flexboxを使う上で必要となる要素が「Flexコンテナ」と「Flexアイテム」です。 Flexコンテナの中にFlexアイテムを複数並べてレイアウトします。 <div class="container"> <div class="item">１</div> <div class="item">２</div> <div class="item"
LINEがオープンソースで「LINE FIDO2 Server」公開。パスワード不要でログインできる「FIDO2/WebAuthn」を実現
LINEがオープンソースで「LINE FIDO2 Server」公開。パスワード不要でログインできる「FIDO2/WebAuthn」を実現 LINEは、スマートフォンやPCの指紋認証や顔認証などを用いることでパスワード不要でログイン処理を可能にする標準技術「FIDO2」や「WebAuthn」に対応したサーバ「LINE FIDO2 Server」をオープンソースで公開しました。 これにより、さまざまなWebアプリケーションやモバイルアプリケーションなどでFIDO2/WebAuthnを利用したログインが容易に実装できるようになることが期待されます。 LINE Security R&DチームがFIDO2認証標準を実装したFIDO2 ServerをOSSとして公開しました。 FIDO2-Serverは、FIDO2の登録と認証の主要部分を提供します。さまざまなWebブラウザとOSプラットフォーム、お
ピクサーで働く人達をYouTubeで観て「仕事はこうでないとあかんな」と思った
世界一の CG アニメーションスタジオであるピクサーで働く人達を YouTube で観ると不思議なぐらいにその熱量を感じとることができる。いろんな会社の中を YouTube で観るのが好きで結構観ている。どんな会社でも自社のいいところだけ切り取って出してるんだろうけど、なぜかピクサーだけは別格に感じる。 こんなに働く人達の熱量をビシビシ感じる会社ってなかなか無い。このブログでいくつか動画を紹介するのでもしよかったら観てみてください。あなたの仕事への情熱を再び呼び起こすかもしれない。 いつかピクサー本社に行ってみたい。 ピクサーの仕事の醍醐味Danielle Feinberg は撮影照明監督（フォトグラフィー・ライティング・ダイレクター）。とあるユーチューバーがピクサー社内を見学した動画があって、その一部に彼女が出ていた。彼女が語る仕事の醍醐味が素晴らしいので意訳した。 以下 Feinber
ソフトウェアドキュメント作法 - maru source
こんにちは丸山@h13i32maruです。つい先日、devchat.fmというポッドキャストに出演して、「ドキュメント」というお題について話しました。なぜこんなニッチなお題について話したかというと、Ubie Discoveryに入社して5ヶ月の間にいくつか*1まとまったソフトウェアドキュメントを書いたので、自分の中でホットな話題だったからです。 #devchatfm 33回目は、Ubie DiscoveryのSWE @h13i32maru にドキュメントを書くことで得られるメリットや、ポイント・工夫などを聞きました！ #33 チームの生産性を上げるドキュメントのすすめ with@h13i32maruhttps://t.co/TrmZd13D91— 久保 恒太 / Ubie CEO (@quvo_ubie) 2021年8月12日 これらのドキュメントは個人的にわりと良く書けたと思ってますし、
新型コロナウイルス感染をのりこえるための説明書 – 諏訪中央病院
当院総合診療科の玉井道裕医師が作成した「新型コロナウイルス感染をのりこえるための説明書」を公開します。新型コロナウイルスの基本知識、感染を防ぐためにやるべきことなどイラストとともにわかりやすく解説しています。 NEW（2022/8/18追加） 新型コロナウイルス感染をのりこえるための説明書（オミクロン株BA.5編） →圧縮版［3MB］ ＊お願い＊（2022/8） 『新型コロナウイルス感染をのりこえるための説明書』につきまして、これまでも大変多くのお問い合わせをいただいておりますが、現在、発熱外来をはじめとした診療にかかわる電話が急増し、回線が大変込み合っております。診療にかかわるご連絡を最優先するため、説明書に関するお問い合わせはご遠慮いただきますようお願いいたします。 よくあるお問い合わせ・質問 Q1.（保育園や学校、自治体、企業様などより）園児・学生、社員やそのご家族に対して紹介、配布
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
【特集】 イマドキの急速充電機能「USB PD」って知ってる？スマホ/タブレット/ノートPCで即役立つ充電の必須知識
PythonでのWebアプリ開発で使うフレームワークを解説！