Tagged Type というテクニックがある（TypeScript界隈などではBranded Typeと呼ばれているようだ）。実行時の型としては同じだが、型システム上はこれを区別して別物として扱い、混同できなくする仕組みを作るためのものだ。 AIくん！サムネイラスト作って！と頼んで作ってもらった画像 Tagged Type 単位の取り違えによる事故は後を絶たない。世の中には、キログラムとポンドを混同して飛行機があわや墜落しかけたり、メートルとヤードを混同して人工衛星がどっかに行ったりしている。尊い人命や国民の血税と比べるといささか霞むかもしれないが、ユーザIDとペイロードを間違えて送信したり、金額と口座番号を取り違えて送金したり、秘密鍵と公開鍵を間違えて表示したりしてしまえば、プログラマが大変な苦労をするか、会社そのものが傾くだろう。 しかしながら、データとしてはどちらも同じDouble

光景 (Koukei) ------------------------------ EN Credits. ▶Music Song by Hiro Shinosawa (VA. Reina Kawamura) Lyric written, Composed, Arranged by Hakushi Hasegawa ARRANGEMENTS, PROGRAM & KEY : Hakushi Hasegawa STRINGS AND HORN ARRANGEMENTS : Arthur Verocai VIOLINS : Ana de Oliveira / Angélica Alves / Caroline Santa Rosa / Clóvis Pereira Filho / Daniel Passuni / Gabriela Queiroz / Joyce Veiga / Luis

もうとっくに春と呼べるような気候が過ぎ去り、もりもりと緑が深みを増していく初夏の京都において、ゴールデンウィークの人いきれを回避しつつ悠長な昼下がりを過ごす方法はこの世に存在しないとされており、自分も例には漏れず、ラーメンを食べたついでに人に揉まれながら繁華街をうろついていると、家に生けてあった薔薇が褪せてしまっているのを思い出し、最初に見付けた花屋に巡礼してなんか見繕って帰ることにした。 おれはそんなに花に詳しいわけではないので、適当にその季節の旬みたいなやつを適当に二本、加えてグリーン要素を二本程度買って帰るのがお決まりだ。今回は白い芍薬と赤い薔薇を買って帰ることにした。カード会社の承認が降りるまでの宙ぶらりんな時間を、都会の花屋はどこででもクレジット・カードが使えていいな、歩いて行ける距離に花屋があるのはいいな、などと思って過ごしていた。 両手に花なんて言葉があるが、今のおれは花より

Next.js 型安全なルーティングを使う 2024.04.28 Next.js では実験的な機能として、型安全なルーティングを利用できます。この機能を使うことでリンク先のパス名を静的に検査できるため、typo などのエラーを事前に防ぐことができます。 この記事における「型安全」とは、静的な型検査によりランタイムで起こり得るエラーを事前に検知することを指します。 Next.js では Next.js 13.2　より実験的な機能として、型安全なルーティングを利用できます。この機能を使うことでリンク先のパス名を静的に検査できるため、typo などのエラーを事前に防ぐことができます。 なお、型安全なルーティングを利用するためには App Router と TypeScript を使用している必要があります。 型安全なルーティングの利用方法 型安全なルーティングを有効にするためには、experim

時間のない人向け はじめに 結果どうだった？ 作業環境 周辺環境 食事環境 香雅 珈香和ｃｏｃｏｗａ Tearoom Ciffon 参考 その他感想など 生活リズム 気になったところ・注意した方が良いところ まとめ 時間のない人向け Otellを使って4泊5日のワーケーションに行ってきた ワーケーションに適した作業環境がきちんと揃っていた 温泉や周辺の自然でリフレッシュできた 食事には少し困るが事前に調べてから行けば問題ない また他の場所にも行ってみたい はじめに 去年9月に現職に転職した後3月に大きめのリリースを終えて、ゆっくりと気分転換をしたくなり、4月中旬に以前から気になっていたワーケーションに行ってきました！ 重要視していたのはこの辺 ネットワーク環境の良いところ 1週間くらいは泊まりたい 東京から遠すぎない場所（3時間以上はかけたくない） 温泉に入りたい...！ ということで自分

呪文よ世界を覆せ ニコ・ニコルソン 相方だけがブレイクした売れないお笑い芸人・虎屋戸太郎は、彼女と住処をいっぺんに失ったどん底の日に、人懐っこく話しかけてくる不思議な女性・多悠多に出会う。彼女と、彼女が愛してやまない「短歌」に触れたとき、戸太郎の運命は変わり始める！　３１文字の“呪文”が世界を変える、短歌コメディー！

