@tomooda.bsky.social
Programming isn't logic. It's magic! プログラミングが好きです。難しいことを考えると頭から湯気が出てくるので、大規模とか高速処理とかはスゴいプログラマな皆さんに任せて、 オレは自分が楽しいプログラミングをします。仕様はIDEで書け。後悔あとをたたず。ダイナブック信者。熊本城主。
極端流VDMチャンネル
第4回 - 番外編：ダイナブック
が公開されました。
youtu.be/E8B5rKurxHA
#VDM #FormalMethods #ViennaTalk #Dynabook
左派リベラルに寄せられる、嫌われないで好かれる努力をしろ、って言い回しが、過去に女性たちに向けられた、夫に家事を手伝ってもらったら大袈裟に褒めて育てましょう！ とかの、男性をおだてて操るのが女の甲斐性ロジックとそっくりすぎて嫌すぎるんだよ！
10.02.2026 22:02 — 👍 385 🔁 159 💬 0 📌 1高市内閣が自滅して自民支持者が幻滅した時にはブレーキ役がトップを取る絶好ポジションになるもんね。
10.02.2026 23:29 — 👍 0 🔁 0 💬 0 📌 0若手なら石垣のりこ氏、ベテランなら福島みずほ氏。後者を候補に挙げるのは、今の中道を続けるぐらいなら立憲やめて社民に合流したほうがマシだと思うから。
10.02.2026 23:15 — 👍 0 🔁 0 💬 1 📌 0高市がサヨク認定を受ける日も近いかもねー。
09.02.2026 23:30 — 👍 0 🔁 0 💬 0 📌 0昨日のスーパーボウルでリッキー・マーチンが歌った曲。
わたしの絶望的にダメなスペイン語能力ではわからなかった歌詞を、この方が説明してくれています。
齊藤健一郎が参議院にいるから、N党はまだいる。
09.02.2026 09:08 — 👍 1 🔁 1 💬 0 📌 0あ、それです。選挙ルールの悪用というと立花の影響は大きいかなと。
09.02.2026 08:53 — 👍 4 🔁 0 💬 1 📌 0サッチャーが勝った時も、労働党が男っぽすぎて労働者階級の女性も含めてあまり好感を持たれていなかったのは一因らしい。ジャネット・ウィンターソン（レズビアン）が、若い頃はおっさんばかりの労働党よりも頑張れば田舎娘でも上にあがれるモデルを提示したサッチャーのほうが良く見えたって言ってた
09.02.2026 08:23 — 👍 219 🔁 80 💬 1 📌 2せんせーい、N党のあの人はどこに入りますかー？（もう名前も思い出せない
09.02.2026 08:47 — 👍 2 🔁 0 💬 1 📌 0消費スピードが速すぎて、盛大に破滅する前に忘れられていて、ある意味、不幸が減っているかもしれないと思った。
09.02.2026 08:44 — 👍 2 🔁 0 💬 0 📌 0
ここんとこ選挙のことばかりSNSに書いてたのに、肝心の自分の選挙権がなくてびっくりした。区役所でほんとにしばらく唖然とした。なんなん……
今住んでるところにないとかではなく、選挙権がない。日本国籍で犯罪も犯してなくて成人でそんなことあると思います？私もまさかと思ったよ。なんなのこの法律のバグ。怒るっていうか呆然としてる
このタイミングで全く同じ内容が記事になってたからプレゼント記事にします
有料記事がプレゼント
2月6日 14:43まで
2回の引っ越しで投票が不可能に… 司法修習生は「違憲だ」と訴えた：朝日新聞
digital.asahi.com/articles/ASV...
小さな芽に水をやる人
私は、自由と平等を重んじ基本的人権を何より大切にする社会を望みます。
与党の掲げる憲法改正案に反対します。
高額医療費の補助には二度助けられました。枠の引き上げに反対します。
インボイス制度に反対します。
説明責任を果たさない卑怯な政治家を軽蔑します。
権力を濫用する者を掣肘できる議会を、多様な価値を容認する社会を、望みます。
極端流VDMチャンネル
第3回 - VDM-SLチョットデキル
youtu.be/LCigMB8rRAY?...
を公開しました。
#FormalMethods #VDM #ViennaTalk
みずほ銀行からの高市総理への意見広報。
こんなのなかなかないと思うけど、それだけ財界・金融界として危機感が強いのだろう。おまけに選挙は自民が大勝する予想だし。
今後、他の銀行や経済団体からも出てくるかもね。
www.mizuhobank.co.jp/.../market.....
まさかとは思うけど、自分も準備できていないのに解散なんて言い出したのか。こんな迂闊で無計画な人が行政のトップでよいのだろうか？（反語
02.02.2026 22:59 — 👍 0 🔁 0 💬 0 📌 0
smalltalk-dev plugin now supports Cursor, Windsurf, and Antigravity in addition to Claude Code.
Enjoy AI-driven Smalltalk development across multiple AI agents!
github.com/mumez/smallt...
#pharo #smalltalk #cursor #windsurf #antigravity
高市氏がNHKの出演キャンセルを実際にいつきめたのか。誰にいつ、どんな順序で伝えたのか。きちんと検証されるべきではないか。
@drops2012.bsky.social on Bluesky
お神輿にはへーこらするけど、裏方さんには不義理を重ねる。いるよね、そーゆー人。
01.02.2026 08:07 — 👍 0 🔁 0 💬 0 📌 0こういう形で貯めに貯めていった不義理って、後々、本当に大事な時に発動するよ。
01.02.2026 08:05 — 👍 0 🔁 0 💬 1 📌 0結局、高市さんって組織を動かせる人じゃないんだよね。よくいるよ、こういう人。自分では人を動かすのが上手いと思ってる、実は周囲に多めに見てもらっているだけの何もできない人。
01.02.2026 08:01 — 👍 0 🔁 0 💬 0 📌 0疑惑追求から逃げ回って、病気を理由に総理を辞任した挙句、後になって第二次政権をはじめて日本に大打撃を加えた人がいましたね。安倍晋三というのですが。
01.02.2026 04:43 — 👍 0 🔁 0 💬 0 📌 0高市は都合の悪いバトルフィールドを避けただけだと思う。っていうかこんなの繰り返すなら病気なにか理由にして引退しろよ。向いてないって。
01.02.2026 03:30 — 👍 3 🔁 1 💬 0 📌 0
TACO = Takaichi Always Chickens Out
newsdig.tbs.co.jp/articles/-/2...
#TACO
円安容認発言を容認するトヨタ、財界。
みんなまとめて売国奴じゃねえか。
なんというわかりやすい「ズル休み」だろう。
01.02.2026 02:44 — 👍 0 🔁 0 💬 0 📌 0為替含み益でオラオラって…シロート経営丸出しじゃん…
01.02.2026 02:43 — 👍 0 🔁 0 💬 0 📌 0彼らを岩盤保守と呼ぶのは間違い。彼らのように何の信念もなく流行り廃りで流される連中のどこが岩盤か。伝統的価値を守る気なんて全くない連中のどこが保守か。単に迷惑なバカでしかない。
01.02.2026 00:41 — 👍 0 🔁 0 💬 0 📌 0一体何が起こったのか理解できなかった。どうして消すの？
困ったことだ。
極端流VDMチャンネル
第3回 - VDM-SLチョットデキル
youtu.be/LCigMB8rRAY?...
を公開しました。
#FormalMethods #VDM #ViennaTalk
