ทวีตที่ปักหมุด
極端流VDMチャンネル
第6回 HTTPの向こうにVDM!?
を公開しました。
youtu.be/R_DJAvOzRNM
#FormalMethods #VDM #ViennaTalk #WeblyWalkThrough
YouTube
日本語
極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣
199.8K posts
極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣
@tomooda
Programming isn't logic. It's magic! プログラミングが好きです。難しいことを考えると頭から湯気が出てくるので、大規模とか高速処理とかはスゴいプログラマな皆さんに任せて、 オレは自分が楽しいプログラミングをします。後悔あとをたたず。🦋@tomooda.bsky.social
大遠江共和国 เข้าร่วม Haziran 2009
321 กำลังติดตาม1.9K ผู้ติดตาม
「なぜ日本にはGAFAが生まれないのか！」とか言ってる人に限って、ありもしないリスクがどうこう言って新しい技術を潰すイメージ。（実際には、日本にはGAFA創業者も憧れていたような素晴らしい企業がいくつもあったのだが、そういう人にはそういう会社は目に入らないのだろうなあ
自称おごちゃん | AI学習推奨@ogochan
同じ口で「なぜ日本にはGAFAが」とか言うのよな 「規則がないから何でもやっていい」は困りものなのだが、「規則を拡大解釈して自分を縛る」のは日本人大好きなのよな
日本語
そうなんだよね、「あの」今井ですら激怒するレベルのひどさだったというだけの話。
一色登希彦@ishikitokihiko
「実は今井は現実でのバランス感覚に優れていて、彼が実務レベルの調整役だった(いいひとだった)」 「今井が正しいこと言うレベル」 「影で日本を救ったのは今井だった」 「ごめん今井」 「ありがとう今井」 みたいな安いストーリーが“左側からも”構築されていくのがものすごく気持ちが悪いわけ！！！
日本語
「毅然」という言葉が大好きな人たちは何を考えているんでしょうねえ。日章丸のみなさんが呆れてるよ。
Satoshi Ikeuchi 池内恵@chutoislam
マレーシアのアンワル首相によれば、マレーシアの船は通行料を払わずにホルムズ海峡を通過しているとのこと。日本政治では欧米に過剰に従うことを主張する人たちが支配的なので、日本がイランを交渉してホルムズ海峡を通ることはないだろう。市場に出てきたものを高値で買って国富を費消する見通し。
日本語
極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 รีทวีตแล้ว
菅原文太さんの言葉
「政治の役割は2つ。国民を飢えさせないこと、絶対に戦争をしないこと」
高市氏、自民党政治への危機感が高まっている。
米不足で米が高騰
好戦的で改憲に前のめり
「最後まで戦ってもらう」
「台湾有事発言」など
中国にケンカを売り謝罪すべき所で謝罪しない高市氏への声
⇩
日本語
教育ってのは、こどもの口の中にパンを詰め込むことじゃない。こどもが将来パンを得て食べる術を身につける手伝いをすることだ。でも日本のカイシャはやたらと従業員の口に色々なものを突っ込みたがる。なぜだか知らないけど。グルメのつもりなのかな？
日本語
極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 รีทวีตแล้ว
CoderDojo 青山#7 「プログラミングやものづくりが好きな人達が集まって、楽しく学ぶ場所です。Scratchやmicro:bit、3Dモデリング＆3Dプリンター出力、レーザーカッターやUVプリンターを使ってアクリルスタンド・アクリルキーホルダー作りなどができます」 coderdojoaoyama.connpass.com/event/389501/
日本語
20世紀からずっと変わらないんだけど、ソフトウェア技術者って流行り廃りに影響されすぎ。もっと自分の軸を持てよ、技術に対する信念を持てよ、と思う。自分に自信がない人が多いのかなあ？どうしてあんなに流行ばかり追いかけるのか、本当に不思議なんだよ。
日本語
これ、問い合わせの飽和攻撃したら簡単に合法的にパクれちゃう制度なのでは？ひどいなあ。著作権の根本が変質するよこれ。どうしてクリエイター側が権利表示や14日以内の応対という負担を背負わないといけないの？
るみ@rumiakane
4月から特定条件で他人の著作物を勝手に使えるようになる”未管理著作物裁定制度”が始まるので クリエイター各位はいかなる理由において第三者による無断著作物利用の禁止と、もし使われた場合の料金設定をどこかに記載する事が推奨される 十中八九勝手に使われる事例が出るから罰金を記載した方が良い
日本語
極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 รีทวีตแล้ว
極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 รีทวีตแล้ว
確かに、書いたソフトウェアをオープンにすることの意義が薄れていくのは感じる。
hikalium@hikalium
なんというか、あまりにもLLMのせいで「とりあえず動くけどオープンにするほどちゃんと練られてないなあという気分になるコード」が簡単に書けてしまい、しかも残酷なことに「動く」ので、クローズドソースのプロダクトを書く短期ビジネス的モチベが増えそうでオープンソース派としてはにゃーんとなる
日本語
でも、おカネを握っている人たち、力を握っている人たちは、絶対に変わらない。常に、他人に向かって「お前らが変われ」と言い続ける。これからも単年度の数字だけを睨み続けるのだろう。自分よりおカネや力を握っている人たちの顔を見ながら。ニンゲンって困った人たちだね。
日本語
というのが、民間企業の一従業員としての私見。日本に足りないのは、研究者によるビジネスではなく、ビジネスからの研究への貢献だと思う。研究成果をビジネスの役に立てるのも、その一つ。両方に関わっているニンゲンとして、そう思う。
日本語
ここ二十年のノーベル賞受賞者をみればわかるように、少なくともひと昔前までは日本の研究組織で素晴らしい成果が出ていた。一方で、産業界のおエラい人たちは日本の大学は役に立たないと言う。間違っている。そうではなく、研究者から見て産業界が役立たずなのだ。研究者の成果を活かせていないんだ。
日本語
極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 รีทวีตแล้ว
今の日本は、道路陥没・トンネル崩落・橋梁や高速道路の落下・水道管破裂の抜本対策や、首都直下型＆南海トラフ地震対策が最重要なんだが、高市首相の脳内は戦争一色。インフラ老朽化対策など地味な仕事は全く興味がないんだろう😠
市町村で全住民収容「シェルター」閣議決定
jiji.com/jc/article?k=2…
日本語
極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 รีทวีตแล้ว
@illnevercallitx @Kaiserschmarrn2 Waiting for this image to appear as the next Banksy artwork 🤩.
ChatGPT did a good job already, don't you think?
English
日本の中央官庁って不思議だよね。原発事故とかでは一般人のパニックをあんなに恐れていたのに、こんな状況になっても国際的なパニックによる資源確保競争をこんなに楽観視できるなんて。本当に不思議。エリートはパニックにならないとでも思ってるのかな？パニックってのは誰にでも起こるものだよ。
日本語
極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 รีทวีตแล้ว
大手石油元売りや石化専用商社によると、４月〜５月までの見通しはある程度ついているみたいですが、６月以降は全く見通しが立っていない模様
永田町と霞ヶ関の論理で
見通しが立ってない≒問題があるかも不明
→よって、『現時点では問題はない』
という超変換が起きている可能性
境野春彦 | LPガス取引制度@LPGadvisorJP
この件で気になるのは、石油化学工業協会が「４月までは稼働を維持できる」と言及している点。つまり、５月以降の稼働の見通しは立っていないのです。なぜ、政府が「現時点では問題ない」などと言えるのか。国民に正確な情報を提示すべきです。 #ナフサ #エネルギー安全保障
日本語