【Twitter関連】Twilog:http://twilog.org/piano2683Togetter:http://togetter.com/id/piano2683TwiPla:http://twipla.jp/users/piano2683【その他】SoundCloud:http://soundcloud.com/pianonほしい物リスト:https://www.amazon.co.jp/wishlist/2GOO9AMFXY0VK/e-mail:chitsaummあっとgmail.com大学院で数学をやっています。・数学への数理論理学/普遍代数的なアプローチ(モデル理論・圏論)・数学の基礎づけ(集合論・トポス理論・型理論の関連性)に興味があります。やりたいのは「“数学をする”ことについて数学的に考える」こと、そして「数学の見方を変えるような仕事をする」ことです。勉強しているのはロジック(特にモデル理論)と圏論ですが、これらはあくまで数学を見るためのツールと捉えていて、ピュアな抽象論を推し進めるのではなく、「数学(への応用)を意識した抽象理論/メタ理論」を構築したいと思っています。具体的な現在の興味は以下の通りです(勉強予定のもの含む)。http://togetter.com/li/903530ついでに宣伝。数学遍歴を少し紹介します。高校卒業後に『数学ガール~ゲーデルの不完全性定理~』を読んで数理論理学に一目惚れしました。大学一回生のときは数学がやりたいのか論理学がやりたいのかわかっていなくていろいろと迷走していましたが、大学二・三回生のときにTwitterをはじめとする数々の出会いを通じて徐々に自分の好きな数学がわかってきました。研究もままならない身ですが、少しでも自分なりの“美しい数学”を見出そうと頑張っています。theoryを勉強してました。実数周りのモデル理論(実体・実閉体)あたりの話にはよく食いつきます。超準解析はわかりません。話は変わって、音楽歴を紹介します。小学校中学年ぐらいから一応ピアノはやっていましたが、本格的に音楽をやり始めたのは中学入学後です。吹奏楽部に入ってチューバパートを担当することとなったのと同時にクラシックをよく聴くようになって、そこで好きな音楽・憧れの音楽に出会えたことが音楽にハマったきっかけでした。中学入学前まではろくに練習していなかったピアノもいつの間にか第一の趣味となり、3年間でベートーベンのピアノソナタ月光・悲愴あたりを弾けるくらいにはなりました。高校では部活動で管弦楽(チューバ)と合唱(バス)を兼部して忙しい日々を送っていました。受験期もピアノだけは弾いていましたね。現在は、一人暮らしの部屋に電子ピアノを置いてヘッドホンをして練習しています。いっても数学が忙しくなってから全然弾いてませんが...。基本的に好きな曲しか弾かないのでレパートリーは偏ってます。バロックは全然で、ショパンやリストが中心です。一曲だけですが演奏を録音してうpしてるのでぜひ聴いてください→http://soundcloud.com/pianon高校以前はクラシックしか聴きませんでしたが、大学に入ってからは(アニメ見始めたせいで)ポップスも聴くようになりました。アニソンが中心ですが、常に新鮮な音を求めてアンテナを張っています。おすすめの曲があったら教えてください。動画の歌い手さんとして有名になり、supercellのゲストボーカルも務めたやなぎなぎ(ガゼル・nagi)さんが大好きです。ホント、声がかわいすぎですよ。追っかけ染みたことをやっていて、ライブにもよく足を運びます(下にライブ参加履歴書いてあります)。個人的には同人で出してるCDの方が気に入ってます。一押しはmamenoi(MANYOとのコンビ名)のTachyonです。supercellも大好きです。ryoさんを応援し続けています。自然な流れでサブカル関連も自己紹介。アニメのライトなファンで毎クール10本程度見てます。アニメに求めるのは『癒し』と『感動』です。いわゆる日常系と青春恋愛系のアニメはできるかぎり押さえてます。あとはオリジナルアニメ・話題作・バトル系・ラノベハーレム系・頭使わないで見られるおバカ系もちょこちょこ見ます。シリアス系も最近は見るようになりました。好きなアニメは『凪のあすから』です。