【読売新聞】 日本商工会議所の小林健会頭は13日の定例記者会見で、中東情勢の影響でナフサの供給不安が広がっていることについて「政府が石油備蓄や代替調達先の確保などの対応をしているので(必要分は)足りている」と強調し、企業や国民に対し
カルビーは5月12日、中東情勢の緊迫化に伴う一部原材料の調達不安定化を理由に、スナック菓子など主力14品の包装を白黒に切り替えて販売すると発表。ネットで広がる「原料不足以外にも戦争という現状への警告の意図があるのでは」「さすが広島発の企業としての反戦の姿勢」との反応。カルビーの見解は?
■ 個人情報保護法改正案に重大な欠陥、2001年「メディア規制」法案の再来、修正が必要 (注:3日前に書き始めていた日記(11日付)だが、仁義は切ったので、今日(14日午前)パブリッシュする。もっと早く気づけばよかったが、この土日に気づいた。手遅れにならないことを祈る。) 追記(18日午前)NotebookLM生成のスライドをNotebookLMに解説させた。 追記(16日午前、19日午前)長くなったので目次:【私の考え↓】【修正私案 】【ChatGPTはどう言う? 】【Claudeによる整理 】【損害を加える目的 】【脚注6の件 】【「取得」概念自体からしておかしい 】【質問案 】【大臣記者会見 】【「図利加害目的」の判例をおさえておく 】【脚注6の件の軌道修正 】【質問案の作り直しと解説文 】 このところ、前回の日記のように、生成AIを用いて個人情報保護法のR8改正案の構造を分析してい
23歳の数学愛好家がOpenAIの大規模言語モデル「GPT-5.4 Pro」を用いて、約60年間未解決だった数学の難問「エルデシュ問題1196番」の証明に成功した。AIは人間の研究者が見落としていた手法を提示し、フィールズ賞受賞者らとの共同論文として公開された。定理証明支援言語「Lean」による形式的な検証も完了している。 2026年4月、数学の高度な専門教育を受けていない23歳のLiam Price氏が、GPT-5.4 Proとの対話を通じて、ポール・エルデシュが提唱した未解決問題「Erdos Problem #1196」を証明した。この問題は原始集合と呼ばれる、どの要素も他の要素を割り切らない整数の集合の密度に関する予想であり、約60年にわたって専門家による証明がなされていなかった。Price氏は厳密な定式化から始める従来の手法ではなく、直感的にAIへ質問を投げてアイデアを生成させるア
蔵竹子規 @krtksk 昔インタビュー記事読んだけど元々カカクコム作った人、10億円くらいで会社売ってたよな どういう気持ちなんだろう x.com/kanpo_blog/sta… 2026-05-13 00:00:32
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く