![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
[[circle/members]] *今村 [#pe9087bc] #contents **自己紹介 [#pf30e568] -名前： 今村 悠希 -滋賀県出身 --自宅生 -理学部/数理科学系 → 大阪大学/理学研究科/数学専攻 --最近は圏論的双対性の理論に興味が出てきました --院では代数幾何をします -一言 --趣味で物理やってます(統計力学と場の量子論を勉強したい) --とある魔術の禁書目録シリーズが大好きです -イベント参加記録 --S2S講義 ---「位相のまとめ」春セミナー2016[[events/sss2016]] ---「解析力学事始め」例会講義[[2016/自主ゼミ/例会講義]] ---「けんろん！」春セミナー2017[[events/sss2017]] ---「Pointless Topology概説」春セミナー2018[[events/sss2018]] ---「圏論的双対性の論理」春セミナー2019[[events/sss2019]] --[[学問の鍋:http://www.gakumon-no-nabe.com/]] ---定期勉強会1st(2015/12/5) ---定期勉強会2nd(2016/2/6) ---定期勉強会3rd(2016/4/17) ---定期勉強会4th(2016/7/2) ---定期勉強会5th(2016/11/5) ---学際セミナー1st(2017/1/14,15) --数物談話会 ---大阪府立(2015/12/19,20) ---神戸(2016/6/19) ---京都(2016/6/25) ---京都(2017/6/11) 「論理と位相」 ---近畿(2017/6/18) ---京都(2018/6/24) --[[数物セミナー合宿:http://physmathseminar.web.fc2.com/index.html]] ---第14回福島 可換代数班(2016/9/9-12) ---第15回岡山 数論A班(2017/3/7-10) 数学教務 ---第16回福島 可換代数班(2017/9/8-11) ---第17回広島 圏論1班(2018/2/25-28) 数学教務 ---第18回岡山 結び目理論班(2018/9/9-12) ---第19開静岡 数理論理学班(2019/2/25-28) --[[関西すうがく徒のつどい:http://kansaimath.tenasaku.com/]] ---第11回at大阪大学 (2018/10/27,28) --[[ぶつりがく徒のつどい:http://physicstsudoi.client.jp/Info.html]] ---3rd(2016/3/19,20) ---4th(2016/9/19,20)運営 ---5th(2017/3/25,26)運営 --関西すうりぶつりすと！のつどい[[@kansai_mathphys:https://twitter.com/kansai_mathphys]] ---3rd(2019/3/25) at京都 --京理の翼 [[@wing_of_kyori:https://twitter.com/wing_of_kyori?s=09]] ---三回ほど合宿しました --関西合同セミナー ---第三回(2019/2/18,19) at京都 **アーカイブ [#t9076199] - [[けんろん:http://s2s.undefin.net/wiki/?plugin=attach&pcmd=open&file=%E3%81%91%E3%82%93%E3%82%8D%E3%82%93%EF%BC%81.pdf&refer=%E4%BB%8A%E6%9D%91]] --春セミナー2017で発表した「けんろん！」の手書き講義ノート --内容:圏の定義から米田の補題まで --2017/3:公開 - [[論理と位相:http://s2s.undefin.net/wiki/?plugin=attach&pcmd=open&file=%E8%AB%96%E7%90%86%E3%81%A8%E4%BD%8D%E7%9B%B8.pdf&refer=%E4%BB%8A%E6%9D%91]] --京大談話会2017春で発表した「論理と位相」の講義ノート --内容:命題論理のコンパクト性定理って何がコンパクトなの？って話 --2017/8:公開 --2018/1:加筆修正 ---文字が大きくしました。命題論理のLindenbaum代数がブール代数になることのちゃんとした証明を書き足した。終わりに一言を追加 HPに移動しました→[[はたらく双対性:https://paper3510mm.github.io/]] - [[ネーター空間の有限直積はネーター空間である:http://s2s.undefin.net/wiki/?plugin=attach&pcmd=open&file=product_of_noetherian.pdf&refer=%E4%BB%8A%E6%9D%91]] --2017年度幾何演義Ⅱの問題27の解説 --内容:ネーター位相空間の二つの直積はまたネーター空間です --2018/1:公開 - [[Gelfand-Shilovの定理:http://s2s.undefin.net/wiki/?plugin=attach&pcmd=open&file=Gelfand-Shilov.pdf&refer=%E4%BB%8A%E6%9D%91]] --内容:コンパクトHausdorff空間の復元定理についてまとめました --2018/7:公開 - [[Pointless Topology概説:http://s2s.undefin.net/wiki/?plugin=attach&pcmd=open&file=pointless.pdf&refer=%E4%BB%8A%E6%9D%91]] --S2S春セミナー2018で発表した「Pointless Topology概説」の講義ノート --内容:pointless topologyの発想と触りまで --2018/8:公開 - 可微分多様体と局所環付き空間 --C95頒布"[[B.PROJECT VOL.1:https://twitter.com/s2s_ku/status/1078296814971891712]]"の記事 --内容:可微分多様体の圏は局所環付き空間の圏に埋め込む - [[アファインスキームの構造層について:http://s2s.undefin.net/wiki/?plugin=attach&pcmd=open&file=str_sheaf_on_SpecA.pdf&refer=%E4%BB%8A%E6%9D%91]] --内容:HartshorneによるSpecAの構造層はよくわからないので，(個人的に)自然な方法で構成を与えたのち，それがHaと一致することを紹介する --2019/2:公開 - [[Stoneの表現定理:http://s2s.undefin.net/wiki/?plugin=attach&pcmd=open&file=stone_rep.pdf&refer=%E4%BB%8A%E6%9D%91]] --内容:Stoneの表現定理の証明と観察．ふつうはブール代数に関するものを指してStoneの表現定理と呼ぶが，ブール代数はブール環と等価な概念だから，ブール環を用いても表現できる．備忘録のため，その両方の形式を独立に読めるように証明した． --2019/2:公開 -誤植表製作プロジェクト --誤植表製作と公開に向けて --第1弾公開しました:[[2016/自主ゼミ/松島多様体]] --第2弾公開しました！:[[『数理物理と数理情報の基礎』誤植表:http://s2s.undefin.net/wiki/?plugin=attach&pcmd=open&file=spotlight3.pdf&refer=%E4%BB%8A%E6%9D%91]](2018/11) **自主ゼミ [#qfb28ec6] --[[内田集合位相(終)>2015/自主ゼミ/集合位相(Sat)]] --[[McQuarrie-Simon物理化学(終)>2015/自主ゼミ/物理化学]] --[[堀田代数入門(終)>2015/自主ゼミ/堀田代数]] --山本解析力学(中退) --[[田崎統計力学(終)>2015/自主ゼミ/田崎統計力学]] --砂川理論電磁気学(終) --伊藤ルベーグ積分(終) --[[雪江談話会(終)>2016/自主ゼミ/雪江談話会]] --[[松島多様体(終)>2016/自主ゼミ/松島多様体]] --[[森田微分幾何(消滅)>2016/自主ゼミ/微分幾何]] --[[Riehl圏論(終)>2016/自主ゼミ/KTGU圏論セミナー]] --[[Atiyah-MacDonald可換代数(終)>2016/自主ゼミ/可換代数]] --[[MACS:http://www.sci.kyoto-u.ac.jp/ja/academics/programs/macs/]]セミナー:自然科学のためのカテゴリー理論(終) --[[黒田関数解析(中退)>2016/自主ゼミ/黒田関数解析]] --MatsumuraCA(消滅) --小出量子力学(中退) --[[サクライ量子力学ゼミ>2017/自主ゼミ/サクライ量子力学]](消滅？) --[[MACS:http://www.sci.kyoto-u.ac.jp/ja/academics/programs/macs/]]セミナー:Category Theory and Natural Sciences(終) --Forsterリーマン面(終) --[[桂代数幾何入門・上野代数幾何>2017/自主ゼミ/代数幾何学]] --Locale(終) --代数演義:松村Commutative Algebra講読→ゼミ() --量子情報科学入門ゼミ(終) --Galois_cat&Enriched_catセミナー --数学講究:Munford射影代数多様体(終) --大学院入試対策ゼミ(終) --量子計算ゼミ(終) --SGLゼミ(中退) --Hartshorneセミナー(終) -現在の目標 --代数幾何 --圏論、圏論的双対性 **時間割 [#s1deb089] #include(2015/前期時間割/今村,notitle) #include(2015/後期時間割/今村,notitle) #include(2016/前期時間割/今村,notitle) #include(2016/後期時間割/今村,notitle) #include(2017/前期時間割/今村,notitle) #include(2017/後期時間割/今村,notitle) #include(2018/前期時間割/今村,notitle) #include(2018/後期時間割/今村,notitle) **リンク [#x57b130a] →[[circle/今村]](このページが見にくくなるので移動) →[[証明を省略するときの決まり文句全集]] →[[B.PROJECT]]
