nya（求職）

転生先アカウント 物理

[nya（求職） @111nyamya]

確かに

[Tsuyoshi Miyakawa @tsuyomiyakawa]

人文系のダウンサイジングの議論が活発ですが、「理系への業務転換」を通じて「ダウンサイジング」を実現するのが前向きで生産的なのでは。まず心理学、経済学などは理系でないのが不思議すぎ。自分が学生のころからなぜ文系？！と思ってました。日本の心理学や経済学が国際的に弱い最大の原因の一つがこれらが文系にあるこことだと思ってます。理系に転換すべきかと。

法学、社会学、歴史学、言語学、考古学、古典の文献の研究とかも現在、デジタル化しAIや統計を全く活用しないような部分は極めて限定的になっているのでは？理系・文系の区別をなくす、という考え方でもよいかとは思いますが。

[nya（求職） @111nyamya]

そうやって作った定理を人々がMathlibなどに追加していって再利用可能な状態にしてほし���

[kmizu @kmizu]

Lean（Rocqなどでも可）経験ない人もが��がんエージェントに書かせて、正しいことが証明されたコード作らせると楽しいとおもうんですよ。Extractionできないのもエージェントに外注すればやってくれますし。

定理証明系の使い方はその過程で習得すればいい。

[nya（求職） @111nyamya]

フラーレン上のベリー曲率とかってどうするんだろう

[nya（求職） @111nyamya]

なんか、哲学があって作られるskillsは強いと思う
よくある作業を抽象化していって作るのは陳腐というか、そこでしか使えないものになる

[ノーン @nkowne63]

これ自分も悩んでいて、今はとりあえずskillにリファレンス貼るだけのスキルみたいなのがいくつかあるが、良いとは思えてない

[論計舎 @ronkeisha_info]

Lean 4の並列タクティク探索で、処理時間の99%以上がelaborationの再実行に消えていた。証明状態をスナップショットとして再利用することで平均14倍・最大50倍の高速化を達成。形式証明×LLMの実用化に直結する。

https://t.co/ZPOgzVNI4h
#形式検証 #生成AI
https://t.co/HPVC26603b

[nya（求職） @111nyamya]

竹槍でB29と戦おうとしてた時から何も成長してなくて草なんよ

[nya（求職） @111nyamya]

就活したことなさそう

[Kaori YAMADA, PhD @KaoriYamada01]

同じ会社同じ職務ならそうでしょうね。大卒女子は大卒男子と同程度のお給料の職には付けず、高卒男子と同程度の職にしか採用されないということなんじゃないですか？現に差はあるんだから。
もしくは初任給は同じでも、男性だけ出世の道がある。

[nya（求職） @111nyamya]

LEANで物性理論を再構築してみている
https://t.co/Kw4Tx9TY5b

[nya（求職） @111nyamya]

チャット機能なら無制限
なので5.6 Solに他のモデルがコーディングしたGitHub上のリポジトリを投げてレビューさせてる

[Kohta Ishikawa @_kohta]

gpt-5.6 Sol Proは質の違う賢さを感じるなあ（リミットが気になってあまり使えない）

[Gyroid @shutoito]

某トヨタ動画観た。技術者としては、現場の緊迫感・閉塞感に息が詰まった。経営層は未来が定義できず、次世代の大衆車の設計の話なのにソフトウェアや自動運転の話が１ミリも登場せず、神格化された創業家の会長がソムリエのようにサーキットで乗り味を確かめて、いいクルマを作ろうという話だった。

[nya（求職） @111nyamya]

試行錯誤を爆速で回している中国に危機感を持たないのはやばいですよ

[ノミ🦗@筋トレ×投資 @nomi_investor]

これは製造業で開発に携わってない人は絶対分からない感覚なんよね。安い部品をかき集めてスペック見えるとこだけ性能上げた中国製品と部品の品質まで相当厳しく管理してスペックに出ない耐久試験を死ぬほどやって開発した日本製品の違い。10年使うと圧倒的な差が出るし過酷な環境下で使われるほど差が出る。開発スピードと安さだけ見ると当然中国製品が上に見える。コピペできるデジタル製品はそれでも���いけどハード勝負の製品は日本製品が格段に上。日本製品がせめて価格的な競争力だけでも肩を並べられるようにするためには円安政策で国内製造回帰するのが最短。

[χai @phy__xai]

インキャすぎてアキバで降ろされそうになったけどデブだったから国技館まで連れてかれて土俵入りしたことある

[nya（求職） @111nyamya]

数学界のPanPiano

[朱�� / とき @tokiy_0904]

何だこの乳デカ数学チャンネル

[nya（求職） @111nyamya]

めっちゃ分かりやすい
https://t.co/XZ7bpRKmdx

[nya（求職） @111nyamya]

DaiGoの動画で俺にアドバイスするんじゃねぇ
◯す

[nya（求職） @111nyamya]

これ2年前にもあった問題だ
何故か退化している

[はむさんど. @hamu_3nd]

Gemini 3.6 Flash、さすがに間違えないであろう質問を投げたら初手で間違えたんだが

[nya（求職） @111nyamya]

なんかネットに転がってる論文より遥かに綺麗な結晶を作れたっぽい

[nya（求職） @111nyamya]

@jNkif3uTQa86516 そうですね
点電荷だと絶対無理ですね
落ちないだけなら多分古典的な電磁流体でも説明��きると思いますけど、リュードベリ公式とか二重スリットとかで否定されますね