理工系学術サークルWathematica

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

[理工系学術サークルWathematica @wathematica]

【公理的集合論】
扱いづらい点もありましたが、基礎の公理を用いることで集合論が自然に運営できることを確認しました

[理工系学術サークルWathematica @wathematica]

【様相論理ゼミ】
κが強到達不能基数のときH（κ）がZFCのモデルになることを示しました！また、冪集合公理が他のZFCの公理から証明できないことが分かりました。

[理工系学術サークルWathematica @wathematica]

【楕円型PDEゼミ】
楕円型作用素の弱最大値原理を示しました。また、強最大値原理を示す準備をしました。

[理工系学術サークルWathematica @wathematica]

【Bott Tuゼミ】
向きづけられた多様体の上の向きづけられたベクトル束の横断的な切断の零軌道のPoincaré双対がベクトル束のEuler類に一致することを示しました。

[理工系学術サークルWathematica @wathematica]

【渡辺解析力学(木5) 第4回】
ニュートン力学のラグランジアンを見ました。

[理工系学術サークルWathematica @wathematica]

【拡散モデルゼミ　第４回】
シグナルノイズ比を使うことでスコアベースモデルとデノイジング確率拡散モデルの統一的な見方を考察しました。

[理工系学術サークルWathematica @wathematica]

【Orlicz空間ゼミ第9回】
久しぶりのセミナーでした。今回はΔ2条件と∇2条件を用いてYoung函数のさまざまな性質を考察しました。

[理工系学術サークルWathematica @wathematica]

【Orbifoldゼミ】
Orbifold上の滑らかな写像を定義した後に、Orbifold上のベクトル束を構成しました。

[理工系学術サークルWathematica @wathematica]

【代数幾何学ゼミ】
アフィンスキームのなす圏と可換環のなす圏との対応関係の一般化としての命題を扱いました。

[理工系学術サークルWathematica @wathematica]

【newコステロゼミ】
読む本をFactorization algebras in QFT Vol.2 にして目標を掲げた

[理工系学術サークルWathematica @wathematica]

【原子力概論】
半経験的質量公式の話と、微分方程式と放射平衡の話をしました

[理工系学術サークルWathematica @wathematica]

【公理的集合論】
基礎の公理によって集合論がWF上でできること（V=WFであること）を示しました。

[理工系学術サークルWathematica @wathematica]

【線型代数と固有値問題ゼミ】
長さを入れました

[理工系学術サークルWathematica @wathematica]

【様相論理ゼミ】
MがZF-Pの推移的モデルならば、Mの有限部分集合はすべてMに属することを示しました。

[理工系学術サークルWathematica @wathematica]

【春だ！桜だ！導来圏だ！ゼミ】
圏の局所化にかなり悩まされました。

[理工系学術サークルWathematica @wathematica]

【嘉田数理論理学ゼミ】
束縛変数の取り換えが構文論のもとで正当化されることを示しました

[理工系学術サークルWathematica @wathematica]

【渡辺解析力学ゼミ】
ポテンシャルやラグランジアンの存在条件を確認しました。

[理工系学術サークルWathematica @wathematica]

【砂川電磁気学】
演習問題を解きました。白熱した議論が展開されました

[理工系学術サークルWathematica @wathematica]

【量子化学ゼミ】
非制限ハートリーフォック方程式を導きました

[理工系学術サークルWathematica @wathematica]

【弦ブレゼミ】
経路積分の計算方法を確認しました。