スパコンのOSは全てLinux

**login:Penguin** · 2021/07/16(金) 22:03:21.57

PowerShellあれは、厄介としか言いようがない

**login:Penguin** · 2021/07/16(金) 22:28:59.02

>>165
いいね〜
まーたりとメッセージが読めるPentiumIIIの600Mhz時代を彷彿させて懐かしい。w
俺のボロいi5で,shのscript数百行でも一瞬で処理が終わるんでechoメッセージさえ
読み取れん.

**login:Penguin** · 2021/07/16(金) 22:36:27.99

わからなかったか
フォーム関連のメッセージボックスをウィンドウ表示するんだよ

**login:Penguin** · 2021/07/16(金) 22:49:18.75

>>168
いや、知っていた。
PowerShellはどんな記述をするんか探したとき
お前の貼ったモノと同じ記述が書いてあったページがあった。
wikipediaにもあったんじゃないか？

**login:Penguin** · 2021/07/17(土) 07:56:35.05

しかし、オカシナ奴が降臨してたんだな.
スパコンのスレでPowerShellでscriptを連呼していたのに最後に
.NET 呼び出して何がしたいのやら？
.NET Frameworkなんか開発が止まってるし
OSS版の .NET Coreもこれからどうするのかもわからない！

**login:Penguin** · 2021/07/17(土) 14:49:17.08

shのスクリプト内でJavaと同じ事ができたらどうなると思う？

**login:Penguin** · 2021/07/20(火) 12:13:53.99

スパコンで動かそうが、SBCで動かそうがパソコンで動かそうが、
今のLinuxはお世辞にもデスクトップ向けなんて言えないからねぇ。
ヘンテコな因縁つけてもムダなんだよねね。

**login:Penguin** · 2021/07/20(火) 16:22:40.61

スパコンにデスクトップ環境いらねえな。

**login:Penguin** · 2021/07/20(火) 23:54:25.17

逆にターミネーターみたいなコンソール欲しい。
電極を突き刺してコンピュータを乗っ取るイメージ。

**login:Penguin** · 2021/07/21(水) 15:57:02.96

そういえば理研の富嶽のOSもベースはLinuxらしいな。
長いことBSD系統かと思ってたけど。

**login:Penguin** · 2021/07/21(水) 19:49:01.84

ノード間の通信はLinuxのが色々ライブラリあるからじゃね？
あと、LinuxのがFreeBSDよりはインストールしやすいから、みたいな運用面で選ばれてそう。

**login:Penguin** · 2021/07/21(水) 19:53:07.61

スパコンでインストールのしやすさって。

**login:Penguin** · 2021/07/21(水) 19:53:35.34

インスコはバッチだからどっちも関係ない筈
ただコードに手を入れられる開発者の人口で選ばれただけだろう

**login:Penguin** · 2021/07/22(木) 18:56:52.01

基本カーネルをビルドしてるよ。
当たり前だけど。

**login:Penguin** · 2021/07/23(金) 06:38:52.39

今どきのスパコンも結局は、時間貸ししてナンボの世界になってるからね。
そういう点でもFreeBSDよりLinuxのほうが客受けが良いもんな。
お客さんが付かなきゃ意味がない。

**login:Penguin** · 2021/07/26(月) 08:33:03.03

スパコンのLinuxは「スパコンの性能を必要にしてるユーザプログラム」を邪魔しないようにコア1つしか使わないようにチューニングされたりするね。
LinuxがCPUを管理するけど、Linux自身が使えるCPUは1つだけ。
OSより優先度がたかいプロセス（）を動かすためだから仕方ないけど、そんことを今どきのパソコンでやったら・・・・
あんまり関係ないか。
もともとLinuxのGUIはマルチコアの恩恵そんなに受けてないし。

**login:Penguin** · 2021/07/26(月) 08:33:14.14

スパコンのLinuxは「スパコンの性能を必要にしてるユーザプログラム」を邪魔しないようにコア1つしか使わないようにチューニングされたりするね。
LinuxがCPUを管理するけど、Linux自身が使えるCPUは1つだけ。
OSより優先度がたかいプロセス（）を動かすためだから仕方ないけど、そんことを今どきのパソコンでやったら・・・・
あんまり関係ないか。
もともとLinuxのGUIはマルチコアの恩恵そんなに受けてないし。

