Open notebook — Tokyo, JP
考えたことを、使える形で残す。
AI、プロダクト、経営、数学。仕事の途中で得た発見を、あとから誰かが使える小さなノートにしています。
9 notes
Lean 4でエタール・コホモロジーを
セルフコンテインドに理解する。
Mathlibを使わず、可換環からスキーム、サイト、エタール射、入射的分解まで1000行のLean 4で一つずつ定義し、Hⁿ(X_ét, F)に到達する。
記事を読む ↗大企業の新規事業は、
B'zに詞を書く仕事である。
替え歌、B面、インディーズ、カバー。9つのたとえを見出しにして、大企業の文脈が新規事業を難しくする理由を解く。
記事を読む ↗結局、生成AIの
ファウンデーションモデル企業の企業価値はいくらなのか
人口、普及率、一人当たり売上、シェア、利益率、PER。五つの変数からOpenAIとAnthropicの企業価値を逆算する。
記事を読む ↗フランス人エンジニアを雇った話。
初期メンバー・言葉・文化。
3人目として採用してよかったこと、言葉やビザの難しさ、違う文化の人と働いて考えたこと。
記事を読む ↗資金調達とは何か。
借金・株式・100人の良い会社。
お金を集めることは、未来の何を約束することなのか。株式資金調達の期待と制約、その間にある資本を考える。
記事を読む ↗エディタと管制塔。
AIネイティブな開発環境の作り方。
24時間・並列で働くAIエージェントに合わせて、開発母艦、リモート接続、実行環境、文脈、報告をどう設計するか。
記事を読む ↗ソフトウェア産業は結局どうなるのか。
民主化・リスク・スマイルカーブ。
作るコストが下がった後、ボトルネックと価値はどこへ移るのか。製薬、動画、AIエージェントから考える。
記事を読む ↗AIネイティブな
ドキュメントサーバーがない問題
文書をコードのように再利用・検査・多言語化し、読者別のViewを生成する基盤を考える。
記事を読む ↗初期メンバーは
業務委託が正義なのか
「まずは業務委託で」を、人探しではなく関係づくりの助言として読み替える。
記事を読む ↗該当するノートはありません。