Kazuma NISHIMURA 西村知真 (@PHMP1123) header
Kazuma NISHIMURA 西村知真 (@PHMP1123) profile picture

Kazuma NISHIMURA 西村知真

@PHMP1123

京大院文学研究科博士後期課程/数学史・数学実践の哲学/理学研究科宇宙倫理学教育プログラムRA/ #PMP勉強会 主催/ Ph.D. student @univkyoto, Philosophy of Mathematical Practice.

 日本 京都
researchmap.jp/KazumaNishimura1123
Joined November 2025
  • Tweets282
  • Following137
  • Followers107
7Media
Photo by Kazuma NISHIMURA 西村知真 (@PHMP1123)Photo by Kazuma NISHIMURA 西村知真 (@PHMP1123)Photo by Kazuma NISHIMURA 西村知真 (@PHMP1123)Photo by Kazuma NISHIMURA 西村知真 (@PHMP1123)Photo by Kazuma NISHIMURA 西村知真 (@PHMP1123)Photo by Kazuma NISHIMURA 西村知真 (@PHMP1123)Photo by Kazuma NISHIMURA 西村知真 (@PHMP1123)
Kazuma NISHIMURA 西村知真 retweeted
baibai (@ibaibabaibai) profile picture
baibai@ibaibabaibai16h
金曜日のPhiMASイベントです． ミニシンポジウム「規則をめぐる哲学ー機械学習・統計学から何を学べるか」 11月13日（金）15時～18時過ぎまで 講演　松阪陽一，吉井達哉，伊庭幸人　 司会・討論　大塚淳 Youtubeライブ配信 視聴はこちら：zen.ac.jp/phimas/topics/ln4b…
ミニシンポジウム「規則をめぐる哲学ー機械学習・統計学から何を学べるか」 | PhiMAS

ミニシンポジウム「規則をめぐる哲学ー機械学習・統計学から何を学べるか」 | PhiMAS

11月13日（金）15時～18時過ぎまで 講演　松阪陽一，吉井達哉，伊庭幸人　司会・討論　大塚淳 Youtubeライブ配信（現地での外部参加なし） ウィトゲンシュタインの規則遵守のパラドックス，グッドマンのグルーのパラドックス等と機械学習，情報量規準の関係について議論します．各人の講演のあと，座談会を行う予定です 今後の予定　（日時の詳細と参加方法などは順次公開します） PHIMAS公開講義...

zen.ac.jp
7
25
1,677
AIと数学について、須田桃子さん（@MomokoSuda）による記事が東洋経済オンラインに掲載されました⬇️ 私もインタビューを受け、記事にでています。「一般化向井予想」という言葉が新聞に載ることは最初で最後かもしれません😇有料記事のため私の箇所は読めませんが。 toyokeizai.net/articles/-/96…
研究活動はAIに奪われるのか､それとも加速するのか オープンAIによる｢数学論文700本｣が科学界に与えた衝撃

研究活動はAIに奪われるのか､それとも加速するのか　オープンAIによる｢数学論文700本｣が科学界に与えた衝撃

2023年10月､OpenAIが未公開AIモデルによる大量の数学･物理分野の未解決問題の論文を公開し､研究者コミュニティに激震が走りました。世界的難問がAIによって｢解決｣されたことへの称賛と懸念が交錯するなか､研究の意義や未来を私たちはどう考えるべきなのでしょうか。

toyokeizai.net
13
63
4,972
こちらの記事ですが、田崎先生@Hal_Tasakiや富谷先生@TomiyaAkioのコメントも掲載されています。
Hal Tasaki (@Hal_Tasaki) profile pictureHal Tasaki@Hal_Tasaki20h
須田桃子『研究活動はAIに奪われるのか､それとも加速するのか オープンAIによる｢数学論文700本｣が科学界に与えた衝撃』 無料公開部分はぼくの悲痛な気持ちまでですが、このあと渡邉さん @Kiwamu_Watanabe が重要な論点を述べています。秀逸な現状のサマリーだと思います。 toyokeizai.net/articles/-/96…
Image from Hal Tasaki (@Hal_Tasaki)
7
29
2,480
Kazuma NISHIMURA 西村知真 retweeted
ぶく (@buku_t) profile picture
ぶく
@buku_t16h
数学科卒なんですね😳
Image from ぶく (@buku_t)
ヤマモトショウ (@yamamoto_sho) profile pictureヤマモトショウ
@yamamoto_shoNov 7
高橋李依さんの1stアルバム収録の新曲「集合論」作詞作曲編曲しました！ よろしくお願いします！
3
27
2
283
38,508
Kazuma NISHIMURA 西村知真 retweeted
さのたけと (@taketo1024) profile picture
さのたけと@taketo1024Nov 6
人間の思考力や記憶力は限られているからこそ、無駄がなく射程の広い「正しい定義」が価値を持つ。これは数学者のコダワリのようなものではなく、数学を使う側の人にとっても価値のあるものだと分かってもらわないといけない。
2
19
1,684
Kazuma NISHIMURA 西村知真 retweeted
さのたけと (@taketo1024) profile picture
さのたけと@taketo1024Nov 6
数学者のいう「正しい定義」「正しい方向性」が論理的な真偽のこと（だけ）を意味している訳ではないことを、外の人にどう伝えていくかが大事だと思った
1
8
1
101
8,340
Kazuma NISHIMURA 西村知真 retweeted
Fumiharu Kato 加藤文元（Bungen） (@FumiharuKato) profile picture
Fumiharu Kato 加藤文元（Bungen）
@FumiharuKatoNov 7
MATH EXPO 2026 開催します！｜加藤文元 （全文無料です！→） @FumiharuKato note.com/katobungen/n/n1ebbd…
MATH EXPO 2026 開催します！｜加藤文元