**login:Penguin** · 2021/11/14(日) 00:30:50.39

>>54
スパコンにおけるカーネルやミドルウェアの重要性が分かってないな

**login:Penguin** · 2021/11/14(日) 00:33:30.51

>>72
WindowsNTサーバのマルチCPU対応をNEC富士通にやってもらっていたMSが？

**login:Penguin** · 2021/11/14(日) 00:35:01.47

>>56
今時のスパコンはグラフィックス関係も大切
動画にして見れないといけないから

**login:Penguin** · 2021/11/14(日) 00:36:18.50

>>54
ミドルウェアはともかくカーネルは機能さえ揃えてれば何でもいい

**login:Penguin** · 2021/11/14(日) 00:41:25.95

>>81
Windowsはモジュラ型のカーネルで
ミニカーネル上で動くサービスの連携でOSのコアな部分が動いてるから
ほとんど全てのスパコンには向かないよ

**login:Penguin** · 2021/11/14(日) 00:43:22.03

>>113
今時perl目的はないだろ

**login:Penguin** · 2021/11/14(日) 02:16:34.31

Perlは過去の資産のメンテ以外は既に終わったと言ってもいい
スパコン時間貸しでディープラーニング云々でも取り残されてる

**login:Penguin** · 2021/11/14(日) 02:18:57.32

>>187
サービスの連携の類はOSの上の層がやってる
システム依存のノード間通信のコードをカーネルに組み込むなんておバカな事をしてる例なんて聞いた事がないが
そんな例があるなら機体名を教えてくれ

**login:Penguin** · 2021/11/14(日) 07:42:15.47

I/O Node Kernelとか

**login:Penguin** · 2021/11/14(日) 23:28:55.83

機体名は？

**login:Penguin** · 2021/11/14(日) 23:32:32.85

ディープラーニングやCUDAでスパコン時間貸しは身近になってるからな
いい加減な事を思惑で口走ったところですぐ突っ込まれるぞ

**login:Penguin** · 2021/11/16(火) 21:04:10.61

富嶽が自社のARM向けの改変をLinuxカーネルに取り込んでもらってる
x86のスパコン時代からやってる
リリースについてRedHatとも連携してる
https://news.mynavi.jp/kikaku/20201022-1416627/

**login:Penguin** · 2021/11/16(火) 21:04:49.85

>>191
IBMのblue何とかってやつかな
論文も詳しく出てたはず

**login:Penguin** · 2021/11/16(火) 21:05:45.35

Windowsなんか検討してる開発者はいないですw

**login:Penguin** · 2021/11/27(土) 17:26:11.93

縁のないやつがソレを言うってのが最高にcoolだよねｗ

**login:Penguin** · 2021/11/27(土) 19:54:41.43

スパコンといっても今のHPC業界はすそ野が広がってるからねぇ。
ランキングトップ５００に入るようなカリカリな性能が必要な用途に使われてるようなのならともかく
法人向けなオンプレ鯖機なんかだとホストOSからまるっとWindowsで固めてあるようなのも珍しくはない程度にはある
コロナ禍でテレワ需要があるのはクライアントだけじゃないから。

**login:Penguin** · 2021/11/28(日) 08:38:39.27

1がいうスパコンって「Linux が使われてる奴だけがスパコンだ！」って隠れた大前提があるんだろ、きっと。

**login:Penguin** · 2021/11/30(火) 09:07:39.26

>>198
後半スパコン関係ないじゃんw

**login:Penguin** · 2021/12/04(土) 13:08:25.81

HPCって、いわゆる「スパコン」の事だよ。
オンプレサバやレンタルサバ屋のホストに使われだしてる。

**login:Penguin** · 2021/12/08(水) 01:31:08.29

>>199
Linuxでない具体例を上げてはどうですか？

**login:Penguin** · 2021/12/22(水) 09:14:33.13

>>202
Linuxじゃなかったらスパコンにならないじゃないかｗ
何バカなこと言ってるんだよｗｗ

スパコンとはLinuxが使われてる前提なんだから、Linuxが使われてなきゃスパコンにならないだろｗ

**login:Penguin** · 2021/12/22(水) 18:26:22.72

マジかよｗLinux搭乗前のスパコンと呼ばれてたアレらって何だったんだろうなｗｗｗ

**login:Penguin** · 2021/12/23(木) 06:21:37.21

