形式検証がなかなか発展・普及しなかったのはとても不思議ですね 20世紀初頭に型理論提起、1970年代にマルティン・レフの依存型理論、1980年カリー=ハワード同型対応でミニマムな材料が揃って 1990年代には実用展開かと思ったのに、 普及のきっかけはMS基礎研の関数言語コミュ買収とLean言語開発後 x.com/banr1_/status/…

でも今やめたら,永久に赤字だろう。 x.com/asahi/status/2…

ゴールド（XAUUSD）暴落的中！次は4700ドルの断末魔🦇 ／ ✅4800ドル割れの暴落を完全的中！ ✅4700ドルの節目に溜まった「地獄の損切り」 ✅ドル独歩高と停戦失効で買い方は絶望へ ＼ 大衆のギブアップこそが、 次なる爆益のサイン✍️ いつでも見返せるように、 『いいね』『保存』推奨🧚🏻‍♀️💖 pic.x.com/1XTSIOOyRc

@DEATHDOL_NOTEこの物議を醸す返信は純粋なアイドル像の偽りを指摘し、許可された交際にもかかわらずタレコミが現実のチェックになるとし、ファン反発と売上低下を予測する。 x.com/i/status/20469…

米国がブラジルのレアアース会社買収、「中国が供給断てばF-35も製造できなく…」―中国メディア recordchina.co.jp/b975516-s25-c1… USAレア・アースのバーバラ・ハンプトン最高経営責任者（CEO）がアジア以外で磁石用レアアース4種類すべてを大規模に供給できる唯一の生産者だと強調したと伝えている。

@nogustockねー働いてもらわないとw 増収増益目指してね🤣

@Krush_voice クラくんお仕事終わったかな？ 今日もお疲れ様🩵ྀི もう明日はFridayだよっ🌟 今週も終わったも同然だねっ！！ しかも来週は水曜休みでもうすぐGWだねっ♡ あとひと踏ん張りっ！ 一緒に乗り越えよ🫶🏻💓 今日は内緒のピアスさんの方の 「プロポーズ」をずっと聴いてたよ♡ pic.x.com/bnIz5vLLaU

モデルプレス - JO1、全米デビュー決定 全5都市で北米ライブツアー＆国内の追加公演開催も発表 mdpr.jp/music/detail/4… # @modelpressより #JO1_in_NorthAmerica #JO1 @official_jo1

昨日のドル円のnote公開しました！ 行ったり来たりで難しい相場が続いておりますが、このまま160円に行くのでしょうか？ 【ドル円】偽ニュースの急落から159円台後半へ！地政学と「最強の米消費」が交錯した激動の一日（2026/04/22）｜大金闘志 @ooganetoushi note.com/ooganetoushi/n…

スララク990円セールきた！！🔥 前回の楽天マラソンでは値下がりしなかったから、おすすめできなかったの😭😭 2週間たっぷり着たけど、防汚加工はしっかり実感してる✊✊ x.com/sabu_ud/status…

［ITmedia PC USER］マウスコンピューターが「ゴールデンウィークセール」を開催　対象PCが最大10万円オフで買える！ itmedia.co.jp/pcuser/article…

BTC暴落で不安だった私が、ルイさんの精度の高い配信で月利12％を達成！ @ShanteScha47397 さんの分析力とエントリータイミングの正確さには感動しています。 ビットコイン/メタプラネット/米国株/日経平均/株クラの輪を広げよう/中国経済/XAUUSD/ゴールド/ゴールドショート/雇用統計

全国2,000軒以上のホテルと提携しているMustgoが22日に発表したデータによると、今週日曜日から始まる3日間のフン王没後記念祭を前に、サパのホテルはほぼ満室状態となっています。 vpress.asia/article/69e9a8…

“国が前に出るしかない。民間だけに頼ってはいけない。経済産業省と一緒になって企業と意見交換を進めて” おしえて 日本経済新聞 さん これまでに経済産業省が民間企業におカネを融通して推進した事業はいくつありますか ? そのうち、もっとも成功した事例を紹介してください x.com/nikkei/status/…

株価は史上最高値ですが景気が実際良いというわけではなく、インフレ圧力・日本円のゴミ化で株価が上がってます。まだまだ上がるのでは。 トランプの狼藉で毎週月曜日暴落しますが、市場は疲れて下げもなだらかになっている気がする。 x.com/nikkei/status/…

