バリデーション解体新書 2025/4/8に開催した #アーキ部 『バリデーション解体新書』の内容を編集したものです。 バリデーションとは何か? 広義には、 何らかの処理を実施するにあたって、入力データが想定する条件を満たすかを検証する行為 と言える。 この定義で、アプリケーションのどこでバリデーションをしているのかを考えると、以下のように各層にそれが見られる。 このように実装される場所が散らばるので、「バリデーション」や「入力チェック」を分類して開発ガイドラインを作ることが多い。 例えば、大規模Java開発向けのTERASOLUNA開発ガイドラインを見てみると、 ユーザーが入力した値が不正かどうかを検証することは必須である。 入力値の検証は大きく分けて、 1. 長さや形式など、文脈によらず入力値だけを見て、それが妥当かどうかを判定できる検証 2. システムの状態によって入力値が妥当かどうか

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? はじめに 背景と目的 最近MCPという言葉をよく聞きます。皆さんが分かりやすい記事を出してくださっているものの、実際にMCPで何ができるのか、ドキュメントだけだとイメージが掴みきれなかったので、とりあえず簡単なデモを作って理解を深めようと思い立ちました。 テーマはなんでも良かったのですが、意外と時間が割かれる飲み会セッティングに着目し、この一連の流れを自動化する『飲み会番長』をClaude Desktopで実装してみました。 MCPとは何か (Model Context Protocol) MCPとは、AIアシスタントとあらゆるデータソ

Stephanie Arnett/MIT Technology Review | rawpixel, Adobe Stock Anthropic can now track the bizarre inner workings of a large language model 大規模言語モデルは内部で 何をやっているのか？ 覗いて分かった奇妙な回路 Claude（クロード）の開発元であるアンソロピック（Anthropic）は、大規模言語モデルがどのように返答を作り出しているのか、その動作の一端を解明した。その結果は人間の直感に反する、意外なものだった。 by Will Douglas Heaven2025.04.11 33 この記事の3つのポイント アンソロピックは「回路追跡」技術を使い、LLMの内部動作を可視化した LLMは独自の計算法を使い、詩の結末を先に決め、言語の違いを超えて思考

桜が散りはじめ、満員電車でじっとりと汗をかき、ヒートテックがお役御免になり、さすがに春が来ている。なので今日は白いプリーツスカートを履いた。そしたら、職場の人に褒められた。1日で、2度も。二人から。しかも全く話したことがない人から…… 嬉しい〜〜〜〜 嬉しすぎて筆を執ってしまった。 このスカートを買ったのは、就職が決まり、会社に着ていく緩めのオフィスカジュアルというものがなさすぎて急ぎユニクロを回った時だった。ファッションにうとく、適正なサイズを選ぶことすら難しかった私が無難そうという理由で選んだスカートは、はじめはわりと活躍していた。月日が経つにつれファッションに興味が出てきて、そのうちシルエットや丈感、好みがジャストではなくなり、鏡を見ては違和感があるような気がして、この頃は出番が減っていたのだが。 そんな中、この打率。「お似合いですね」とまで言わしめた。似合う……のか、このスカート…

TOPICS 発行年月日 2025年05月 PRINT LENGTH 296 ISBN 978-4-8144-0105-5 原書 Communication Patterns FORMAT Print 優れたアイデアやデザインがあっても、それだけではソフトウェアプロジェクトを成功させることはできません。プロジェクトを円滑に進めるためには、ステークホルダーの理解と支持を得て、チームが協力できる環境を作ることが重要です。本書では、そのために不可欠で効果的なコミュニケーションの方法を解説します。具体的な例やパターンを通じて、適切にメッセージを伝えるためのドキュメントや図の作成方法を紹介します。 まず、ソフトウェアアーキテクチャの視覚表現を活用し、受け手にわかりやすくメッセージを伝える方法を解説します。次に、書面・口頭・非言語コミュニケーションの技法を用いて、相手に意図が正しく伝わるように工夫する

2025年4月28日紙版発売 hikalium　著 A5判／552ページ 定価3,520円（本体3,200円＋税10%） ISBN 978-4-297-14859-1 Gihyo Direct Amazon 楽天ブックス 丸善ジュンク堂書店 ヨドバシ.com 電子版 Amazon Kindle この本の概要 Webサイトの閲覧をはじめとして，コンピューターはさまざまな場面でみなさんの日常と密接にかかわっています。しかし，その裏側で起きていることを理解するのは，現代の複雑なコンピューターシステムの上では困難です。そこで本書では，シンプルなOSをRustを用いて実装し，普段は見えないOSの役割とその動作を理解していきます。Ⅰ巻ではメモリ管理，マルクタスク，ハードウェア制御に関する部分を実装し，Ⅱ巻ではユーザーインタフェース，アプリケーション実行，インターネットへの接続に関する部分を実装します。

