wathematica Profile Banner
理工系学術サークルWathematica Profile
理工系学術サークルWathematica

@wathematica

Followers
2K
Following
1K
Media
1K
Statuses
2K

オール早稲田の自主ゼミサークル(早稲田大学公認)です! / 質問・入会希望はDMまたはメール(アドレスはWebサイトに記載)まで! / 詳しくはツイートとWebサイトをご確認ください!

東京 新宿区 西早稲田キャンパス・Discord など
Joined March 2021
Don't wanna be here? Send us removal request.
@wathematica
理工系学術サークルWathematica
1 month
今年も『Wathematica Advent Calendar 2025』を開催します!12月1日から25日まで、Wathematicaのメンバーが毎日記事をお届けします。 ぜひお楽しみに! https://t.co/Yd5LptDNty
0
12
31
@wathematica
理工系学術サークルWathematica
2 days
本日をもってWathematica Advent Calender 2025は終了となります! 約1カ月間ありがとうございました! #ワセマアドカレ2026 でまたお会いしましょう!
0
1
16
@wathematica
理工系学術サークルWathematica
3 days
【様相論理ゼミ】 シークエント計算を導入し、ヒルベルト流体系と証明能力が等しいことを確認しました。
0
0
6
@wathematica
理工系学術サークルWathematica
4 days
【戸松作用素環ゼミ 第12回】 閉イデアルと遺伝的C*環の対応を見ました。
0
0
9
@wathematica
理工系学術サークルWathematica
6 days
アドベントカレンダー12/21分の記事を投稿しました! 本日の記事はKitさん(@Kit_1887)の「初歩から学ぶ岩澤加群」です! https://t.co/XFORWxhrmT
0
9
27
@wathematica
理工系学術サークルWathematica
7 days
【新井基礎論ゼミ】 色んな関数が原始再帰的であることを示したほか、Churchのテーゼを扱いました。
0
0
1
@wathematica
理工系学術サークルWathematica
7 days
【共形場理論ゼミ】 有限次元単純リー代数をカルタン部分代数を用いてルート空間分解した後、Killing形式を用いて構造を調べ始めました。
0
1
12
@wathematica
理工系学術サークルWathematica
8 days
【今野微分幾何ゼミ第10回】 年内最後です、あまり進める気が無かったので(?)、Riemann曲率テンソルについて見ました。
0
0
9
@wathematica
理工系学術サークルWathematica
8 days
【様相論理ゼミ】 S4.2の決定可能性の議論のほか、GLに対し有限フレーム性を議論できる濾過モデルを考えました。
0
0
3
@wathematica
理工系学術サークルWathematica
8 days
【舟木確率論ゼミ】 無限個の直積測度が存在することを確かめました。
0
0
4
@wathematica
理工系学術サークルWathematica
10 days
【ゲージ理論ゼミ】 主束の点の平行移動やホロノミー群を定義して、それらの性質を見ました。
0
1
9
@wathematica
理工系学術サークルWathematica
10 days
【D加群ゼミ】 D加群の圏の性質を引き続き示しました。
0
1
11