𝕏 自己紹介

20↑ / プロジェクトセカイ / MLB / PCデバイス / プリマドンナ (https://t.co/7JxQmPKiF7)

もっと自己紹介

ミカグラです。
日常のあれこれをつぶやいています。

◎お勉強
東京の大学で細々と論理学の勉強をしています。来年からは東京の別の大学に行くらしいです。

様相論理: 可能世界意味論を主に勉強しています。日常の言語活動や情報のやり取り、時間などの動的なものを、可能世界の道具を用いて解析することに広く興味があります。時制論理とdynamic logicに特に深い興味。てか日本語文献くれよ。

証明論:ほぼ素人です。Cut eliminationを優しく教えてくれるお姉さんを募集しています。

数学:代数的構造のもろもろに興味があります。線型代数、集合論、位相空間論、群論、環論、束論の基礎を勉強しました。圏論、グラフ理論をやってみたいです。

計算機科学:オートマトンがちょっとわかります(点と矢印でできているので)。合わせて、正規表現や生成文法が少しだけわかります。

哲学:言語哲学(Frege, Russel, Quine, Kripkeなど)についてエアプ程度の知識しかありません。Wittgensteinがすきです。

◎音ゲー
だいたいの機種をやっています。
やったことあるやつ一覧

足: A20九段 足18残1桁
踊: Shivaは解禁してる 踊りは下手
ボ: 或帝滅斗 18あらかたクリア
舞: 虹 楽曲レート7500くらい
厨: 虹 13+に鳥が10個くらい
撃: 虹 16.00まで上げた
寺: 八段 ほし11イージー進行中
弦: 青グラ フルダウンしかできない
鼓: 紫 連バスができない
ポ: 最高41 ほぼやってない
鍵: ベーシック5級 12はむずかしい
輪: 新XIII青 かつて20番台にいた


◎VTuber
最近VTuberばっかり見ています。
最推し: 星街すいせい
チャンネル: https://www.youtube.com/channel/UC5CwaMl1eIgY8h02uZw7u8A


◎ほか
ブログを書いています。
https://3qua9la-notebook.hatenablog.com/

よろしくお願いします。

🔮運勢占い