MATH EXPO 2026 開催します！｜加藤文元

今年の年末も、1日まるごと数学を楽しむ「文化祭」を開きます。MATH EXPO 2026、今回は12月27日（日）、横浜の杉田劇場での開催です。私も昨年に引き続き、主催者の1人を務めます。合言葉は、もちろん「数学をポップカルチャーに！」。数学の本格的な面白さを、講演やトーク、笑いや驚きと一緒に味わう一日を、今年も皆さんにお届けします。 昨年12月20日、高輪ゲートウェイカンファレンスセンター...

note.com
23
2
75
9,079
Kazuma NISHIMURA 西村知真 retweeted
Kazuma NISHIMURA 西村知真 (@PHMP1123) profile picture
Kazuma NISHIMURA 西村知真@PHMP1123Aug 8
link.springer.com/article/10…
Philosophy of mathematical practice: a primer for mathematics educators

Philosophy of mathematical practice: a primer for mathematics educators

ZDM – Mathematics Education - In recent years, philosophical work directly concerned with the practice of mathematics has intensified, giving rise to a movement known as the philosophy of...

link.springer.com
1
1
1
180
Kazuma NISHIMURA 西村知真 retweeted
Kazuma NISHIMURA 西村知真 (@PHMP1123) profile picture
Kazuma NISHIMURA 西村知真@PHMP1123Aug 17
Collège de FranceのThe Philosophy of Mathematical Practiceのセミナー、動画が公開されているのを知らなかった。 college-de-france.fr/en/agen…
1
1
372
Kazuma NISHIMURA 西村知真 retweeted
Kazuma NISHIMURA 西村知真 (@PHMP1123) profile picture
Kazuma NISHIMURA 西村知真@PHMP1123Aug 17
世界の大学で数学の哲学の講義がどう構成されているか調べていたところ、コロンビア大ではPMPが扱われているらしい。math.columbia.edu/~harris/we…
1
273
Kazuma NISHIMURA 西村知真 retweeted
ミッキー立川♣️ (@tamagoclub9) profile picture
ミッキー立川♣️@tamagoclub9Nov 7
数学的実践に注目しようという動きは、形而上学的な実在論論争が下火になってきて、数学について何か言いたいなら現場主義で行こうぜというモチベーションが強くなってきたというのもあるよね そういう意味では科学哲学のなかでの流れと似ている
1
5
145
Kazuma NISHIMURA 西村知真 retweeted
Kodai Abe | 阿部幸大 (@korpendine) profile picture
Kodai Abe | 阿部幸大
@korpendineNov 6
ありがとうございます。簡単に答えると、「究極目的」は独力で／一発で達成できるものではありません。重要なのは、無力な自分の活動がその一部である、そこに繋がっている、という実感です。無駄だという諦念は通過点ですので、続けてください。 #querie_korpendine querie.me/answer/x7wQx4c3xdL…
Querie.meで質問が回答されました

Querie.meで質問が回答されました

研究者志望の博士課程院生です．私の専攻は教育学ですが，先生の「人文学の目的は暴力の否定である」というディシプリンに依らない目的意識に基づいて研究を行うという在り方に感銘を受けました．自分もそのような「究極の目的」に奉仕するためであれば研究を頑張れそうだと思ったのですが，迷走する教育政策や斯学が軽んじられる風潮を見ると，自分が何をしようと（いくら論文を書けるようになろうと）無駄なのではないかと...

