2019年東京大学法学部在学中、司法試験予備試験合格。2020年同大学在学中、司法試験合格。2022年弁護士登録（第二東京弁護士会所属）、同年法律事務所ZeLo参画。主な取扱分野は、ベンチャー・スタートアップ法務、ジェネラル・コーポレート、パブリック・アフェアーズなど。 電子決済手段の定義・位置づけとデジタルトークンの法的分類 「電子決済手段」の定義 2022年6月3日資金決済法の改正で、「電子決済手段」という概念が定義され、いわゆるステーブルコインの規制が定められました。 デジタル・分散型金融への対応のあり方等に関する研究会が公表した「中間論点整理」（2021年11月17日）[1] によると、「ステーブルコイン」に明確な定義は存在しないものの、一般的には「特定の資産と関連して価値の安定を目的とするデジタルアセットで分散台帳技術（又はこれと類似の技術）を用いているもの」をいうことが示されて

「悪役令嬢を探して」第1回：「乙女ゲームの悪役令嬢」は実在するのか？　90年代乙女ゲームから悪役令嬢を見出してみよう ライター：向江駿佑 近年人気を集める「悪役令嬢」もの。だが，そのイメージソースとされる「乙女ゲームの悪役令嬢」の存在については，これまで幾度となく疑義が呈されてきた。では，本当に乙女ゲームに悪役令嬢は存在しないのだろうか？ 今回4Gamerでは，ゲーム研究者・向江駿佑氏に依頼し，乙女ゲームの中に見出せる「悪役令嬢」の歴史を，全3回にわたって編纂してもらうこととした。第1回は90年代，第2回は00年代，第3回では10年代〜を取り扱う予定だ。「アンジェリーク」以降無数にリリースされてきた作品群の中にある悪役令嬢たちの輝きを，ぜひ読者諸氏にも確認してほしい。 2024年3月にNintendo Switch用ソフト「悪役令嬢は隣国の王太子に溺愛される」（オペラハウス）が発売されるな

前回このコラムで取り上げた、岡山県精神科医療センターにおけるランサムウェア事案調査報告書には大きな反響がありました。前回の記事は、ぜひこのレポートを読んでほしいということに注力した内容としましたが、皆さん読んでいただけたでしょうか。このインシデントを「人災だ」とし、非常に鋭い内容のレポートに仕上がっているため、タイトルだけでなく全文をしっかり読んでもらいたいと思っていました。 個人的に最も重要だと思ったのは、「閉域網」神話への妄信が続いている現状に対する警鐘です。このインシデントの初期侵入は、恐らく保守向けに設置されていたSSL-VPN装置ではないかと考えられています。報告書によると、システム内に設置された医療機器をはじめ、そのほとんどが境界防御を前提とした「閉域網」というセキュリティ施策を取り入れていたとされています。 同レポートでは、医療業界のインシデントを解説していますので、医療業界

NTTは2月19日、計算機科学の未解決問題を解決したと発表した。同社が解決したのは、著名なデータ構造として知られる「二分決定グラフ」に関する未解決問題。今回示した理論は、計算機科学の著名な教科書にあった記述の誤りを指摘しており、研究チームの修正案が承諾され、内容が改訂されるという。 二分決定グラフとは、集合のあつまりである「集合族」を表現するデータ構造だ。例えば、集合｛1, 2｝と集合｛2, 3｝からなる集合族は、｛｛1, 2｝,｛2, 3｝｝と表現できる。集合族は汎用性が高く、さまざまなデータ構造を表現する際に使われる。その例には、ある地点から別の地点までの移動経路の組合せや、同時に利用可能なクーポンの組合せなどがある。 ネットワークの通信パターンを表現する集合族、二分決定グラフの例　図では16個の通信パターンを16個の集合からなる集合族で表現し、それを11個のノード（節点）を結ぶ線から

補足: 2025/02/25 本記事でほとんど紹介されなかった「Stateパターン」を含めて再構成した記事を公開しましたので、今後は下記の記事をご覧ください。 kosui.me 補足: 2025/02/21 クラスベースでも、Stateパターンを適用し、StateをDiscriminated Unionとして表現することで今回の問題を解決できます。つまり、クラスを利用することに問題があるわけではありません。この記事では、TypeScriptではあえてクラスを利用しなくても状態遷移を表現できることを紹介します。記事を一部修正し、Stateパターンをクラスによって実現する方法を追記しています。 背景 サーバサイド実装での状態管理の重要性 サーバサイドのビジネスロジックでは、エンティティ（注文、決済、在庫、タクシー配車リクエストなど）が複数の状態を行き来しながら進行します。 たとえば、タクシー配

