Akihito Koriyama koriym

2003年、Kent Beckは『テスト駆動開発』を出版しました。「テストを自動化する」という話ではありません。不確実なプログラミングという作業の中で、一歩ずつ理解を深め、設計を導き出すためのワークフロー。Beckが書いたのはそういう本でした。

核心は、分析・設計・実装を時間軸で切り離し、小さな歩幅で繰り返すことにあります。

**分析（テストリスト）**── 解くべき問題を「期待される振る舞い」としてリストアップする
**インターフェースの設計（テストを1つ書く）**── リストから一つ選び、「どう呼び出されるのが理想か」を決める
**実装（テストを成功させる）**── 設計の良し悪しは脇に置き、振る舞いの実現だけに集中する
**実装の設計（リファクタリング）**── 動作が保証された状態で、初めて内部構造を整える

一度に一つのことだけに集中する。問題を解きながら設計が立ち上がってくる。オーバーエンジニアリングも、設計の放棄も、このリズムが防いでいました。

koriym:

記事で技術的に間違っているところは？

Gemini:

(中略）

2. 「Getter不要論」の現実的な制約

プログラミング言語型システム評価表 (2025年11月)

評価軸: 「型でドメインルールを表現できる能力」×「その型制約が事前に検証できる保証」（事前検証は、コンパイル時、静的解析時、実行前のいずれでも良い）

Claude Opus 4.1

言語・環境	スコア	評価・理由
Rust	98	型による設計の極致Sum types、Pattern matching、Trait boundsによる表現力は圧倒的。所有権システムが型レベルでメモリ安全性まで保証。ただし複雑なライフタイムは時に過剰な制約となる。完璧ではないが、現時点の到達点。

The terms "cubism" and "unbundling" come from very different domains—art and business/economics, respectively—but they can be metaphorically linked in discussions about deconstruction, fragmentation, and reassembly. Here's how:

1. Cubism (Art Movement)

Developed by Pablo Picasso and Georges Braque in the early 20th century.
Breaks objects into geometric fragments, showing multiple perspectives at once.
Rejects a single viewpoint, instead presenting a deconstructed, abstracted reality.
Example: Picasso’s Les Demoiselles d’Avignon (1907) fractures human figures into angular planes.

2. Unbundling (Business/Economics)

Refers to breaking apart traditionally bundled products/services into standalone offerings.

Porsche 718 GTS 4.0 review

in English

Media Outlet	Review Title (Linked)	Publication Date
Top Gear	Porsche 718 GTS 4.0 review: the 6cyl Cayman is back!	2020-02-17
Top Gear	Porsche 718 Cayman GTS Review 2025	2020-08-03
Auto Express	Porsche 718 Cayman GTS 4.0: long-term test review	2021-02-11
CNET	[2021 Porsche 718 Cayman GTS 4.0 review: Easy A](https://www.cnet.com/

了解しました。DeepSeekの創業者や主要な経営陣の名前と経歴、過去の発言、中国圏での報道や評価、またライバル企業との関係や違いについて調査します。

この情報を整理し、詳細なレポートを作成したうえでお知らせします。

DeepSeekの創業者、ビジョン、中国での評価、競合分析

創業者および主要経営陣の経歴

梁文锋（Liang Wenfeng） – DeepSeekの創業者でありCEOです。1980年代生まれの中国人で、広東省湛江出身。中国屈指の名門である浙江大学で情報・通信工学を専攻し、学士号と修士号を取得しました。
量化投資から起業へ – 大学在学中から機械学習を活用した株式取引に取り組み、2007–2008年の金融危機の頃からAIによる自動取引の可能性を探りました。2015年には量的ヘッジファンド「幻方（High-Flyer）」を共同創業し、AIモデルによる株式運用で成功を収めました。幻方は2016年に運用資産10億元（約1.38億ドル）から2019年には100億元（約13.8億ドル）超へと急成長しています。梁氏は2019年、同ファンドの表彰式で「中国の量化投資の未来」について講演し、自動化されたAIによる投資の重要性を説いています。こうした金融分野での経験と成功が、後のAI企業創立の下地となりました。
DeepSeekの設立 – 2023年7月、梁氏は幻方の社内プロジェクトとしてDeepSeekを正式に設立し、人工知能分野に本格参入しました。本社は杭州に置かれ、中国のヘッジファンド幻方が出資・所有する形で運営されています。DeepSeekのチームは創業当初わずか139名のエンジニアと研究者で構成されており、OpenAIの約1200名、Anthropicの500名超という規模に比べ極めて小規模です。社員の多くは中国国内の若手人材で占められており、梁氏自身「経験はそれほど重要ではない」として大胆な若手採用を行っていると報じられています。創業から18か月足らずで開発した大規模言語モデルが世界トップレベルの性能を示し、一躍中国テック業界の顔となった梁氏は、CNNから「中国のサム・アルトマン」と評されるまでになっています。

Navigating a world in transition: Dario Amodei in conversation with Zanny Minton Beddoes

Original Script: https://www.youtube.com/watch?v=uvMolVW_2v0

0:00
[Music] 皆さまご参加ありがとうございます。私はジニー・ミントン・ベッドーズ（Zanny Minton Beddoes）で、『エコノミスト』の編集長を務めています。まず、このように本当に素晴らしいスイスらしい雰囲気の会場に、こんなにも多くの方が来てくださったことをとても嬉しく思います。

本日は、「Clarity amid chaos」（混沌の中での明確さ）というテーマについて議論を行います。皆さん、ダボスにはどれくらい滞在されているかわかりませんが、今の世界において本当に「明確さ」を見つけるのは大変なことだと思います。しかし『エコノミスト』では常に、世界のさまざまな動きを関連づけ、そこから明確な視点を導き出そうと努めています。
そして今回の90分のセッションでは、世界で最も優れた考えを持つ人々に、最も重要な論点について直接お話を伺える機会があります。特に最初の対談のお相手は、Anthropic（アンソロピック）のCEOであり創業者であるダリオ・アモデイ（Dario Amodei）です。

Original Script: https://www.youtube.com/watch?v=FMU0j_ly4kk

「DeepSeek が今、アメリカのテック企業に圧力をかけています。本当に驚異的です。中国の開発にはとても注意を払うべきだと思います。DeepSeekは、これまで考えられていたよりも必要なものが少ないことを示してくれました。かつて思っていたほど多額の資金は必要ないのです。想像してみてください。自分が 5,000 万ドル（約 50 億円）かけて家を建てたのに、お隣さんは同じ家を 70 万ドル（約 7,000 万円）で建ててしまうんですよ。イライラするに決まっていますよね。これは産業界に対する警鐘であり、集中して取り組む必要があるということです。まさに『必要は発明の母』なのです。

2024年12月、中国の小さなスタートアップがAI界を揺るがすブレイクスルーを起こしました。テックジャイアントに挑戦し、AIを再定義する出来事でした。その名は DeepSeek。あまり知られていない企業でしたが、V3モデルで大きな波紋を広げました。このモデルは、たった 2,000 枚の低スペックな NVIDIA H800 GPU を使っただけで、コーディングや論理的推論、数学において多くのトップモデルを凌駕したのです。この成功はシリコンバレーに衝撃を与え、AI開発のアプローチを再考させるきっかけとなりました。

この偉業の背後にいたのが、やがてテック界を魅了する存在となる謎の人物、リャン・ウェンフォン（Liang Wen Fung）です。1985年、彼は中国の広東省の沿岸都市、ジャンシャン（Jiangxiang）で生まれ、父親が小学校教師という質素な家庭で育ちました。幼い頃から数学の才能を示し、他の子どもがゲームやスポーツに熱中するなか、彼は何時間もかけてパズルや方程式を解き、その秘密を解き明かす楽しさに浸っていました。この数字への愛着こそが、彼のキャリア全体を形作ることになるのです。

	#!/bin/bash

	# バックアップファイルの保存先
	BACKUP_DIR=~/brew-backup
	mkdir -p "$BACKUP_DIR"

	echo "📦 Saving installed formulae..."
	brew list > "$BACKUP_DIR/formula-list.txt"

	echo "🧃 Saving installed casks..."

	The intertwined shore becomes green fingers
	that embrace the quiet sea

	Islands float as if to hide the horizon,
	merging with the intricate coastline

	Gentle waves come
	through the gaps in the shore,
	slowly advancing and retreating