querie.me
1
37
2,551
Kazuma NISHIMURA 西村知真 retweeted
seiya takayanagi (@seiya328) profile picture
seiya takayanagi@seiya328Nov 6
先行研究が見つかりませんでした、と自分らしいテーマをみつけてきてオリジナリティあってすごいだろ的なテンションで話すのは、無知を曝け出しているだけでめちゃくちゃ恥ずかしいことだよ、みたいなことに早く気づくのが大事。
3
17
11
386
67,757
Kazuma NISHIMURA 西村知真 retweeted
ytb (@ytb_at_twt) profile picture
ytb@ytb_at_twtNov 7
PMP的に、数学者が実際には何をしているのかという観点から、この「昔の間違った補題が紛れ込む」という現象は興味深いのでは nitter.cf/fishjar/status/2118543…
Gabe (@fishjar) profile pictureGabe
@fishjarNov 6
数学界完成了一项真正不可思议的工程：Axiom 把 7,500 页的现代代数几何奠基巨著《The Stacks Project》完整用 Lean 形式化了，整整 1,600 万行代码。 现代代数几何最折磨人的地方在于，一个定理的证明往往引用了二三十年前另一篇论文里的引理，而那篇论文的某些前置条件在后来的范畴论体系下定义是有微小漂移的。人类数学家靠直觉和同行评审往往会忽略这些隐蔽断层。 1,600 万行 Lean 代码意味着，从方案论（Scheme）、层论（Sheaf）到概形堆栈（Stack），每一个引理的类型签名和构造过程都被编译器逐行机检通过。 项目地址：axiommath.ai/research/the-st…
The Stacks Project, formalized in Lean

The Stacks Project, formalized in Lean

A unified library for modern algebraic geometry, built on decades of human scholarship and engineered for the next era of mathematical discovery.

axiommath.ai
3
19
2,178
Kazuma NISHIMURA 西村知真 retweeted
猫の泉 (@nekonoizumi) profile picture
猫の泉
@nekonoizumiNov 4
PDFあり。 ⇒田中凌 「語の意味理解の基準と認識的不正義」 『Contemporary and Applied Philosophy』17 (2026/9) doi.org/10.17983/303310
京都大学学術情報リポジトリKURENAI

京都大学学術情報リポジトリKURENAI

京都大学学術情報リポジトリKURENAIでは、京都大学で日々創造される研究・教育成果をWebで公開しています。世界的に卓越した知的成果を社会へ還元することを目的として、2006年から図書館機構が運営している事業です。

repository.kulib.kyoto-u.ac.jp
7
23
3,077
Kazuma NISHIMURA 西村知真 retweeted
定理証明チャンネル (@teiri_shoumei) profile picture
定理証明チャンネル@teiri_shoumeiNov 4
Stack Project（代数幾何学の有名な教科書）Lean形式化のアナウンス！
Axiom (@axiommathai) profile pictureAxiom
@axiommathaiNov 4
Most think vibecoding at scale is slop. Here’s a counterexample. Today we release a 16M-line formalization of the entire Stacks Project, critical infra underlying modern math, with optimized code quality and its highly interconnected structure preserved. A mathematical city 🌆
1
21
1
81
6,535
今後少しずつ、これまで自分がしてきた発表等を英訳したものをResearch Gateにアップしていきたい。←口に出す事で生まれる強制力に期待。
8
368
Kazuma NISHIMURA 西村知真 retweeted
Nobutaka Shimizu (@knewknowl) profile picture
Nobutaka Shimizu@knewknowlNov 5
めっちゃいい内容 「AIが証明を書くようになったとき、研究者は何をするのか」𠮷田 悠一　国立情報学研究所 情報学プリンシプル研究系 教授 youtu.be/2DLyUE7Apyc?si=DBln… @YouTubeより
「AIが証明を書くようになったとき、研究者は何をするのか」𠮷田 悠一 国立情報学研究所 情報学プリンシプル研究系 教授

「AIが証明を書くようになったとき、研究者は何をするのか」𠮷田 悠一　国立情報学研究所 情報学プリンシプル研究系 教授

「AIが証明を書くようになったとき、研究者は何をするのか」𠮷田 悠一　国立情報学研究所 情報学プリンシプル研究系 教授-----...

youtube.com
76
2
468
36,430
Kazuma NISHIMURA 西村知真 retweeted
西川裕章（方手雅塚） (@ossanworld) profile picture
西川裕章（方手雅塚）
@ossanworldNov 5
私が若い研究者にアドバイスするとしたら、ResearchGateで自分で書いた論文やノート、プレゼンテーションファイルなどを公開すること。雇う側や同業者からすると、それらはLinkedInのプロフィールよりも、はるかに重要な情報となる。
haku_paramedic_医学博士 (@haku_paramedic) profile picturehaku_paramedic_医学博士@haku_paramedicNov 5
アカデミアや大学院生はやっとけSNS３選 ・ResearchGate 著者と直接やり取りして論文もらえたりできる ・LinkedIn 就活にも使えるし海外研究者も使ってる ・インスタグラム 国際学会で海外研究者からも「インスタやってる？」って訊かれるから持っとけ。僕は人見知り陰キャだからピョロワー0人です🫣
3
50
3
518
54,921
Kazuma NISHIMURA 西村知真 retweeted
吉良貴之｜Kira, T. (@tkira26) profile picture
吉良貴之｜Kira, T.
@tkira26Nov 4
🟦 大洋基金ハラスメント研究助成（2027年度） 〆切：2027年1月8日 対象：研究者（個人またはグループ、大学院生も可） ▶️　kosuikyo.com/%E5%8A%A9%E6%88…
大洋基金ハラスメント研究助成（2027年度）

ALT 大洋基金ハラスメント研究助成（2027年度）

4
16
2,061
Load more