Zenn (AI)Japan
中学生でもわかる Lean 4 #23｜人と意見を分ける
友だちが、こう言ったとします。 どんな自然数 n でも、n + 1 = n だよ。 「それ、間違ってるよ」と返したくなります。 ここで少しだけ止まります。 間違っているのは、友だちでしょうか。 それとも、いま出された一つの文でしょうか。 人の名前を消すと、確かめる場所が見える 話した人をいったん消して、文だけ残します。
Read at Zenn (AI) ↗More from Zenn (AI) on Accept All
JapanAFM（Apple Foundation Models）を活用したテキストアドベンチャーゲームの開発【第1回】全体設計とデモ「血の池の夜」 Zenn (AI)
Japan国内WebサイトへのAIエージェント攻撃を観測 「8時間弱」続いた攻撃の推移を公開 国内セキュリティベンダー ITmedia AI+
JapanCTOが「AI導入で生産性を1年で2倍に」掲げた企業のその後 米国が開発者802人の進捗を追跡調査 ITmedia AI+
Japan相次ぐサイバー攻撃に「AI悪用の可能性」……初来日のAnthropic共同創業者が言及 悪用どう抑止 ITmedia AI+
Japan「YouTube Music」、生成AIで作られた楽曲にラベル表示 ITmedia AI+
