TypeScriptの型システムでは、インターフェース上の個々のプロパティをreadonlyとしてマークすることができます。これにより、関数的に作業することができます(予期しない変更は良くありません)。

自分のレポジトリの場合はしっかり README, How to contribution の整備をする

クイズメーカーはだれでもクイズを作って遊べるクイズのプラットフォームサービスです。

去年までの記事はこちら。 Annictを公開してから1年が経ちました Annictを公開してから2年が経ちました Annictを公開してから3年が経ちました Annictを公開してから4年が経ちました Annictを公開してから5年が経ちました 1年があっという間でした。去年の今ごろ何してたんだっけと思って過去の投稿を読んだところ、軸がぶれていたようです…。今もぶれ気味なんですが、ようやく少しずつ復調してきた気がします。 直近1年間の新機能等のお知らせの数は6件でした。年々少なくなっている…。去年は作品ページのリニューアルにすごい時間を取られた気がします。 登録者数 登録者数が2万人を越えました！やった！ …と思いたいのですが、結構な割合でスパムアカウントが存在すると思います。今年はフォーラムへのスパム投稿がとても目立ちました。ここに投稿しても大して見られないような気がするんだけど…。現状

今まで他のコースやSecHack365全体のやり方などに配慮してあえて言わないできたけど、今日はそれをあえて書いてみようと思う。 とりあえず、こういう考えの人もいるんだなー程度に思ってほしい。これが絶対の正解というわけではない。というか正解はたぶん複数ある。だから好きな正解を選べばいい。

『engage（エンゲージ）』をご利用のお客様へ 一部のSNSやネット記事にて、当社が運営するサービス『engage（エンゲージ）』への不正アクセスについて言及がありますが、不正アクセスやそれによる情報漏洩が発生した事実はありません。 当社は今後も、求職者、ならびに利用企業が安心してサービスをご利用いただけるよう、努めて参ります。

学校法人「加計学園」が運営する岡山理科大獣医学部（愛媛県今治市）が2019年に実施した推薦入試で、韓国人留学生の面接の得点を一律に0点とした疑いがあると週刊文春が報じた問題で、文部科学省は10日の参院予算委員会理事会で、岡山理科大からの聞き取り調査の内容を報告した。同大は全員を0点としたことを認めたうえで「入試は適正に実施しており…

東京大学理科一類に合格しました。東大に受かる勉強量の下限ギリギリを攻めるチキンゲームに勝利したわけですね。これでもう東大生に間違われることがなくなります。「東大生に見えました? 残念、一般高校生です!」芸ができなくなるのが若干寂しいなんて思ってないですよ? 勝因はたぶん、人生を左右する試験に臨んでいてかつ勉強不足により自信が一切なかったにもかかわらず鋼鉄のメンタルにより一切緊張せず一度もパニックにならず模試気分で普通に問題を解けたことでしょうか。鋼メンタル万歳! みなさんはちゃんと勉強して万全の状態で挑みましょうね。ガチクズ受験生(もう受験生じゃないけど)との約束だよ。そもそも受験のルールはチキンゲームじゃないんだからチキンゲームやるのは馬鹿です。馬鹿です。間違ってもセンター直前まで艦これイベント海域で1日数時間レベリングしたり二次試験数日前にTwitterと艦これだけで1日潰すみたいなク

iPad Pro (2024) review: So very nice, and so very expensive

