Pinned
Iwao KIMURA
@iwaokimura.bsky.social
· Mar 9
J. Silverman著拙訳
「シルヴァーマン 代数学
代数学への統一的入門」丸善出版
が月末に出版されます。
代数学の基礎的なところをしっかり（本文600ページぐらい+充実の索引）と解説しています。
書店でお見かけの折は、ぜひお手にとってご覧ください。
buff.ly/Byqspks
「シルヴァーマン 代数学
代数学への統一的入門」丸善出版
が月末に出版されます。
代数学の基礎的なところをしっかり（本文600ページぐらい+充実の索引）と解説しています。
書店でお見かけの折は、ぜひお手にとってご覧ください。
buff.ly/Byqspks
暗号方面で言うところの，Harvest Now, Decrypt Later攻撃みたいなかんじで，今のうちSNSでの発言などを収集されて，何年も経ってからAIで採点されて，「おまえはあのときこのようなコメントをしたが，それがいかに間違っていたか愚かだったか」みたいなこと言われたら，やだなぁ，と．
karpathy.bearblog.dev/auto-grade-hn/
karpathy.bearblog.dev/auto-grade-hn/
Auto-grading decade-old Hacker News discussions with hindsight
A vibe coding thought exercise on what it might look like for LLMs to scour human historical data at scale and in retrospect.
karpathy.bearblog.dev
December 11, 2025 at 4:20 AM
暗号方面で言うところの，Harvest Now, Decrypt Later攻撃みたいなかんじで，今のうちSNSでの発言などを収集されて，何年も経ってからAIで採点されて，「おまえはあのときこのようなコメントをしたが，それがいかに間違っていたか愚かだったか」みたいなこと言われたら，やだなぁ，と．
karpathy.bearblog.dev/auto-grade-hn/
karpathy.bearblog.dev/auto-grade-hn/
AI Augumented Cancel Cultureが到来したらイヤだな……
karpathy.bearblog.dev/auto-grade-hn/
karpathy.bearblog.dev/auto-grade-hn/
Auto-grading decade-old Hacker News discussions with hindsight
A vibe coding thought exercise on what it might look like for LLMs to scour human historical data at scale and in retrospect.
karpathy.bearblog.dev
December 11, 2025 at 3:57 AM
AI Augumented Cancel Cultureが到来したらイヤだな……
karpathy.bearblog.dev/auto-grade-hn/
karpathy.bearblog.dev/auto-grade-hn/
Reposted by Iwao KIMURA
💡 Summary:
著者は、大規模言語モデル（LLMs）を活用して、10年前のHacker Newsの議論を遡って分析するプロジェクトを開発しました。2015年12月のフロントページやコメントスレッドを自動収集し、GPT-5.1に対して後知恵を持って各記事や議論を評価させることで、過去の予測の正確さを検証し、先見の明のあったコメントや誤ったコメントを特定し、参加者を評価することを目的としています。この取り組みは、LLMsが詳細な歴史的分析を行う潜在能力を示しており、将来的には現状の行動も容易に精査できる可能性を強調しています。実行にはOpus 4.5を用い、 (1/2)
著者は、大規模言語モデル（LLMs）を活用して、10年前のHacker Newsの議論を遡って分析するプロジェクトを開発しました。2015年12月のフロントページやコメントスレッドを自動収集し、GPT-5.1に対して後知恵を持って各記事や議論を評価させることで、過去の予測の正確さを検証し、先見の明のあったコメントや誤ったコメントを特定し、参加者を評価することを目的としています。この取り組みは、LLMsが詳細な歴史的分析を行う潜在能力を示しており、将来的には現状の行動も容易に精査できる可能性を強調しています。実行にはOpus 4.5を用い、 (1/2)
December 11, 2025 at 3:43 AM
💡 Summary:
著者は、大規模言語モデル（LLMs）を活用して、10年前のHacker Newsの議論を遡って分析するプロジェクトを開発しました。2015年12月のフロントページやコメントスレッドを自動収集し、GPT-5.1に対して後知恵を持って各記事や議論を評価させることで、過去の予測の正確さを検証し、先見の明のあったコメントや誤ったコメントを特定し、参加者を評価することを目的としています。この取り組みは、LLMsが詳細な歴史的分析を行う潜在能力を示しており、将来的には現状の行動も容易に精査できる可能性を強調しています。実行にはOpus 4.5を用い、 (1/2)
著者は、大規模言語モデル（LLMs）を活用して、10年前のHacker Newsの議論を遡って分析するプロジェクトを開発しました。2015年12月のフロントページやコメントスレッドを自動収集し、GPT-5.1に対して後知恵を持って各記事や議論を評価させることで、過去の予測の正確さを検証し、先見の明のあったコメントや誤ったコメントを特定し、参加者を評価することを目的としています。この取り組みは、LLMsが詳細な歴史的分析を行う潜在能力を示しており、将来的には現状の行動も容易に精査できる可能性を強調しています。実行にはOpus 4.5を用い、 (1/2)
Reposted by Iwao KIMURA
約1時間と58ドルのAPIコストがかかりました。結果は著者のウェブサイトに掲載されています。このプロジェクトは、AIのコスト低下と能力向上に伴い、私たちの行動が将来にわたって観察・評価される可能性を示唆しており、慎重な行動を促しています。 (2/2)
December 11, 2025 at 3:43 AM
約1時間と58ドルのAPIコストがかかりました。結果は著者のウェブサイトに掲載されています。このプロジェクトは、AIのコスト低下と能力向上に伴い、私たちの行動が将来にわたって観察・評価される可能性を示唆しており、慎重な行動を促しています。 (2/2)
スタートアップ axiommath.ai だそうです．Ken Onoさん，水泳のオリンピックチームに帯同したり八面六臂．
December 5, 2025 at 4:15 AM
スタートアップ axiommath.ai だそうです．Ken Onoさん，水泳のオリンピックチームに帯同したり八面六臂．
Reposted by Iwao KIMURA
BunがAnthropicに買われたそうな。
www.publickey1.jp/blog/25/anth...
www.publickey1.jp/blog/25/anth...
AnthropicがJavaScriptランタイムのBunの買収を発表。Claude Codeのランタイムとしての高速性を評価
AIエージェントによるコーディングアシスタントを提供する「Claude Code」などを提供するAntrhopicは、JavaScriptランタイム「Bun」の買収を発表しました。...
www.publickey1.jp
December 5, 2025 at 12:30 AM
BunがAnthropicに買われたそうな。
www.publickey1.jp/blog/25/anth...
www.publickey1.jp/blog/25/anth...
Reposted by Iwao KIMURA
学費値上げは軽々しくやることではないし、寄付も安定的ではない。運営交付金増額が望ましいよな。
December 4, 2025 at 12:40 AM
学費値上げは軽々しくやることではないし、寄付も安定的ではない。運営交付金増額が望ましいよな。
科研費じゃ雨漏りは直せないですしね。
news.yahoo.co.jp/articles/193...
news.yahoo.co.jp/articles/193...
熊本大学が来年度、赤字転落の恐れ 環境整備へ1億円寄付募る（朝日新聞） - Yahoo!ニュース
熊本大学はこのほど、大学の財務状況をめぐって学生や教職員と意見交換会を開き、「事業活動収支が2026年度に赤字になる」との見通しを発表した。ただし現段階で授業料の値上げはせず、緊急支援の寄付キャン
news.yahoo.co.jp
December 3, 2025 at 11:24 PM
科研費じゃ雨漏りは直せないですしね。
news.yahoo.co.jp/articles/193...
news.yahoo.co.jp/articles/193...
などと言いつつ，お昼休みに，Cドライブをだいぶ圧迫していたWSL2のUbuntuを，Dドライブに引っ越しした．70Gもある……．DドライブはHDD上にあるので遅くなるかもしれないけど，背に腹．
December 1, 2025 at 3:58 AM
などと言いつつ，お昼休みに，Cドライブをだいぶ圧迫していたWSL2のUbuntuを，Dドライブに引っ越しした．70Gもある……．DドライブはHDD上にあるので遅くなるかもしれないけど，背に腹．
季節外れに暖かくて，よい11月31日だなぁ．
December 1, 2025 at 3:39 AM
季節外れに暖かくて，よい11月31日だなぁ．
運営費交付金が補正予算で手当されるということは、人事院勧告が4月に遡及して適用されると思って良いでしょうか。また、エアコンも抜本的に修理（というより、現行品に交換）されるでしょうか。
November 29, 2025 at 9:53 AM
運営費交付金が補正予算で手当されるということは、人事院勧告が4月に遡及して適用されると思って良いでしょうか。また、エアコンも抜本的に修理（というより、現行品に交換）されるでしょうか。
週末だし月末だし，シュレッダーの儀でも執り行うか……
November 28, 2025 at 4:02 AM
週末だし月末だし，シュレッダーの儀でも執り行うか……
テレビ番組のアンケート調査見ると、倫理審査とかどうやってるんだろ、と思う。
November 26, 2025 at 11:20 AM
テレビ番組のアンケート調査見ると、倫理審査とかどうやってるんだろ、と思う。
Perplexity のCometというブラウザを使ってると，ギョッとするほどメモリを掴んで，Windowsがもっさりするほどなので同ブラウザ越しにPerplexity AIに相談すると，「なんでもCometでやらない」という解決法が提示された．デフォルトのブラウザにしろとしつこく勧めてくるのに？ 😞
November 19, 2025 at 3:01 AM
Perplexity のCometというブラウザを使ってると，ギョッとするほどメモリを掴んで，Windowsがもっさりするほどなので同ブラウザ越しにPerplexity AIに相談すると，「なんでもCometでやらない」という解決法が提示された．デフォルトのブラウザにしろとしつこく勧めてくるのに？ 😞
学生氏のポスターを、プリンタでポスター印刷（複数の紙に分割印刷）しようとして思ったようにいかず、こういうのをAIがやって🖍️と思った。
November 18, 2025 at 10:50 AM
学生氏のポスターを、プリンタでポスター印刷（複数の紙に分割印刷）しようとして思ったようにいかず、こういうのをAIがやって🖍️と思った。
こういうの↓ってどのくらい怒られるのでしょうね．
news.yahoo.co.jp/articles/8d4...
news.yahoo.co.jp/articles/8d4...
高岡市がSNSなどで「テロに関する情報」誤発信 （北日本放送） - Yahoo!ニュース
高岡市の公式SNSなどできょう午前、テロに関する情報が誤って発信されました。 市は発信からおよそ30分後に「先ほどの情報は誤りです」と釈明しました。 高岡市によりますときょう午前9時50分ごろ「
news.yahoo.co.jp
November 18, 2025 at 3:41 AM
こういうの↓ってどのくらい怒られるのでしょうね．
news.yahoo.co.jp/articles/8d4...
news.yahoo.co.jp/articles/8d4...
高校の数学に数学AIができるに違いないというのは冗談として、資料はは↓で公開されてる模様：
www.mext.go.jp/b_menu/shing...
www.mext.go.jp/b_menu/shing...
教育課程部会 算数・数学ワーキンググループ：文部科学省
当サイトではJavaScriptを使用しております。ご利用のブラウザ環境によっては、機能が一部限定される場合があります。ブラウザの設定でJavaScriptを有効にしていただくことにより、より快適にご利用いただけます。
www.mext.go.jp
November 15, 2025 at 2:50 AM
高校の数学に数学AIができるに違いないというのは冗談として、資料はは↓で公開されてる模様：
www.mext.go.jp/b_menu/shing...
www.mext.go.jp/b_menu/shing...
数学AIっていう科目ができるに違いない。
news.yahoo.co.jp/articles/69b...
news.yahoo.co.jp/articles/69b...
高校数学、科目の構成見直しへ AI関連を重視 文科省が提案（朝日新聞） - Yahoo!ニュース
行列や微分・積分など、AI（人工知能）やデータサイエンスにつながる内容を多くの生徒が学べるよう、高校数学の科目の構成を見直す方向になった。国は理系の知識を備えた人材の育成を急ぐ方針で、その具体策の
news.yahoo.co.jp
November 14, 2025 at 1:50 PM
数学AIっていう科目ができるに違いない。
news.yahoo.co.jp/articles/69b...
news.yahoo.co.jp/articles/69b...
IA/ATLASが人工物（この場合の人はわれわれヒトではない）だと主張する人（この場合の人はわれわれヒトの一個体）がいるらしい．
in.mashable.com/science/1024...
in.mashable.com/science/1024...
3I/ATLAS: Harvard Astrophysicist Avi Loeb Spots 11th Anomaly In Latest Images Of The Interstellar Object
Comet or not? Loeb is still skeptical.
in.mashable.com
November 14, 2025 at 3:17 AM
IA/ATLASが人工物（この場合の人はわれわれヒトではない）だと主張する人（この場合の人はわれわれヒトの一個体）がいるらしい．
in.mashable.com/science/1024...
in.mashable.com/science/1024...
Windows updateをしようとしたらディスクが足りないと言われ、なんやかやの後にUSBメモリを挿して対応。アップデートを終了させるため再起動したら「外部記憶域メディアを挿入し[OK]を押して下さい」と表示して固まった。
November 12, 2025 at 11:53 AM
Windows updateをしようとしたらディスクが足りないと言われ、なんやかやの後にUSBメモリを挿して対応。アップデートを終了させるため再起動したら「外部記憶域メディアを挿入し[OK]を押して下さい」と表示して固まった。
最良の会議は存在しない会議，が持論です．招集されたミーティングや会議が立て続けに2つキャンセルされ😀であります．
November 11, 2025 at 9:15 AM
最良の会議は存在しない会議，が持論です．招集されたミーティングや会議が立て続けに2つキャンセルされ😀であります．
Spotify は米国移民税関執行局(ICE)の採用広告を掲載し続けてることでボイコットを受けてるのか。
www.euronews.com/culture/2025...
www.euronews.com/culture/2025...
Spotify users boycott streaming platform over ICE recruitment ads
Spotify has been running a series of recruitment ads for ICE and said that the ads referring to “dangerous illegals” do not violate their advertising policy. This has prompted more and more…
www.euronews.com
November 9, 2025 at 3:55 AM
Spotify は米国移民税関執行局(ICE)の採用広告を掲載し続けてることでボイコットを受けてるのか。
www.euronews.com/culture/2025...
www.euronews.com/culture/2025...
2021年にノーベル賞平和賞を受賞したD. ムラトフもメダルをオークションにかけ、ウクライナの子供達のために寄付したらしい。
www.reuters.com/world/russia...
www.reuters.com/world/russia...
www.reuters.com
November 8, 2025 at 2:49 AM
2021年にノーベル賞平和賞を受賞したD. ムラトフもメダルをオークションにかけ、ウクライナの子供達のために寄付したらしい。
www.reuters.com/world/russia...
www.reuters.com/world/russia...