てらモス🌹 (@termoshtt) header
てらモス🌹 (@termoshtt) profile picture

てらモス🌹

@termoshtt

カニだよ(´・ω・｀)

 オホーツク海
github.com/termoshtt
Joined January 2010
  • Tweets277K
  • Following5.2K
  • Followers4.4K
2.9KMedia
Photo by てらモス🌹 (@termoshtt)Photo by てらモス🌹 (@termoshtt)Photo by てらモス🌹 (@termoshtt)Photo by てらモス🌹 (@termoshtt)Photo by てらモス🌹 (@termoshtt)Photo by てらモス🌹 (@termoshtt)Photo by てらモス🌹 (@termoshtt)Photo by てらモス🌹 (@termoshtt)Photo by てらモス🌹 (@termoshtt)Photo by てらモス🌹 (@termoshtt)
なんかC++26がContractsまわりのせいで否決されたとChatGPTが言っとるが...(´・ω・｀)
3
310
てらモス🌹 retweeted
yoh2 (@yoh2_sdj) profile picture
yoh2
@yoh2_sdj19h
Perl, Ruby「unless が欲しいと聞いて」 Swift 「guard 構文を所望とな？」
Windymelt🍊🇯🇵🌸🚀❤️‍🔥F2FC 63C2 42C0 4D9D (@windymelt) profile pictureWindymelt🍊🇯🇵🌸🚀❤️‍🔥F2FC 63C2 42C0 4D9D
@windymelt19h
「以下の要件をすべて満たすとき・・・」みたいな要件は無限にあるわけだが、こういうのの実装にはearly returnが使われることが多い。しかしながら、early returnは当然「要件を満たさなかったときはもう打ち止めにする」ことしかできないので、条件式がひっくり返ってしまう。assertしてほしい
2
5
30
4,278
てらモス🌹 retweeted
共同通信公式 (@kyodo_official) profile picture
共同通信公式
@kyodo_officialOct 30
文科相、深海探査母船新造に意欲 － 「積極的に推進したい」 news.jp/i/148873617213913557…
文科相、深海探査母船新造に意欲 「積極的に推進したい」 | NEWSjp

文科相、深海探査母船新造に意欲　「積極的に推進したい」 | NEWSjp

関芳弘文部科学相は30日の閣議後会見で、老朽化した海洋研究開発機構の「よこすか」の後継となる超深海探...

news.jp
2
138
11
311
19,053
てらモス🌹 retweeted
dalance (@dalance1982) profile picture
dalance@dalance198221h
Replying to @Qiita
@Qiita で使われているシンタックスハイライタが更新されたようで、Verylがサポートされるようになりました。
Image from dalance (@dalance1982)
7
1
20
806
てらモス🌹 retweeted
NHKニュース (@nhk_news) profile picture
NHKニュース
@nhk_news22h
【NHKニュース速報】 暗号資産の世界的大手「バイナンス」に　不正アクセスか　影響額は約９９００億円(13:49) #nhk_news news.web.nhk/newsweb
NHKニュース 速報・最新情報

NHKニュース 速報・最新情報

NHKのニュースサイト。国内外の取材網を生かし、さまざまな分野のニュースをいち早く、正確にお伝えします。ニュース速報はもちろん、現場の記者が執筆した読み応えのある深掘りコンテンツや、NHKならではの豊富な動画コンテンツも。

news.web.nhk
18
542
229
716
160,265
てらモス🌹 retweeted
HGPU group (@hgpu) profile picture
HGPU group@hgpuOct 28
Racer: Hunting GPU Kernel Bugs with Symbolic Equivalence Checking #PTX #CUDA #Triton #LLM hgpu.org/?p=31443
Racer: Hunting GPU Kernel Bugs with Symbolic Equivalence Checking

Racer: Hunting GPU Kernel Bugs with Symbolic Equivalence Checking

GPU kernels are critical to the performance of today's AI services, yet the same operators are rewritten repeatedly: for each GPU generation, numeric format, serving regime, and kernel languag…

hgpu.org
2
8
665
もしかして世界、知らんうちにAIバブル崩壊みたいになっとる(´・ω・｀)？
3
453
てらモス🌹 retweeted
ノーン (@nkowne63) profile picture
ノーン@nkowne63Oct 28
量子アルゴリズムのアイデアが枯渇してるのは実機がない中で量子加速が起きそうな奴だけ調べられてるっていう研究の偏りも結構あると思うんよな。 つまり、そもそも裾野が狭すぎるという説があると思います。 「古典と同等以下だけどこんなユニークな計算ができますよ〜」が全然目立ってない。
6
82
3,313
てらモス🌹 retweeted
ノーン (@nkowne63) profile picture
ノーン@nkowne63Oct 28
枯渇してるわかるなあ。 これなんでやろうね。
シータ (@Perfect_Insider) profile pictureシータ@Perfect_InsiderOct 28
Replying to @Perfect_Insider
最後のは漠然としているけれども、量子加速するアルゴリズムが基本的に量子フーリエ変換ベース（あと特別な量子酔歩やブレイド群ぐらい）なので、既存のアイデアはかなり欠乏していて、何か質的に新しい量子アルゴリズムは出ないのかなぁと。
1
4
67
8,810
てらモス🌹 retweeted
だーはー (@H_A_ust) profile picture
だーはー@H_A_ustOct 29
来月白金鉱業の数理最適化回やります！ ぜひ遊びきてください🙏
白金鉱業 (@shirokane_fm) profile picture白金鉱業@shirokane_fmOct 29
白金鉱業Vol.26 数理最適化編@六本木一丁目を11/26（木）に開催します🎉 ・ブレインパッド山﨑さん ・〃 羽田さん ・Gurobi増村さん ・NRI土井さん の4名に登壇していただきます！ 理論から実践まで、そして初学者向け発表もあるので是非お気軽に、先着順です！ #白金鉱業 brainpad-meetup.connpass.com…

