カニだよ(´・ω・`)

オホーツク海
Joined January 2010
てらモス🌹 retweeted
急にみんなコレ買いだしそうな予感w OpenAI コラボモデル(?) yubico
4
12
10
146
10,996
てらモス🌹 retweeted
Kaggle NotebooksがRのサポート終了か。時代はPythonに。
> Kaggle が R 言語のサポートを近日中に終了 残念だがしょうがないかな。
1
6
12
1,397
てらモス🌹 retweeted
物性研六階でアンケートに答えるとこの特製物性犬マグネットがもらえます!バッジもあるよ!
3
8
940
(などと言ってたら、HPには利用していたようでメンテナンスに入ってしまいました…それは中の人が知りませんでした、申し訳ありません🙇‍♂️💦開発には関係していません💦)
(´-`).。oO(世間でPHPが話題ですが、弊社なんと全然関係ありません…プログラミング言語PHPが生まれるだいたい半世紀弱前からPHPを名乗っている、活字で生きる会社なのです…)
85
8,456
565
28,333
1,541,513
(´-`).。oO(世間でPHPが話題ですが、弊社なんと全然関係ありません…プログラミング言語PHPが生まれるだいたい半世紀弱前からPHPを名乗っている、活字で生きる会社なのです…)
189
18,188
1,178
72,981
4,576,394
てらモス🌹 retweeted
【📣アーカイブ公開】 🎥 数理最適化入門 #1「JijModelingをはじめよう」 🧮 数理最適化の基礎から、ナップサック問題のモデリング・求解まで解説! これから学びたい方、ぜひご覧ください👇 youtube.com/live/R5W5zwP3apo… #数理最適化 #JijModeling ✨
2
2
438
東京大学柏キャンパス一般公開をみにいこう! #HiggsTanByYourSide
5
26
691
てらモス🌹 retweeted
To bring quantum applications within reach sooner, we must compress the circuits that power them. Join our @Kaggle competition to build efficient, verifiable circuits using our new open source kickmix library: goo.gle/4BqF2QX
6
45
8
258
10,380
超レアな結晶構造!銀で「単純立方構造」という特殊な結晶構造が見つかったのよ。元素単体かつ標準状態付近では、これまでポロニウムでしか見つかってなかったのよ! 合成しつつ観察するという方法での不安定な結晶構造の発見は、他にも未知の構造が眠っているのを示唆するのよ。 #彩恵りりの1日1論文
【研究成果】 約60年ぶり2例目の単純立方構造の単体結晶を発見~電子線を用いた結晶生成により不安定な結晶構造の観察を実現~(低温科学研究所 日本学術振興会特別研究員(PD) 榊原雅也、教授 木村勇気) 詳細はこちら hokudai.ac.jp/news/2026/10/6… #北海道大学 #北大
2
76
2
238
6,900
てらモス🌹 retweeted
この間 「その椅子良さそう。座らせてもらえませんか」 「いーっすよ…(ハッ)今のは椅子とかけていたわけじゃなくて!??」 「言わなきゃいいのに!」 「で、それの座り心地はどうですか」 「いーっすよ… (ハッ)今のは椅子とかけていたわけじゃなくて!??」 という悲劇が悲劇を呼ぶ展開があった
1
16
1,222
てらモス🌹 retweeted
Discrete time liquids arxiv.org/abs/2610.30266 離散時間液体という概念を特定する。これは、時間ソリトンの結果として生じる短距離の時間的コヒーレンスによって特徴付けられる、新しい形態の時空間秩序である 時間液体の提案ワロタ。 2年ぶりに目覚めました
時間液体とか時間気体とかいい出す人が出てきたら起こしてください
1
1
17
1,331
おはようございます! 一般公開が始まりました!気持ちの良いお天気のもと、物性犬とお待ちしております 一般公開ページ↓ issp.u-tokyo.ac.jp/openlab/
16
3
54
2,910
なぜ我々は負のポアソン比に魅了されるのでしょうか? 何はともあれ、新しい論文が掲載されました! データ駆動型トポロジー最適化により、押すと縮む、いわゆる負のポアソン比を持つメタマテリアルを設計しました。 doi.org/10.1016/j.matdes.202…
6
135
16
860
64,810
てらモス🌹 retweeted
限定300台のアルミ削り出し筐体「HHKB Professional Elite」誕生。 素材、構造、打鍵感、そして所有する歓びまで徹底的に追求しました。30年の思想を1台に込めたHHKBシリーズ最高峰モデルです。 本日から10月28日(水)まで先行オーダー権の抽選申込受付開始いたします。 pfu.ricoh.com/news/2026/news…
39
661
481
1,790
346,059
てらモス🌹 retweeted
面白い😁 「電気の気持ち」だけでなく、「3次元空間を回転する剛体の気持ち」などを問題にしても良いかもw
Replying to @ichirowo
国語の授業で作者の気持ちの問題が出るんだから、理科で電気の気持ちを教えてくれよ
1
7
2
22
1,832
てらモス🌹 retweeted
Codexさんへ 設計ドキュメントは私の頭の中にあるので、適宜参照してください。承認するので。 やしろ
3
2
2
32
1,171
てらモス🌹 retweeted
Q:命題「(省略)」を証明せよ に対して A:学習指導要領より、前期中等教育において「証明せよ」と出題される命題は必ず証明が可能である。証明完了 というネタ回答をしていたらしい知り合いを思い出しました。
私小学校の時テストに円周率が3.05より大きいことを証明せよって問題が出た時に 問題用紙表紙より断りがなければ円周率を3.14とする。とあるためπ=3.14>3.05よって題意は成り立つ って書いて丸貰ったことある
3
49
4
1,018
84,265
てらモス🌹 retweeted
電卓の計算結果みたくなるのか > 4. いちばんの核心。これまでは「証明できた=理解した」だった。これからは、証明は数値計算と同じ「生データ」になる。目標は、そこから理論を構築すること
「AIが難問を解きまくってる今、博士に進んで大丈夫なんか」 3Blue1Brownが、まさにこの質問に40分かけて答えた動画を出してた(公開4日で200万再生超)。全部見たので、要点を日本語でまとめておく。 結論から言うと、動画の答えは「今ほど数学に進むのに良い時はない」。ただ理由が意外だった。 1. 数学者の仕事は「証明」だけじゃない。問いを選ぶ、理論を作る、応用する、人に伝える。価値もお金の流れも、実は証明以外のところが大きい(お金の最大の出どころは授業!) 2. AIの見方:「その時点の到達点は過大評価されがち。でも進む速度は過大評価されてない」 3. 仮にAIの方が証明が上手くなっても、自分で証明する訓練の価値は消えない。機械の方が重いものを持ち上げられても、筋トレに意味があるのと同じ 4. いちばんの核心。これまでは「証明できた=理解した」だった。これからは、証明は数値計算と同じ「生データ」になる。目標は、そこから理論を構築すること 5. 機械が説明まで上手くなっても、人が口で伝える力の価値はむしろ上がる。人は説明の分かりやすさより「本気で好きな人」を見て学ぶ気になるから。これはYoutubeで人が熱心に説明する動画に需要があるのと同じ 6. 今が一番いい時なのは、AIで新しいことができるからじゃない。分野全体が「変わらなあかん」と分かっていて、新しく入ってくる人の声を聞く準備ができてるというのもある 7. 明日やることは「ノートPCを閉じて、仲間と長い散歩をして、自分は数学の何が好きか話すこと」 大学に所属せずに独立研究者してる身として、一番いいなと思ったのは4と5。 論文を毎日1本読んでポッドキャストで話してるけど、もちろんAIに要約させたらそれで良いじゃんという人もいる。私がそれでも続けてるのは、自分が面白がって話すことに意味があると思ってるから。あと単純に自分が楽しんでいるからというのもある。 AIに奪われない研究の仕事は「解く」ことより、「面白がって、人に渡す」ことなのかもしれん。これは数学だけじゃなく、地球科学でも科学一般でも同じ。 youtube.com/watch?v=LKrwhjOI…
2
4
476