[[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]]


トップ   編集 差分 履歴 添付 複製 名前変更 リロード   新規 一覧 検索 最終更新   ヘルプ   最終更新のRSS