getrealのブックマーク (12,336)

  • おい、要件を言葉にしろ - じゃあ、おうちで学べる

    はじめに 察しの良いチームが、いちばん危ない。 書かなくても通じてきた、その通じ方が、AIには渡らない。書かれていない常識は、書かれていないというだけの理由で、消える。 要件定義は、長く「面倒だが避けて通れない上流工程」と呼ばれてきました。きちんと書こうとすると時間がかかる。書かなくても、チームが察しで埋めてくれる。だから雑にやっても、なんとかなった。たぶん、それが間違っていたわけではないのだと思います。書かない知恵で、私たちはずっと回してきた。 それが、AIで開発するようになって、通じなくなりつつある気がします。AIには「察し」がありません。書かれていないことは、想像で埋められる。その想像は、私たちのチームの常識とはたぶん一致しない。一致するときもあるかもしれませんが、一致しなかったときの代償が大きすぎる。 それも、信じられない速度で起きます。 人間のチームでは、要件の曖昧さは3週間後に

    おい、要件を言葉にしろ - じゃあ、おうちで学べる
    getreal
    getreal 2026/04/27
  • LLM に足りないのは能力ではない。あなたの事情だ - じゃあ、おうちで学べる

    はじめに エディタを開いたまま、手が止まっていた。 LLM(大規模言語モデル)が書いた Rust のコードを眺めている。WAL(Write-Ahead Log、データを安全に書き込むための仕組み)のセグメント管理。所有権(データの持ち主を明示する Rust 独自のルール)は正しい。ライフタイム(データが有効な期間の指定)も整合している。Clippy(Rust の静的解析ツール)の警告はゼロ。美しいコードだった。ただ、セグメントサイズが 128MB になっている。このプロジェクトでは 64MB だ。NVMe SSD(高速ストレージ)の消去ブロックサイズとリカバリ SLA(障害復旧の目標時間)の制約から決めた値だ——3ヶ月前の障害振り返りで。その判断はどこにも書いていなかった。コードにコメントもない。Slack のスレッドに埋もれていた。 LLM には何の落ち度もない。道具は完璧に動いた。道具

    LLM に足りないのは能力ではない。あなたの事情だ - じゃあ、おうちで学べる
    getreal
    getreal 2026/03/30
  • https://x.com/tamuramble/status/2012727586103640341?s=12

  • 論理削除という技術的負債、それでも僕たちは使い続ける - じゃあ、おうちで学べる

    はじめに 「論理削除?deleted_atカラム追加すればいいでしょ」この一言から始まる地獄を、何度見てきただろうか。 最初は簡単に見える。カラムを1つ追加するだけ。しかし、その「簡単さ」こそが罠だ。 論理削除は技術的負債の温床だ。WHERE句への条件追加忘れ、認知コストの増大、テストの複雑化、パフォーマンス劣化。すべては「最初にドメインを考えなかった」ツケである。 しかし現実として、サービスを運用していくと論理削除が必要になる場面は確実に訪れる。 論理削除の質は、「このレコードは存在するが、存在しないことにしてほしい」という矛盾だ。この矛盾を解消するか、受け入れて安全に管理するか。記事ではその両方のアプローチを解説する。 なお、私はDBのスペシャリストではないので、ここで紹介する方法が唯一の正解というわけではない。あくまで一つのアプローチとして参考にしてほしい。データベース設計は文脈

    論理削除という技術的負債、それでも僕たちは使い続ける - じゃあ、おうちで学べる
    getreal
    getreal 2026/01/04
  • 教養が欲しくなった - シロクマの屑籠

    2025年12月4日の23時15分頃、「教養をつけるべし」という霊言が私に降ってきた。 12月4日23時15分、この、2025年の惣流アスカラングレーの誕生日にポストモダンの霊言が私のもとにおりてきた。霊言に曰く、「教養をつけよ、励め」だそうな。— p_shirokuma(熊代亨) (@twit_shirokuma) 2025年12月4日 うん、私は今、教養が欲しい。 なぜならポストモダンが当にやってきて前が見えないからだ。 「フェイクかファクトか」と考えることに、今、意味があるのか ここ一か月ほどの私はインターネットが億劫だった。Xやブルースカイは特にそうで、疲弊した金曜夜にそれらを死んだ目で眺める時間が呪わしかった。こんな蜃気楼を眺めて何になる? と。 この一か月ほどX等を眺めていて思うのは、ファクトかフェイクかといった思考法はここではなんの意味も持たず、たぶんここの外においてもそれ

    教養が欲しくなった - シロクマの屑籠
    getreal
    getreal 2025/12/07
  • もはや注釈がメイン!?注釈が多い小説まとめ - 日々の栞

    小説や評論などで、補足のために注釈が付けられていることはよくあることだ。 しかし、文よりも注釈がメインになっている小説があるといえば驚くだろうか? ポストモダン*1小説と言われる小説には、既存の発想にとらわれない様な小説が数多くある。 その中には注釈が文よりも多くなってしまい、もはや注釈の方がメインじゃないかと思う様な小説が幾つかある。注釈を使って新しい文学表現を切り開いた小説たちだ。 この記事では、注釈が多すぎる一風変わった小説を紹介したい。 『なんとなく、クリスタル』 / 田中 康夫 『33年後のなんとなく、クリスタル』 / 田中 康夫 『烏有此譚』 / 円城 塔 『偶然の聖地』 / 宮内 悠介 『その午後、巨匠たちは、』 / 藤原 無雨 『中二階』 / ニコルソン・ベイカー 『なんとなく、クリスタル』 / 田中 康夫 新装版 なんとなく、クリスタル (河出文庫) 作者:田中 康夫

    もはや注釈がメイン!?注釈が多い小説まとめ - 日々の栞
    getreal
    getreal 2025/11/24
  • プログラマーのための圏論

    序文 しばらく前から、プログラマーを対象とした圏論に関するを書こうと考えていた。計算機科学者ではなくプログラマー、科学者ではなくエンジニア向けだということに注目してほしい。正気の沙汰ではないし、当に怖気づいてしまう。科学と工学の間に大きなギャップがあるのは否定できないと思う。自分自身がその分断の両側で仕事をしてきたからだ。それでも、物事を説明したいという強い衝動をいつも感じていた。簡潔な説明の達人だったリチャード・ファインマン1を心から尊敬している。自分がファインマンではないことは分かっているが、最善を尽くしたい。まずは、この序文――読者に圏論を学ぶ気を起こさせることを想定したもの――を公開することから始めようと思う。それによって議論を開始しフィードバックを募れることを願っている2。 ここからの数段落をかけて、このがあなたのために書かれたものであり、数学のうちでも特に抽象的な分野を学

    getreal
    getreal 2025/11/05
  • 「ED25519」が爆速な理由とその仕組み

    25519とはなんぞ 大きな素数である p = 2^{255} - 19 から取られている。 この素数のおかげで計算が高速になる。 楕円曲線とはなんぞ y^2 \equiv x^3 + ax + b \pmod{p} p が大きな素数。 y^2 と x^3 + ax + b それぞれ p で割った余りが同じになるような x と y の点を集めたら曲線になった どうやって暗号化してるの? 「点 P と点 Q を結ぶ直線が曲線と交わるもう一つの点の、 x 軸に対する対称点」を点 P と点 Qの加算の結果と定義する 図[1]で簡単に説明すると P と Q の足した結果が R になるような計算を加算と定義するということ。 k を秘密鍵として、ある点 P を k 回加算した結果 点 G と点 P を公開情報とする。 その場合高速に k 回加算する計算をする必要がある。(点 G と点 P から k を

    「ED25519」が爆速な理由とその仕組み
    getreal
    getreal 2025/11/05
  • 『ベルサイユのばら』の作者である池田理代子先生が講演会で「ディズニーからベルばらの版権を欲しいと言われかなり巨額だったが断った」と話していたが本当に残ってて良かった

    しろわいん @vbomlll19 先生「ディズニーからベルばらの版権を欲しいと言われ…かなりの巨額でしたが断りました。"池田理代子"という名前は抹殺されてしまうから。でも、今でもたまに、その話を受ければ良かったかも…と思ったりします」(会場笑いに包まれる) 残ってて良かったあ😭😭😭 2025-10-30 22:54:26

    『ベルサイユのばら』の作者である池田理代子先生が講演会で「ディズニーからベルばらの版権を欲しいと言われかなり巨額だったが断った」と話していたが本当に残ってて良かった
    getreal
    getreal 2025/11/02
  • 【エンジニアの日常】エンジニア達の人生を変えた一冊 Part5 - Findy Tech Blog

    こんにちは。CTO室データソリューションチームの開です。 この記事は「エンジニア達の人生を変えた一冊」として、弊社エンジニア達の人生を変えたを紹介していきます。エンジニアとしてのキャリアや技術的な視点に大きな影響を与えた一冊とは?それぞれの思い入れのあるから、技術への向き合い方や成長の軌跡が垣間見えるかもしれません。 今回は私・開と、松村さん、田頭さんの3名のエンジニアが、人生を変えた一冊を紹介します。 まず私から、データエンジニアとしてのアイデンティティを確立させた一冊を紹介させていただきます。データ基盤構築の世界に深く足を踏み入れるきっかけとなった実践的な書籍です。 ■ 開功昂 / データエンジニア ■ CTO 室データソリューションチームでデータエンジニアをやっている開です。 実践的データ基盤への処方箋〜 ビジネス価値創出のためのデータ・システム・ヒトのノウハウ 実践的データ基盤

    【エンジニアの日常】エンジニア達の人生を変えた一冊 Part5 - Findy Tech Blog
    getreal
    getreal 2025/10/24
  • 超上流から攻めるIT化の事例集:要件定義 | アーカイブ | IPA 独立行政法人 情報処理推進機構

    ・要件定義 成果物は「経営者が参画する要求品質の確保」に記述されている 表4.3「役割分担と成果物例」にならい分類・表示している。 方向性と計画についてはこちら

    超上流から攻めるIT化の事例集:要件定義 | アーカイブ | IPA 独立行政法人 情報処理推進機構
    getreal
    getreal 2025/08/03
  • 25/8/4 野矢茂樹『新版 論理トレーニング』 Twitterの見るに堪えない議論を越えろ - LWのサイゼリヤ

    野矢茂樹『新版 論理トレーニング』 「論理パズルの」ではない 接続詞に魂を込めろ 的外れな応答をやめろ 批判的に読め って何? Twitterの見るに堪えない議論を越えろ 野矢茂樹『新版 論理トレーニング』 論理トレ-ニング (哲学教科書シリーズ) 作者:野矢 茂樹産業図書Amazon昔から評判だけ聞き及んでいたが、実際読んでみたら予想を遥かに超えた良著だった。 昔から「わかりやすい・論理的な・まともな文章を書くには何を読めばいいのか」というような質問を無限回受けてきたが、一旦これを読んでほしい。 きちんと勉強してきた人が知的活動の前提として保有している論理的思考力、もう少し地に足の付いた言い方をすれば「込み入った事柄を正しく扱う能力」をここまで明瞭に言語化しているを他に知らない。 「論理パズルの」ではない まず最初に注意しておきたい点として、もしかしたらタイトルから受けるかもしれな

    25/8/4 野矢茂樹『新版 論理トレーニング』 Twitterの見るに堪えない議論を越えろ - LWのサイゼリヤ
    getreal
    getreal 2025/08/03
  • CSSの単位がたくさんあり何を使えばよいか迷った時に、フォント、スペース、ポジション、要素の幅・高さに最適な単位は

    CSSには便利な単位がたくさんあります。よく使用する単位として絶対単位(pxなど)や相対単位(em, rem, %など)をはじめ、Gridの単位(fr)やビューポート単位(vw, vhなど)があります。いくつかの単位は使う場所が限られていますが、複数もしくはどこにでも使用できる単位もたくさんあります。 Webサイトやスマホアプリでフォントのサイズ、スペース、ポジション、FlexboxとGrid、要素の幅または高さに使用する場合、どのようにCSSの単位を選べばよいのかを紹介します。 What CSS length unit should you use? 以下は、そのフローの解説です。 フローの入り口は、下記のように分かれています。 ポジショニング、ディテール・エフェクトに適したCSSの単位 スペースに適したCSSの単位 フォントサイズに適したCSSの単位 FlexboxとGridに適したC

    CSSの単位がたくさんあり何を使えばよいか迷った時に、フォント、スペース、ポジション、要素の幅・高さに最適な単位は
    getreal
    getreal 2025/08/02
  • Windows Subsystem for Linux(WSL)のソースコードが公開された (1/2)

    Build 2025で発表されていたWSLのソースコードが公開 Windows Subsystem for Linux(WSL)のソースコードが公開された。これまで、WSLを実行するのに必要なソフトウェア、特にWin32側のものは公開されていなかった。 5月20日(現地時間)に米国で開催されたBuild 2025イベントで、WSLをオープンソース化することが発表された。その後、2日ほどしてソースコードがGitHubで公開されている。もともとWSL用ディストリビューション開発などの情報を提供していたリポジトリである。 ちなみに以前から、以下の2つに関しては、ソースコードが公開されていた。 ●WSL2Linuxカーネル(https://github.com/microsoft/WSL2-Linux-Kernel) ●Linux GUIアプリケーションを動作させるためのシステムディストリビュー

    Windows Subsystem for Linux(WSL)のソースコードが公開された (1/2)
    getreal
    getreal 2025/06/09
  • 生成AIの業務活用推進をしている人いわく、AIの業務活用の本質は生産性向上というよりは「認知負荷が下がること」である

    樋口恭介 | Kyosuke Higuchi🇺🇦🇵🇸 @rrr_kgknk 生成AIの業務活用推進をしていると、「作業時間がどれだけ削減できるか」「作業がどれだけ代替できるか」「作業品質をどれだけ上げられるか」的な話になって、定量KPIができて大体泥沼化するんだけど、質的には「認知負荷が下がる」以上の成果は確約できないので、まずはその前提を広く共有したい。 2025-05-29 23:39:09 樋口恭介 | Kyosuke Higuchi🇺🇦🇵🇸 @rrr_kgknk LLMはどれだけ精度が上がっても質的な思考形式が確率的推論なので、ハルシネーションはゼロにはできないし完全に意図通り制御することはできない。それでも、概ね指示に沿った出力を24時間365日・高頻度・高速・大量に出力得ることができる。人間はそれを叩き台に、いきなり手を動かすことができる。 2025-05-

    生成AIの業務活用推進をしている人いわく、AIの業務活用の本質は生産性向上というよりは「認知負荷が下がること」である
    getreal
    getreal 2025/06/02
  • とある女性の「低収入でキャリアもない私は、人生を生き抜くための手段として若いうちに結婚することも視野に入れていかなきゃいけない」という意見にさまざまな反応集まる

    ハム目 @L9jegMp0Ln5g69G 最近思うんだけど、一生独身で生活できるのってバリキャリである程度高収入の女性か実家暮らし(持ち家)できる女性しか無理じゃない? 低収入でキャリアも無くてギリギリで一人暮らししている女性(私)って40〜50歳くらいで若さも体力も無くなってお金も今より稼げなくなって帰れる場所も頼れる場所 2025-05-26 17:20:39 ハム目 @L9jegMp0Ln5g69G もない、まじで悲惨になりそうで、そうなってくるとある程度若いうちに結婚しておくのもこれからの人生を生き抜く手段として考えなきゃだよなって弱者女性の私は思うんだよね😭 いざとなったら死ねばいいって思って生きてはいるけど、そんな簡単に死ねたらこんなに苦労して生きてないわけだし😭 2025-05-26 17:20:39

    とある女性の「低収入でキャリアもない私は、人生を生き抜くための手段として若いうちに結婚することも視野に入れていかなきゃいけない」という意見にさまざまな反応集まる
    getreal
    getreal 2025/05/30
  • 「iPhoneじゃないといじめられる」の本当の所

    女子中高学生「iPhoneじゃないといじめられる」 いじめられるわけ無いだろ せいぜいいじられる程度だ ただ女子のiPhoneの渇望はかなり強いようで、至るところで親と喧嘩になっている(個人的に聞いた噂だけどね) 大抵は親のお下がりを使ってるよね、タイミング的にはiPhone8〜iPhone12が多いのでは 兄弟姉妹が多いとこれが上手くいかず揉める ちなみにどれだけiPhoneが多いか、統計はないんだけど 今学生に一番流行ってるBeRealの日のシェアは91%がiPhoneだ https://sensortower.com/ja/blog/bereal-mau-increased-in-japan この数字は恐ろしいよね BeRealをやるような陽キャ層(大体学生のうちの半分弱)はiPhoneってこと なお男子学生も結構やってるようで、それ含めての91%だから 女子学生にとってiPhon

    「iPhoneじゃないといじめられる」の本当の所
    getreal
    getreal 2025/05/25
  • なぜObsidianが2025年になって注目されているのか | gihyo.jp

    前回までの連載のあと、2023年秋に『Obsidianで"育てる"最強ノート術』を刊行しました。そして2025年になって、Obsidianが大きく注目を集めています。今回はその背景と理由について解説します。 AIとの連携 ObsidianはノートアプリやPKM(Personal Knowledge Management)ツールとして注目を集めました。主な特徴として、この連載でも解説してきた次のことが挙げられます。 ローカル環境で動作する Markdownで書いたノートをリンクできる 階層型のタグで管理できる プラグインで拡張できる そんな中、2025年になって注目された背景として、「⁠AI人工知能)との連携」があります。ここでは「生成AIの進化」「⁠RAGとMCPの登場」「⁠AIエージェントの登場」という3つの視点から紹介します。 生成AIの進化 2022年末にChatGPTが公開されて

    なぜObsidianが2025年になって注目されているのか | gihyo.jp
    getreal
    getreal 2025/05/12
  •  『デキゴトロジー』 週刊朝日風俗リサーチ特別局編著 - 武蔵野日和下駄

    夏目房之介さんの傑作イラストコラムについて調べているうちに、その母体のデキゴトロジーのことが気になり出した。週刊朝日に連載され、1年1冊のわりで単行にまとめられ、文庫に入れられて、全部を楽しめるようになっている。よほど人気があるのか、文庫だけでも全16巻が出ている。 どれを拾い読みしても、必ずある程度面白い、暇つぶしに最適のB級読み物である(失礼)。事件にも新聞種にもならない、庶民の風俗の落ち穂拾い、続けて読んでいくと、不思議なことに少し人間嫌いが緩和されてくる。庶民生活の哀感が行間から滲み、人が生きて行く日々の雑事が何とも言えず貴重なもののように思えてくる。 ①些細なエピソード集なので、記述する文章に曇りや拘りがあると、すぐに読む気がしなくなる。内緒話を、気の置けない仲間の耳の奥に、そっと吹き込む時のような、努めてさり気なく簡潔に、勿体ぶらずにサラリと語りきってしまうのがコツなのだろう

     『デキゴトロジー』 週刊朝日風俗リサーチ特別局編著 - 武蔵野日和下駄
    getreal
    getreal 2025/04/17
  • AIを利用したサービスにおける構造化データの作成と活用例 - selmertsxの素振り日記

    はじめに 最近、休日に何人かの人達と、AI を活用したアプリケーションをつくってます。 その開発は AI 技術のキャッチアップを目的としており、あえてやや複雑な問題を扱っています。 僕はそこで技術選定と設計をしたわけですが、「Mastra だけじゃ駄目ですか?」 「Workflow は駄目って聞きました!どうして Workflow で作るんですか?」という質問を受けました。 この文書は、その説明に用いたものから抜粋したものです。 僕は AI の専門家ではないので、もしかしたら間違っているかも知れません。 気になった点がありましたら、コメントにて指摘いただけるとありがたいです。 前提 汎用的な用途で利用される AIGoogle のような大きな会社がシェアを取ると思われます。 我々普通のアプリケーションエンジニアは、ドメインやユースケースに特化させることで差別化を求められるでしょう。 そ

    AIを利用したサービスにおける構造化データの作成と活用例 - selmertsxの素振り日記
    getreal
    getreal 2025/04/07