TODO: Categories in Tokyoの準備をする。 (@Alwe_Logic) header
TODO: Categories in Tokyoの準備をする。 (@Alwe_Logic) profile picture

TODO: Categories in Tokyoの準備をする。

@Alwe_Logic

音楽と数学が好きです。key:@KeyAlwe (そんなに動いてないです) 欲しい物リスト: https://xitter.gq/t.co/p13p68sw6N

 初星学園情報学研究科
Joined August 2017
  • Tweets109K
  • Following3.3K
  • Followers3.9K
4.9KMedia
Photo by TODO: Categories in Tokyoの準備をする。 (@Alwe_Logic)Photo by TODO: Categories in Tokyoの準備をする。 (@Alwe_Logic)Photo by TODO: Categories in Tokyoの準備をする。 (@Alwe_Logic)Photo by TODO: Categories in Tokyoの準備をする。 (@Alwe_Logic)Photo by TODO: Categories in Tokyoの準備をする。 (@Alwe_Logic)Photo by TODO: Categories in Tokyoの準備をする。 (@Alwe_Logic)Photo by TODO: Categories in Tokyoの準備をする。 (@Alwe_Logic)Photo by TODO: Categories in Tokyoの準備をする。 (@Alwe_Logic)Photo by TODO: Categories in Tokyoの準備をする。 (@Alwe_Logic)Photo by TODO: Categories in Tokyoの準備をする。 (@Alwe_Logic)
私は全然ツイート見えてるのであれなんだけど、みんな見れてるか知らないが一応アカウントは Instagram: _impredicativity discord: alwe_logic mathtodon: [email protected] です。Lineはあったことある人なら訊いてくれれば多分だいたい教えます。
1
4
55
208,203
一週間くらい家に戻って休んでいるので大分体力が戻って精神的にも肉体的にも恢復してきた。来週から激動の出張週間が始まるので、頑張ります。
1
10
485
My Duolingo German Score is 33!
Image from TODO: Categories in Tokyoの準備をする。 (@Alwe_Logic)
1
4
344
名古屋の美味しいカフェ情報なら……
1
12
648
MLGのお土産を買っていたんだけど結局研究室に配るタイミングがなく (持っていくのを忘れてしまった……) 自分で消費している
4
394
私はどちらかというとトンデモ側の人間だと思っていて、そういう私のような人でも数学の結果を大量に出せるような時代にはなったなぁと常日頃から思っている。
1
2
35
2,106
TODO: Categories in Tokyoの準備をする。 retweeted
立腹層 (@rippukusou) profile picture
立腹層@rippukusouOct 30
仮にそういうものまで無価値化する時代になる(例えば，今の数学科の基準だと「トンデモ系」に括られるような緩い理解の仕方で進めている人が，別の才能で数学者として活躍するようになる)と，たとえ数学の発展にとってはよいことであっても少し悔しいかも知れない気がする？考えが整理しきれていないが
3
31
1,028
TODO: Categories in Tokyoの準備をする。 retweeted
立腹層 (@rippukusou) profile picture
立腹層@rippukusouOct 30
自分はproblem solvingに関して自負や拘りが皆無なので，数学に関して言えばAIに対する負の感情みたいなものが全然なかったけど，一方で，論理を細部まで詰めていくような数学科的な数学を精密にやってきているということ，「理解」に求める水準，確立した理解の固さについては明確な自負があるから，
2
2
47
4,233
美味しい茉莉花茶を淹れているので凄く自慢したい
7
427
trick or treatの訳って古典論理的だよねってツイートしたら冗談なのに、そういう方向の哲学をやっているひとたちにめっちゃ叩かれたのまだ納得してない
11
2
57
2,417
修士が終わったらエンジニアリングとか、経済とか、AI safety周りの話とかちゃんと知見を広めて行きたい
33
1,012
未来図と蜘蛛の巣
1
5
500
未来に対する漠然とした不安なんか捨ててしまって、今を生きたほうがいいなんてことは分かっているんだよな。
1
16
1,039
千反田える蔵から脱出みたいなのをみて不本意ながら笑ってしまった
1
643
古典部！？
1
4
828
TODO: Categories in Tokyoの準備をする。 retweeted
KADOKAWA文芸編集部 (@kadokawashoseki) profile picture
KADOKAWA文芸編集部
@kadokawashosekiOct 30
📕〈古典部〉シリーズ最新作掲載📕 11月26日発売予定「小説 野性時代 特別編集 2026年冬号」に、米澤穂信さん〈古典部〉シリーズ最新読切「赤いスイムキャップ」が掲載されます。 「いまさら翼といわれても」の後の物語。シリーズの時計の針が進みます。 ぜひお読みください。 kadokawa.co.jp/product/32260…

小説 野性時代 特別編集 2026年冬号

雑誌・ムック「小説 野性時代 特別編集 2026年冬号」のあらすじ、最新情報をKADOKAWA公式サイトより。年1回、山田風太郎賞発表の特別編集号！

kadokawa.co.jp
71
5,175
1,532
11,832
1,350,224
TODO: Categories in Tokyoの準備をする。 retweeted
Takayuki Kihara (@tri_iro) profile picture
Takayuki Kihara@tri_iroOct 30
仮定を鍵、結論を扉と見立てて、ダンジョン探索が「証明」になっていくブラウザゲーム「Proof Dungeon: 自然演繹の迷宮」を作りました。パズル感覚で論理学や自然演繹を学べるブラウザゲームです。日本語と英語に対応しています。 kihara-logic.github.io/proof…
14
451
38
1,811
101,575
LiEat_D先輩が凍結しているな
1
3
699
今後AIが発展すれば〜みたいな仮定は重要で、全然AI企業が破産して潰れるというシナリオもあると思っている(これはこれで経済に大きなダメージが入り、職が不安になる)
2
5
2
52
4,078
数学は家内制手工業から工業制手工業になるみたいな主張、私が悲観的すぎるからかもしれないけどあまり信じられていない。現状人間がAIを動かして何かさせるというのが普通なんだけど、今後順調にAIが発展すれば人間の手を介さずに自走し始めて、人間が興味持ちそうな結果もAIが自動で判別するようにな
2
11
85
5,610
more replies
より社会からの圧力は強まって、AIよりどのような価値が出せるか？みたいな話に真剣に向き合わなければならない (そして、この問題には答えがない) みたいな辛い状況になるんじゃないんだろうか？また、数学で培った思考力が、一般の職業でも使える、みたいなのにも疑問で、自走するようなAIの思考力
2
2
14
1,456
より価値を提供できるのか？というところが論点になってくると思う。勿論TaoやらScholzeやらみたいな一部の天才は価値を提供できるのかもしれないが……。
1
10
870
Load more