明日はTHE BLDSでこちらに出演 是非遊びに来てください！ The Old Maid presents: Through the Dots 2026年4月24日(金) OPEN 18:15 / START 18:45 📍 仙台 space Zero 🎟 ADV ¥3,000 / DOOR ¥3,500 出演：THE OLD MAID / VONA with support / TURN BACK FRIDAY / MEME / THE BLDS pic.x.com/8HbusIFc0O

NECの株価が夜間で急騰中 x.com/nikkei/status/…

栃木市立美術館で見た。 資金調達で苦しむ北斎の一面もいつか漫画にしたい。情報漏洩でデータ消したかも知らん。くそぉー！ pic.x.com/HaMaPlRAd7 x.com/81agp7/status/…

【ドル円 1時間足】 現在159.73円。SMA20・75ともに上向きでトレンド良好📈 直近の急落からV字回復し、160.147の壁に差し掛かる局面。ここを突破できれば160円台定着へ。押し返される場合は159.487がサポートの目安⚠️ #ドル円 #USDJPY #FX pic.x.com/4ajchct3yY

おれは「西側の価値観に反発するのに、なぜ東洋思想を愛さないのか！」みたいな話聞くと、まず「？？？いや文章の前後がつながってなくない？東洋思想って、朱子学とか陽明学とか風水とか道教とか、ようは「中国人の好きな、アレ」？そらそうじゃない？」みたいになってまう x.com/yuusakup403/st…

@CiaB2usHrLpZhrC他1人初めての人前での有料ステージ、あの埼玉出身のグループＳもアマチュア時代にそのステージに立った… あの歓声と拍手👏喝采👏…全て身内でした😅 尚、チケット余りで出演者自らが出資しるのはアルアル。

@oh_sushi_umaiわぁい！パラノマ伊勢もちょい値下がりしてましたわ

Do Americans just love being fooled? Is that why they won’t impeach Trump? #tacopoderoso 米国民、選挙に不信感　共和党で顕著　トランプ氏の不正主張浸透＝調査(ロイター) #Yahooニュース news.yahoo.co.jp/articles/5cd69…

やっぱり日本経済新聞の誇りがあるんだな。100万バレルって言われても分からんけど、1日にも満たないって書いてもらえると、国民はよくわかる x.com/nikkei/status/…

ついにMZDAO時代のスタートアップ企業の１つ、犬猫生活（556A）が本日上場したそうです。初音3,500円、終値はストップ高の4,200円。明日の株価が楽しみ。もっと上がるかな？下がるかな？ pic.x.com/VDSVLDAl7X x.com/yousuck2020/st…

MARCA。DAZNの欧州でのW杯の視聴料は月額19.99ユーロ（約3732円）。 また、Movistar Plus+（有料チャンネル）とDAZNの提携により全試合テレビ放送あり。

木曜日おつかれさまです🌓4/23 ✧🇺🇸株：🇮🇷🇺🇸合意期待、堅調な企業業績で上昇 ✧🇯🇵株は綱渡り？ホルムズ海峡封鎖で原油来ず →本当に不透明感は去った？ 🇯🇵日経225 -0.75% 🇺🇸失業保険申請件数 ・10年債金利4.32⤴ ・ドル円159.7⤴ ・S&P500先物-0.42% ・金先物-0.96% ・原油先物+1.71% 今夜も爆益を✨ x.com/usstocks__/sta…

Microsoftの新日本語IME「Copilot Keyboard」が正式版に　“お前を消す方法”で有名なキャラ「カイル」も追加：ダウンロードは無料 - ITmedia PC USER itmedia.co.jp/pcuser/article…

あっ スポーツ報知さん🥰 代々木体育館裏に集合🥰 x.com/harami_tsushin…

キユーソー流通システム【9369】2026年04月23日 開示情報 - インドに拠点を置く低温物流会社 Coldrush Logistics Private Limited の株式取得（子会社化）に関するお知らせ 18:00 kabutan.jp/disclosures/pd…

ANA×IHGが包括提携を発表✈️🏨 2026年10月以降 ✅ANAステータス→IHGステータスマッチ ✅海外発ANA搭乗でIHGポイントも付与 ✅ANAマイル⇄IHGポイント相互交換 が順次開始予定です。 ANAユーザーのホテル戦略も 変わる可能性がありそうです🧐 全貌はこちら⬇️ sptraveler.com/ana-ihg-status…

武器を売る気なんて企業側はないのでは。赤字垂れ流して、政府からの補助金もらうことを考えている気がする。 x.com/Holms6/status/…

＂片山財務相から強いトーンでの口先介入がありましたが、為替市場ではドル円が5銭程度の下落で反応薄。＂🤦🏻‍♂️ x.com/min_fx/status/…