他にもIPv4で個別に規定されたアドレス帯や、IPv6でも個別に規定されたアドレス帯がありますが本コラムでは省略します。 MACアドレスの考え方 MACアドレスは、ネットワークインターフェースを識別するために使用される識別子で、Ethernetでは48ビットで表現され、前半32bitがベンダーID、次の8bitが機器ID、最後の16bitがシリアルIDとなることが一般的ですが、例外もあります。過去にはすべての機器が一意に識別されるという説明もありましたが、現在ではこれも例外があります。ネットワークインターフェースごとにMACアドレスを持つため、複数のMACアドレスを持つ機器もあります。 同一ネットワークの通信の仕組み では、IPアドレスとMACアドレスを利用してどのように通信を行うかをおさらいしていきます。 同一ネットワークを192.168.0.0/24として送信元192.168.0.1と

こんにちは！タレントマネジメントプロダクト開発本部の horiyu です。 SmartHRではChat GPT Plus/Proの利用やGemini・NotebookLMの活用などさまざまなAIの取り組みを行っています。 本記事では、開発チームが使用するエディタを Visual Studio Code（VS Code）から AI関連の機能が標準搭載されているCursorへ移行した体験と、その過程で得られた予想以上の効果についてご紹介します。 特に、Cursor RulesやModel Context Protocol（MCP）といったAI支援機能が、日々のキャッチアップやコードレビュー、エラー対応にどのように貢献しているのかを中心に解説します。 VS CodeからCursorへのスムーズな移行 エディタの乗り換えは一般に時間がかかるものですが、今回の移行は非常にスムーズに進みました。 その

クライアントと交渉する、関係者の意見を取りまとめるーー。そんな場面で求められるのが議論のスキルです。食い違った主張をうまく着地させたり、認識のズレを解きほぐしたりするために有効なアクションとはなんなのでしょうか。 それをお伺いしたのが、お笑い芸人として、また現役の弁護士として活躍中のこたけ正義感さん。先日開催し大きな話題を呼んだライブ『弁論』でも、夫婦喧嘩のエピソードを用いながら「争点の整理」「事実と感情の区分け」といった議論のテクニックを披露されています。 今回の取材序盤でこたけさんが尋ねたのは、「この場における“議論”という言葉の定義」。絡まった糸を1つずつ解きほぐすような、弁護士ならではの丁寧な議論の進め方を学べるインタビューとなりました。 こたけ正義感さん。1986年、京都府出身。香川大学卒業後、立命館大学法科大学院を経て、2012年に東京弁護士会登録。2016年にワタナベコメディ

こんにちは、SmartHRでプロダクトエンジニアをやっている @Tokky0425 です。 みなさんは普段組織で働いていますか？僕は組織で働いています。 組織で働くにあたって便利なもの、ありますよね。そう、組織図です。 SmartHR にも組織図の機能があるのですが、部署数や従業員数が多いとブラウザ上での操作が重くなってしまうという問題がありました。 最近「数万人規模の組織図での 60fps」を目指してこの組織図機能の描画パフォーマンス改善を行ったので、その中で実践したフロントエンド開発における大量描画処理の Tips を共有します。(React を前提としています) そもそも問題はどこにあるのか 最近まで、SmartHRの組織図機能は数万人規模の企業で十分に使えるような作りになっていませんでした。というのも、対象従業員数が数万人を超えてくると、いろんな操作が著しく重くなり、実用に耐える操

I have met a lot of developers in my life. Lately, I asked myself: “What does it take to be one of the best? What do they all have in common?” In the hope that this will be an inspiration to someone out there, I wrote down the traits I observed in the most exceptional people in our craft. I wish I had that list when I was starting out. Had I followed this path, it would have saved me a lot of time

私の職場では「自社の発行物を購読率を上げるにはどうしたらいいか」という会議が上のほうの人たちの間で定期的に持たれる。 業界誌なので、ただ面白く読んでもらうというよりは「読んでもらう＝業界メンバーに業界の動向・基礎を学んでもらう」啓発の役割があり、私たち編集者は業界の動向・基礎についていかに分かりやすく・正確に伝えるかに尽力する。 中年以上がほとんどを占めるこの会議に私は長年付き合ってきたが、最近は「もっと軽い読み物を載せたらどうか」「活字を減らし、写真を多用しては」「分量が多すぎるのでページを減らしては」「プレゼント企画でひきつけては」という意見が年々増えていて、ああ、活字離れは年配者にも広がっているのだなと。内容そのものの吟味・精査ではなく、文字の分量の話になっている。小難しいものを小難しくないように伝えるのが編集者の力量だが、そんな技は求められていないみたいだ（ま、それができてないから

ペンシルバニア大学の研究チームが、ドリップ式コーヒーの抽出過程における水流とコーヒー粉との相互作用を解析した結果、「豆の使用量を減らしても豊かで風味のあるコーヒーを淹れる方法」を発見したと報告しています。研究チームは、抽出効率を高めるための要素として「水流の注ぐ高さ」「水の流速」「水流の太さ」などに着目し、実験を行いました。 Pour-over coffee: Mixing by a water jet impinging on a granular bed with avalanche dynamics | Physics of Fluids | AIP Publishing https://pubs.aip.org/aip/pof/article-abstract/37/4/043332/3342795/Pour-over-coffee-Mixing-by-a-water-jet-im