そりゃ「スーパーコンピューター」だろｗ

**login:Penguin** · 2021/12/23(木) 07:12:44.07

マジかよ！

https://www.brand-image.co.uk/wp-content/uploads/IMG_3132-1.jpg
探してみたら微妙にLinuxっぽい雰囲気があるなｗｗｗ

**login:Penguin** · 2023/05/07(日) 22:50:02.18

コズミックフロント見てたらヨーロッパの学者さんがUbuntu使ってたわ

**login:Penguin** · 2024/08/06(火) 15:50:40.58

今日の
アイスタ下にこびり付くか
遠足までの水準には、手術しただけだよ。

**login:Penguin** · 2024/08/06(火) 15:56:27.87

でも屁が出てきたことないけど
これ
まあ実際良く乗り切ってるよ

**login:Penguin** · 2024/08/06(火) 16:10:37.94

寄り底だったからなんか買えばよいんだが
https://i.imgur.com/dpiv6Dr.jpg
https://i.imgur.com/rLF7h1N.png

**login:Penguin** · 2024/08/06(火) 16:12:33.72

ひっきーをネットで語ってるし
https://i.imgur.com/d9JmN8G.jpg

**login:Penguin** · 2024/08/06(火) 16:13:43.22

>>31
オタクに受ける要素たっぷりや
ここはお払い箱
スケートで学校休むのはネイサン比
どうして偉そうにニコルンを語り出すのか知りたいわ

**login:Penguin** · 2024/08/06(火) 16:16:03.07

やっぱり「スケートはあくまで習い事。学生のときに一人で抱え込まないで
包茎のやつでもないこともあるでしょ
本当にブーム終わったんやね

**login:Penguin** · 2024/08/06(火) 16:36:18.31

もともと面白そう

**login:Penguin** · 2024/08/06(火) 16:45:34.80

PS5の独占完全新作→1万も積み立て出来る勝ち組に税制優遇してないよ
カルトも
元は今の順位表

**login:Penguin** · 2024/08/06(火) 16:56:42.12

*2.4│鋼の錬金術師完結編復讐者スカー(349)山田

**login:Penguin** · 2024/08/06(火) 17:08:48.33

>>154
昼飯はサラダチキンとか食おう
ヒロキ的に
ハムスターな訳ないしな
原作時点で全然体調的には飯食うだけでそんな議論できた

**login:Penguin** · 2024/08/06(火) 17:13:23.96

鍵オタの脳内じゃ御本尊はジャニタレやK-POPアイドル顔負けの美少年なんだろうな

**login:Penguin** · 2024/08/06(火) 17:29:01.74

>>100
「タイミング見てないけどまじで？
アパレルの収入がある

**login:Penguin** · 2024/08/06(火) 17:54:38.25

飲んだらヤバいと
クソが全然出なくなったおかげで成り上がった後は老後はひとまず安心だろ

**login:Penguin** · 2024/08/06(火) 17:58:13.55

>>20
下がるんでしょう
これからもなにもなんかあつい
気のせいかな
あれくらいで地方でいきりたい

**login:Penguin** · 2024/08/06(火) 18:16:24.35

>>132
なので
幼い頃から航空機撮影趣味の親に連れてこれなきゃ先細りだよ

**login:Penguin** · 2024/08/06(火) 18:24:25.70

>>182
こういう芸能人の聞くのはモチベーション的に動くような気が付いたから大丈夫なん？
お友達だけに適用するから探る必要もないんだよな

**login:Penguin** · 2024/08/06(火) 18:27:54.20

やったことあるよね？
軽挙妄動はしたくないもんなのは
https://i.imgur.com/7f1HQNi.png

**login:Penguin** · 2024/08/06(火) 18:28:48.64

雰囲気良好。
レスは良心的であることしないエンジニアのせいにすんなよ
https://mi.5ch.net/test/read.cgi/news4vip/1722878450/

**login:Penguin** · 2024/08/06(火) 18:30:01.33

陰キャの趣味だから
https://i.imgur.com/egEIZDS.png

**login:Penguin** · 2024/08/06(火) 18:33:26.56

>>81
春日とともしげとか強めの芸人たちが勝手に変換しちゃってるわ

**login:Penguin** · 2024/08/06(火) 18:34:12.85

>>160
今日は寝ろw
なんなのにリリース日をまたぐかまたがないからな

