Toru3
@Toru31415926535
Followers
233
Following
32K
Media
44
Statuses
2K
好きなもの: Rust/C++(20以降)/i3wm/HPC/計算機代数/グレブナー基底/剰余環/FFT/多倍長計算/円周率/ボードゲーム/ドミニオン/鉄道/早見沙織 マシュマロ https://t.co/HGiPoNwFHZ
数学と計算機の間
Joined July 2020
はい。中国にはチベットなどを侵略して極めて残虐なことをした過去がある。さらにそれを批判されたときに「内政干渉だ」と言ったこともある。 その中国が、今後台湾などに対して同様のことをしないと言えるだろうか?
その地図は正しいが、こちらはさらに正確である。1932年に米国で出版された東アジアの地図で、シナの正しい領土を示している。ウイグルとチベットもほぼ正確に描かれている。現在の内モンゴル自治区にあたる南モンゴルもモンゴル領として示されている。実に正確だ。この地図は満州事変の翌年に作成され
0
0
0
🎍新春お年玉企画🎍 フィックスターズからエンジニアの皆様へ🧧 1/19発売の弊社エンジニア執筆『実践的パフォーマンスエンジニアリングによるAI高速化』を抽選で【5名様】にプレゼント！ 🐎応募条件 ① @Fixstars_JP をフォロー ②「2026年、高速化したいもの」をコメント付きで引用リポスト
3
7
32
なんかMIRIとか使って今まで検査出来なかった所も検査しようみたいのなかったっけ? (あった気がするがよく覚えてない)
ていうかC/C++をRustに置き換えていくのは、守られる安全性のクラスが純粋に増えるからそれはもちろんいいことなんだけど、肝心の置き換え先のRustの進化が止まってしまっているのがなんだかなあという感じで、安全性を保障できる範囲を増やせるような型システムの拡張も必要なんではないの？
0
0
1
一般的に鉄道は環境にやさしいけどローカル線はエコじゃないと事業者自ら公言しているところもあって興味深い。 https://t.co/BKBiBHqfTD
これは事実なんだけど、その自覚故に、自治体はともかく少なくとも事業者はこういう事は言ってなかったりする。 一方で「鉄道が環境に優しい」と公言してる事業者もあって、それがJR貨物。こっちは機関車牽引の1300t貨物とかをバンバン走らせてるので事実とは言える。
8
298
756
あまりいないと思いますが、ゲームやリアルタイムレンダリングでFFTの計算をGPUでやっている方は一読です。Shaderの単精度sin/cosは多くの環境で近似SFU経路になり、FFTの誤差が約2～5倍に増幅されます(テーブル参照と比較して) https://t.co/Tlzn4sZP5o
zenn.dev
0
93
410
この話、ここが核心のはずなんですよね……
A→Bへの頒布の話をしてたのに急にB→Cの話が出てきてるの何？論点のすり替えじゃん これ書いたやつ本当に司法試験合格してるんか…？ B→Cの頒布に関してはまた別の話だろ
1
192
855
Happy Holidays! 🎄✨ AI開発の現場で戦うエンジニア必携の書、「実践的パフォーマンスエンジニアリングによるAI高速化」が1/19にいよいよ発売！ 今まで体系的に説明されることが少なかったパフォーマンスエンジニアリングの全貌を学べる���定版です。 来年のスキルアップ準備に、ぜひこの一冊を🎁
0
14
38
おもしろ Intel CPUのAVX-512ユニットの5番ポートは物理的に遠い：文献調査編 #SIMD - Qiita https://t.co/oCLlTNJ0EF
qiita.com
Skylakeマイクロアーキテクチャの種類 Intel Skylakeマイクロアーキテクチャには2種類あり，Coreシリーズなどに実装されている「クライアント」構成と，Xeonシリーズなどに搭載されている「サーバ」構成に分かれています． 後者のサーバ構成はAVX-512命...
1
91
257
ノイマン級数展開使った高速化(?)、具体的にはどうやるんだろう? どこで打ち切るかに依るだろうけど何度もSpMVすることになりそうなので本当に速いのかとか共役勾配法とかと比べてどうなのかとか気になる
逆行列の計算コストはO(n³)であり、大規模な行列では計算が現実的でなくなる。機械学習では最小二乗法の正規方程式に逆行列が現れるが、実装では明示的に計算せずQR分解やコレスキー分解を使う。ノイマン級数展開が可能場合は展開式を利用。実務では数値安定性と計算効率のトレードオフの設計が重要…
0
1
1
インフラの維持コストだけ考えたら集住した方が安いのはそうなんだけど、農業や林業、漁業なんかをやっている人たちまで都市に住ませるのかとか彼らが仕事で使う水や電気などは自前で用意させるのかとか無人になった土地は誰が管理するのかとか色々考えることがある
ABEMAで水道料金の話があったそうですが、「水道料金が月数万になるの？？？」みたいな反応がありました 下記のエッセイに尽きます。 そもそも住民一人あたり５万くらい払わなきゃ水道維持できないとこまで通してるの、電気水道ガス道路のすべてそうなの、それを都市部の税金で現状維持してんのです。
1
1
0
というわけで3日遅れですがC++ AdC 20日目の記事を書きました．休憩ありとはいえもう30時間くらいコード書いたり日本語書いたりしてて限界なので推敲もろくにできてませんが寝ます，各位指摘よろ～
zenn.dev
1
25
98
暗記しておく。 ↓↓↓ 事件発生時、山中氏は電話越しに警察官や駅員に対して、 ・「駅員に市民を不当拘束する権利はない」 ・「なぜ警察手帳を提示しないのか」 ・「身分証と住所を提出している以上、逮捕はできない」 ・「弁護士を呼ぶので待機してください」
JR横浜駅痴漢冤罪事件 防犯カメラで無実証明されるもJR東日本は謝罪拒否 被害男性の上司の介入が逮捕回避に寄与 2025年10月29日朝にJR横浜駅で起きた痴漢冤罪事件が、SNS上で大きな議論を巻き起こしている。防犯カメラの映像により、被害男性（ネット上で「250番氏@sabu_250
5
799
3K
フレックス制度はあるけど、実際は誰も使ってへん。前職はそんな職場やった。 ある日、思い切って上司に聞いてみた。 「フレックス使ってもいいですか？」 上司は眉をひそめて言った。 「……まぁ、申請出すなら勝手にしたらええけど。ただ、みんな普通に来てるからな。」 許可というより、
84
1K
14K
C++ Advent Calendar 9日目の記事です C++26リフレクションでつくる tuple と variant｜yaito3014 https://t.co/h3SGKp5h2W
#zenn
zenn.dev
0
12
34
あんまり関係ないけど、これ一々書くの大変なので、制約ソルバーとかだと簡単に書けるようにalldifferentが用意されている。
生徒：では「a, b, c, d はすべて異なる」は？ 先生：「c ≠ a ≠ b ≠ c ≠ d ≠ b」とかでしょうかね、フフッ、我ながら頭がよろしい！ 生徒：それ a = d でも成り立ちますよね？ 一般に不等号で結ばれていないペアがひとつでもあればアウトです。一筆書きを考えると、4 変数の場合は chain
0
0
1
ガバガバ予測な上にエネルギーが桁違いなんですが 詐欺で通報しておきますね
12月８日23時15分頃、青森県東方沖を震源とするマグニチュード7.5、最大震度6強の地震が発生⚠️ #MEGA地震予測 のピンポイント予測が的中しました🎯 詳細はこちらから👉 https://t.co/MDmepjmWq9 #地震予測 #JESEA #青森地震 #的中 #津波
0
0
5