深海魚との出会いから始まる、喋る生き物と研究者のSF譚✨ さとかつ(@satokatu031 )先生の『キリコの生き物探訪 1巻』発売😊 #Cゾーンコミック売場にて# 複製原画を展示中🎊 お近くでぜひご覧ください！ 店舗限定特典も封入済み🦀 #小学館クリエイティブ#

「楽園、ここに在り。」 『蒼天 第1号』(リイド社)入荷いたしました！ #Cゾーンコミック売場# にて販売中です！ 楽園から引き続いてシギサワカヤ先生描きおろしイラストの表紙が目印です！ #蒼天# #リイド社# @souten_info

「大人になっても、新しい友達ができる幸せ」👔🥂 河尻みつる(@kawajili )先生の 『ホストと社畜』最新5巻本日発売‼ #Cゾーンコミック売場にて# 販売中です✨ 新宿店限定特典(！！！)も封入済みです。ご来店をお待ちしております☺ @HostShachiku_PR

芸術と人が出会う場所、美術館の裏側知っていますか？ ちょっとマジメで、たっぷりコメディ！話題の学芸員コミック。 ササキエンジュ(@enju_sasaki)先生の『白眉の司』 #Cゾーンコミック売場にて# 複製原画の展示を行っております🖼お近くでぜひご覧ください。 担当イチ推しです✨

酒神に取り憑かれたサラリーマン、現る⚠ 酔っ払いが支配する夜の街、迷惑客も社会にはびこる理不尽も"酔拳"で叩き醒ます!『殺し屋１』、『ホムンクルス』の#山本英夫# 最新作‼ 『#酔拳JAPAN# 1巻』本日発売!! #Cゾーンコミック売場にて# 複製原画を展示中！ お近くでご覧ください👊🍻

💡 Affirm Holdings, Inc. $AFRM Q4 FY2026決算 2026-08-27 💰 今四半期業績 - 🟢 EPS：$0.53 (予想$0.35) - 🟢 売上高：$1.11B (予想$1.11B) 📊 重要指標 - 🟢 粗利益率：67.71% (前四半期65.93%から改善) - 🟢 営業利益率：11.12% (前年同期6.63%から大幅改善) - 🟢 フリーキャッシュフロー：直近4Q合計$787.1M (前年度比大幅増) - 🟢 Affirm Card事業：GMV $2.13B規模に成長、事業の柱として台頭 - 🔴 負債資本比率：2.36倍 (高水準の負債構造) - ⚫️ Altman Zスコア：2.11 (グレーゾーン、3.0未満) - 🟢 機関投資家動向：FMR LLC +26.5%増、Vanguard系2社が新規参入、Morgan Stanley -5.6%減 📍決算内容の注目ポイント - Affirm Card事業のGMVが$2.13Bに到達し、BNPL以外の収益源として急成長中 - 営業利益率がFY2025 Q4の6.63%からFY2026通期で11.12%へ大幅改善、黒字体質が定着 - FMR LLCが持分を26.5%増加、Vanguard系2社が新規に大口ポジションを構築するなど機関投資家の買い増しが顕著 - Piotroskiスコア7と財務健全性は良好、一方でAltman Zスコア2.11はグレーゾーンに位置 - 直近4四半期のフリーキャッシュフローが$787.1Mに達し、キャッシュ創出力が大幅に向上 🔍 主要ファンダメンタルズ指標 - 時価総額: 25.95B - PER: 67.38 - Forward PER: 43.30 - PEG: 0.03 🎯市場評価 - 株価 (発表前): 📈$77.54 (1.41%) - 株価 (発表後): 📈$84.77 (9.32%) - 決算前アナリスト目標株価: $93 ($106 ~ $75) C - 決算総合サプライズ率 (AI推定): 🤩22.38% - 決算後目標株価 (AI推定): $90.63 🤖 決算まとめるくん(AI)コメント 「Affirm Holdings, Inc.のFY2026 Q4決算は、EPSがアナリスト予想$0.35に対し$0.53と約51%上回る大幅なビートを記録しました。売上高は$1.11Bと予想に一致しており、トップラインの安定成長が確認されます。 注目すべきは収益性の構造的改善です。営業利益率は前年同期の6.63%から約11%水準へと大幅に向上しており、BNPL（後払い決済）事業の規模拡大に伴うレバレッジ効果が顕在化しています。粗利益率も67.7%と安定しており、信用コストの管理が適切に行われていることを示唆します。 Affirm Card事業のGMVが$2.13Bに達した点は、同社のビジネスモデル多角化における重要なマイルストーンです。従来のeコマース決済に加え、カード事業が新たな成長ドライバーとして機能し始めており、収益の持続性に対する市場の信頼感を高める要因となっています。 機関投資家の動向も好材料です。FMR LLCが26.5%の持分増加、Vanguard系2社が新規参入するなど、スマートマネーの流入が加速しています。一方、Morgan Stanleyが5.6%減少している点は留意が必要です。 財務健全性については、Piotroskiスコア7は良好ですが、Altman Zスコア2.11はグレーゾーンに位置し、負債資本比率2.36倍と合わせて、レバレッジの高さには引き続き注意が必要です。 決算発表後の時間外取引で株価が大幅に上昇しており、EPSの大幅ビートと収益性改善トレンドが市場から高く評価されたものと考えられます。ガイダンスの詳細が開示されていない点は不確実性として残りますが、足元の業績モメンタムは極めて力強いと評価できます。 評価は📈ポヨ」 🏢 Affirm Holdings, Inc. 概要 - セクター: 金融サービス - 特徴: BNPL（後払い決済）を中心としたデジタル消費者金融プラットフォーム。Affirm Cardやマーチャント向けツールを展開 🤘情報提供 Stock Slayer :