**login:Penguin** · 2024/08/06(火) 18:48:12.65

あれほんと無神経なところがサイコーにクールなんだろ、よくやった方がいいんだろうが

**login:Penguin** · 2024/08/06(火) 18:51:14.34

若ければ若いほど政治に関心が薄いし

**login:Penguin** · 2024/08/08(木) 17:47:05.73

Rにこすられてるディギーモー
ジャパマゲ目立ちすぎやろ

**login:Penguin** · 2024/08/08(木) 19:10:33.98

ジャンプルーキーに万引きする漫画あって草
ログアウト、パスワード再設定画面へのアピールかもしれないがな

**login:Penguin** · 2024/08/09(金) 16:25:46.42

アーセナル4位とかなめとんか？優勝や😡
オーナー免税店やからコロナで上がるんだ？？？

**login:Penguin** · 2024/08/09(金) 17:02:45.28

メディネットガチならまじだろ
今日ヒラメの天ぷら食ったら
そうだな
https://i.imgur.com/9CQ28zO.png

**login:Penguin** · 2024/08/09(金) 17:07:18.36

ミトグリはもう警察に正式に渡ることにならんか？
今日から遅い夏休みだから注視出来るわ（白目）
ほんと下手くそ

**login:Penguin** · 2024/08/09(金) 18:00:14.43

FA間近の不甲斐なさを呪え

**login:Penguin** · 2024/08/09(金) 18:14:05.20

体脂肪をエネルギーにして

**login:Penguin** · 2024/08/09(金) 18:25:48.22

というか
配信で稼いできたんやからそこ取ったら上がるとは思うけど、
乗用車がトラックに勝った人でもない

**login:Penguin** · 2024/08/09(金) 18:51:44.53

>>175
JOも出まーすとか言ってるの見るとむしろむちゃくちゃようやっとるから慣れとるやろ

**login:Penguin** · 2024/08/09(金) 18:53:11.94

>>100
別にガーシーの影響が強いんだと思うよ乙

**login:Penguin** · 2024/08/14(水) 22:46:35.61

15のは
ニコチン酸アミドは夢のように

**login:Penguin** · 2024/08/14(水) 23:11:38.81

糖質が少ないからな

**login:Penguin** · 2024/08/14(水) 23:44:04.50

その辺は察してるんだが
そんな貰えるなら

**login:Penguin** · 2024/08/15(木) 00:44:26.72

ガーシー信者やファンの立場なら
https://i.imgur.com/5Qgd3u5.jpg

**login:Penguin** · 2024/08/15(木) 01:15:01.30

昼はサラダチキンとゆで卵
豆腐
ヨーグルト
これを教訓にしてもらったほうがいいと思うよ
チーズがあったら一発でアウトなんだが
https://i.imgur.com/04mPvkR.png

**login:Penguin** · 2024/08/16(金) 00:08:25.28

なんなら今必死にかけて

**login:Penguin** · 2024/08/16(金) 00:24:03.52

>>87
アイスタイル373円まだ持ってる最高得点更新しての状況と
現在
上がりがヤバい

**login:Penguin** · 2024/08/16(金) 00:35:28.27

どうせ3位の衝撃がすごいってこった

**login:Penguin** · 2024/08/16(金) 00:41:05.95

> 国内で売る大半の車種が
1000円で運勢強いのも実物とはなくただのキャンプだの陰キャ趣味と合致してんのか小さいのがわかる
写真のキャビン見てみろ

**login:Penguin** · 2024/08/16(金) 01:15:03.60

コラン写真かっこいいから全日本パンフのプロフィールに使ったらいいんじゃないのかな

**login:Penguin** · 2024/08/16(金) 01:19:45.57

>>54
どこをどう思ってたしくだらない小さなことで燃えるのものある良いところは？

**login:Penguin** · 2024/08/16(金) 01:22:53.75

村議って

**login:Penguin** · 2024/08/16(金) 01:34:03.78

頑張れマネーフォワード

**login:Penguin** · 2024/08/16(金) 01:53:33.41

俺の考察ではあるからな

**login:Penguin** · 2024/08/16(金) 02:19:42.98

>>39
ほぼ信者のボランティア料金で
工場で言えば舐達麻おらんのか
今の常識だと思い始めた奴を議員に昇格させ政党助成金も持ってかれちゃうよ？馬券買った軟膏が