$crypto $XRPUSD 暗号資産XRPが3.6%下落、イラン情勢の緊迫化で投資家のリスク回避強まる

モデルプレス - JO1、全米デビュー決定 全5都市で北米ライブツアー＆国内の追加公演開催も発表 mdpr.jp/music/detail/4… # @modelpress 今までの努力の積み重ねが実ってる🥹 #JO1

強いトーンでの口先介入で5銭程度の下落。。。 x.com/Min_FX/status/…

"父は東大卒の国会議員！息子がハンサム…「そっくり」「似てる」事務所退所も発表の俳優・階晴紀" - スポーツ報知 #SmartNews 政治家にだけはならないで下さい。 #税金下げろ規制をなくせ #全ての増税に反対 #LeaveUsAlone #減税革命 #税金がタカイチ l.smartnews.com/m-7AebMNnG/8ah…

@sumikko_toushi口座振替依頼書とか扱う部署なら必須知識で、頻繁に銀行合併あったりした頃は社内の情報が遅れてること多くちゃんと毎日更新してくれるサイトで確認するのが日課でした笑 zengin.ajtw.net

@Sirius_umbra他3人お前達がちゃんと課金してコンテンツを楽しむ人間ならば、お前の国の企業が正しく出資してライセンスを得てビジネスするだろう。それをしないのは日本の出版社の努力不足ではなく自国の出版社を支持、応援して正規流通をさせないお前達の怠慢でしかない。それで漫画愛を語るな！

モデルプレス - JO1、全米デビュー決定 全5都市で北米ライブツアー＆国内の追加公演開催も発表 mdpr.jp/music/detail/4…

【速報】Tesla(テスラ)の2026年第1四半期アップデートが公開されました🚨内容がかなり衝撃的です。 ・自動運転タクシー「Cybercab」が今年量産開始 ・人型ロボット「Optimus」の年産100万台工場を準備（Model S/Xのラインを置換） ・SpaceXと提携し「世界最大の半導体工場」を建設へ pic.x.com/ABzMEmf0co

#Silver #XAGUSD 今日はオープンから約4.2％の下落とかなり走ってきました。 1980・2011年の高値を結んだラインまでリターンムーブするパスコースを狙います。 原油のひどい価格操作で修正ウェッジの期間がかなり長引きましたがようやく50～55ドルで買う機会が到来しようとしています。 pic.x.com/cGU3t1ywS8 x.com/cohamizu1/stat…

ソニーフィナンシャルグループ(8729)、急落。 ソニー生命保険で、顧客に対する金銭詐欺の疑いが報じられたことが原因みたい👀 高配当銘柄だけれど、投資家として応援したくないなぁ。。。 pic.x.com/R9aSOOqJeu x.com/nikkei/status/…

@justkingsaint他2人カメラ業界の黒歴史ももっと凄い。あまりパクリせず独自技術で世界過半数シェア占めた旭PENTAXは(独占禁止法対策で)互換機市場を認めたが、逆に互換機のリコーに買収されてるし。

黒字🙌 x.com/AvispaF/status…

この人の動画見てから“待つのもトレード”って理解できた。 無駄な損失かなり減った。 今週＋2.6万。地味だけど一番効く。 日経平均株価 ゴールド ドル円 FANG 日経先物 ビットコイン #XAUUSD ナスダック エヌビディア #ドル円 ブレイク 日経平均6万 三菱重工 予測市場 日本精密 x.com/johnson_al5191…

あれっNRI決算って明日じゃなくて今日なのか どこかで明日って見た気がしたが で大幅減益でPTS下げ下げやん 完敗やな、信用分は明日処分しよ x.com/orenotoushi/st…

NRI Australia Limited及びCore BTS, Inc.においてのれん等の減損損失969億円を計上する見込み Australiaはコンサルティング事業やマネージドサービス事業の受注減に伴う業績悪化。Core BTS, Inc.は、クラウドコンサルティング事業の業績悪化

@yousuck2020他1人前澤ファンド出資初？の上場おめでとうございます🎊✨ 市場からは高く評価されたようですね！

明日の愛知店舗🔍 ⏬4月24日(金) ・キャッスル知多 ⭕周年 周年といえば、、、キャッスル。 全店毎年赤字相当っていうのが恒例。 もはやみんな周知と思いますが 知多1号店の去年は台平均で+560枚くらい しっかり大赤字🔥 今年も安心していける日程と店として。 朝の抽選は8時15分だそうです。 pic.x.com/qbZq871OzJ x.com/stm_320/status…