「t_uda」さんのまとめ - Togetter

[科学・教養] [数学] 15日前 491 view 0 10

- Coq で実数を扱うには？ - 実は停止判定とも関係が！ 続きを読む

[科学・教養] [数学] 19日前 515 view 1 13

足立先生の「直観主義の数学」についての連続ツイートをまとめました。 続きを読む

[科学・教養] [数学] 23日前 684 view 0 11

ソボレフ空間ちゃんまじソボレフ空間 続きを読む

[科学・教養] [数学] 1ヶ月前 878 view 0 19

今週の数学クラスタの論理学 TL をお送りします。 GW 中でも数学徒は元気に数学徒ですね。 続きを読む

[科学・教養] [数学] 1ヶ月前 675 view 0 17

関西すうがく徒のつどい第1回後半戦 03/31(土) の、数学的な内容重視のツイートまとめです。発表についての数学的な内容の実況を主にまとめています。 関西すうがく徒のつどい(公式サイト) http://kansuu.client.jp/ 量が多かったので、分割して 127 教室での講義に関するもののみまとめ.. 続きを読む

[科学・教養] [数学] 1ヶ月前 689 view 0 20

関西すうがく徒のつどい第1回後半戦 03/31(土) の、数学的な内容重視のツイートまとめです。発表についての数学的な内容の実況を主にまとめています。 関西すうがく徒のつどい(公式サイト) h.. 続きを読む

[ログ・日記] [セミナー] 1ヶ月前 970 view 0 12

関西すうがく徒のつどい第1回後半戦 03/31(土) 関連ツイートまとめです。 関西すうがく徒のつどい(公式サイト) http://kansuu.client.jp/ 量が多いので、講義パートだけのコンパクト版も作成しています。 - 127教室コンパクト版: http://togetter.com/li/281855 - 128教室コンパ.. 続きを読む

[科学・教養] [数学] 2ヶ月前 642 view 0 4

関西すうがく徒のつどい第1回前半戦 03/06(火) の、数学的な内容重視のツイートまとめです。発表についての数学的な内容の実況と、つどい終了後の発表者からの補足をまとめています。 関西す.. 続きを読む

[ログ・日記] [ログ] 2ヶ月前 357 view 0 2

さかなマジイケメン！ 関西すうがく徒のつどい第1回 03/06(火) 後の派生 TL です。あまり「つどい」関係なかったので分けました。つどいについては、つどいのまとめを見てください。 続きを読む

[ログ・日記] [セミナー] 2ヶ月前 1009 view 0 10

関西すうがく徒のつどい第1回前半戦 03/06(火) に関連する話題のまとめです。閉会後のツイートを主にまとめています。 主要な話題はたぶんこんな感じ： - 懇親会/二次会 - ぴよぴよ - .. 続きを読む

[科学・教養] [数学] 2ヶ月前 1552 view 0 22

関西すうがく徒のつどい第1回前半戦 03/06(火) の関連ツイートまとめです。だいたい開会から閉会までの時間帯の、参加者のツイートやつどいへの反応ツイートなどをまとめています。 関西す.. 続きを読む

[科学・教養] [数学] 5ヶ月前 1626 view 0 28

「掛け算の順序」問題に関する、主に私 @t_uda とふれっしゅさん @fffw2 の議論のまとめです。 後半に、解説代わりとして黒木玄先生のついーともいくつかまとめてあります。 続きを読む

[科学・教養] [数学] 5ヶ月前 708 view 0 6

TL compact が未定義なので誰かお願いします。 続きを読む

[科学・教養] [数学] 5ヶ月前 698 view 0 6

多項式環の厳密な定義とは。 ※派生の話題も多いです。 続きを読む

[科学・教養] [数学] 6ヶ月前 1315 view 0 21

（だいたい）数学クラスタによる深夜の TeX TL をまとめました。 続きを読む

[科学・教養] [数学] 7ヶ月前 637 view 0 3

ハウスドルフ空間にならない位相空間の例 続きを読む

[科学・教養] [数学] 8ヶ月前 1088 view 0 16

「位相空間全体」は本当に「集合」なのか？ 位相空間の同相類全体を考えると、これは集合でないことが分かります。 他にも、色々な同相類についての同様な考察や、そこから派生した 集合のラ.. 続きを読む

[科学・教養] [数学] 8ヶ月前 709 view 0 7

[科学・教養] [数学] 8ヶ月前 640 view 0 5

数学（基礎論）クラスタの標準的自然数と超自然数についてのつぶやきをまとめました。 続きを読む