ミカグラです。
日常のあれこれをつぶやいています。
◎お勉強
東京の大学で細々と論理学の勉強をしています。来年からは東京の別の大学に行くらしいです。
様相論理: 可能世界意味論を主に勉強しています。日常の言語活動や情報のやり取り、時間などの動的なものを、可能世界の道具を用いて解析することに広く興味があります。時制論理と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/
よろしくお願いします。