ご来店ありがとうございます。新刊発売予定のお知らせです。 2025年4月18日（金）、遠藤侑介著『型システムのしくみ ― TypeScriptで実装しながら学ぶ型とプログラミング言語』の発売を予定しています。なお、2025年4月16日（水）から開催されるRubyKaigi 2025会場のBOOKSTOREにて、著者サイン会に合わせた先行発売を予定しています（紙書籍のみ。部数には限りがあります）。ジュンク堂池袋本店様でも4月16日から販売していただける予定です。 『型システムのしくみ』について 多くのプログラミング言語では、さまざまな場面で「型」が登場します。特に静的型付き言語では、プログラムを実行せずに潜在的な問題をあぶり出す「型検査」の有用性が広く知られるようになりました。最近では動的型付き言語でも、型ヒントや静的解析ツールとして、この機能を部分的に取り入れる動きがあります。 型検査の背

なかむら🐈 @nakamu2022 听写おじさん🧚🥑🍍たまに試験受けるよ。取得:中検準1級/TOCFLC2とかひととおり。目標: 中検1級。質問待ってるよ↓ marshmallow-qa.com/nakamu2022?utm… なかむら🐈 @nakamu2022 高校の英語の先生、「『英語の構文150』を全部暗唱すると英語話せるようになりますよ〜」って言ってたの冗談だと思って笑ってたけど、あれガチでやってんな。 2025-04-06 06:33:52 なかむら🐈 @nakamu2022 万バスしたので自己紹介します！中国語学習者のなかむらです。英語はあんま得意じゃないです。暗唱は苦手で、ディクテーションが好きで毎日Xに提出してます。推し教材は「聴く中国語」と「時事中国語の教科書」です。noteやってます。 note.com/nakamu2022 2025-04-07 21:46

TOPフォーカス分割キーボードの「肩こり改善」効果、医学的に見てどう？ “デスクワーク痛”対策の現実解を求めて【フォーカス】 文京学院大学保健医療技術学部理学療法学科 准教授 上田 泰久 理学療法士。博士（医学）。横浜新緑総合病院リハビリテーション科を経て、2007年4月より文京学院大学保健医療技術学部に所属。2020年4月より現職。機能解剖学・生体力学の観点から、首や肩のこりなどのメカニズムや、運動療法、セルフケアに関する研究に従事。著書に『理学療法士が教える　自分でできる首コリ・痛みの治し方』（マイナビ出版）など。趣味は温泉巡り。旅先でぼーっとすることが大好き。 プロフィール（文京学院大学公式サイト内） researchmap デスクワークによる肩まわりの不調を軽減したい――。こう願う人々の間で注目度が高まりつつあるガジェットのひとつが、「分割キーボード」です。「分割キーボードで肩こり

決済システムでは、高い耐障害性やスケーラビリティ、柔軟性、またデータの整合性等が特に高度に求められる領域です。本特集では、決済基盤の開発・運営に携わる6社のエンジニアの方々にご協力頂き、決済システムにおける技術選定のポイントや今後の展望を、アーキテクチャ図と共に解説頂きました。 ※ご紹介は企業名のアルファベット順となっております 合同会社DMM.com合同会社DMM.comは、会員数4,507万人（※）を誇る総合サービスサイト「DMM.com」を運営しています。 1998年の創業以来、多岐にわたる事業を展開し、現在は60以上のサービスを運営。動画配信や電子書籍、アニメなどの多様なエンタメサービスに加え、3DプリントやEV充電などのハードウェア分野、AIといった最先端のテクノロジーを取り入れた事業など、様々な事業を手掛けています。 2022年にはサブスクリプション会員システムの「DMMプレミ

勉強を進める上で、ChatGPTは強力な武器になる。ところがChatGPTは今、人の想像を大きく超えるところまで来ている。勉強のチューターとして、信じられないほど高度な機能を提供するようになっているのだ。あまりに凄いので、「こんなことが本当にあるのだろうか」と、狐か狸にたぶらかされているような気になってしまうが、いくら頬をたたいてもこれは現実に起きていることだ。資格試験向けの塾や予備校は、存続さえも危険水域に入るかもしれない。

SNSサービスにおけるデータベース選定は、サービスの成長性と安定性を左右する重要な課題だ。2024年12月にリリースされた「mixi2」は、約1週間で120万人を超える登録者数を獲得。開発時からリリース直後の負荷を想定し、スケーラビリティと高可用性を実現するためNewSQLの「TiDB」を採用。本セッションでは、株式会社MIXIの姜明秀氏がmixi2のデータベース選定から運用に至るまでの舞台裏を詳細に解説。特に、SNSサービス特有のタイムライン実装の課題と、TiDBによる分散データベースの活用方法に焦点が当てられた。 mixi2のアーキテクチャとNewSQLを検討した理由 姜氏はMIXIのSREグループでサーバーサイドとインフラ開発を担当している。冒頭、mixi2の概要について「短文テキスト型のSNSで、2023年3月頃に4名の開発者で開発が始まり、2024年12月16日にリリースしました