2024-04-15 追記: 内容をアップデートした記事を書きました. susisu.hatenablog.com TypeScript の型システムはチューリング完全ということが知られていますが, 同じくチューリング完全な言語である Brainfuck のインタプリタを実装することで, その計算能力を確認することができます. この記事のコードは TypeScript 3.8.3 で動作確認しています. ゴール 型レベルで Brainfuck のインタプリタを実装します. type Program = [ ",", ">", ",", "<", "[", ">", "[", ">", "+", ">", "+", "<", "<", "-", "]", ">", "[", "<", "+", ">", "-", "]", "<", "<", "-", "]", ">", ">", ">",

Appleは現地時間3月9日、製品のお手入れ方法を案内するサポートページを更新し、製品を消毒するのに、濃度70％のイソプロピルアルコールや除菌用シートなどを使っても問題ない、との説明を追記しました。 【追記 2020/3/10 12:50】Apple Japanによるサポートページにも、説明が追加されました。 アルコールワイプでの消毒OK Appleは従来、iPhoneやiPadのディスプレイのコーティングに影響が出る恐れがあるとして、製品のお手入れに洗剤類を使用しないことを推奨していました。 しかし、更新された製品のお手入れ情報のページには、「70％のイソプロピルアルコールワイプやクロロックス除菌ワイプ (Clorox Disinfecting Wipes) をつかって、Apple製品の、ディスプレイ、キーボードなど、外装にある水を吸わない固い部分を拭き取ることができます」との案内が追記

先日、TypeScript 3.8 RCが公開されました。TypeScript 3.8はクラスのprivateフィールド（#nameみたいなやつ）を始めとして、ECMAScriptの新機能のサポートがいくつか追加されています。この記事で取り扱うtop-level awaitもその一つです。 この記事ではtop-level awaitに焦点を当てて、その意味や使い方について余すところなく解説します。top-level awaitは一見単純な機能に見えますが、実はモジュール (ES Modules) と深い関係があり、そこがtop-level awaitの特に難しい点です。そこで、この記事ではECMAScriptのモジュールについても詳しく解説します。この記事を読んでtop-level awaitを完全に理解して備えましょう。 ※ この記事は3分の1くらい読むと「まとめ」があり、残りはおまけで

先日、しょぼい喫茶店を閉店した。2年間本当にありがとうございました。全てのお客様に最大限の感謝を申し上げます。 お知らせのツイートはつい先日になってしまったのだけど、閉店すること自体は年末年始あたりから決めていた。なかなかツイートすることができずに、グダグダと先延ばしになってしまった。最後の最後までこれかよと自分でも思う。本当なら最後の数週間は店を開けておかなければとか、最終営業日を設けないといけないとか思っていたのだけど、そういうことを「やりたい」という気持ちになれなかった。足繁く通ってくださった方々に対して、本当に不誠実な態度だと思う。申し訳ありません。そんな感じでダラっと最終営業をしてしまったので、誰が最後のお客さんで、何を注文してどんな空気でどんな景色で、なんていうことは一切覚えていない。ただ覚えているのは、一刻も早く帰りたいと思っていたことと、その日の夜に「明日は休みたい」と妻に

新型コロナウイルスの感染拡大への懸念からニューヨーク株式市場で株価が急落する中、トランプ大統領が記者会見し、近く減税措置を含めた大規模な経済対策を発表する考えを明らかにしました。 この中でトランプ大統領は、感染拡大の影響で仕事を休まざるを得なくなった労働者への減税措置や所得補償を盛り込む方針を示し、実現に向けて議会側と調整していると説明しました。 また会見で記者から「不況に陥る可能性はないのか」という質問が出たのに対し、ムニューシン財務長官は「新型コロナウイルスは決して経済的に喜ばしい要素ではないが、アメリカは世界中で最もリスクに強い経済だ」と述べて、懸念の払拭（ふっしょく）に努めました。 トランプ大統領は好調な株価をみずからの実績の柱に位置づけてきただけに、株価の急落への懸念を強めているとみられ、新たな対策を打ち出すことで経済への影響をできるかぎり抑えるねらいがあるとみられます。

Sam この一週間Alan Kay をお招きしています。Alanさんは2つの講義を行っていただく予定です。Alan Kay は私たちよりも未来を発明することについて忘れてしまっていたり…？ Alan K それは最悪の講義になってしまいますね。けど… Sam Alanは、創意に富む本物の世界的専門家であると思っています。私たちがすばらしいコンピューターサイエンティストのグループと共に最近復活したXerox Altoは彼が開発しました。Alanさんは私がこれまであった中でも最も思慮深い方です。特に、組織を作りイノベーションを起こすことに関して。来てくれて本当にありがとうございます。講義をとても楽しみにしていました。よろしくお願いします。 Alan K ありがとうございます。思慮深いのは、マスターを見なければならないからです。私は基本的に研究者ですが、私よりもはるかに優れる管理者が行うプロセスに

Just Walk Out technology simplifies the shopping experience by removing checkout and helping consumers to get in and out quickly and seamlessly.

先日、いわゆる給料ファクタリングの貸金業該当性に関する書面照会への回答が金融庁から公表されたことを受け、一部メディアやソーシャルメディアにおいて報道および言及されている内容を踏まえ、当社としての見解をご説明させていただきます。 令和２年３月５日付「金融庁における一般的な法令解釈に係る書面照会手続（回答書）」に関する当社の見解について まず、前提といたしまして、本件回答は、「業として、個人（労働者）が使用者に対して有する賃金債権を買い取って金銭を交付し、当該個人を通じて当該債権に係る資金の回収を行うことは、貸金業法第２条第１項に定める『貸金業』に該当するかどうか」という旨の照会に対してなされたものであり、いわゆる給料ファクタリングの貸金業該当性に関する照会だと理解しています。 本件回答では、労働基準法上の賃金直接払いの原則があることから、給料ファクタリング事業者が賃金債権を買い取っても債務者

デジタル証券プラットフォームを提供するSecuritize, Inc.（本社：米国、日本法人：株式会社BUIDL、日本法人住所：東京都中央区、代表取締役：ジェームズ・エイチ・フィン、以下Securitize）は、株式会社LIFULLが主宰する空き家の地方創生型不動産クラウドファンディングを広く推進する基盤の構築を目的に、空き家の利活用等への投資における不動産セキュリティトークン発行（Security Token Offering、以下STO）スキームの実証実験を実施したことをお知らせいたします。 この実証実験を通して、デジタル証券やブロックチェーン技術を用いた不動産ファンドは効率的で透明性が高く、コンプライアンスの観点からも優れていることがわかりました。 本プロジェクトは、株式会社LIFULLが、株式会社BUIDL、株式会社LIFULL Social Fundingと協働で開始したものです

買い物時の決済がキャッシュレスなのは今や当たり前で、最近はレジすらない店舗もちらほら出てきている。 その先頭をいくのが米Amazon。2018年にレジなしコンビニ「Amazon Go」をオープンさせて小売業界に衝撃を与えた。そのAmazonが、同社のレジなし店舗を支える技術を他小売にライセンス方式で提供を始める。 ・数週間で導入できる貸し出されるテクノロジーには「Just Walk Out」の名称が付いている。客が店に入り、商品を手にして、そのまま店を出ることができるという体験をそのまま表したものだ。 こうしたスムースな買い物体験を支えるのがコンピュータービジョンやセンサー、深層学習といったテクノロジー。客が手にしたものを把握し、自動的に客のクレジットカードに課金する。 Amazonが新たに立ち上げた専用サイトによると、このシステムは数週間ほどで既存店舗に導入できるという。 ・アプリやアカ

近況報告です。4年7ヶ月勤続したQuipperを"退職"ります。 退職エントリですか？ これは退職報告ではありますが、一般的に期待されるような"退職エントリ"ではない気がしています。もう少しちゃんとしたやつは後ほど書くつもりです。 誰 @ohbarye です。"広島の粗大ごみ"と呼ばれることもあります。 在職中はRuby on Railsによるサーバサイド、React, TypeScriptによるフロントエンドを中心に学習サービスの開発をやってきました。長らくBtoC領域に携わっており、登録導線や決済システムやカスタマーサポート周りの開発・運用経験が長いです。また、必要に応じてスクラムマスターのような動きもした時もありました。 ここ2年半ほどは上記のような動きをしつつ、Engineering Managerとして組織設計・採用プロセス整備・評価制度策定・表出した組織課題への対応・会社主催の

The Software Development Kit Manager Meet SDKMAN! – your reliable companion for effortlessly managing multiple Software Development Kits on Unix systems. Imagine having different versions of SDKs and needing a stress-free way to switch between them. SDKMAN! steps in with its easy-to-use Command Line Interface (CLI) and API. Formerly known as GVM, the Groovy enVironment Manager, SDKMAN! draws inspi

Help us understand the problem. What are the problem?

本記事はこの記事の日本語訳です。翻訳許可をいただいております。 以下翻訳： もし Cocoa 開発やソフトウェアビジネスのブートストラップについての最新の記事を常にキャッチアップしたいなら、ぜひ Twitter で私をフォローするかメールリストを購読してください。 開発者として、パフォーマンスの良さは我々のユーザにワクワクと嬉しさを与えるのに評価しきれないほど貴重なものです。iOS ユーザの目は非常に高く、そのためもしあなたのアプリが動作がモサモサしたり、すぐにメモリプレッシャーでクラッシュしたりすると、彼らはあなたのアプリを削除するか、最悪悪いレビューまで残してしまうでしょう。 私はアップルに 6 年間を在籍し、その歳月を Cocoa フレームワークやファーストパーティーのアプリに費やしてきましいた。私が手掛けたものには Spotlight、iCloud、app extensions、そ

サービスメッシュを実現する「Istio 1.5」正式版が登場しました。注目すべき新機能の1つは、Istioの拡張やカスタマイズを行うための統合的な手段としてWebAssemblyが採用されたことです。 Istioが実現するサービスメッシュは、Kubernetes上のさまざまなサービス間のトラフィックの管理やルーティング、ロードバランシング、暗号化通信や認証サービス、モニタリングなどを実現します。 Istioの拡張手段をEnvoy上でのWebAssemblyによる実装で統一へ これまで、Istioの機能を拡張して外部ツールと連係させたり動作をカスタマイズするためには、Mixerプラグインを用いたポリシーやテレメトリのカスタマイズと、Istio内部で使われているプロキシであるEnvoyの拡張機能を利用したデータプレーンのカスタマイズという2つの手段が提供されてきました。 今回正式リリースされた

大切なご報告メルカリ／石黒です。日頃よりお世話になっている皆様にご報告です 5年3ヶ月、”Go Bold”に挑戦し続けたメルカリを退職します。メルカリでの挑戦は私の人生において最高の意思決定の一つでした 次の挑戦は、私達が生きる社会とその未来のために、自身のあらゆる可能性と向き合い、これから決めていく予定です 2014年に縁をいただき、2015年1月、60人ほどのメルカリに入社してから今日まで約2000日、HRを中心にあらゆることに、メルカリというフィールドで”Be Professional”にコミットし続けました。長いようで短かった、いや長かった、いや短かった… やってきたこと、思い出深い出来事 ［2015年］ OKR導入/リファラル採用/GitHub採用/オフィス移転/LinkedIn/Drink Meetup/シャッフルランチ/採用広報本格化/ソウゾウ立上げ/Schoo/Indeed

MOONGIFTはオープンソース・ソフトウェアを紹介するブログです。2021年07月16日で更新停止しました 開発者であっても図を描く機会は多いです。仕様書のようなドキュメントであったり、システム構成図の中に書いたりといった具合です。ドローソフトウェアを使ったり、スライド作成ソフトウェアを使ったりしまうが、操作やメンテナンスが面倒でストレスです。 そこで使ってみたいのがDiagramsです。開発者らしく、コードで図を描けます。 Diagramsの使い方 コードで書いた内容で図が書けます。 シンプルな例。 k8sなどの構成にも使えます。 GCP用。 DiagramsはAWS、GCP、k8s、AzureそしてAlibaba Cloud向けにアイコンが用意されています。これらのサービスを作ったシステム構成を考えた時に、Diagramsを使えばメンテナンスもしやすい図が描けます。 Diagrams

Copyright(c) 2019 Fujitsu Limited, 4-1-1 Kamikodanaka, Nakahara-ku, Kawasaki, 211-8588, Japan. All rights reserved. This product and related documentation are protected by copyright and distributed under licenses restricting their use, copying, distribution, and decompilation. No part of this product or related documentation may be reproduced in any form by any means without prior written authoriz

特に日本ではそうですが、多くのスタートアップでは、CEOが非技術系の共同創業者である傾向にあります。このポストでは「なぜそうなのか」や「この傾向が良いのか悪いのか」については論じません。これから書くことの背景として、そうした傾向があることを、まず共有しておきたいと思います。 技術系でないCEOは資金調達を担当することが多く、そのため、私たちが最初に会う共同創業メンバーも、そうしたCEOのことが多いです。そうした方とやり取りする中で、よく驚くのは、創業者CEOが、技術担当の共同創業者（または1人目のエンジニア）が過去にどのような仕事をしてきたのかについて、実はほとんど知らないことがあるということです。 そういったCEOはエンジニアリング担当のチームメイトの経歴を大まかには説明するでしょう。例えば「彼女はSIerのエンジニアだった」という具合です。でも、そのエンジニアが実際に何を作ったのか具体

テレワークや在宅勤務でのMicrosot Teamsへのお問い合わせを数多くいただいています。 Teamsの使い方を解説するマニュアルや1つの機能を1ページで解説するクイックガイド、オンラインイベントを開催するためのポイントを記したガイドブック、また、これらを動画で見られるビデオをご用意しておりますので、ご活用ください。 Teams クイックガイド (PDF: 12.6 MB)　https://aka.ms/TeamsQG_Japanese Teams 使い方マニュアル PC編  (PDF: 21.9 MB)　https://aka.ms/TeamsManual_PC_Japanese Teams 使い方マニュアル モバイル編 (PDF: 7.87 MB)　https://aka.ms/TeamsManual_Mobile_Japanese Teams 使い方ビデオ （クイックガイドと対応

この記事の目的 「Javaの環境構築」で絶対にハマったり、錯綜する情報にいつも惑わされる人に向けた記事です。 2017年以降のJavaは、移り変わりが激しい世界になりました。このことを認識し、「軸となる考え方」や「重要な動向」を把握できるように、調べた情報をまとめました。 「5年ぶりに(Java|JVM言語)触るんだけど環境周りが全然わからん」とか、「CorrettoとかAdoptOpenJDKとか、みんな何を言っているんだ」という人(つまりちょっと前の筆者)が、「今後に渡って２度とハマらないための基礎知識を得られること」を目的にしています。以下の３本立てです: ざっくりとした歴史 2020年におけるローカル開発環境構築 情報源と参考URL APIや言語仕様の変更点には触れません(他の良い記事があります)。 I. ざっくりとした歴史 2017年9月、OracleはJavaのリリース・モデル

以下に示すのは、開発者環境を設定し、Windows で Python を使用し、ファイル システム操作のスクリプト作成と自動化を開始するためのステップ バイ ステップ ガイドです。 Note この記事では、Python の便利なライブラリの一部を使用するように環境をセットアップする方法について説明します。これにより、ファイル システムの検索、インターネットへのアクセス、ファイルの種類の解析など、Windows 中心のアプローチからプラットフォーム間でタスクを自動化することができます。 Windows 固有の操作の場合は、Python 用の C 互換の外部関数ライブラリである ctypes、Windows レジストリ API を Python に公開する機能である winreg、Python から Windows ランタイム API にアクセスできるようにする Python/WinRT を確

ガートナー ジャパンは、2020年以降に向けたIT人材戦略に関する展望を発表。企業は、従来の常識にとらわれない斬新なIT人材戦略を導入することが求められると指摘しています。 同社は、優秀なIT人材の獲得がデジタルビジネスの推進を成功に導く最大の要因の1つとして認識されている中で、世界中でIT人材不足が深刻化。世界中の経営者がこの難題に頭を悩ませていると指摘。 そしてこのIT人材不足を背景に、企業にとって人材管理は、ビジネス戦略の実現に向けて改善すべき組織コンピテンシの第一位になっていることを示しました。 従来のスキルマップ上には、イノベーション人材は存在しない これまで多くの企業では、企業の将来に必要なスキルとそれを備えた人数を基に、人材調達や育成計画を行う「スキルベース」のIT人材戦略を推進してきました。しかし今後、デジタルビジネスイノベーションを推進していく上で、このやり方では人材育成

オーストラリアで、イヌを散歩させていた男性がお手柄。盗難車を乗り捨てて逃げていた容疑者をタックルで阻止し、警官を手助けした。警察は、名乗らないまま立ち去ったこの男性に感謝を伝えたいとして探している（映像のみ）。 オーストラリアで、イヌを散歩させていた男性がお手柄。 クイーンズランド警察が5日に公開した映像。容疑者は、盗んだ白のトヨタ・ハイラックスで逆走しながら逃げた。 途中で車を乗り捨て、走って逃げていたところを、イヌを散歩させていた男性がタックルで阻止。 イヌは、しっぽを振りながら応援。 容疑者は、後から来た警官に拘束された。 男性とイヌは名も告げずに去っていったが、警察は感謝を伝えたいとして探しているという。

週明け９日のニューヨーク株式市場は、取り引き開始直後から売り注文が殺到し、主要な株価指数の下落率が先週末に比べて７％を超えたため、日本時間の午後10時35分ごろ、売買が自動的に停止されました。 売買停止の目安は、上場している主要な500社の株価指数「Ｓ＆Ｐ500」の下落率で、 ▽７％を超えれば15分間の売買停止、 ▽13％を超えれば、さらに15分間、 ▽下落率が20％を超えれば、その日の残りの取り引きはすべて停止されます。

日本通運がアクセンチュアやインテル日本法人と組み、ブロックチェーンを活用した輸送網の整備に乗り出すことが、日本経済新聞の報道によって明らかになった。 日本通運は、まず医薬品を対象に、2021年にブロックチェーンネットワークの構築を目指していて、最大1千億円を投資するとのことだ。 目的は、欧米や日本で、医薬品の適正な流通基準の導入が広がっていることに対応するため。ブロックチェーンネットワークを構築して、原料や製品の輸出入から医療機関への納入までの過程をリアルタイムで追跡し、メーカー、卸、医療機関などと共同で利用できるプラットフォームにしていく。 具体的には、医薬品にRFIDタグを貼り、輸送用の箱には周囲の温度や位置情報を読み取るセンサーを取り付け、工場や製薬会社、倉庫、トラックなどにタグとセンサーの情報を吸い上げる専用機器を設置し、商品が各拠点を通過する際にデータを自動で取得し、それをブロッ

新型コロナウイルス感染症やコロナワクチンについては、必ず1次情報として厚生労働省や首相官邸のウェブサイトなど公的機関で発表されている発生状況やQ&A、相談窓口の情報もご確認ください。※非常時のため、すべての関連記事に本注意書きを一時的に出しています。 2020年3月8日 国立国際医療研究センター　国際感染症センター　忽那賢志 感染症総合情報誌J-IDEOでは、本誌号外として国立国際医療研究センターの忽那賢志先生による「総説　新型コロナウイルス感染症（COVID-19）」を先行公開致します。忽那先生に現時点における最新知見をまとめて頂きました。 【3月10日更新】 本文中および文献リストの文献番号をクリックすることで、PubMed等の原著論文情報にアクセス出来るようになりました（一部文献は非対応）。 ポイント ・新型コロナウイルス感染症（COVID-19）はSARS-CoV-2による呼吸器感

探偵って何なの、推理って何なの。 その答えをずーっと求め続けているのが、ミステリという界隈なのだと思う。 多重解決、ってのが流行ったことがあった。 ひとつの事件から複数の探偵が複数の真相を引き出す。 新たな証拠によって前の推理が否定され、新しい推理が発表される。 でもそれも次の証拠によって覆される。 そしたら真相ってのは何なんだ。どうしたらそれが真相とわかるのだ。 その本の中でたまたま最後に発表された推理が正解となるのか。 それだって次の証拠が出たら覆るかもしれないじゃないか。 本格推理には「読者への挑戦」がないと成り立たないという人もいる。 要するにミステリは作者と読者の戦いで、フェアな戦いにはルールが必要なのだ。 読者への挑戦はそれを保証する。 或る頁において、ここまでに集めた証拠で謎は解けますよ、これ以上の証拠は出ませんよと宣言するのだ。 でもそんな作者と読者の戦いに巻き込まれる作中