C言語にはbitfieldという機能がありますが、この機能にはさまざまな落とし穴があり、注意深く利用しても予期せぬバグや移植性の問題を引き起こす可能性があるとよく言われています。 実際、jpcertを確認すると複数の勧告が出ています。 EXP11-C. ビットフィールド構造体のレイアウトについて勝手な想定をしない INT12-C. 式中で使用される単なるintのビットフィールドの型について勝手な想定をしない CON32-C. 複数スレッドによる隣接データへのアクセスが必要な場合データ競合を防止する DCL39-C. 信頼境界を越えて構造体を渡すとき情報漏えいしない 私は先輩技術者から「とくに組み込みの分野においてC言語のbitfieldは使うべきではない」と教わって生きてきました。 本記事ではbitfieldの仕様や問題点、なぜ仕様を避けるべきか、緩和策や代替案について検討します。 目次

ためし読み ためし読み - ノンフィクション NHK朝ドラ『虎に翼』で法に関心を持った人にも:『法とは何か』試し読み 長谷部恭男 2024.08.02 なぜ法に従うのか。自分の問題として法をとらえ、より善く生きる道を問うにはどうすればいいのか。法はどうあるべきなのかーー。NHK朝ドラ『虎に翼』であったり、身近な出来事であったりをきっかけに、法の在り方に関心を持ちはじめた方にお勧めしたい、入門書のロングセラーの新装版が刊行されました。 「過去の思想は意識されることもなく、現に生きている人々の思考を捉え、束縛しているものです。」 これを機に加筆された「あとがき」を公開いたします。 ＝＝＝↓あとがきはこちらから↓＝＝＝ 「法とは何か」 長谷部恭男 本書は法とはどのような役割を果たすものか、そのために法はどのような特質を備えているべきか、また法はどのような内容を持つべきか、そしてどのような手続で制

ぼくはAmazonのシアトル本社でセールの機能を開発している。Amazonでお買い物をしていると「30%引き」や「20%オフ」のようなディスカウントを発見して喜んでくださっている方もいると思うけれど、あのディスカウントを提供する仕組み自体が一つの大きなプロダクト（システムと言ってもいいかな）になっている。そしてそれを支えるためにシアトル、バンクーバー、ベルリン、バンガロールにまたがるグローバルなチームによって開発・管理している。 そんなわけでぼくはPM (プロダクト・マネージャー) として日々セール機能に関するプロジェクトを回している。たくさんの刺激的で興味深いプロジェクトに恵まれてきたわけだけど、その中で一つとても記憶に残るプロジェクトがあった。 それは「定期おトク便」に関するものだ。定期おトク便というのは、平たくいうと日頃からリピートして買う商品（例えば飲料水や洗剤のような日用品）につ

こんにちは、こんばんは、kitakkunです。 Gradleビルドスクリプトの共通化・外部化する際、Composite Build という仕組みを活用して Convention Plugin を実装することが一般的になってきました。 しかし、現在広く使われている org.gradle.api.Plugin を実装する手法には、いくつか欠点があります。 ボイラープレートが増える。 settings.gradle.kts の共通化が難しい。 本記事では、ktsファイル を使ってより効率的かつ柔軟に Convention Plugin を構成する手法を紹介します。 従来の方法 説明上、簡単なものの方が好ましいと思うので、適用時に "Hello, convention plugin!" と出すだけのものを作ります。 gradle-conventions モジュールの作成 まず、Convention

はじめに　2024年12月27日、アメリカ合衆国・日本・ニュージーランド合作のアニメ映画『ロード・オブ・ザ・リング ローハンの戦い』（以下、『ローハンの戦い』と略記。原題はThe Lord of the Rings: The War of the Rohirrim）が日本で封切られた。本作は神山健治を監督に迎え、2年6か月の歳月をかけて大部分が手描きアニメーションのスタイルで制作された作品であり、ピーター・ジャクソンの監督作である『ロード・オブ・ザ・リング』映画三部作（2001～2003年）の前史を描き出している。本作はJ. R. R. トールキンの原作『指輪物語』の「追補編」（Appendices）に含まれている槌手ついしゅ王ヘルム（Helm Hammerhand）に関する記述を下敷きとして、原作では固有の名前が与えられていないヘルム王の娘を主人公に据えるという挑戦的な二次創作を敢行した

TRAVEL 2023.12.30 老舗と新店が入り交じる東東京の中でも、緑豊かで静けさが心地よい清澄白河。そんな空気と相まって“コーヒータウン”として人気を博したが、近年では“クラフトマンシップ”を感じるお店が続々登場し、オールデイの散策が楽しい街に。TOWN&CITY GUIDEでは、清澄白河でワインバー〈que c'est beau/ガゼボ〉を営む新宮未奈さんにおすすめのお店を紹介してもらいます。 今回は、レンタサイクルで清澄白河の雑貨店を巡るコースをご紹介。

