いち

（数学）∨（¬（数学））

[いち @ichi_math]

でたpath induction

[前頭葉 @tv4965109947686]

層化学会

[いち @ichi_math]

夏休みはたくさんゼミをする。

[鹿大自主ゼミサークル(非公認) @kadai_study]

こんにちは！
夏休みがもうすぐ始まるので、新たに２つのゼミを開きます。

【グレブナー基底】
D.コックス「グレブナー基底と代数多様体入門　上」（第３章まで）

【解析力学】
深谷賢治　「解析力学と微分形式」

鹿大生で興味のある方はお気軽にリプ・DM等で連絡してください！！

[銀河 @n1sh1guchi]

@sutosaiface そもそも、十分性は松本人志が作った

[いち @ichi_math]

RT
ぼくはBNKI（文系）らしい。

[nazeyama @nazeyama__]

物理版MBTIを作りました！
対応する物理学者の名前と一緒に診断されます😶

•T / E (理論 vs 実験)
•C / Q (古典・宇宙 vs 量子・素粒子)
•M / P (数理・厳密 vs 現象論・実用)
•F / A (基礎物理 vs 応用物理)

https://t.co/PoEfEeftOT

[いち @ichi_math]

依存型理論パートに苦しめられている

[いち @ichi_math]

今夏こそHoTTに入門したい。

[いち @ichi_math]

「A → Ωみたいなのを考えるとほぼベキで、ベキ公理の非可述性を思い出すとよくなさそうだから、関数型の時点で階層上げようぜ」が強可述……？

[いち @ichi_math]

「Pi型とかSigma型はuniverseの階層を上げるよ」を(約1年越しに)理解した。

[N.Y @N_Y_Big_Apple]

密着位相に対してイキるファラオの絵を描きました

[専門性・売上・原稿 @golden_lucky]

やっぱり木原先生の「計算可能性理論特論」、これに行き着いてしまうのだな https://t.co/VDcX0vJkFc

[凪ヶ丘 @nagigaoka]

これ ε-δ 論法の授業中らしい

[いち @ichi_math]

まじでどういう状況？？

[いち @ichi_math]

切り替えて数学しよう。

[書泉_MATH @rikoushonotana]

『圏論Tシャツ』
カラー/スミ
サイズ/M/L/XL
3,080円

書泉オンラインショップ⇩
https://t.co/irAg8FtqPT
楽天市場店⇩
https://t.co/1OBIvwAUd8

[いち @ichi_math]

@buz_beastsenpai ありがとうございます🙏🙏

[いち @ichi_math]

院試、撃沈。

[いち @ichi_math]

@yrsk_mathphys ありがとうございます🙇‍♂️

[いち @ichi_math]

@heim_229 🙃🙃🙃