  |
はてなキーワード:コミットとは
ジークアクスもそうだったけど、本筋が属人的で、特定の人物でないと成立しない。盛り上がるセオリーだけど、一般化できないのでスケールしない。これがセカイ系の構造。
https://x.com/nojiri_h/status/1982418203935748460
そもそも小説は「特定の人物でないと成立しないような小さい話」だから小説（そういうミニマムなとこをクローズアップしないと見れないものも世の中にはある）なのだが
それを「そんな小さい話を読むのは嫌だ！ ひとつ読んだら大きいスケールじゃないと嫌だ！（だけど学問を真面目に勉強して大きい話にちゃんとコミットするのは面倒くさい）」という、めんどくさがりの大衆のために用意されたのが
「小説だけど大きい話できますよ」と小手先でやらかすミステリやSFだったのに、
いつのまにか「大きい話ができない普通の小説はだめだ、やはりSFだ」みたいな頭おかしい認識になってしまった
大きい話を読みたかったら真面目に教科書読めよ勉強しろよ、と言わずに「小説」をくさして「ＳＦ小説」を持ち上げる
農地持ちなので米を作ってもらっているが一人暮らしでほとんど食わないから最近はそのまま売ってる
親戚に配っても結構あまるので取れた分のほどんどは換金している
米の値段を下げるとなっても今の少子高齢化でインバウンドや輸出以外で日本人が食う米なんてたかが知れてると思うが
今度の政策にすげえ反対している人たちは何が見えているんだろ
農業する人が稼げるならいいと思うんだけどそういう人に限って農家を奴隷に見てる気がしてならない
今からお金稼ぐ米だと食料としてではなく輸出向け日本酒までつくるしか無いと思うがそこら辺をどう思っているんだろ・・・
参考URL
そんな日々の中で最も厄介なのは、CxOたちだ。
──CIO、CTO、CDO、CISO、CPO……肩書きは違っても、やっていることはだいたい同じ。
PowerPointを開いて「DXを推進している」と言う人たち。
うちのCxOはこう言った。
翌日、僕がPull Requestの内容を説明したら、「Goってタクシーのサービスの？」と返された。
その瞬間、何かが切れた。
──ケーキではない。
CxOたちはコードを読めない。
それ自体は罪ではない。
だが、読もうとしないことは怠慢だ。
よく聞く反論がある。
確かにそうだ。
ただし前提が抜けている。
つまり、コードを読めという話ではなく、読めるだけの構造理解を持てという話である。
「技術的なことは詳しくないが、成果は出している」
それはたまたまだ。
「上が言ってるから」「今期の方針だから」「スピード優先で」。
Pull Requestは読まないのに、Excelの進捗バーだけが毎日更新される。
これもよく聞く言い訳だ。
しかし、リソースが限られているならなおさら、理解の精度が重要になる。
僕が書いたAPIは、リクエストごとに外部APIを叩いていた。
「キャッシュを挟もう」と提案したが、PMは「リリース優先」と言った。
CxOたちは言った。
「想定してなかったのか？」
──想定してた。
だが、理解できないのは説明の問題ではなく、聞く姿勢の問題だ。
Slackの“#incident”チャンネルだけが、いつも一番アクティブだ。
CxOたちは「コストを切れ」と言う。
切れるのはコストだけ。
削ったコストの穴埋めに、技術的負債の利息を支払うのは現場だ。
Goで書かれた美しい構造体も、やがてはコメントだけが動くレガシーになる。
CxOたちは「我々はデジタル変革を進めている」と言う。
だが変わっているのは、スローガンのフォントと会議資料の配色だけだ。
クラウド導入もAI活用も、認知が変わらなければ儀式でしかない。
──違う軸を持つのは構わない。
現場を理解しない経営視点は、地図を見ないドライバーと同じだ。
「コードなんて書かなくていい。これからはノーコードの時代だ。」
だが、それは“コードをなくす”技術ではなく、“コードの抽象度を上げる”技術だ。
だが、隠したコードが消えるわけではない。
ボタンの裏にも、ワークフローの下にも、API呼び出しやロジックは確実に存在する。
それを理解せずに使えば、「コードを書かずにバグを埋める」だけの仕組みになる。
「ノーコードでいい」と言うCxOは、
「物理を知らなくてもロケットは飛ぶ」と言っているのと同じだ。
理解しないまま導入するノーコードは、“ノーコード”ではなく“ノーガード”である。
人を楽にするどころか、誰も直せない仕組みを量産する。
DXとは、ツールを導入することではない。
それを理解しない限り、
理解しないことだ。
真っ先に切られるのは、
──コストだけ。
CxOたちは「未来を見ている」と言う。
未来とは、仕様書ではなく、Pull Requestの積み重ねだ。
広告サービスにはコミットのような概念がないからgitのように過去の特定の状態にすること、windowsでいえばシステムの復元で復元ポイント選択してそこに戻すみたいなことができない。
dorawiiより
-----BEGINPGP SIGNEDMESSAGE-----Hash: SHA512https://anond.hatelabo.jp/20251021161254# -----BEGINPGP SIGNATURE-----iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaPcydwAKCRBwMdsubs4+SLKGAPsGDSI/qfhSwkwqFjEkCykdZG/cCOkVBOm0Rqq3deyv+AEA1GlqLhbXU3RktMVtU+TV+8WJqQKc47oLCnqva4SF6AU==LvUP-----ENDPGP SIGNATURE-----
一年が過ぎた。あの「何もしてないのに壊れた」事件の三人組は、今や職場のエースだ。
当時は「ディスプレイの電源の入れ方がわかりません」で全員の昼休みを潰した彼らが、だ。
人は成長する。いや、正確には「環境を与えられると覚醒する」というべきかもしれない。
あのあと、一応上司に報告した。「新人がディスプレイの電源を入れられない件について」と題したメールに、
あのときの顛末を淡々と書いた。報告を読んだ上司が言った一言が、すべてを変えた。
……え？
泣きたい。いや、もう笑うしかなかった。
Windowsのレジストリだのバッチファイルだのに全員アレルギーがあったらしい。
「Win端末って……Altキーが右にもあるの、何のためですか？」と真顔で聞かれたとき、
私の中の何かがそっと崩れた。
で、ちょうど一ヶ月後、上層部が「彼らの生産性を最大化するため」とか言い出して、
あっさりMac端末が支給された。MシリーズのMacStudio＋Studio Display構成。
「あ、それComposeで並列処理に変えました」とか平然と言う。
気づけばTerraformで開発環境をインフラ化までしていた。
処理速度？ 正確に計測したら、あのときのWindows仮想環境の十倍。
社内のGitリポジトリの更新履歴が、ほぼ彼らのコミットで埋まるようになった。
「それ、Homebrewで入れましょうか？」
……もう、何言ってるのか半分もわからん。
かつて「ディスプレイの電源が入れられない」と言っていた口で、
ただ、あのときの端末が彼らの性能に追いついてなかっただけ。
今日も彼らの後ろ姿を見ながら、私は小さく笑う。
——何もしてないのに、すごくなったな。
飲み屋で杯を交わす行為も、SNSで実名顔出しをする行為も、本質的には同じゲームの別の盤面で動いている。
端的に言えば「信頼を得るための行動」はコストを伴うことで初めて信頼を示すに足る。
酒席で酔って本音を曝け出すのは単なる酩酊の偶然ではなく、自己を脆弱にするという意図的な投資だ。
飲むことで判断や防御が緩む、その緩みを自ら進んで受け入れることは「私はここで負けても構わない」というコミットメントの証だ。
コミットメントは言葉ではいくらでも偽装できるが、身体状態や行動を伴うコストは偽造しにくい。
だから相手はそのコストに価値を置く。つまり飲み会で酒を拒否する奴は、単にアルコールが嫌いなだけかもしれないが、社会的信号としては「脆弱性を見せない＝コミットメントを避ける」ように解釈されやすい。
人間関係の信頼は期待値の連鎖だ。相手が本音を言う確率が上がれば、それに応じてこちらも本音を差し出す期待値が高まる。
酒を飲まないという行為は、この期待値の形成を阻害するので、無条件に信用されにくい。
同様に実名顔出しは、オンライン上の信頼構築における「コストの可視化」である。匿名であれば言葉一つで逃げられるし、責任追及も難しい。
実名を晒すことは身元や立場、社会的帰結を晒すことであり、それ自体がリスクでありコストだ。社会的コストを負うことを選んだ人間は、言葉の重みが増す。
だから実名顔出しの相互性が生まれる。互いに高いコストを負っている者は相互にマッチングし、低コスト＝匿名を排除するインセンティブを持つ。
オンラインでもオフラインでも、人は自分と類似したリスク許容やコミットメント水準を持つ相手と交流する傾向がある。これは単なる偏見ではなく、反復的相互作用に基づく最適戦略だ。
もし自分が高い信頼を差し出すなら、それは相手も同様の信頼で応答する確率が高い相手に向けられるべきだ。実名顔出しという行為は、そのフィルター機能を果たしているに過ぎない。
ここで冷厳な現実を直視しろ。人間の信頼は理想論ではない。期待される行動を遂行できるという「能力」と、遂行する意志を持つという「意図」が重なって初めて成立する。
酒で本音を言う者は、少なくとも「意図」を行動で示している。実名顔出しは、社会的帰結を引き受ける「能力と意図」の両方を示す。
逆に匿名で高らかに正義を叫ぶ者は、突き詰めれば自己保身の圧倒的な陣営に立っている。彼らは批判を受けると逃げる。
そうした者たちを信用することは、ギャンブルで期待値の低いベットを繰り返すようなものだ。だから実名同士、あるいは酒を交わした相手同士で信頼の循環が生まれるのは合理的だし、匿名が排除されるのも合理的だ。
もちろん例外はある。だが社会的合理性という観点からは、自己放尿レベルの恥を晒してまでコミットする者の言葉の価値は、裸で安全圏にいる匿名の言葉より遥かに高い。
昨日（2025年10月8日・水曜日）の僕は、いつものように目覚めの瞬間から几帳面だった。
アラームを鳴らす前の微小な筋肉収縮で6時44分59秒に目が醒め、コーヒーの湯温は必ず蒸らし後92.3℃で計測し、トーストの一片は正確に28.4g、バナナは熟度指標でF値が2.1に収まっていることを確認してから食べる。
午前中は机に向かい、形式的かつ徹底的に「超弦理論の位相的／圏論的精緻化」を考察した。
具体的には、ワールドシートCFTを従来の頂点作用素代数（VOA）として扱う代わりに、スペクトラル代数幾何の言葉で安定∞-圏の係数を持つ層として再構成することを試みた。
つまり、モジュライ族 上に、各点で安定∞-圏を付与するファイバー化されたファミリーを考え、その全体をファクタライゼーション代数として捉えて、Lurie 的な infty-functor として境界条件（ブレイン／D-brane）を安定∞-圏の対象に対応させる枠組みを描いた。
ここで重要なのは、変形理論が Hochschild 共役で制御されるという点で、VOA のモジュラー性に相当する整合性条件は、実は E_2-作用素のホモトピー的不変量として読み替えられる。
従って、運動量・ゲージアノマリーの消去は位相的にはある種の線バンドルの自明化（trivialization）に対応し、これはより高次のコホモロジー理論、たとえば楕円コホモロジー／tmf 的な指標によって測られる可能性があると僕は仮定した。
さらに、Pantev–Toën–Vaquié–Vezzosi のshifted symplectic構造を導来スタックの文脈で持ち込み、ブライアンのBV–BRST形式主義を∞-圏的にアップグレードすることで、量子化を形式的deformation quantizationから∞-圏的モノイド化へと移行させる方針を検討した。
技術的には、済んだ小節のように A∞-圏、Fukaya 型的構成、そして Kontsevich 型の formality議論をスペクトラル化する必要があり、Koszul双対性と operadic な正規化（E_n-operad の利用）が計算上の鍵になる。
こうした抽象化は、従来の場の理論的レトリックでは見逃されがちな境界の∞-層が持つ自己整合性を顕在化させると信じている。
昼には少し気分転換にゲームを触り、ゲーム物理の乱暴さを数理的に嫌味ったらしく解析した。
具体的には、あるプラットフォーマーで観察される空中運動の離散化された擬似保存則を、背景空間を非可換トーラスと見なしたときの「有効運動量」写像に帰着させるモデルを考えた。
ゲームデザイン上の「二段ジャンプ」はプレイヤーへの操作フィードバックを担う幾何的余剰自由度であり、これは実は位相的なモノドロミー（周回時の状態射の非可換性）として記述できる。
こう言うと友人たちは眉をひそめるが、僕にはすべてのバグが代数的不整合に見える。
コミックについては、連載物の長期プロットに埋め込まれたモティーフと数理構造の類比を延々と考えた。
例えば大海賊叙事詩の航路上に出現する島々を、群作用による軌道分割として見ると、物語の回帰点は実はモジュライ空間上の特異点であり、作者が用いる伏線はそこへ向かう射の延長として数学的に整理できるのではないかと妄想した。
そう言えば隣人は最近、ある実写シリーズを話題にしていたが、僕は物語世界の法則性が観客認知と整合しているか否かをまず疑い、エネルギー保存や弾性論的評価が破綻している場面では即座に物理的な説明（あるいはメタ的免罪符）を要求する習慣があるため、会話は短く終わった。
ところで、作業ノートは全て導来stackのようにバージョン管理している。具体的には、研究ノートは日ごとにGit の commit を行い、各コミットメッセージにはその日の位相的観測値を一行で書き、さらに各コード片は単体テストとして小さな homotopy equivalence のチェッカーを通す。
朝のカップは左手から時計回りに3度傾けて置き、フォークはテーブルエッジから12.7mmの距離に揃える。
こうした不合理に見える細部は、僕の内部的整合性を保つためのメタデータであり、導来的に言えば僕というエンティティの同値類を定めるための正準的選択だ。
夕方、導来スタック上の測度理論に一箇所ミスを見つけた。p進的局所化と複素化を同時に扱う際に Galois作用の取り扱いをうっかり省略しており、これが計算の整合性を損なっていた。
誤りを修正するために僕はノートを巻き戻し、補正項として gerbe 的な位相補正を導入したら、いくつかの発散が自然にキャンセルされることを確認できた。
夜はノートを整理し、Emacs の設定（タブ幅、フォントレンダリング、undo-tree の挙動）を微調整してから21時30分に就寝準備を始めた。
寝る前に日中の考察を一行でまとめ、コミットメッセージとして 2025-10-08: ∞-categorical factorization attempt; correctedp-adic gerbe termと書き込み、満足して目を閉じた。
昨日は水曜日だったというその単純な事実が、僕にとってはすべての観測と規律を括る小さなモジュロであり、そこからまた今日の位相的問題へと還流していく。
懐かしいなぁ。10年以上放置してたんだけど、はてなってまだサービス続いてるんだね。
こんにちは。俺はかつてGREEとDeNAがソシャゲ戦争やってた時代に、ソフトウェアエンジニアとしてDeNAに入社したかつての新人だよ。
サービスのプラットフォーム争いを両社がやってる最中に一人だけハードウェア抽象化の研究やってた、当時としてはちょっと逸れた事やってたgeekだよ。
DeNA vsGREEの勝者はAlphabetとAppleになっちゃったね。それで良かったと思う、両社ともゲームしか見えて無くてエコシステムの設計は全然だったから。
当時はDeNAとGREEの新卒年収1000万が連日話題になってたね。俺も例に漏れずその帯域だった。
入社祝い金だけで奨学金完済出来るとは思ってなかったよ。それどころか3年目処に家買いなって当時の上司に言われたときはビビった。
そういう金銭感覚って当時は外資のバイオ系以外持ってなかったから、というか内外証券マンすら新卒は700届かなかった時代だから、なんかやばいとこきちゃったなって。
でも、持たなかったね。
知っての通り、2012年のJP広域エンジニアショックで優秀な人材は海外に散った。二次派生は2014だっけ、Dowangoの高専流入組がすごい流出したね。優秀だったのに勿体無い。
俺は全然優秀じゃないから先輩の後を追う事しかできなくて、というか何も考えずに、成り行きでアメリカに来た。当時のJTC仕草にうんざりしてた人たちも大体このあたりだね。
まぁ株式会社って大きくなりすぎると国籍宗教問わずJTC化するなってのは後々体験するんだけど。
それでもソフトウェアが世界を変えるという盲信から、ハードウェア抽象を社会実装してDockerにJoinしたり、AmazonにJoinしたりした。
学生の時から仮想環境を使い捨てることによる冪等性がもたらすソフトウェア開発体験がテスタビリティを向上させるっていう論文書いてたんだけど、まさにDockerだよね。
同じこと考えてる人が海の向こうに何人も居る！って楽しくなって、無我夢中でコード書いてた。同僚と深夜までブレストするのが楽しくて仕方なかった。
今ではリファクタリングとか最適化とかでblameすら探すの困難だけど、初期DockerのPoCコミッターだったのは割と自慢。
ソフトウェアエンジニアと平行して投資業もやって、フルコミットが難しくなったタイミングでAmazonにJoinした。ロックダウン前年の話。
AmazonはマジでJTCそのもの。ソフトウェアにどうコミットしたか、どう改善すると社会のエコシステムに還元できるかなんて考えない。チケットの消化。それだけが、評価基準。
JTC仕草にうんざりしてた人にとっては拷問なんだよ、これ。確かに給料は良いけど、良いのは給料だけ。マジで仕事したっていう感覚は無い。
その上コロナのロックダウンを皮切りに、部署の資金繰りを二転三転させたり、業績悪化を理由に人身御供を吊し上げて首にしたり、マジで狂っていった。
コロナ明け、Amazonの株価がゴリっと減ったのを契機に退職した。それでも仕事続けてれば多分資産は250万ドルに到達したと思う、今はその半分も無いけど。
でも社内政治で消耗してたらいずれ働くのが嫌になる。ソフトウェアを書けなくなる。Amazon離職を金脈捨てた咎人のように責め立てられたけど、そうなる前に判断できたつもりでいる。
そう判断して数年経ってる。が、生きてはいるし総資産は平行線だ。増えてないけどね。
アメリカに来るきっかけになった当時の上司は、かつてはてなで働いていた。2000年代のはてなは今のNvidiaみたいな輝きを放ってたらしい。
そういう話をしたなぁと思ってふとググってみたらまだサービスが残っていて嬉しかった。DeNA時代にやった事は全部畳まれてしまっているので。。
というのを昼飯食いながら思い返している。
10数年前の自分の書き込みがらき☆すたの放送に言及してて懐かしい。
10数年前の自分の書き込みが日本はオワコンと言っていて微笑ましい。
・その能力には、専門領域の能力だけでなく、領域横断のイベント仕切り能力も含まれていた
・そしてそれらの能力をいかんなく発揮し、件の配信プラットフォームで稼いでいた
・あずまはそんなつじたの能力を買っていた
・ゲ社がつじたを、門外漢なテーマな乱暴な座組みのイベントに放り込んだのは、それらが背景
（あずまが「つじたにやらせればいいんじゃね」と言ったか、あずまのそんな態度を忖度してゲ社社員がつじたをぞんざいに扱ったかは定かではない。あるいは両方かもしれない）
・しかし、つじたは個人事業者として独立独歩の気風を旨としていた
（イベント仕切りは余技に過ぎず、言われればできるけど、やりたくてやるものではない。そんなの自分のキャリアにならない）
（毎回毎回いつもこれが失敗の原因。そんなの存在しないって自分でもわかってるくせに。自分が楽になりたいからって、都合良く後継に押し付けられるわけないじゃん）
・しかし、つじたは自分のキャリアにならない、つまらない座組みは拒絶した
・あずまやゲ社が531以前について「つじたは断ってばかりいる」と言ってるのはたぶんこのことではないか
（この点における、つじたの「同じ座組みじゃつまんないじゃないですか」は意味不明。同じ座組みで定期的に実施してグラデーションさせるのも立派な企画だと思うので）
・あずまは、自分の身銭を切ってやっとこさこしらえたプラットフォームで、自分がこころよく思わないかたちでの金稼ぎに憤懣やる方なし
（これもいつもの失敗の原因。女性売り云々事件も結局これ。「自分がこころよく思わないかどうか」基準。しらんがなってみんな思うし、そんな不安定なところにコミットできんと思うのも仕方なし）
・以上の結果、あずまが531に及んだ
・720あずま逆ギレ。どうせ俺が悪いんでしょ！でもぼくがつじた切れるわけないじゃん！だって稼いでるんだもの！それをぼくが表明してなにがわるい！とかなんとか
・ついでに「あんまり売れなかった新書（でも一般的には結構売れた新書。でも三宅香帆とかには勝てない程度の規模）」についても、疑心暗鬼の被害妄想でつじたが熱心じゃないと非難
・今のまま会って話しても、ぼくはつじたに悪口を言ってしまうとおもうから、今は会いたくないの！それくらいわかれよおまえら！バカなのか！とかなんとか
（しらんわ）
・でもつじたからしたら531がよっぽど重要。とても重要。プラットフォームの中立性、安定性こそ、自身の活動、キャリアにとって重要。自身の学術的・社会的信頼、ひいては経済的基盤の根源
・それにもかかわらず、あずまはともかく、ゲ社としてもなんらの反応を示さないことへの不信感、不快感
・以上の結果、現在の状況に至る
「押し付けたい（それによって楽になりたい、自社を儲けさせたい）」あずまと、「そんなの知らんがなこっちは個人事業者っすよ」のつじたの対立の構造という理解でおるよ。