💡 IREN Limited $IREN Q4 FY2026決算 2026-08-27 💰 今四半期業績 - 🔴 EPS：$-1.91 (予想$-0.55) - 🟢 売上高：$137.2M (予想$132M) 📊 重要指標 - 🟢 AI Cloud Services売上高：$70.5M (Q3: $33.6M, QoQ+109.8%) - 🔴 Bitcoin Mining売上高：$66.7M (Q3: $111.2M, QoQ-40.0%) - 🔴 Adjusted EBITDA：$19.2M (Q3: $59.5M, QoQ-67.7%) - 🔴 非現金減損損失：$450.4M (Bitcoin Mining機器の除却関連) - 🟢 契約済ARR：$4B (2026年キャパシティ), 稼働中ARR $1B - 🟢 GPU関連ファイナンス：$2.8B (GPU Capexの90%をカバー) - 🟢 通期売上高 (FY26)：$707M (FY25: $501M, YoY+41.1%) 📍決算内容の注目ポイント - 大手フロンティアAIラボとの新規マルチイヤーAI Cloud契約を締結。Cohere、Prometheus、Perplexity、Figure AI、Fal AI、Higgsfield AIとも契約を締結し、顧客基盤を大幅に拡大。 - Microsoftへの初の50MW液冷GPU展開（Horizon 1）を完了。NVIDIA Exemplar Cloud認定をGB300 NVL72で取得。Horizon 2-4も2026年Q4に順次展開予定。 - Blue OwlおよびPacific Investment Management Company主導の$2.4Bファイナンスを含む$2.8BのGPUファイナンスを確保。固定金利9.0%で関連GPU Capexの90%をカバー。 - MirantisおよびNostrumの買収を完了し、ソフトウェア・サービス能力を強化。欧州（Badajoz, Spain）を含む5GW超のデータセンターパイプラインでグローバル展開を推進。 - FY26中にヘッドカウントが約3倍に増加し、Cスイートレベルの幹部5名を新たに任命。組織体制を大幅に強化。 🤵‍♂️CEO (Daniel Roberts) コメント 「私たちはシンプルな観察からIRENを始めました。デジタルの世界はほぼ瞬時にスケールできますが、物理的な世界はそうではありません。今年、その創業時の仮説が現実のものとなりました。指数関数的なAI消費の成長が、利用可能なインフラ供給をはるかに超えるコンピュート容量への需要を生み出しています。IRENはまさにこの瞬間のために構築されました。2026年のキャパシティはほぼ完売しています。プラットフォームが拡大し市場ポジションが強化されるにつれ、より強力な価格設定、より魅力的な契約条件、改善されたペイバックを確保しています。電力、土地、データセンター、コンピュート、ソフトウェア、人材という、複製困難な資産を数年かけて構築してきました。これはまだ始まりに過ぎません。」 🔍 主要ファンダメンタルズ指標 - 時価総額: 14.46B - PER: 1013.25 - Forward PER: 27.96 - PEG: -10.64 🎯市場評価 - 株価 (発表前): 📈$40.555 (2.46%) - 株価 (発表後): 📉$40.21 (-0.85%) - 決算前アナリスト目標株価: $83.86 ($100 ~ $50) C - 決算総合サプライズ率 (AI推定): 😥-5.82% - 決算後目標株価 (AI推定): $39.43 🤖 決算まとめるくん(AI)コメント 「IREN LimitedのFY2026 Q4決算は、同社がBitcoin Miningから AI Cloud Servicesへの構造転換を加速させる過渡期の姿を鮮明に映し出しています。 売上高は$137.2Mとアナリスト予想$132Mを上回りましたが、EPSは非現金減損$450.4M（Bitcoin Mining機器の除却）の影響で-$1.91と大幅な赤字となりました。ただし、この減損はAI Cloud成長に向けたサイト転換に伴う一時的な会計処理であり、事業の実態を反映するAdjusted EBITDAは$19.2Mと黒字を維持しています。 AI Cloud Services売上は前四半期比+109.8%の$70.5Mへ急拡大し、通期では前年比約8倍の$128.8Mに達しました。一方、Bitcoin Mining売上は$66.7Mへ減少しており、収益構成の転換が急速に進行しています。 将来の成長基盤として注目すべきは、$4Bの契約済ARR（2026年キャパシティ）と現時点で$1Bの稼働中ARRです。MicrosoftへのHorizon 1（50MW液冷GPU展開）の納入完了やNVIDIA GB300 NVL72でのExemplar Cloud認定取得は、技術的信頼性の証左です。 資本面では、$2.8BのGPUファイナンスがCapexの90%をカバーし、顧客プリペイメントと合わせて資金調達の見通しは安定しています。ただし、Altman Z-Score 2.17は「グレーゾーン」にあり、急拡大に伴う財務リスクには留意が必要です。 決算発表後の株価が小幅に軟化した背景には、GAAP純損失の大きさと、次期以降の具体的な売上ガイダンスが明示されなかった点が意識されたと推察されます。しかし、2026年キャパシティの完売状況や2027年に向けた顧客交渉の進展を踏まえると、中期的な収益拡大の蓋然性は高いと評価されます。 評価は📈ポヨ」 🏢 IREN Limited 概要 - セクター: テクノロジー - 特徴: オーストラリア発の垂直統合型AI Cloudプラットフォーム企業。データセンター、コンピュート、ソフトウェアを一体提供し、Bitcoin Miningからの事業転換を推進中。 🤘情報提供 Stock Slayer :

