自己紹介

ポスドク@京大数理研/数学基礎論/モデル理論/圏論/トポス新人類志望/S2S/栃高112回卒/数理の翼30,34,36,37,伊計島(N)2020,2022/湧源/ピアノ/チューバ/合唱/アニメ/凪あす/さよ朝/きらら/FGO/シャニマス/日本酒/ツイートの大半は趣味関連です/アイコンは #ゆる女子メーカー

もっと自己紹介

生年月日:1992年6月2日

【Twitter関連】
Twilog:http://twilog.org/piano2683
Togetter:http://togetter.com/id/piano2683
TwiPla:http://twipla.jp/users/piano2683


【その他】
SoundCloud:http://soundcloud.com/pianon
ほしい物リスト:https://www.amazon.co.jp/wishlist/2GOO9AMFXY0VK/
e-mail:chitsaummあっとgmail.com


大学院で数学をやっています。
・数学への数理論理学/普遍代数的なアプローチ(モデル理論・圏論)
・数学の基礎づけ(集合論・トポス理論・型理論の関連性)
に興味があります。いちばんやりたいのは「“数学をする”ことについて数学的に考える」こと、そして「数学の見方を変えるような仕事をする」ことです。

もっぱら勉強しているのはロジック(特にモデル理論)と圏論ですが、これらはあくまで数学を見るためのツールと捉えていて、ピュアな抽象論を推し進めるのではなく、「数学(への応用)を意識した抽象理論/メタ理論」を構築したいと思っています。具体的な現在の興味は以下の通りです(勉強予定のもの含む)。
・Logical Aspects of Topos Theory (classifying topos, representations for toposes)
・Geometric Aspects of Topos Theory
(homotopical/(co)homological aspects of toposes, functor of points, ringed topos)
・Abstract Model Theory (abstract elementary class, accessible category)
・Geometric Model Theory (Zariski geometry, geometric structure)
・Tame Geometry (o-minimal/non-archimedean case)
・Universal Algebra (Lawvere theory, monad, sketch)
・Duality Theory (Stone duality, logical duality, Galois theory)
・Higher Category Theory & Derived Algebraic Geometry

こちら↓も参考にしてください
【自分用まとめ】数学とロジックの関係について http://togetter.com/li/913920
【自分用まとめ】モデル理論に関する雑感とそれに続く議論 http://togetter.com/li/882098
圏論の本についてのFAQ http://togetter.com/li/903530

ついでに宣伝。関西すうがく徒のつどい(http://kansaimath.tenasaku.com/ )運営やってます。


数学遍歴を少し紹介します。
高校卒業後に『数学ガール~ゲーデルの不完全性定理~』を読んで数理論理学に一目惚れしました。大学一回生のときは数学がやりたいのか論理学がやりたいのかわかっていなくていろいろと迷走していましたが、大学二・三回生のときにTwitterをはじめとする数々の出会いを通じて徐々に自分の好きな数学がわかってきました。まだ研究もままならない身ですが、少しでも自分なりの“美しい数学”を見出そうと頑張っています。

ちなみに学部4回のときはo-minimal theoryを勉強してました。実数周りのモデル理論(実体・実閉体)あたりの話にはよく食いつきます。でも超準解析はわかりません。


話は変わって、音楽歴を紹介します。
小学校中学年ぐらいから一応ピアノはやっていましたが、本格的に音楽をやり始めたのは中学入学後です。吹奏楽部に入ってチューバパートを担当することとなったのと同時にクラシックをよく聴くようになって、そこで好きな音楽・憧れの音楽に出会えたことが音楽にハマったきっかけでした。
中学入学前まではろくに練習していなかったピアノもいつの間にか第一の趣味となり、3年間でベートーベンのピアノソナタ月光・悲愴あたりを弾けるくらいにはなりました。

高校では部活動で管弦楽(チューバ)と合唱(バス)を兼部して忙しい日々を送っていました。受験期もピアノだけは弾いていましたね。

現在は、一人暮らしの部屋に電子ピアノを置いてヘッドホンをして練習しています。といっても数学が忙しくなってから全然弾いてませんが…。基本的に好きな曲しか弾かないのでレパートリーは偏ってます。バロックは全然で、ショパンやリストが中心です。

一曲だけですが演奏を録音してうpしてるのでぜひ聴いてください→http://soundcloud.com/pianon


高校以前はクラシックしか聴きませんでしたが、大学に入ってからは(アニメ見始めたせいで)ポップスも聴くようになりました。アニソンが中心ですが、常に新鮮な音を求めてアンテナを張っています。おすすめの曲があったら教えてください。

特に、ニコニコ動画の歌い手さんとして有名になり、supercellのゲストボーカルも務めたやなぎなぎ(ガゼル・nagi)さんが大好きです。もうホント、声がかわいすぎですよ。癒しの歌姫ですよね。
けっこう追っかけ染みたことをやっていて、ライブにもよく足を運びます(下にライブ参加履歴書いてあります)。個人的には同人で出してるCDの方が気に入ってます。一押しはmamenoi(MANYOとのコンビ名)のTachyonです。


また、supercellも大好きです。『君の知らない物語』に一目惚れ(一耳惚れ?)して、それ以来、作詞作曲担当のryoさんを応援し続けています。


自然な流れでサブカル関連も自己紹介。アニメのライトなファンで毎クール10本程度見てます。アニメに求めるのは『癒し』と『感動』です。いわゆる日常系と青春恋愛系のアニメはできるかぎり押さえてます。あとはオリジナルアニメ・話題作・バトル系・ラノベハーレム系・頭使わないで見られるおバカ系もちょこちょこ見ます。シリアス系も最近は見るようになりました。一番好きなアニメは『凪のあすから』です。


【やなぎなぎライブ参加履歴】
・little triangle
2012/11/24(土):名古屋公演@ボトムライン
2012/11/25(日):大阪公演@AKASO

・エウアル
2013/10/26(土):大阪公演@AKASO
2013/10/27(日):名古屋公演@CLUB QUATTRO

2013/12/26(木):PFCイベント@品川教会
2014/8/31(日):color palette~2014 Blue~@上野公園水上音楽堂

・ポリオミノ
2015/2/8(日):大阪公演@BIGCAT
2015/2/21(土):東京公演@渋谷公会堂

・color palette 2015
2015/10/17(土):color palette~2015 Silver~ @東京グローブ座
2015/10/18(日):color palette~2015 Gold~ @東京グローブ座

・Follow Your Tracks
2016/5/29(日):大阪公演@AKASO
2016/6/4(土):東京公演@TOKYO DOME CITY HALL

2016/09/25(日):color palette~2016 Green~ @日比谷野外大音楽堂

2017/02/28(火):5周年記念ライブ「Cassiopeia Limited Express」@品川ステラボール
2017/03/19(日):PFCイベント@南港サンセットホール
2017/09/17(日):color palette~2017 Orange~ @新神戸オリエンタル劇場

・LIBRARY & MUSEUM
2019/03/21(木):東京公演@Zepp DiverCity Tokyo
2019/04/21(日):大阪公演@umeda TRAD