この記事は、ソフトウェア工学が専門のMITのDaniel Jackson教授が書いたブログ記事 "How software succeeds"を、本人の許可の元翻訳するものです。 なおこの記事と同じトピックを扱っている、彼のTEDx Talkもあります。 ソフトウェアが成功する仕組み 優れたソフトウェアへの第一歩は「成功のシナリオ」である ソフトウェアの成功を診断する 成功するソフトウェアを作りたいなら、まず成功例を調べることから始めるとよい。この記事では、よく知られた1つの事例を取り上げ、それが成功した理由、その秘訣を特定し、同じ戦略が同様の成功例にどう適用できるかを示す。 あるアプリが大成功した理由を理解しようとして、ユーザーにそのアプリが好きな理由を尋ねると「とにかくちゃんと動くから」という答えが返ってくることがよくある。これが何なのか、つまり「とにかくちゃんと動く」とは実際に何を意

概要 2024年後半からどんどん小規模で性能のいいモデルが出てきて、”ローカルLLMなのに良い”という評価から、”普通に性能がいい”という評価に代わってきている気がしていました。 そんな中でDeepseekR1が公開されて、いよいよ手元で触ってみたいな・・・という欲求がわいてきたのでRTX4070tiSuper(VRAM16GB)＋RTX3090(VRAM24GB)の計40GBのVRAMを持つPCを構築したのでその顛末を書いていきます。 振り返ってみても、結構コスパのいい選択ができたのかなと思っています。 購入前の検討、ローカルLLMで遊ぶならVRAMはいくつ積むべき？ 結論としてはあればあるだけよい、というのが正しいと思います。DeepseekR1を動かすんだったら量子化モデルでも128GBメモリがあってもギリギリみたいですしね。 とはいえ、個人で買う以上100万、200万とお金をかける

では、それぞれ見ていきましょう。 arXiv AI/ML関連における一次情報源として欠かせないのがarXivです。 しかし、最近はプレプリントの投稿数が爆発的に増加しており、そのままarXivを見に行くとノイズが多すぎて、本当に価値のある論文を見つけるのが難しくなっています。 学会のトップ論文をチェックするという手もありますが、査読プロセスを経るため情報がどうしても遅くなりがちです。 そこで役立つのが、新鮮な論文を適度にキュレーションしてくれるサービスです。ここでは特におすすめの3つを紹介します。 Hugging Face - Daily Papers AI界隈で有名なAKさんをはじめとするHugging Faceのメンバーが、arXivから毎日厳選した論文リストを公開してくれているサービスです。 土日はお休みしていますが、平日は結構な量（多い日だと40本程度）の論文が選定されています。こ

今や、AIを活用してソフトウェア開発すること自体は一般的になり、一種のブームと化している。 しかし、Web上で見かけるのはワンショットでテトリスを作る程度の小規模なプロジェクトの話がほとんどで、驚けるものの、正直あまり実用性は無いように感じる。 俺たちが本当に知りたいのはテトリスの作り方じゃねえ！現実の中規模以上のシステム開発で、いかに楽に良いものを作れるかだろ！ ということで、まずは弊社から現時点のノウハウを全公開しようと思う。 弊社ではCursorを1年以上活用（サービスがGAになったタイミングから全社員で利用）しており、一定のノウハウを蓄積してきている自負がある。ただ、あくまで一例ではあるので、ぜひみなさんの現場での活用事例も共有してほしい！ 免責事項AIエディタでの開発は、LLMとAIエディタの進化に伴い、常に変化している。 そのため、この記事で述べる方法論は、現時点での、弊社での

アメリカの金融大手、シティグループで81兆ドル、日本円で1京2000兆円余りを送金するミスがあったとイギリスの経済紙、フィナンシャル・タイムズが報じました。手続きはその後、取り消されたため銀行に損失は出なかったということです。 これは、フィナンシャル・タイムズが2月28日、報じたものです。 それによりますと、去年4月、シティの担当者がブラジルの顧客の口座宛てに280ドル、日本円でおよそ4万2000円を送金しようとしたところ、取り引きの内容に問題があるとして完了できませんでした。 このため担当者が手動で送金しようとしましたが、システムではあらかじめ0が15桁入力されていたため、結果的に81兆ドルになったということです。 取り引き内容を確認する担当者もこのミスを見逃し、別の担当者が1時間半後に気付いて取り消しの手続きを行いました。 シティグループは銀行や顧客に損失は出なかったとしたうえで、自動

