Pinned
Iwao KIMURA
@iwaokimura.bsky.social
· Mar 9
J. Silverman著拙訳
「シルヴァーマン 代数学
代数学への統一的入門」丸善出版
が月末に出版されます。
代数学の基礎的なところをしっかり（本文600ページぐらい+充実の索引）と解説しています。
書店でお見かけの折は、ぜひお手にとってご覧ください。
buff.ly/Byqspks
「シルヴァーマン 代数学
代数学への統一的入門」丸善出版
が月末に出版されます。
代数学の基礎的なところをしっかり（本文600ページぐらい+充実の索引）と解説しています。
書店でお見かけの折は、ぜひお手にとってご覧ください。
buff.ly/Byqspks
一国の首班を誘拐だとか、そういう演出の出国だとか、新年そうそうカオスだなぁ🌀
January 3, 2026 at 12:33 PM
一国の首班を誘拐だとか、そういう演出の出国だとか、新年そうそうカオスだなぁ🌀
Reposted by Iwao KIMURA
（鉛色の曇天だけど何も降っていないという意味の）晴れているのでよい元旦。
January 1, 2026 at 2:04 AM
（鉛色の曇天だけど何も降っていないという意味の）晴れているのでよい元旦。
今年は紅白と大河とのからみは希薄（来年の主演が審査員席）。
December 31, 2025 at 2:32 PM
今年は紅白と大河とのからみは希薄（来年の主演が審査員席）。
お茶の間では、岡崎体育とかこっちのけんととか言われてるがVoundyなのである。
December 31, 2025 at 11:53 AM
お茶の間では、岡崎体育とかこっちのけんととか言われてるがVoundyなのである。
♪日に日に世界が悪くなる
今年のパンチラインはこれで決まりだな。
今年のパンチラインはこれで決まりだな。
December 31, 2025 at 11:45 AM
♪日に日に世界が悪くなる
今年のパンチラインはこれで決まりだな。
今年のパンチラインはこれで決まりだな。
ちくま学芸文庫の数学シリーズ舞台裏（以前、数セミ掲載の記事）。「ちくま学芸文庫Math & Scienceは、数学を伝えられたか」
www.webchikuma.com/n/n158f55155...
www.webchikuma.com/n/n158f55155...
ちくま学芸文庫Math & Scienceは、数学を伝えられたか｜webちくま（筑摩書房の読みものサイト）
2005年12月より自然科学と工学分野をシリーズとして刊行を始めたちくま学芸文庫内レーベルの「Math＆Science」。2025年12月、刊行から20周年を迎えます。それを記念して、刊行開始からシリーズを支えてきた元筑摩書房編集者の渡辺英明さんのお話を特別に掲載いたします。 （初出：『数学セミナー』2025年1月号、日本評論社） ✑渡辺英明 前史 ちくま学芸文庫Math &…
www.webchikuma.com
December 24, 2025 at 5:38 AM
ちくま学芸文庫の数学シリーズ舞台裏（以前、数セミ掲載の記事）。「ちくま学芸文庫Math & Scienceは、数学を伝えられたか」
www.webchikuma.com/n/n158f55155...
www.webchikuma.com/n/n158f55155...
今年も52週目．人生わずか80年，1年当たり52週で4000週余．何週目か数えたりして……
December 22, 2025 at 3:51 AM
今年も52週目．人生わずか80年，1年当たり52週で4000週余．何週目か数えたりして……
Liberté, I write your name, 4th fundraising campaign of IHES - IHES
-
www.ihes.fr
December 18, 2025 at 11:41 PM
「プロジェクト・ヘイル・メアリー」の映画を楽しみにしている点では人後に落ちませんが，あの話のコアは気候変動対策だと思うので，今のアメリカでどう映画にしたかという点にも興味がある．
ストラットというスーパーウーマンを設定したけど，彼女の活躍を地球側で描写してもSFにすらできないファンタジーなので，主人公の視点にするしかないのでしょうね．
ストラットというスーパーウーマンを設定したけど，彼女の活躍を地球側で描写してもSFにすらできないファンタジーなので，主人公の視点にするしかないのでしょうね．
December 17, 2025 at 3:53 AM
「プロジェクト・ヘイル・メアリー」の映画を楽しみにしている点では人後に落ちませんが，あの話のコアは気候変動対策だと思うので，今のアメリカでどう映画にしたかという点にも興味がある．
ストラットというスーパーウーマンを設定したけど，彼女の活躍を地球側で描写してもSFにすらできないファンタジーなので，主人公の視点にするしかないのでしょうね．
ストラットというスーパーウーマンを設定したけど，彼女の活躍を地球側で描写してもSFにすらできないファンタジーなので，主人公の視点にするしかないのでしょうね．
AIに何をやってほしいかというと，目を惹く画像の生成とかじゃなくて，ちょっと（あるいはかなり）面倒なjobを，「やっておいて」といったらやってくれることだよなぁ……．
December 17, 2025 at 3:41 AM
AIに何をやってほしいかというと，目を惹く画像の生成とかじゃなくて，ちょっと（あるいはかなり）面倒なjobを，「やっておいて」といったらやってくれることだよなぁ……．
合間を縫ってインフルエンザ予防接種を受けてきた．当地で予防接種ネタと言えば非常に有名なYoutubeチャネルがあるので，取材に来てないかな～と思ったけど，いなかった（それはそう）．
www.youtube.com/playlist?lis...
www.youtube.com/playlist?lis...
狂犬病予防注射会場のドタバタ劇
Share your videos with friends, family, and the world
www.youtube.com
December 16, 2025 at 7:47 AM
合間を縫ってインフルエンザ予防接種を受けてきた．当地で予防接種ネタと言えば非常に有名なYoutubeチャネルがあるので，取材に来てないかな～と思ったけど，いなかった（それはそう）．
www.youtube.com/playlist?lis...
www.youtube.com/playlist?lis...
ブラウン大といえば、シルヴァーマンさんの所属先、と思って調べたら、AMSの次期president就任らしいです↓
www.ams.org/about-us/gov...
www.ams.org/about-us/gov...
American Mathematical Society Election Results
President
www.ams.org
December 14, 2025 at 2:08 AM
ブラウン大といえば、シルヴァーマンさんの所属先、と思って調べたら、AMSの次期president就任らしいです↓
www.ams.org/about-us/gov...
www.ams.org/about-us/gov...
40年ぐらい昔の未来予測だと、（ドラえもんに出てくるセワシくんみたいな）ぴったりしたボディスーツを着て、年中暑くも寒くもない、はずだったのですが、とAIに相談したら、↓を紹介してくれた。そこだけドラえもん的な……
www.makuake.com/project/mywa...
www.makuake.com/project/mywa...
Makuake｜部屋を暖めず、賢く節電。東レ素材のパーソナル暖房｜驚きの軽さと暖かさ。外使いも◎｜Makuake（マクアケ）
専用バッグにしまえば、驚くほどコンパクトに。持ち運びや保管がラクになります。体温でじんわり暖まるので、暑くなりすぎずちょうど良い温度になります。冷気の通り道になる縫い目をなくしたノンキルト仕様。寒い日も心地よい暖かさであなたを包み込みます。ゆったりとしたシルエットで、手足を大きく動かしても突っ張らず、自由に動くことができます！「トイレが面倒…」という心配は不要です！股下ファスナーを搭
www.makuake.com
December 13, 2025 at 12:11 PM
40年ぐらい昔の未来予測だと、（ドラえもんに出てくるセワシくんみたいな）ぴったりしたボディスーツを着て、年中暑くも寒くもない、はずだったのですが、とAIに相談したら、↓を紹介してくれた。そこだけドラえもん的な……
www.makuake.com/project/mywa...
www.makuake.com/project/mywa...
暗号方面で言うところの，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
学費値上げは軽々しくやることではないし、寄付も安定的ではない。運営交付金増額が望ましいよな。