顧客が本当に欲しているのはドリルではなく意志と世界の完全なる調和
December 14, 2025 at 3:26 PM
顧客が本当に欲しているのはドリルではなく意志と世界の完全なる調和
数学に矛盾が見つかるというのは、たとえばチェスに必勝法が見つかることに類比的である。
December 14, 2025 at 3:22 AM
数学に矛盾が見つかるというのは、たとえばチェスに必勝法が見つかることに類比的である。
自分はあんまりこの種のアナロジーを使ってものを考えないなと思った。
https://syu-m-5151.hatenablog.com/entry/2025/12/06/060208
https://syu-m-5151.hatenablog.com/entry/2025/12/06/060208
おい、類推するな - じゃあ、おうちで学べる
この記事は、Rust Advent Calendar 2025 6日目のエントリ記事です。 はじめに 「それって、○○みたいなものですよね」 私は、この言葉に何度救われてきただろう。新しい概念を理解するとき。誰かに説明するとき。問題を解決するとき。類推は、私の思考の基盤だった。いや、今でも基盤だ。ただ、その基盤が思ったほど頑丈ではなかったことを、私は何度も思い知らされてきた。 Rustを学び始めた頃の話だ。Rustは、プログラミング言語の1つだ。安全で高速なプログラムを書けることで知られている。私はRustの公式教科書「The Rust Programming Language」を読んでいた。…
syu-m-5151.hatenablog.com
December 13, 2025 at 4:50 AM
自分はあんまりこの種のアナロジーを使ってものを考えないなと思った。
https://syu-m-5151.hatenablog.com/entry/2025/12/06/060208
https://syu-m-5151.hatenablog.com/entry/2025/12/06/060208
蛇口をひねるとお湯が出てくるのかなり文明という感じがある。
December 12, 2025 at 8:24 AM
蛇口をひねるとお湯が出てくるのかなり文明という感じがある。
窓ガラスの向こう側で枯れ落ちた葉が舞っている。せわしなく動く人や車がきらきらと明滅する。空は澄んで遠く、空間の幾何学はゆがみなく正確で、神は休暇に出たきり帰って来ず、地上の営みはシミュレーションに等しい。言葉はたどたどしく影が伸びる速さで、あの信号が変われば僕は店を出るだろう。
December 12, 2025 at 5:02 AM
窓ガラスの向こう側で枯れ落ちた葉が舞っている。せわしなく動く人や車がきらきらと明滅する。空は澄んで遠く、空間の幾何学はゆがみなく正確で、神は休暇に出たきり帰って来ず、地上の営みはシミュレーションに等しい。言葉はたどたどしく影が伸びる速さで、あの信号が変われば僕は店を出るだろう。
『純粋理性批判』をまたちまちま読んでいる。こんな複雑怪奇な言語的建築物が重要な地位を占めているような文脈が人類世界の中に存在するということにあらためて不思議な気持ちになる。たとえば今これを僕がポンと書いたとして狂人の戯言として無視されるに決まっている。
December 12, 2025 at 4:41 AM
『純粋理性批判』をまたちまちま読んでいる。こんな複雑怪奇な言語的建築物が重要な地位を占めているような文脈が人類世界の中に存在するということにあらためて不思議な気持ちになる。たとえば今これを僕がポンと書いたとして狂人の戯言として無視されるに決まっている。
ASUS Ascent GX10 のホストネームを kukuri にした。
December 12, 2025 at 4:35 AM
ASUS Ascent GX10 のホストネームを kukuri にした。
廣井きくりは菊理媛神に由来していたりするのかな
December 12, 2025 at 4:31 AM
廣井きくりは菊理媛神に由来していたりするのかな
眼前に広がるのは裏返された液面と立ち上る茶柱。ありし日の蒼穹は年老いて黄色にくすみ、打ち捨てられた古書の張り付いた頁からは新月のたびに過去が剥離する。誰もいないブランコが揺れて、寒空を滑る烏は飛びながら剥製になった。帯電多様体の勾配はつねに新しい詩を運ぶが、親切なクリシェたちはそれらが息をすることを許さないだろう。あかぎれした夕日が沈み、すべての犬が死に絶えるまでは。
December 7, 2025 at 7:08 AM
眼前に広がるのは裏返された液面と立ち上る茶柱。ありし日の蒼穹は年老いて黄色にくすみ、打ち捨てられた古書の張り付いた頁からは新月のたびに過去が剥離する。誰もいないブランコが揺れて、寒空を滑る烏は飛びながら剥製になった。帯電多様体の勾配はつねに新しい詩を運ぶが、親切なクリシェたちはそれらが息をすることを許さないだろう。あかぎれした夕日が沈み、すべての犬が死に絶えるまでは。
知覚はそれをそれとして概念化しているが、しかしその概念を一切使わない状態、思惟の対象としては決して用いない状態を維持する。見えているが見ていない。それは存在という形式を剥奪された純粋なゲシュタルトである。
December 7, 2025 at 5:58 AM
知覚はそれをそれとして概念化しているが、しかしその概念を一切使わない状態、思惟の対象としては決して用いない状態を維持する。見えているが見ていない。それは存在という形式を剥奪された純粋なゲシュタルトである。
冬の陽射しは埃っぽくてそこまで好きじゃない。冬は曇っていたり雨が降っていたりするほうがいい。
December 7, 2025 at 5:46 AM
冬の陽射しは埃っぽくてそこまで好きじゃない。冬は曇っていたり雨が降っていたりするほうがいい。
ナチュラルテイストの木の色にたいして何か具体的な色名を与えろと言われると躊躇われる感覚があるというか、色という形式が適用されない対象であるような気がするんだよな、木材。人の肌とかもそんな感じ。
December 2, 2025 at 11:36 AM
ナチュラルテイストの木の色にたいして何か具体的な色名を与えろと言われると躊躇われる感覚があるというか、色という形式が適用されない対象であるような気がするんだよな、木材。人の肌とかもそんな感じ。
Gemini に標準模型について教わってみた。何も知らなかったので。ゲージ群というものがあって、その（左から作用する）対象となるのがフェルミ粒子（の内部状態）らしい。粒子全体の空間において作用に対して閉じた集合が一つの種類の粒子（クォークとか）に対応する。で粒子内部の状態の変化に対して、物理法則は不変でなければならない（種類が変わらない限り）。ここで粒子の運動と内部状態を記述するラグランジアンを考える。物理法則不変性を前提すると、粒子の内部状態の変化が運動に影響しないように補正項を導入する必要がある。この項が要するに粒子の相互作用であって、この補正項の行列の作用する空間を分類すると、
December 2, 2025 at 1:24 AM
Gemini に標準模型について教わってみた。何も知らなかったので。ゲージ群というものがあって、その（左から作用する）対象となるのがフェルミ粒子（の内部状態）らしい。粒子全体の空間において作用に対して閉じた集合が一つの種類の粒子（クォークとか）に対応する。で粒子内部の状態の変化に対して、物理法則は不変でなければならない（種類が変わらない限り）。ここで粒子の運動と内部状態を記述するラグランジアンを考える。物理法則不変性を前提すると、粒子の内部状態の変化が運動に影響しないように補正項を導入する必要がある。この項が要するに粒子の相互作用であって、この補正項の行列の作用する空間を分類すると、
メモ置き場を体系的に整理したところ新たな文章をそこに書き加えることが困難になってしまった。意味のあるもの・新しいものは体系に馴染まない。
November 29, 2025 at 1:26 PM
メモ置き場を体系的に整理したところ新たな文章をそこに書き加えることが困難になってしまった。意味のあるもの・新しいものは体系に馴染まない。
ウナギ減少の対策として日本人の何人かをランダムにウナギに変身させる仕組みを作れば良いのではないかと考えていたが（タレの味なのでそれほど難しくないはず）計算すると年間で百人に一人をウナギにしないといけないらしく流石に受け入れられない可能性がある。
November 29, 2025 at 12:09 AM
ウナギ減少の対策として日本人の何人かをランダムにウナギに変身させる仕組みを作れば良いのではないかと考えていたが（タレの味なのでそれほど難しくないはず）計算すると年間で百人に一人をウナギにしないといけないらしく流石に受け入れられない可能性がある。
最近忙しすぎてちょっと余裕ができたと思ったたら精神のバックアップをロードしているうちに午前中が終わってしまった。
November 26, 2025 at 4:00 AM
最近忙しすぎてちょっと余裕ができたと思ったたら精神のバックアップをロードしているうちに午前中が終わってしまった。
久しぶりに大阪梅田の街を歩いた感想だけど、「道」の概念が存在せず連結した広場によって構成されている感じがした。あといろんな場所に人流の渦ができる構造になってて人混みを突破するのが難しい。
November 25, 2025 at 4:27 AM
久しぶりに大阪梅田の街を歩いた感想だけど、「道」の概念が存在せず連結した広場によって構成されている感じがした。あといろんな場所に人流の渦ができる構造になってて人混みを突破するのが難しい。
大阪駅の構造が狂っているせいで救えなかった命があります。なにこれむつかし。
November 23, 2025 at 3:57 AM
大阪駅の構造が狂っているせいで救えなかった命があります。なにこれむつかし。