こんにちは。 ニフクラエンジニアミートアップ事務局の鮫島です。 2024年3月21日（木）に第70回ニフクラエンジニアミートアップを開催しました。 「さよならニフクラ　最終回だからニフクラの中の人が話します」という衝撃のお題ですが、これまで登壇してくれたニフクラの中の人を呼んで「ニフクラエンジニアミートアップ」を振り返りつつ、これからのクラウドの技術についてお話を伺う内容でした。 fujitsufjct.connpass.com 70回記念！数字で振り返るニフクラエンジニアミートアップ ニフクラを運営する、富士通クラウドテクノロジーズ社の富士通株式会社との合併に伴い、ニフクラは2024年4月1日からは富士通で販売する「FJcloud-V」として 再スタートを切ることになりましたので、「ニフクラ」を冠したエンジニアミートアップは今回が最後になりましたので、過去69回のエンジニアミートアップの

株式会社はてな（代表取締役社長：栗栖義臣／本社所在地：京都市中京区）は、株式会社集英社（以下「集英社」）が提供するマンガ誌アプリ「少年ジャンプ＋」に当社開発のマンガビューワ「GigaViewer for Apps」の提供を開始したことをお知らせします。 当社では、2017年より「少年ジャンプ＋」ブラウザ版に「GigaViewer for Web」を提供してまいりました（※）。このたび、ブラウザ版に続き、ダウンロード数2,700万を超える「少年ジャンプ＋」iOS版/Android版アプリでも当社ビューワを採用いただいたことで、集英社と共に「少年ジャンプ＋」ブランド全体の成長を目指してまいります。 ▽ 「少年ジャンプ＋」について https://shonenjumpplus.com/ 「少年ジャンプ＋」は、集英社の「少年ジャンプ＋編集部」が運営するマンガサービスです。ブラウザ版とアプリ版で展開

先日、博士（情報学）になりました。学部と大学院をあわせた 9 年間で読んだ情報科学関連の教科書・専門書を思い出を振り返りつつここにまとめます。私は授業はあまり聞かずに独学するタイプだったので、ここに挙げた書籍を通読すれば、大学に通わなくてもおおよそ情報学博士ほどの知識は身につくものと思われます。ただし、特に大学院で重要となる論文を読み書きすることについては本稿には含めておりません。それらについては論文読みの日課についてや論文の書き方などを参考にしてください。 joisino.hatenablog.com 凡例：（半端）とは、数章だけ読んだ場合か、最後まで読んだものの理解が浅く、今となっては薄ぼんやりとしか覚えていないことを指します。☆は特におすすめなことを表します。 学部一年 寺田 文行『線形代数 増訂版』 黒田 成俊『微分積分』 河野 敬雄『確率概論』 東京大学教養学部統計学教室『統計学

\ ﾋﾟﾛｯ♪ / 差出人：金輪財雑魚 宛　先： 件　名：撮影のご依頼 新しい記事の下書きが完成しましたわ。 それに伴い、撮影のご協力をお願いしたくお連絡させて頂きました。 お忙しい事とは存じ上げますが、ご検討いただけますと幸いです。 何かご質問やご要望がございましたら、どうぞお申し付けくださいませ。 また、分かりやすさの為、簡易的な画像生成を用いてバーグハンバーグバーグ社員皆様の絵コンテの様な物をご用意させて頂きましたので、添付先の記事をご確認いただけると幸いです。 こちら、表情や構図のご参考にして下さい。 （バーグ社員皆様の絵コンテ以外要素には、一切AIを使用してません。） 何卒、よろしくお願いします。 ≪添付された記事へ≫

個人の内発的動機で駆動される社会、『個人主義ユートピア』 p-shirokuma.hatenadiary.com amamako.hateblo.jp ↑の辺りを読んで。 かつて00年代の2chやニコニコ動画において存在した、金にならないからこそ発生した平等意識。それを私は「個人主義ユートピア」と呼んでいます。同様の個人主義ユートピアは、00年代はてなダイアリーやプロ化以前のゲーセンにもありました*1。 ニコ動にあってyoutubeにはないもの。はてなにあってnoteにはないもの。ゲーセンにあってe-sportsにはないもの。それが個人主義ユートピアです。 これら個人主義ユートピアを成立させるために肝要なのは、「金と権威」をコミュニティから取り除くことです。金と権威が得られるとわかるや否や、それ目当てのハイエナどもがコミュニティに群がってくる。ここはてなでも10年代初頭にアフィリエイトブロ

JaSST Tokyo 2024 にて発表した資料です。 #JaSST #テスト自動化 #自動テスト #TestAutomation

ビットコインの生みの親を巡る訴訟 暗号資産（仮想通貨）ビットコイン（BTC）の生みの親であるサトシ・ナカモトの260通に及ぶEメールが、ビットコイン初期開発者であり貢献者でもあるマルティ・マルミ氏によって、23日に公開された。 My email correspondence with Satoshi in 2009-2011: https://t.co/jyoX8gXckp — Martti Malmi (@marttimalmi) February 23, 2024 これらのメールは、　仮想通貨企業による非営利団体「仮想通貨オープン特許同盟」（COPA=Cryptocurrency Open Patent Alliance）が、ビットコインのホワイトペーパーの著作権が自分にあると主張するクレイグ・ライト氏に対し提起した訴訟の一環として公開された。 マルミ氏は、個人的なメールのやり取りを共

