Xiao@ZEN大学数学会

新B2/06(05)/NITGC→@univ_ZEN
表現論/圏論(ACT)/量子情報/自然言語処理/数理論理学/理論言語学/言語哲学

[Xiao@ZEN大学数学会 @lim_longbao]

本日、ZEN大学に入学しました！
色んな人と交流できて良い一日でした✨️

#ZEN大学
#春からZEN大

[西郷 美紗 @Misa_Saigo]

【新しい本のお知らせ・拡散希望大歓迎】
線型代数対話の第5巻が発売されます！

是非皆さんからのご購入お待ちしております！
リツイート拡散も大歓迎です。

※まだ発売ではなく予約注文となります。

https://t.co/iUEkXTkkPS

[オロチ(Famicom Archivist) @oroti_famicom]

ピカチュウって「p」と「k」の破裂音が出せる高度な声帯、舌、唇をもってるなら普通にしゃべれるはずなのになぜ「ピ・カ・チュウ」としか言わないのでしょう？　あざとすぎません？

[rin_ @rin_mnkn]

線形計画法みたいな折り目見つけて神

[SEIRYU @SEiRYU7]

たまたま飛行機の中からH3ロケット「みちびき6号機」が見れました！
一生に一度あるかないかの体験🚀
#みちびき6号機
#H3ロケット

[ロボ太 @kaityo256]

ラグランジアンが、なぜL=K+Vではなく、L=K-Vなのか問題、個人的には自由落下と光の屈折を対応させるのが納得感が高い。ラグランジアンも屈折率も「進みづらさ」を表しており、自由落下では「屈折率」がポテンシャルエネルギーが低いほど高くなる。

[なな太郎 @bibun_kika]

今日知ったこと
深谷賢治先生の新作論文300ページ超え

https://t.co/Ji2bRjOKdF

[Fumiharu Kato 加藤文元（Bungen） @FumiharuKato]

科学基礎論学会（https://t.co/KDfUjo0BcT）での特別講演のスライドを完成させた。疲れた。

[Xiao@ZEN大学数学会 @lim_longbao]

複素解析はおもしろい

[Xiao@ZEN大学数学会 @lim_longbao]

最近はテスト勉強に追われています
ZEN大学には過去問がない、何が出題されるのかも分からないので大変。。。

[箱星 : 探究 @hakoboshi_e]

AMSから数学者向けの場の古典論と量子論の本が出ようとしている

[あいひん @BABYLONBU5TER]

ハーバード大学の認知心理学者・言語学者スティーブン・ピンカー教授は学術論文について「学者同士が互いに楽しむためだけに書かれている」と指摘。

「頭のいい研究者が山ほどいるのに、なぜ納税者の金で研究しながら世界に伝えようとしないのか？ 同じ段落を5〜6回読まないと理解できない文章は誤解を生み、喜びも奪う。本当に腹が立つ」と学術論文の難解さ・冗長さを痛烈に批判。

研究成果は、誰もが理解できる明確な文章で公開されるべきだと主張。

[Atsushi Yamashita @yamyam_topo]

v₁,…,vₙ が基底であることの定義：「生成する」かつ「一次独立」
「生成する」⇔ (c₁,…,cₙ)↦∑cᵢvᵢ が全射
「一次独立」⇔ (c₁,…,cₙ)↦∑cᵢvᵢ が単射

ちょっとしたことだけれど、全射・単射という言葉を使うときれいに整理できる。

[s.komata @_kmt46]

さて、今日の収穫
有木進・西山享『表現論序説』
示野信一『線型代数と群』（共立出版）

前者はサイン入り！
著者から「10冊しかありませんよ〜．イソゲ」と言われたので急ぎました。勉強します。

[lkjsxc / Yoshihito Shinnaka @lkjsxc]

エアフローを改善（アホ）

[ジュンク堂書店池袋本店 理工書担当 @junkuike_riko]

【先行販売＋サイン本入荷】
『表現論の礎1 表現論序説』有木 進・西山 享 著(共立出版)
『表現論の礎2 線型代数と群』示野 信一 著(共立出版)
共立出版100周年記念出版である表現論の礎シリーズ2点が先行入荷！
『表現論序説』はサイン本もご用意いただきました！
#共立出版100周年

[文部科学省 MEXT @mextjapan]

🆕AI for Science萌芽的挑戦研究創出事業(SPReAD)、6月2日より第2回公募を開始予定！

人文学、社会科学を含むあらゆる分野において、AIを利活用した研究を加速することを目的に、全国で1,000件のAI for Scienceプロジェクトへのチャレンジを支援します。

▼公式サイト
https://t.co/XekLXo6h51

[大澤裕一 @HirokazuOHSAWA]

田中一之先生（東北大学名誉教授、数学基礎論）の訃報に接した。合掌。

[Didier 'Dirac's ghost' Gaulin @DiracGhost]

Topos are mainly seen in pure mathematics and logic, but there is also an approach to physics in which topos are used!

So, if you're confident about your understanding of basic category theory, check out this 100 page primer titled ' An Introduction to Topos Physics' by Tsatos.

This is a very gentle introduction, well written and pedagogically sound.

If you need more material on topos along side this primer, check out Goldblatt's Topoi, the categorical analysis of logic and sheaves in geometry and logic by Mac Lane and Moerdijk.

🔗👇

[はすじょい (hsjoihs) @hsjoihs]

スライドを公開します

「計算できている」vs.「計算できそうにない」の境界線は現状どこにあるのか #kernelvm
https://t.co/xHsRRO77SC