このドキュメントを書こうと思った理由 弊社はAIに関する新規事業開発を行っており、作る側もAIを使わない作業を極力なくそうと思っているのですが、AIの進化がやばすぎて人間側が振り回されている現状が何件もあったのでこのドキュメントを書くに至りました。 もし周りの方で困っている方いれば随時更新予定ですのでシェアしてあげてください。 ＊関係ない仕事の相談などもお待ちしております。 Cursorとは？ Cursorは、AIを活用した次世代のコードエディタで、VS Codeをベースに構築されており、AIによるコード補完・デバッグ・リファクタリング支援などの機能を備えた開発ツールです。 Cursorの最大のメリットは、プロジェクトフォルダ内のファイルやログを自動でインデックス化し、AIが適切に参照してくれることです。 これにより、開いていないファイルでもAIが内容を把握し、より適切なコード補完や修正を

ノア・スミス「アメリカは指導者たちによって売り払われようとしている：メッテルニヒ=リンドバーグか，逆キッシンジャーか」（2025年2月21日） 「中国・ロシアと右派大同盟を結集できる」とトランプとイーロンが思ってるなら，その先に待ってるのはまた別の厄介ごとだ．By Jan Jacobsen, CC BY-SA 4.0, via Wikimedia Commonsちょっと想像してみよう．中国・ロシア連合に対してアメリカが大規模戦争に負けたら，どうなるだろう．勝利した中露連合は，降伏条件として，いったいアメリカにどんなことを強制するだろう？ ぼくには確かなことはわからないけれど，第一次世界大戦の講和条件から考えてみると，アメリカ側が譲歩を強いられる項目は，こんな具合になるかもしれない： 撤退：中国／ロシアの覇権に抵抗を試みている国々への支援を一方的に取りやめるのをアメリカは強いられるだろう．さ

粘土板からプロンプトへ 人間が「ことば」を記録するようになったのは、紀元前3300年頃のメソポタミアでのことだそうだ。シュメール人たちが、粘土板に楔型文字を使って文字を印した。この人間が「ことば」を記録するという営みが、いま生成AIによって大きく変化しはじめている。 生成AIで「ことば」を生み出すといえば、ChatGPTでメールの返事を書かせたり、人間が書いたとしか思えない小説ができたといった話題もある。それらはどちらかというと、何か小石のようなものをジャラジャラとシャッフルして自分の納得するパターンを見つける特別な仕掛けのようなものだ。 それに対して、自分の頭の中にあるものを言葉として表現して、相手に伝えるための手段として生成AIを使うことも始まっている。それをいまのところいちばん理想に近い形で実現していると見られているのが、コードエディタ「CURSOR」（カーソル、カーサー）のようだ。

本書では、データベースのインデックスについて基礎から応用まで体系的に学びます。 データベースの検索性能を最適化するための重要な知識を身につけることができます。 本書で学べる内容は以下の通りです。 🌲 B-Tree と B+Tree インデックスの仕組みと特性の違い 🔍 インデックスが検索効率を向上させるメカニズム 📊 複合インデックスの設計と効果的な活用方法 ⚡ カバリングインデックスやパーシャルインデックスなどの最適化テクニック 📈 クエリプランの読み方とパフォーマンスチューニング 本書の特徴はこちらです。 ・インデックスの内部構造を図解で分かりやすく解説 ・実際のユースケースに基づく設計手法の紹介 ・インデックスサイズと更新コストのトレードオフを考慮した実践的アプローチ ・クエリ最適化のためのパターンとアンチパターンの解説 データベース設計や SQL の基礎知識をお持ちの方なら

皆さんお久しぶりです。山本一郎です。 集合住宅（アパート）投資を真面目に手がけると大変なことになりますよね。ただ、カネはあったらあったで大変なんだという経験もしました。 今回は、そんな私が初めて手にした物件の話を2回に分けて書きたいなと思っているのですが……お付き合いいただけますでしょうか。 向こうからやってきた不動産投資 冒頭から私事で恐縮ですが、昨年2月に実父が92歳で亡くなり、結果的に、家業でもあった産業廃棄物業界から4月で足を洗いました。27歳から51歳までの四半世紀、思い返すと酷い思い出ばっかりですね。でもいろんな人の助けがあって、何とかなった感じです。 その産廃事業で操業していた工場の1つは、いまクルド人問題で騒ぎになっている埼玉県川口市本蓮の工場地帯のど真ん中にありました。 もともとは、戦後のどさくさに紛れて山本家の誰かがよく分からん手法で入手した土地で、それを親父がガメて化

