Skip to content

Instantly share code, notes, and snippets.

View koriym's full-sized avatar

Akihito Koriyama koriym

250 followers · 17 following
View GitHub Profile
@koriym
koriym / 静的解析ツールの表現力・深さ・バグ検出能力.md
Last active November 21, 2025 11:36
静的解析ツールの表現力・深さ・バグ検出能力

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

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

Claude Opus 4.1

言語・環境 スコア 評価・理由
Rust 98 型による設計の極致Sum types、Pattern matching、Trait boundsによる表現力は圧倒的。所有権システムが型レベルでメモリ安全性まで保証。ただし複雑なライフタイムは時に過剰な制約となる。完璧ではないが、現時点の到達点。
@koriym
koriym / brew-backup-and-restore.sh
Created July 16, 2025 03:43
Backup brew settings
#!/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..."
@koriym
koriym / Cubism and Unbundling.md
Created April 1, 2025 14:42
Cubism and Unbundling

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.
@koriym
koriym / cayman_gts_review.md
Last active March 3, 2025 01:27
@koriym
koriym / melting_horizon.txt
Last active February 18, 2025 22:18
Melting Horizon (poem)
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
@koriym
koriym / DeepSeekSearch.md
Created February 3, 2025 15:19
DeepSeekの創業者、ビジョン、中国での評価、競合分析

了解しました。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から「中国のサム・アルトマン」と評されるまでになっています。
@koriym
koriym / Navigating a world in transition: Dario Amodei in conversation with Zanny Minton Beddoes.md
Last active February 3, 2025 03:48
Navigating a world in transition: Dario Amodei in conversation with Zanny Minton Beddoes

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）です。

@koriym
koriym / TheManBehindDeepSeek.md
Last active February 2, 2025 09:19
The Man Behind DeepSeek (Liang Wenfeng)

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）で生まれ、父親が小学校教師という質素な家庭で育ちました。幼い頃から数学の才能を示し、他の子どもがゲームやスポーツに熱中するなか、彼は何時間もかけてパズルや方程式を解き、その秘密を解き明かす楽しさに浸っていました。この数字への愛着こそが、彼のキャリア全体を形作ることになるのです。

@koriym
koriym / Liang_Wenfeng.md
Last active February 2, 2025 08:50
Liang Wenfeng 日本語訳

Original text: https://en.wikipedia.org/wiki/Liang_Wenfeng

梁文锋（Liang Wenfeng, りょう ぶんほう）

（簡体字: 梁文锋; ピンイン: Liáng Wénfēng; 1985年生まれ）
中華人民共和国の起業家であり実業家。定量ヘッジファンド「High-Flyer（幻方量化）」の共同創設者、そしてそのAI企業「DeepSeek」の創設者兼CEOとして知られる。

項目 詳細
生誕 1985年（39～40歳）
@koriym
koriym / two-interviews-with-the-founder-of-deepseek.md
Last active February 23, 2025 00:41
The Madness of High-Flyer: The Approach to LLM by an AI Giant that Few See