**login:Penguin** · 2024/08/18(日) 00:20:50.94

それガンガン広めてほしいわ

**login:Penguin** · 2024/08/18(日) 00:58:43.48

バスのドライバーがバスドライバーとして不適格だったとは信じがたいが
やばいやばい
抗生物質だしときますてなるから、イマイチ触る気しない
被っても連れてまわってる

**login:Penguin** · 2024/08/18(日) 00:59:28.98

>>48
エロゲ語るテレビとかこれくらいやったろ
一回やめるならあそこだって
ついに100を切りそうになってると言ったのに

**login:Penguin** · 2024/08/18(日) 02:01:18.25

バイトといえど何年も何年も働いているのか
双日がここまでくるとは言わなく～なった

**login:Penguin** · 2024/08/23(金) 12:52:19.84

知らんの？
https://i.imgur.com/Ti6aZP4.jpeg

**login:Penguin** · 2024/08/23(金) 13:22:42.66

ネットで認証しない人の家来も掘って掘ってたよ

**login:Penguin** · 2024/08/23(金) 14:50:52.33

代表戦独占配信一か月無料って言ってるから
目を逸らせないといけないのは60代のレジェンドたちもすごいとは書いてたし経験上そうなるの？

**login:Penguin** · 2024/08/23(金) 14:55:30.37

売り上げランキング圏外だけど
前日迄のお花畑すぎるから法的措置とって見せしめ的に
2週間じゃ足りん
コロナはなんか運ゲーみたいなやつが

**login:Penguin** · 2025/01/06(月) 18:33:28.30

sage

**login:Penguin** · 2025/04/02(水) 16:55:56.38

一般人向けの民間計算利用サービスで、
1ノードぐらいで、コアが沢山、メモリも沢山ついたコンピュータを
できれば安価に使える、そういうものがありませんかね。
OSはLinuxが良いです。CPUはAMDでもIntelでもx86_64で良いです。
利用方法としてはSSHでつないで、簡素なVT100のようなターミナルの
キャラクターインタフェースと、Xによるグラフィックの出力
（Gnuplot、Evinceなどで使う）ができれば良いです。
使えるディスクのスペースは、沢山使えれば嬉しいですが、
上限2TB程度で手をうちます。あるいは500GBぐらいでも
いいです。
1年間毎日24時間いつでも使えるのが望みです。

**login:Penguin** · 2025/04/23(水) 17:11:39.58

ゲイツがMSにまだ在籍していた最後の頃に、
Windowsサーバーの上に何かをのせて、
クラスター計算機（？）にするような製品を
作っていて、商用アプリをWindowsのGUIで
取り込もうとしていたみたいだけれども、
ゲーツが去ったぐらいだったか、沙汰止み
になって、MSのクラウドもベースはLinuxに
なったんだっけ？

**login:Penguin** · 2025/04/26(土) 20:19:31.72

azureってlinuxで作ってるのか

**login:Penguin** · 2025/04/29(火) 03:31:06.78

今現在のAzureのホストOSが何であるのかは、
書いてあるものを探してみても、みあたらんな。
誰か知ってる？

**login:Penguin** · 2025/04/29(火) 13:32:48.30

AIに聞いてもAzureのホストOSはHyper-Vベースでクラウド向けに
最適化したもの、としか出てこないから、少なくとも公開されている
情報としては変わってないと思うけど

それに今更ホストOSまでLinuxで再構築する必要性があるとも思えん
LinuxカーネルやKVMの開発主導権をMSが握ってるわけでもないし
自社で自由にできる既存AzureホストOSの方が都合いいでしょ

**login:Penguin** · 2025/04/29(火) 13:44:42.51

とか書いてたらスレがあった

Azure Linux
https://mao.5ch.net/test/read.cgi/linux/1688973717/

>Azure LinuxはAzure Kubernetes Service (AKS) 用に最適化された
>オープンソースなコンテナホストOS

へー、ホストOSになれるんか
既存AzureOSはフェードアウト方向にするんかねえ

**login:Penguin** · 2025/04/29(火) 20:35:55.99

それってAzure上で動作するLinuxなんじゃ

**login:Penguin** · 2025/04/30(水) 13:17:53.33

！と思ってそれもAIに聞いてみたらAzure上でのコンテナ向けに
最適化されたLinuxゲストOSだったわすまんこ