はじめに 型安全性と拡張性の両立 宣言マージの活用 宣言マージとは？ 宣言マージを使ってメッセージの型を拡張する 型エイリアスと Generics を使った方法との比較 宣言マージを使うことで実装と型の整合性を担保しやすくなる MUI での宣言マージの活用事例 注意点 VS Code 上の型チェックの表示が tsc の型チェックの結果と異なる場合がある ライブラリ側が空の interface のままだと困ることがある なぜ react-redux ではこのアプローチをやめたのか？ まとめ interface の宣言マージを活用することで はじめに こんにちは！Element チームでフロントエンドを担当している all-user です。 Elementチームとは、テックタッチのプロダクト開発の中でも主にDOMとのインタラクション周りの開発を担当しているチームで、Shadow DOM や i

失踪した糸柳から遺書が届いて、それからしばらくして警察から連絡が来たらしい。死ぬ前の彼とは疎遠になっていたのでその時期のことは伝聞でしか知らなかったが、色々と（そして過去の彼の行動とはまた違った形で）顰蹙を買っていたとよく聞いていた。 死ぬ何年か前の彼は誰から見てもおかしくなっていると言えるような状態で、仕事も上手くいってなかったと話していた。ドワンゴ時代の成功体験と山の話とRubyコミッターの話をしていたが、何回も何回も同じ話をしていた。彼のコミュニケーションの方法は彼の得意な話題に変更し、そして彼の長いターンが始まり、その後こちらが一言入れるというものだが、それにしてもこちらの話を聞いているというポーズすら晩年は取らなくなっていた。彼のそのスタイルが通用するのは彼を知っている人間に対してであり、何も知らない若者からすると典型的な老害のように写っただろう。実際にそう言われている場面を何度

｢鏡像細胞｣のリスクが明らかになるにつれ、アダマラは自身の研究室でその製造に取り組むことをやめた。この研究には複数年にわたって助成金が投じられており、それが期限切れとなったが、彼女は更新申請を行わないことにした。 現在、アダマラと他の37人の研究者は、他の科学者たちにも同様の行動を取るよう呼びかけている。 論文には、｢当初、我々は鏡像細菌が重大なリスクをもたらすのかどうか、懐疑的だったが、次第に深刻な懸念を抱くようになった｣と記されている。 ｢鏡像生命｣とは何か？ 鏡像生物学とは、地球上の生命が従う基本的なルールである｢キラリティ｣の反転について研究する生物学だ。 キラリティとは、分子（糖やアミノ酸など）が右型あるいは左型のいずれかを指向するという性質のことを言う。 生命を構成する各分子には1つのキラル形態しか存在しない。例えば、DNAの骨格を形成する際に使われる糖は右型であるため、DNA

今年、私の勤めていた日系の会社で米国子会社を閉じることになり、私も含め従業員全員レイオフになりました。その際に、過去にレイオフされた方々のブログが非常に参考になったため、自分でも記録を残しておこうと思い、久しぶりにブログを書くことにしました。 米国におけるレイオフに関しては先人の記事が多くありますが、会社がなくなるタイプのレイオフや、小規模な会社におけるレイオフの情報はまとまったものを見かけなかったため、本記事では主にそこに注力します。 （幸い転職活動は終了しました。本当に多くの方々に助けていただき感謝しております。） 通常のレイオフとの違い元の会社が存続する一般的なレイオフと会社がなくなるタイプのレイオフではいくつか異なる点があります。その中でも最も影響の大きな違いは健康保険と401k（確定拠出年金的なもの）の扱いです。 今回は特に保険周りでできる限り準備をしたにも関わらずひどい目にあっ

「スケマティック〈schematic〉」という形容詞の使い方を説明します。 内容： 代数構造 スケマティック系 スケマティックな構造達 代数構造 典型的な代数構造である群を考えてみると、群は単位元、逆元（を対応させる写像）、二項演算〈乗法〉を持ちます。群の台集合〈underlying set〉を $`A`$ として、群の構成素を並べると： $`\quad e \in A\\ \quad i :A \to A\\ \quad m :A\times A \to A `$ 単位元は、特定された単元集合 $`\mathbf{1}`$ からの写像だとみなせるので、次のようにも書けます。 $`\quad e : \mathbf{1} \to A`$ 3つの演算〈写像 | 関数〉をまとめて $`\mathrm{op}`$ と書いて、群の構成素達を次の形にします。 $`\quad \mathrm{op}_