好きな制限プレイ動画がある。 仮に作者をAさんとする。 何十周とは言わないが、合計20本くらいあるAさんのそのシリーズの動画を5、6回は見てきたと思う。 動画はシンプルで過度な編集はなく、作中入れられる解説の文体も端的でわかりやすい。派手さはないが落ち着いていて、本当に気に入っていた。 このシリーズは仲間の名前をプレイヤーが決められるのだが、ネーミングセンスも知的さとユーモアに溢れていて、動画のどこを拾い上げても作者の知性の高さを感じられた。 Aさんは私が未プレイのゲームの制限動画も投稿していたが、「Aさんだから」と視聴しにいくくらいには、自分はAさんという投稿者が好きだった。 思いだしたので最近またAさんの動画を見返していたところ《同じジャンルの別シリーズを、同じ制限プレイでクリアする》という動画がおすすめで出てきた。 あの作者だろうかと期待してリンクを開いたら、どうやら別人のようだ。

海外人気アニメ『RWBY』で知られるスタジオ・Rooster Teethの閉鎖が決定。親会社・ワーナーの決定を社内向けメールで告知、海外報道を経てファンの間でも動揺の声が広まる 多国籍メディア企業のワーナー・ブラザース・ディスカバリーは3月7日（木）、3DCGアニメ『RWBY』シリーズで知られる子会社・Rooster Teethの閉鎖決定を従業員向けに発表した。VarietyやDeadlineをはじめとする海外メディアが本トピックを報じている。 2003年に設立されたRooster Teethは、童話をモチーフにした少女たちと人類を脅かす脅威の戦いを描く代表作『RWBY』や、一人称視点シューティングゲーム『Halo』をもとにしたOAV作品『Red vs. Blue』など、CGアニメーションをはじめとした先駆的なデジタルコンテンツのスタジオである。 海外報道によると、事業終了に関する今回の発

Elmアプリケーションで比較的モジュール多めなアプリケーションの機能開発をするときに同僚とトライしている手法について。 言語的なElmのテクニックみたいな話ではなく、どちらかといえばもっと抽象的なハナシ。 1. 画面からざっくりとモジュールを見つけ出す 基本的に新しく機能を設計するときには画面設計みたいなものがデザインレベルで上がってきているはずなので、それを元に画面を構成するモジュールを分解する。この時点では画面ベースでやる。 自分がエンジニアHubで寄稿したElm記事でも、まずは画面をベースにして主要なモジュールを見つけ出している。 2. モジュールを分類する 見つけ出したElmのモジュールを"TEAなモジュール"と"そうでないモジュール"で分類する。依存関係も見つける。 "TEAなモジュール"とはMsg型とupdate関数を持つTEA的なライフサイクルに乗るモジュール。"そうでないモ

タイトルの通りですが、悪性黒色腫という皮膚がんです。かかとにできました。がんはもう少し遠い存在だと思っていたけど、思いの外近くにいるもんだなと。2 - 3 人に 1 人はがんになると言われている時代なのでまあそうか。そんなもんかとも思う。 手術は来週。全身麻酔なので気づいたら終わっているのだろう。 そもそも 2023 年は心身共に不調な一年で、12 月には救急車で運ばれていたりもした。これは結果的には食中毒 (O126) だったんだけど、基本的に三食同じものを食べている夫の身には特に何もなかったので、夫には「落ちてるものは食べたらだめだよ」と言われた。後日、兄からも同じことを言われた。食べてないけど💢 先月、食洗機が壊れたので買うためにビッカメに行ったら、食洗機見る前にビッカメで救急車を呼ぶことになっちゃって、帰宅後に試しに食洗機回したら動き出しちゃったので結局買い替えてない。食洗機がわ

SaaS をアーキテクトをするにあたって、どのような事を考えればよいのか？をまとめました。

はじめに この投稿はポエムです。 技術的な記事を期待してる人はブラウザバックお願いします！ なおこの文書は諸々の理由により、一部ぼかしたところがありますがご容赦ください。 TL;DR 有名になった方法論は、目的が忘れられて、手段だけ広がることがある 手段が「守らねばならぬルール」になって目的を達成できないことがよくある 何か手法を取り入れるときは手段が目的化してないか気をつけねば 本文 先日、勉強会にて、とあるベンチャー企業の営業職の方とちょっと話す機会がありました。 その方は最近営業チームのマネージャーになられたとのことで、組織設計のお話をされまして「The Model的に営業のプロセスを細かく分割し、分業を進めて、KPIで成果を追えるようにした。現在は分業のメリットを感じている」 「The Model は The Goal を参考にしているとのことなので、ソフトウェアエンジニアの人も使