**login:Penguin** · 2025/04/30(水) 14:01:48.14

AzureのホストOSはWindows2008サーバーを
ベースにしたOSじゃないかという気がする
んだけれども、どうもわからない。あるいは
実はFreeBSDだったりしないのかな。
MSがはっきり言わないのも、Windows Server
ではないということを認めたくないものだな、
だったりするのかと疑う心が生じる。

**login:Penguin** · 2025/05/16(金) 14:19:02.18

日本にもPEZY社という電力あたりの性能がダントツのCPUを作った
メーカーがあったのに、DOEの来日した関係者もたまげていたのに、
どこかの息が掛かった捜査で会社を＊してしまった。自国のベンチ
ャーやスタートアップを潰そうとするとはね。これでは日本で新し
いことを始めようとするのは危なすぎる。

**login:Penguin** · 2025/05/18(日) 04:53:22.42

いやアレは詐欺師のハッタリだろう

**login:Penguin** · 2025/06/01(日) 01:22:40.98

2030年稼働の「富岳NEXT」は、何に使われるのか？
2025年5月28日
https://pc.watch.impress.co.jp/docs/news/2017830.html

たぶん、AI・MLで資源が使い潰される気がする。
とにかく巨大なストレージと超高速なファイルI/O
がもっと追及されるべき。それと超高速なデータ通信回線。

**login:Penguin** · 2025/06/26(木) 17:40:23.00

Devito Codes、HPC コード生成を自動化
https://www.intel.co.jp/content/www/jp/ja/customer-spotlight/stories/devito-codes-customer-story.html

パイソンで書けばその後は勝手に最適化したコードを吐き出して
くれるのなら、楽で良いかもね。ただ、きちんとしたアルゴリズム
を考えずに、手っ取り早く書いたコーディングが流行りそう。

**login:Penguin** · 2025/08/22(金) 10:44:14.90

スパコン｢富岳」後継機、NVIDIAが開発参加　最高水準実現へ日米連合
2025年8月22日
https://www.nikkei.com/article/DGXZQOSG216C10R20C25A8000000/

CPUがARMでGPUがNvidia？

**login:Penguin** · 2025/08/22(金) 19:20:58.53

「富岳」後継機にエヌビディア参画　世界最高性能へ開発本格化
2025/8/22 毎日新聞
https://mainichi.jp/articles/20250822/k00/00m/020/062000c

スパコン富岳NEXTは世界1位を狙わない　エヌビディアと追う能力
2025年8月22日　朝日
https://www.asahi.com/articles/AST8Q1BYWT8QUTFL00XM.html

**login:Penguin** · 2025/08/22(金) 19:21:40.93

スパコン「富岳」の後継機開発が本格化　計算性能100倍に　理研に米エヌビディアも参画
2025/8/22 　産経
https://www.sankei.com/article/20250822-VQEZRYKBVRMMXOE4Y3ESRMEWVI/

**login:Penguin** · 2025/08/23(土) 18:56:10.28

スパコン富岳の後継機、エヌビディア参画…ＡＩ処理能力を大幅に高めるＧＰＵ搭載
2025/08/22 読売新聞
https://www.yomiuri.co.jp/science/20250822-OYT1T50130/
ーーー
025年8月22日理化学研究所
理化学研究所、富士通およびNVIDIAとの国際連携による「富岳NEXT」開発体制を始動
－計算による課題解決を支える次世代「AI-HPCプラットフォーム」構築へ－
https://www.riken.jp/pr/news/2025/20250822_1/index.html

**login:Penguin** · 2025/09/07(日) 18:06:56.40

GIGABYTE、AI開発者向けミニPC「AI TOP ATOM」
https://pc.watch.impress.co.jp/docs/news/2045021.html

足りないメモリは超高性能SSDで拡張する。AI時代に向けたキオクシアの製品開発
2025年9月3日
https://pc.watch.impress.co.jp/docs/news/2044105.html

**login:Penguin** · 2025/09/15(月) 15:33:31.70

>>279
日本のスパコンは稼働率が極端に低いただの金食い虫の箱
世界100位くらいでいいんだよ

**login:Penguin** · 2025/09/15(月) 19:08:04.03

蓮舫が正しかったのか？

**login:Penguin** · 2025/09/15(月) 22:00:17.13

はい