白金鉱業 Meetup Vol.26@六本木（数理最適化編） (2026/11/26 18:30〜)

# このイベントについて ブレインパッドのデータサイエンティスト/機械学習エンジニアが社外のデータ系の仕事をしている人と交流したい！と始まった勉強会兼交流会です。 同業の方も超welcomeです！ ゆるく開催し、発表者もドメインを問わず募集しています！ これまでの発表資料（公開分のみ）はこちら [勉強会1周年の記念スライドはこちら→データサイエンス系の勉強会を 1年間毎月開催したら何が起こる...

brainpad-meetup.connpass.com
8
1
21
1,969
てらモス🌹 retweeted
dalance (@dalance1982) profile picture
dalance@dalance1982Oct 29
Verylの形式検証についてzennに記事を書きました。 KaniによるVerylコンパイラの形式検証｜dalance zenn.dev/dalance/articles/44… #zenn
KaniによるVerylコンパイラの形式検証

KaniによるVerylコンパイラの形式検証

zenn.dev
dalance (@dalance1982) profile picturedalance@dalance1982Oct 24
こちらを参考にVerylコンパイラの形式検証を試しています。SVの規格で定義された意味論をkaniで書き、VerylコンパイラのRustコードを直接検証するループをCodexに回してもらうことにしました。さっそく4値評価周りのバグが見つかっており、役に立ちそうです。
1
19
48
2,661
てらモス🌹 retweeted
シータ (@Perfect_Insider) profile picture
シータ@Perfect_InsiderOct 28
AIが解けそうな統計物理系の問題も書けと言われた気がした ・MBLの証明 ・有限次元スピングラス ・有限次元理想ガラス転移 ・Henon写像のカオス性 ・Hamilton力学でFourier則 ・3次元剛体球の結晶化 ・3次元Ising臨界点の相関べき減衰 ・2次元AF-HeisenbergのNeel秩序 ・2次元斥力Hubbardの超伝導
11
1
108
8,676
コルモゴロフ-5/3則のNSからの直接導出もたのむ~(´・ω・｀)
3
345
Hamilton系でFourier則が成り立つことを証明するには、逆に言えば低次元系などでlong-time tailが出ることを厳密に証明しなければならず、それは多体系のカオスを真正面から扱うことに等しいので、まだまだ難しいのではないかと個人的には思っている
1
4
37
3,079
てらモス🌹 retweeted
まずいもやし (@reitoumoyashi) profile picture
まずいもやし@reitoumoyashiOct 27
とりあえず今年も形から入ります
Image from まずいもやし (@reitoumoyashi)
まずいもやし (@reitoumoyashi) profile pictureまずいもやし@reitoumoyashi3 Feb 2025
形から入るのも悪くない
Image from まずいもやし (@reitoumoyashi)
10
761
31
6,858
414,298
てらモス🌹 retweeted
NHKニュース (@nhk_news) profile picture
NHKニュース
@nhk_newsOct 28
冬型の気圧配置と上空の寒気の影響で北日本を中心に雪が降り、札幌市や青森市などで初雪が観測されました。 各地で風も強まり、気象庁は午前11時に東京と近畿で「木枯らし1号が吹いた」と発表しました。 news.web.nhk/newsweb/na/nd-2… #nhk_video
2
188
10
519
62,783
てらモス🌹 retweeted
ウェザーニュース (@wni_jp) profile picture
ウェザーニュース
@wni_jpOct 28
＜そのススキ、実は「オギ」かも？🌾＞ 道端でよく見るススキにそっくりな植物「オギ」。見分けるコツは穂の粒にある針のような「芒（のぎ）」の有無や毛の長さ、株の生え方です。散歩のついでに見比べてみませんか？ weathernews.jp/news/202610/2…
Image from ウェザーニュース (@wni_jp)
20
1,444
144
3,845
198,141
🌬️三🍂三(´・ω・｀)
4
347
てらモス🌹 retweeted
ウェザーニュース (@wni_jp) profile picture
ウェザーニュース
@wni_jpOct 28
【近畿地方で木枯らし1号】 今日10月28日(水)、大阪管区気象台は近畿地方で木枯らし1号が吹いたと発表しました。昨年より6日早い発表です。 weathernews.jp/news/202610/2…
Image from ウェザーニュース (@wni_jp)
8
791
101
1,408
107,577
ｳﾈｰ(´・ω・｀)
2
289
Load more