Cのモデル検査が「ループ展開で爆発」する問題、関数契約でどう解決するのでしょうか？ タイトル: Function Contracts for Bounded Model Checking of C Programs URL: ❓ なぜBMCは重くなるの？ ループをN回展開し、関数呼び出しも全部インライン化するためです。N回ループする関数をK箇所で呼ぶと、コストはおよそN×Kに膨らみます。 💡 契約を使うとどう変わる？ 関数本体は契約に対して1回だけ検証し、各呼び出しは契約から作ったスタブに置き換えます。展開が不要になるので、呼び出し回数に引きずられません。 ❓ 何が新しいの？ ESBMCに契約機能を実装しました。assigns句は「書いてはいけない場所の入口時の値を保存し、終了時に比較する」観測的方式で検査します。書き込み回数でなくグローバル変数の数で式の大きさが決まる点がCBMCとの違いです。代数の骨格はLean 4で機械検証されています。 ❓ 効果は？ ・N=20,K=10で、直接検証は120秒超のタイムアウト、モジュラーは12.5秒 ・N=10,K=10で42.0秒から1.8秒（23.3倍） ・W=500の書き込みでVCC数はESBMC 5に対しCBMC 521 ・ML-KEMのFIPS-203サイズでは、モノリシックは両ツールとも10分で終わらず、モジュラーなら完了 ただしK=1では逆に遅くなります。 #形式検証# #モデル検査#