音楽と数学が好きです。key:@KeyAlwe (そんなに動いてないです) 欲しい物リスト: https://nitter.gq/t.co/p13p68sw6N
初星学園情報学研究科
Joined August 2017
- Tweets109K
- Following3.3K
- Followers3.9K
- Likes63.3K
Pinned Tweet
🎄 数学基礎論 Advent Calendar 2026！
集合論・モデル理論・証明論・計算可能性理論など、数学基礎論に関する記事を持ち寄るアドベントカレンダーです。
入門的な解説から専門的な話題、ちょっとした雑談まで、どんな記事でも大歓迎です！
🔗 [adventar.org/calendars/12859]
TODO: Oberwolfachの準備をする。 retweeted
証明論・計算論シンポジウム 2026
www2.kobe-u.ac.jp/~tk/jp/wor…
2026年12月7日（月）～ 12月9日（水）
東京科学大学 大岡山キャンパス
講演〆切：11月13日（金）：迫ってまいりました
参加〆切：11月20日（金）
申し込みフォーム
forms.gle/6nV4arfcZJGj2TtY7
講演・参加をお待ちしております！
証明論・計算論シンポジウム 2026
www2.kobe-u.ac.jp/~tk/jp/wor…
2026/12/7(月)～12/9(水)
東京科学大学 大岡山キャンパス
講演〆切 11/13(金)
参加〆切 11/20(金)
フォーム：forms.gle/MhWzfLNquySwKXR29
前日 12/6 (日) には、田中一之先生追悼講演会・偲ぶ会が行われます。
math.tohoku.ac.jp/~yokoyama/…
TODO: Oberwolfachの準備をする。 retweeted
adventar.org/calendars/12859
Math. Logic Advent Calendar 2026に「弱コンパクト基数ノート」という記事を投稿することにしました。よろしくお願いします。1, 2節はどこにでもある内容、3節からはadvancedな内容です。
全部書き切れるかわからないので書ききれなければ途中まで書いての公開にします。
TODO: Oberwolfachの準備をする。 retweeted
＼本日発売／
『ブラック・ブレット 新世界秩序』01・02
12年間待っていてくれた皆さん、お待たせしました。
カバーは鵜飼沙樹先生の描き下ろし。
読み終えたら #ブラブレ新世界秩序 で感想を聞かせてください！
#ブラック・ブレット
TODO: Oberwolfachの準備をする。 retweeted
できました。解けるかどうかはまだ私も試していないし、ルールは私も知りません。
claude.ai/artifact/EifP9vY7P…
