l_ppp

理系パパ

[l_ppp @ppp3141592ppp]

Juliaでの調べ方 いろいろ(ちょい追記) https://t.co/SIwrz0myIX #Qiita

[迫稔雄 @oshitokosa]

今嘘喰い48巻を読みながら思った
造った俺に今こう言いたい

スゲ〜なお前！！

俺は己の作品にこんな自画自賛な事言う漫画家を知らないし見た事もない

でも読むと純粋にこの漫画面白い！！

自分が面白いと思う漫画を己が描く
それを読者が共感する
最高だよね…
未だに嘘喰いは売れ続けてます
俺と共感してくれた読者の皆様
ありがとうございます😭

己が面白いと言って恥ずべきじゃない漫画を己が描いた事は誇らしい！

[l_ppp @ppp3141592ppp]

ナビエストークスの問題は
流体を連続体として扱う限界の話になるっぽいのか

[l_ppp @ppp3141592ppp]

ほーん

GPT-6 Astraってのは
PC画面見て操作がパワーアップポイントで

GUIを弄るから、Blenderとか3Dモデルで凄い
みたいな話になってるのか

[l_ppp @ppp3141592ppp]

LLM計算の電力問題で、精度不要なのでアナログ化研究が進んで

光とかもあるけど、どっかで
ips脳とかの生体コンピュータになって
また巨大化して

ようやく『マギシステム』か

[l_ppp @ppp3141592ppp]

Stream Deck 的動作をスマホやる
モバイル版を試したが

なるほど、デスクトップアイコンの場所はそこじゃないって事だな

なんて考えながら
一時期のMacに「Touch Bar」
があったことを思い出す

[l_ppp @ppp3141592ppp]

第二種もほぼ同じアルゴリズムなので、ついでに
CC16 : 3203000719597029781 まで確認

第一種も更に３日かけて
CC17 : 2759832934171386593519 まで確認

素人が個人PC(GTX1660Ti)で限界までやったと思う
（CC18は見積もり1年以上)

[l_ppp @ppp3141592ppp]

第１種カニンガム鎖
昔 Julia言語 で計算してみたことがあったが

OpenCodeの「DeepSeek V4 Flash」でGPU対応にしてもらったところ、100倍以上高速化した。

前はほぼ不可能だった20桁のCC15の算出に成功できた

https://t.co/jCCJPDzeWi

[l_ppp @ppp3141592ppp]

Julia言語 での第１種カニンガム鎖 探索

もう少しだけ約2倍速チューニングできて
CC16 : 810433818265726529159
が最小を2、3日かけて確認

当たり前だけど、ちゃんと発見された通りなもんだね

[l_ppp @ppp3141592ppp]

エログロ表現が、別に犯罪助長すらしないってので
表現規制の旗振りの まず前提おかくね
がその枠ではあるが

タバコ・酒系表現
は影響あるよって話だっけか？

やんわり法規制と自主規制が現状だろうけど

ここの表現の自由的な解釈はどうなんだろ？

[l_ppp @ppp3141592ppp]

AWTFの結果みるに
あと人間で出来るは、攻殻機動隊な世界か

[l_ppp @ppp3141592ppp]

noteにぶら下げとく
(これもAIさん作)

https://t.co/hACrHdMz33

[l_ppp @ppp3141592ppp]

キーボードの配列をAutohotkeyで
定期的にいじってるけど

コード編集面倒なんでAIさんにAHKスクリプトつくる
GUI作ってもらった
https://t.co/vR6DzXEwB2

[l_ppp @ppp3141592ppp]

昔自分でやってたとき

この頃と違って、AIエージェントまかせで テストやっといてとか、いい感じにまとめてgithubにおいてとかは隔世の感

https://t.co/PG4drIsuiw

[l_ppp @ppp3141592ppp]

・ #第1種カニンガム鎖  を #Julia言語 で探す

強PCちょい使ってさっきのver.2で
CC15が19桁までにない確認完了
(ない確認で、何も結果がない)

次の桁のケツ当たりにCC15があるはずだが、計算1ヶ月以上の見積もりで
う～ん一旦ここまでかな

https://t.co/TQEwvBDyip

[l_ppp @ppp3141592ppp]

まぁ、最近CC20とか、まさしく桁違いの発見してる
John Armitage さんはむしろCPUでAVX-512に特化させたりしてるっぽいけど

https://t.co/Lfjy2uBidY

[パジョカ (Pajoca) @Pajoca_]

素数ニュース！
長さ20の第1種カニンガム鎖が史上初めて発見されました！！
(2014年に長さ19が発見されて以来の記録更新)
　p₀=75949683268775452969189499 (素数)
とすると p₁ = 2p₀+1 も素数、p₂ = 2p₁+1 も素数… と p₁₉ まで素数に！
(発見者は John Armitage さん)

[l_ppp @ppp3141592ppp]

mpeg vcmってなるのかな？
動画をAIとか向けに特徴量情報で圧縮(?)するの

画像の ラスタ ⇒ ベクター な話の
動画での突き詰め的な意味合いになると思うけど

動画の扱いの現代版が、映写機 が 伝聞 に戻る感があって
趣深い

[l_ppp @ppp3141592ppp]

キーボードとかOSで、絵文字(記号)ショートカット載ってたりして
誰が使うんだろと思ってたけど

英語圏とか漢字変換ないから、Σとか記号系も困難だったか

[l_ppp @ppp3141592ppp]

どうも、剰余がだいぶ肝だな

Kerφで潰せる。
ヤッター！

みたいな

剰余に割り算の「/」な所はまだ違和感
プログラムだと「%」的な何かの雰囲気が欲しい

[l_ppp @ppp3141592ppp]

ガロア理論入門中

新規で見るが、言われてみればそうかもな概念が
矢継ぎ早に出まくる
これは常に確認をし続けないといけない

これが数学科のゼミとやらが力を発揮する話か？

個人の趣味の見てるおっさんには
AI壁打ちが出来る時代でよかった

[l_ppp @ppp3141592ppp]

小学生の小テストで

時速20kmの船から、時速10kmで動いて見える船の速度は？ってあって

「動いているものから、動いているものの速度について考えた事なかった！分からん！」

と、初見で無理やり20×10とか書いて出した記憶

無知で無能だと、直感ってそんなもんって思い出話
（相対論は生まれない）

[l_ppp @ppp3141592ppp]

娘が焦げた食べ物を、ダークマターと呼んでたので
要らん指摘をしたが

あれはむしろ透明の代表で
全く黒くはないよな