Sign in

でふ

@def.plus
173 followers 124 following 2.6K posts

僕です。インターネットフィッシュをやっています。

PostsRepliesMedia
でふ @def.plus · 02/10/2026
じゃんがら🍜リニューアルで昨日からお休みだった🤣 アキヨドで娘のおもちゃさがした。帰るよ。
010
でふ @def.plus · 02/10/2026
お役目を果たしたので、じゃんがら食って帰ります。
020
でふ @def.plus · 02/10/2026
信じ難いことですが、いま東京に向かう新幹線に乗らされています。
060
でふ @def.plus · 02/10/2026
娘、タコさんウインナーを気に入った。
090
でふ @def.plus · 01/10/2026
仕事のメールを打つのが苦手すぎるので、dotsに下書きを頼むようにしたら、ちゃんと宛て先に対して、自分の名乗りとか署名とか使い分けてて感心した。
010
でふ @def.plus · 30/09/2026
どっと疲れたぜ。
040
でふ @def.plus · 30/09/2026
あのあと、 arXiv.org に続いて preprints.org でも掲載を断られ、ようやく場所を見つけました。FUJII くん、がんばったね。 zenodo.org/records/2305...
zenodo.org
Lifting Periodicity from Residue Orbits for Generalized Collatz Maps over Dedekind Domains of Global Type
AbstractWe study Hasse-type Collatz maps over a Dedekind domain A of global type. Let F be such a map, with a nonzero nonunit divisor d in A, given on each residue class a in A/dA by F(x)=(m_a x-r_a)/...
020
でふ @def.plus · 29/09/2026
厳しい。
000
でふ @def.plus · 28/09/2026
a cos x + b sin x の合成を考えるときには、この値がベクトル(a,b)と単位ベクトル(cos x, sin x)の内積だと思うと速い。大きさも角度も間違えない。
000
でふ @def.plus · 28/09/2026
藤井愁霜くんも、寄稿しました。
061
Reposted by でふ
スターオブババア|文学フリマ東京43 し-42 @starofbba.bsky.social · 28/09/2026
おはようございますスターオブババアです。朝から宣伝です。11/8(日)文学フリマ東京43で文学フリマのアンソロジーを出します。東京ビッグサイトで12〜17時、入場料前売り1000円。遊びに来てね。 #文学フリマ #文学フリマ東京 #文学フリマ東京43 note.com/star_of_bba/...
086
でふ @def.plus · 27/09/2026
arXiv (ネット上に査読前の論文をアップロードできる場所) に数学のやーつを投稿した。
020
でふ @def.plus · 27/09/2026
中小企業診断士の二次口述試験は廃止になったらしい。まあ、もともと合格率99%以上とかで、ほぼ形だけの儀式になっていたのは否めない。必勝法「遅刻せずに行って、何かしゃべってくる」を守った。
080
でふ @def.plus · 27/09/2026
お元気です。
030
でふ @def.plus · 26/09/2026
地元で地味にコトコト煮込んでいるクォータニオンリマスター
060
でふ @def.plus · 25/09/2026
寝たけど寝てない。
010
でふ @def.plus · 24/09/2026
今んところ、だいたいどんな用事でも何も考えずに GPT-6-Luna の Max でお願いするのが最もコストパフォーマンスに優れていて、反応も速くてよいです。直近でLuna で頼んだ分は1日あたり(20倍プランの)1%未満だったので、Plusプランで週末全力で使っても半分以上余る計算だ。 いまAstraを使うような用途、数学の未解決問題の境界を探索するレベルくらいのものよ。込み入った定理をLeanで検証させるくらいの数学用途でもLuna Maxで十分。
040
でふ @def.plus · 22/09/2026
おはようご材木ーーーーーッ!!!!!
140
でふ @def.plus · 22/09/2026
娘が絵本とかで 🍉すいか🍉 を見つけると すいかー!すいかー! と元気よく叫ぶようになった。
090
でふ @def.plus · 20/09/2026
最近ふえた娘の語彙 ばああ (バナナ) ぶぅべ (ブルーベリー) ぷしゅ (シナぷしゅ) ぷいか (プリキュア) すいか (すいか)
050
Reposted by でふ
そわそわ @ymm1x.net · 17/09/2026
書いた “ヨドバシ.com の不便なところと、代替先としてのビックカメラ.com” ymm1x.hatenablog.com/entry/2026/0...
ymm1x.hatenablog.com
ヨドバシ.com の不便なところと、代替先としてのビックカメラ.com - ymm1x's note
普段よく使う通販サイトの一つがヨドバシ.comで、過去に注文した商品を調べてみたら800点以上もあった。 全商品を「注文した商品で絞り込む」で検索した結果件数 良いところを挙げるとキリがない、優良な通販サイトだと思う。 送料無料で、少額の商品も買いやすい。 配送が速い。爆速。 注文したその日に届いたりする。 家電以外の品揃えも幅広い。 近所のスーパーでは取り扱ってない食品・お菓子類なども多くある。...
12810
でふ @def.plus · 17/09/2026
私のシルバーウィークは論文に極振りです。他には妻と映画をみるか、娘にボコボコにされるかくらいです。
050
でふ @def.plus · 13/09/2026
娘が最近つかい始めた単語 じっじ(祖父) あこ(猫) くっくぅ(靴) あんちょ(ありがとう?)
050
でふ @def.plus · 12/09/2026
娘がキティちゃんの服を気に入りすぎて、洗濯干しして着れないと分かるとギャン泣く。
080
でふ @def.plus · 11/09/2026
僕は自宅PCと仕事PCでそれぞれPro x20を使っている。後者は会社に稟議通してお願いしているので「使わせてもらっている」が正しい。 一年前までエクセル(パワークエリ)ときどきアクセスだったのに、いまはトリプルディスプレイにCodex CLI最大10枚+ブラウザが仕事環境として定着してしまった。誰がこんなことを予想できたのか。
010
でふ @def.plus · 09/09/2026
Amazonから今日届く荷物について「色々あって無理になったので週末に送る」ってメールあったから、僕の荷物、水没した可能性がある。
040
でふ @def.plus · 09/09/2026
短編小説は、自分が書かないと「狂気」が足らないのでダメです。たぶん美文をつくるとか、読みやすいとかそういう方向にならいくらでも、いいものを書いてくれる期待はあるんだけど、それは自分の個人的な未解決の感情を消化することや、同じ側面を持つ他人に贈り物を届けることにはならないから。
080
でふ @def.plus · 09/09/2026
数学は、もともと僕は計算機を回して、こういう現象がありそうだからこういう定理が成り立つんじゃないかを予想してチャレンジ、100回に数回成功、短い論文にする。みたいなスタイルだったから、AIが証明をバンバンすることにはなんの抵抗もない。正しい証明を見れるなら素晴らしいと思っている。 ただし、数学の証明を自力で解くことに強い自負やアイデンティティを持ってる人には精神的にキツいなとも同時に思う。そうはいっても、避けられない変化だからどこかで折り合いをつけるしかない。 僕は早くこの知性が医療分野に応用されて、これまで救えなかった命や障害を克服してくれる方向に進んでくれるように期待している。
060
でふ @def.plus · 09/09/2026
もう自分が何かをやるときにAIが関わってないのは、ツイートと短編小説くらいだよ。
010
でふ @def.plus · 09/09/2026
このナヴィエストークス方程式に大域的な滑らかな解が存在するか?というのはミレニアム懸賞問題という、数学世界七不思議じゃないけど、七大すごい問題として知られている。 そのうち一つのポアンカレ予想だけペレルマンというロシアの数学者が解いた。他はずっと未解決だった。 未解決で残ってるのには、リーマン予想とかP≠NP予想とかがある。この調子だと、僕が生きている間に全ての証明が揃ってしまうのではないかとすら思える。
040
でふ @def.plus · 09/09/2026
ナヴィエストークス方程式は乱流の数理モデルで、天気予報とかにも使われてる。これに厳密な解があるか? というのが未解決だった問題で、それまではシミュレーションとかで近似解を使っていた。 もしこの問題が肯定的に解決して厳密解が求まるなら、例えば、天気予報とかももっと精度が良くなるかもしれないし、竜巻が起こるメカニズムが分かるかもしれない。続報を待つ。
030
でふ @def.plus · 08/09/2026
これ、OpenAI在住のデコ助10000人が88時間がかりで解決したらしい。マジだとしたらすげえな。 ja.wikipedia.org/wiki/%E3%83%...
ja.wikipedia.org
ナビエ–ストークス方程式の解の存在と滑らかさ - Wikipedia
020
でふ @def.plus · 08/09/2026
伊勢湾界隈
030
でふ @def.plus · 06/09/2026
起きたらスネにアンパンマンのシール貼られてた。
090
でふ @def.plus · 05/09/2026
娘にシャインアルカナロッドでボコボコにされてる。
061
でふ @def.plus · 05/09/2026
「AIが作業を完遂させたときに、ありがとうと言うべきか?」という話題がある。僕は言う派(個人の意見)。以前見た記事によれば、OpenAIは「このありがとうへの応答のために実は相当のコストかかっているのだけど、悪くない文化だよね」と言っていた。 さて、今日 GPT-6-Astra へのアクセスを得られたので、どんなものかと試していたら、エージェントが、サブエージェントに対して「確認ありがとう」とか「進捗共有お願いします」とか言っていて、おまえ~~~~!!!!って声が出てしまった。
「確認ありがとう」
「進捗共有をお願いします」
040
でふ @def.plus · 04/09/2026
娘から、いないないばあの千本ノックを受けてる。
040
でふ @def.plus · 04/09/2026
伊勢湾圏に到着した。もう何も怖くない。
020
でふ @def.plus · 04/09/2026
大昔、三鷹/吉祥寺に住んでいた。車窓からざっと見て感じられる、ひと匙の面影と致死量の変化にブァーってなる。
040
でふ @def.plus · 04/09/2026
やむなく混んだ車内に滞留しており、東京の恐ろしさを味わっている。
020
でふ @def.plus · 04/09/2026
発表しました。おれはやりました。
090
でふ @def.plus · 03/09/2026
おはようご材木ーーーーーッ!!!!!
080
でふ @def.plus · 03/09/2026
久しぶりに数学に囲まれており感動している。
050
でふ @def.plus · 02/09/2026
この東京の旅で行っておきたいところ。 本屋、ラーメン屋、ラーメン屋、電気屋、図書館。
040
でふ @def.plus · 02/09/2026
FISH (カレー)
大辛チキンカレー ライス大盛り
190
でふ @def.plus · 01/09/2026
今日からしばらく仕事と数学をしに東京に行きます。
0100
でふ @def.plus · 30/08/2026
最近、妻が〜娘が〜の話しかしないのだけど、大体その通りです。人生のときどきで主たる関心が変わっていくのも、また自然なことだと思います。娘が寝相で僕を蹴り飛ばす脚力も着実に力強くなってきました。喜ばしい傾向かと存じ上げます。
0170
でふ @def.plus · 28/08/2026
凍ったブルーベリーが冷凍庫にしまってあるということが娘にバレてしまい、「ブルーベリー」という単語を聞きつけると冷凍庫の前まで歩いていって、扉をこじ開けようとするようになった。
060
でふ @def.plus · 24/08/2026
お疲れが出てしまった。
020
でふ @def.plus · 19/08/2026
東大の入試問題は、事後申請さえすれば使ってもいいらしい。ほな解説してしまってもええということやな?
010