Posts by Nyoho
真田丸は、敵に攻め込まれやすい大坂城南面を守るため前に置かれた砦です。
討論会や議会で本人は出てこず、本人は言葉の仕事をせず、周囲が前面に立って守る政治手法は、もはや現代の真田丸ですね。
_人人人人人人_
> サナ黙る <
 ̄YYYYYY ̄
やばいな。バブルになりそうとのこと。
不動産バブルの気配、マイクロンが巨額投資の東広島市ルポ 「人口1万人増」で変わる街 | 中国新聞デジタル www.chugoku-np.co.jp/articles/-/8...
Lean 4、2年半ぶりに触ったら一番グッときたのがこれ。
omega タクティクス。
a + b = 10, a ≥ 3 ⟹ b ≤ 7
みたいな「人間なら一瞬」の証明、
これまではある程度こちらで段取りを書いて誘導する必要があったのに
omega
で終わる。
これはさすがに「どっちが人間なんだろう」じゃ済まない。完全に任せられる感じで最高。
しかもLean 4.7からコア入りでimport不要。強い。
(やったー! めちゃんこChatGPTっぽい文章が書けたよー!)
MicrosoftのCopilot Chatめちゃくちゃ遅いな
🎉🎉フォロー1000人達成記念🎉🎉
🎉🎉プレゼント企画🎉🎉
このポストをリポストしてくれたフォロワーに抽選で合計10名様に数学模型をプレゼントします!!
期間は2026-04-05(日)の17時までとします!
ご応募お待ちしております!!!!!!!!!!!!!
ここ3日位でちょっとずつ桜が咲いて5割か6割位にはなってきたと思います。そしてこれから雨が降り、明日はかなり強い雨になりそうなので、今日のうちに見とこうと思います。
Claude Status red
詫びusage limit来るかなあわくわく
「いや、男性でも、有能を望まなけれ
ばならない。」
(真空ジェシカネタの改編)
女性初の総理大臣は有能な人がよかったなー
最終回をリアタイしようっと
画像間違えた。
「何しとん」でした。
広島テレビ テレビ派 「あんた〜広島で何しとん!?」
明日3月24日(火)の放送で最終回です!
思えば、
2022年10月のもてなしG7というコーナーから
🎙️ もてなしG7
🎙️ あんた〜広島で何したん!?
🎙️ あんた〜広島で何しとん!?
と、3年半も使うてくれちゃったんよ(使ってくださったんですよ)!
ほんまにありがとがんす🙏
#広島テレビ #テレビ派 #広島弁
放置しすぎていたLeanをアップデートした。
Lean (version 4.0.0-nightly-2023-09-01, commit 77600c56b6ec, Release)
が
Lean (version 4.30.0-nightly-2026-03-19-rev1, arm64-apple-darwin24.6.0, commit 90b5e3185b3b948ce1c75281d3e95f370c8493a6, Release)
になった。これはすごい。2年半も放置していた。
Boule Vard Hillsというパチンコ屋さんの建物がそのままmicronに!
マイクロンが東広島市に「西条オフィス」開設 人員拡充で工場手狭、300人が勤務 | 中国新聞デジタル www.chugoku-np.co.jp/articles/-/7...
7年ぶりに大阪に来たら、新大阪駅でeduroamが入るようになっていた。つまり新大阪駅は教育機関ということか。(見事な三段論法)
ヒートシンク付き建造物
大阪は激アツなのか、建物にヒートシンクのようなものが付いている。
わかる〜。子供の頃に想像していた「近未来」はとっくに過ぎた。玄白
昨日の午後11:15から予約合戦にチャレンジしたけど最速にはならなかった。新しいMacBook Air 15インチ
3月14日がお届け予定日になった
この「広島弁の言葉リスト」とは何⁉︎
広島で活躍されている外国人を紹介する「あんた〜広島で何しとん⁉︎」のコーナー、今日夕方放送です!
わしは仏教徒ではないものの、仏教文化に最も触れて育ったので、Claude CodeやCodexなどを使うときに、しょっちゅう「あなかしこあなかしこ」と言いながら使っています。
ナレーション収録後の様子
先週に引き続き「あんた〜広島で何しとん⁉︎」のコーナ放送予定です。
広島テレビ テレビ派
写真はナレーション収録後の様子
今日は昨日よりもさらに路面の状態が危なそうなので昨日に引き続いてバスにした。一回も滑らずに到着した。
がんばれ民主主義。お前がナンバー民主主義だ。
パスて(笑) バスな🚌
積雪なのでパスにしたけど幹線道路は溶かしてくれとるなこれは