Hiroya Iizuka @0317_hiroya 最近やっている、第二の脳とAIを融合したワークフローの流れ - DeepResearch(Gemini, Genspark, ChatGPT)で、気になることを調べる - 出てきた資料を、全てNotebookLMへ移行 - よくある質問、ブリーフィングメモなどを作成 - Chat欄で壁打ち - Obsidianに、リンクを保存。 - 壁打ち内容で、Cornel Noteを作成 - 裏側に図解かく - Permanent Noteを切り分ける 順に説明します。 2025-02-17 09:10:24 Hiroya Iizuka @0317_hiroya Deep Research => 資料作成 Geminiは、Google Docが作成されるから、これをそのままNotebookLMが、読み込むことができる。 Gensparkは、Spar

手で書く時代は終わったAIが文章作成のツールとして浸透しつつある今、あなたもChatGPTやClaudeといったLLM（大規模言語モデル）を活用しているかもしれません。しかし、こう感じたことはありませんか？ 「意図した通りの文章にならない」 「リライトすると微妙にニュアンスがずれる」 「そもそも、プロンプトを工夫しないと望む質が得られない」 もし、あなたがこうした壁にぶつかっているなら、それは「次に進む」段階にいる証拠。Cursorはそんなあなたにとって「創造性を引き出すパートナー」として、より快適な執筆をサポートしてくれます。 これからは単なる"文章作成"から解放され、本質的な"クオリティの追求"に専念できるようになります。では見ていきましょう。 Cursorとは？Cursorは、世界中で人気のエディタ Visual Studio Code(VSC)互換のエディタに、LLMを統合した次世

ぼうけん @yt4421 この一文、このいい回し、この単語はこの人のバックグラウンドあるいは自分の研究や知識からすると、もちろん一般的にはaと解釈されるとしても自分の読み方だと違う解釈なるみたいな場合はしょっちゅうあったから自分で読んだ方がましだと思ってしまう。 x.com/kaityo256/stat… 2025-02-21 04:56:52

微生物学者が10年かかって解明に至った複雑な問題を、人工知能（AI）の新ツールがわずか2日で解き明かした。 英インペリアル・コレッジ・ロンドンのホセ・R・ペナデス教授とそのチームは、なぜ一部の「スーパー耐性菌」に抗生物質が効かないのか、何年もかけて探り、証明しようとしてきた。

Photo by Indian Ministry of Defence, via Wikimedia Commons（喫緊の内容を加えて再掲） 再掲の前置き1994年，ウクライナは核兵器を放棄した．アメリカとロシアがウクライナの国境と主権を尊重するという約束との引き換えだった． 2022年に，ロシアはその合意をたがえて，不当にウクライナ国境に侵攻して領土の一部を要求した．2025年に，アメリカ大統領ドナルド・トランプはロシア首脳部と会談を行った．報道によれば，ウクライナが戦争を始めたと虚偽にもとづいて同国を非難し，ロシアによるウクライナ領土の征服を容認する「和平合意」を提案したという． これを，北朝鮮の経験と対比してみよう．2006年に，北朝鮮は初の核兵器実験を行った．いま，同国は約50の核兵器を保有していると見られている．北朝鮮は貧困に喘ぎ，敵対的な大国たちと信用しがたい同盟国たちに囲ま

Ubie株式会社のyagiです。普段はソフトウェアエンジニアとしてプロダクトの開発をしています。2/7(金)にGithub Copilot Agentが解禁され、社内においてはGithub Copilot Businessを利用しているメンバーで利用が可能になりました。Github Copilot AgentはCursor ComposerやClineと概ね似たことができ、エージェントに指示をすると目的を達成するまで自律的にコードの編集等をエディタ上で行ってくれます。 Github Copilot Agent、Cursor、Clineでそれぞれ細かい機能差はありますが、もはやほとんど気にするようなことではなくなってきたなと感じました。そこで、Github Copilot Agentを駆使すると、開発がどのようになるのか一週間実験してみました。 進め方特になし。何でもかんでもGithub C