極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣

Programming isn't logic. It's magic! プログラミングが好きです。難しいことを考えると頭から湯気が出てくるので、大規模とか高速処理とかはスゴいプログラマな皆さんに任せて、 オレは自分が楽しいプログラミングをします。後悔あとをたたず。🦋@tomooda.bsky.social

[極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda]

極端流VDMチャンネル
第6回 HTTPの向こうにVDM!?
を公開しました。
https://t.co/D84k8EUvnj
#FormalMethods #VDM #ViennaTalk #WeblyWalkThrough

[極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda]

ViennaTalk新メジャーリリースの機運が急に発生した。だがその前に色々とあれこれを取り繕わなければならない。いわゆるリリースエンジニアリングである。

[極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda]

エスカレーションした結果、ポンコツな妥協して仕事を台無しにされて、ポンコツな妥協のダメなところを批判すると決まって出てくるのが「エラい人も人間なんだから」「文句言うならエスカレーションするな」「終わったことに文句を言うな」なんだよね。終わったことで難癖つけて給料下げるくせに。

[極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda]

そのためには信用できるエスカレーション先が必要なんだよね。そして信用できるエスカレーション先はいつだってガンダーラ。

[Jaynit @jaynitx]

Jeff Bezos reveals why compromise is one of the worst ways to resolve a disagreement

"An example of a really bad way of coming to agreement is compromise. If I say the ceiling is 11 feet and you say 12 feet, we say let's call it 11 and a half. That's compromise"

"The advantage of compromise is it's low energy. But it doesn't lead to truth"

"Another really bad resolution mechanism is who's more stubborn. Two executives disagree, they have a war of attrition, and whichever one gets exhausted first capitulates. You haven't arrived at truth, and this is very demoralizing"

"Escalation is better than a war of attrition. Escalate to your boss and say, we can't agree, we like each other, we're respectful, but we strongly disagree, we need you to make a decision"

"Exhausting the other person is not truth seeking. Compromise is not truth seeking"

[極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda]

おエラい人たちはすぐ忘れるんだけど、くだらない妥協で色々なものを台無しにされたシモジモは決して忘れないんだよ。決してね。

[日刊ゲンダイDIGITAL @nikkan_gendai]

【永田町番外地 】高市首相、病気を理由に辞任？ 囁かれるショートリリーフは麻生指名で「茂木敏充」か https://t.co/8UbFZpsrDB #日刊ゲンダイDIGITAL

[極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda]

石油が不足している時に戦争を始めるようなバカに政治をさせちゃいけない。絶対に。

[泣婆 @chocop16]

日本のみんなー！高市さんら多く所属する日本会議の公式サイトにこんな記述があります

「石油がなくなる寸前、日本は自滅か戦争かまで追い込まれ致し方なく戦争した」

「今大丈夫そ？」と聞きたくなるのは私だけですか

https://t.co/Yy9ztIcWRT

[草村来実@創作と読書 @zundamochitarou]

好きな漫画家がしれっと「国家情報局に反対します」のツイートしてるの見つけた時、ガチで嬉しかった。やっぱ好きな作家や有名人が平和への声を上げてくれた時の嬉しさよ...！キョンキョンほど大声で言えなくても、しれっとタグだけツイートしてくれるだけでもいいんだ。こっちはすごく力を貰えるから

[異邦人 @Narodovlastiye]

今や完全に感覚が麻痺してしまっていますが、マトモな議会制民主主義国家であれば、政治家の「虚偽答弁」は一発アウトです。つい最近も、イギリスのジョンソン元首相が「虚偽答弁」で辞任に追い込まれました。高市早苗首相のようにウソを連発しているような人間が、平然と居座っている本邦は異常です。

[保団連（全国保険医団体連合会） @hodanren]

名前・住所・病歴がセットで中国企業に渡るようになる？ 中道・長妻議員が追及…
松本大臣「えーと、ごめんなさい、ごめんなさい、ちょっと待ってください」当惑する場面も(ABEMA TIMES)

#Yahooニュース
https://t.co/L4YmhDIWX6

[現代ビジネス @gendai_biz]

【全文公開】高市総理事務所が「サナエトークン」「誹謗中傷動画」首謀者と接触していた「動かぬ証拠」を公開する https://t.co/sCgxPL5n99 #現代ビジネス

[極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda]

むかし、「兵隊さんの血で獲得した領土を放棄できるか」とか言って国力が桁違いな相手に侵略戦争を進めて破滅した国があるんですよ。大日本帝国というんですけど。

[極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda]

論点がまるで違う。感謝の話ではない。定量的な話をしている。

[じゅんいちろう｜物語る建築士 @PapalotX]

4万キロリットルじゃ1日分にも満たないから無駄じゃんってドヤ顔で言ってるおじさんがいるんですけど、これ、内戦中のポートスーダンから日本の製油所までガチで原油を運んで精製できるかっていうバイパス配線の通線テスト（実証実験）に完全成功したってことなんですよね。ルートの安全性が証明されたんだから、ここからレバーを引けばいくらでも物資の搬入量を増やせるわけじゃないですか、感謝出来ない国民がいるのが残念ですね。

[境野春彦 | エネルギー問題 @LPGadvisorJP]

@chihaya0425 2隻で「続々」という表現が誤解を招くのと、合計で100万バレルに満たないので日本の1日消費量の1/3ぐらいでかね。
世界全体の原油在庫が急減しており、予断を許さない状況が続いています。2次情報に踊らされず、自分の目と耳で現実を直視する癖をつけましょう。

[ミコタにう @mikotaniu]

この法案だけはいますぐ止めなければなりません。
一度流出してしまった個人情報は、絶対に回収できません。
なぜ実名や住所まで本人の同意なく勝手に企業が、それも他国の企業が利用できるようにするのか。
その恐ろしさを全く理解できていない人たちに、こんな法案を作らせてはなりません。

[極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda]

@bugnekotinyan 連邦軍のおくすり！ザクの5倍以上のエネルギーゲイン！

[極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda]

病歴データの匿名化は困難だとか言ってるバカな大臣のバカな発言を、そのままタレ流しているバカな新聞社があるらしいけど、ほんとバカだな。本当に匿名化できないなら、そんなデータは提供すべきじゃないんだよ。ばーか。

[極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda]

あまりにもバカすぎるので、ほんこんと朝日新聞をボイコットします。
RT https://t.co/cCC5Yj76jS

[極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda]

議院内閣制だから内閣へのチェックは国会の重要な役割の一つですが何か？ばーか
RT https://t.co/cCC5Yj76jS
ほんこんは「これ、国会でやらなアカンことなんですか？

[極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda]

フベロをクビにしたのが間違いだったんだよ。まじで。