Linuxmetel @linuxmetel
Info: Lisp / Emacs / Arch Math: 代数幾何 / 可換代数 / 圏論 Discord: linuxmetel mond.how/ja/linuxmetel espace quasi-compact Joined July 2020-
Tweets31K
-
Followers1K
-
Following2K
-
Likes45K
import Mathlib したら名前空間が汚されて Algebra とか Semiring とかも全部（Mathlib.Algebra とかではなく）そのままの名前で参照なんだが，Lean の欠陥すぎる
Linuxmetel retweeted
【悲報】 南勢地域唯一の私立中学校にして我が母校、なくなる kogakkan-j.jp/news/detail.ph…
記者「（誰もが知る大手 XX 社を指さして）この企業を運営するのにあなたなら何人必要ですか?」 〇〇 AI 社の社長「二人で十分だ。何かあった時に破産申請の手続きをしに行く従業員が一人と責任を取って謝罪会見をする経営者が一人。」 みたいな時代が来るかも
Linuxmetel retweeted
beef - Rust docs.rs/beef/latest/be… 改造版 Cow の crate が beef と命名されているのを見たときは流石に笑ってしまった。死んどるやんけ
Linuxmetel retweeted
大漢和辞典趣味で持ってる友人が「1年間異体字以外使用禁止チャレンジ」たるものを1人で始めてもうそろそろ8ヶ月らしい 毎度毎度読ませる気がほとんど無いような手紙を送って来てくれていちいち読むのが面倒 まぁ面白いんだけどね
Linuxmetel retweeted
C∞級のプリンあった #spm29th
30 秒くらい「人気パビリオンになる」に空目して頭フリーズ
30 秒くらい「人気パビリオンになる」に空目して頭フリーズ
Linuxmetel retweeted
翻訳家・山形浩生さん 開発援助との二刀流を支える相棒たち nikkei.com/article/DGXZQO…
他の言語は一音節とかじゃなくて一文字で切り出してるのに、 モーラか音節か知らんがそれで区切って取り出してるんだろう?
他の言語は一音節とかじゃなくて一文字で切り出してるのに、 モーラか音節か知らんがそれで区切って取り出してるんだろう?
物理好き @butsurizuki
12K Followers 13K Following ND73→KUEE→KUinfoM1 音ゲー:ウニ虹ポゼ 理1054+黒32 定数調査班 撃前作虹 SDVX19.1暴 競プロ:ｽﾊﾟｺﾝ'18優勝 JOI'19'20春 ICPC'24'25WF AtC橙1m橙3/H橙3m橙4 CF薄赤m濃赤 たまに:麻雀 OMC青 アイコン: @MA23_96
TERRY @terry_u16
7K Followers 4K Following 響ちゃん。飛行機/カメラ/機械工学/ブルアカ/GBVSRフェリMASTER/最適化/Rust/AtCoder (A黄🟡/H赤🔴)/AWTF2025(H) 準優勝🥈/アイコンは@kotobacchiさんから 🎨: https://t.co/h4gglhomV8
tatyam @tatyam_prime
6K Followers 4K Following つよつよ競技プログラマーです。 音ゲーもしています。 素数大富豪をしていました。 (ﾉ) - ω - (ヾ)ﾓﾁﾓﾁ https://t.co/UpnjW423ML https://t.co/LTnQktF6Wb icon:@MelvilleTw
Luke🐈 @Luke02561
2K Followers 2K Following るーく/24B情報理工学院/AtCoder:yuta28(A💧/H💧)/OpenSiv3D/OMC紫/応用情報技術者
清脊 @Sa_Ya_Se_Ki
2K Followers 1K Following できることからやろうとはしている凡庸な変人です。だる絡みでもなんでも良いのでとにかく話してください。浅識につき内容に誤りが多いのでご指摘ください。あらゆる話題を出します。悪口等歓迎します。早期停戦を望む/ks67/第80代赤組・153文準資材・演準/日本地図/jetpunk/散歩対決
せいゆうっうっ... @seiyu_kyopro
1K Followers 506 Following AtCoder A : 水色(1314)、H ：水色(1209) 、Codeforces 水色(1407)、C++、たまにPython、 PAST（第4回）: 58点初級、 日常成分がおめめ、 ｢人生は貪欲法｣
まさぁぁ💫 @affine_space
2K Followers 1K Following 今日とかなら京都か奈良いけた / アイコン、ヘッダー いたちゃ / https://t.co/1H1BsVaHWk
とらせ！！！ @bt_trcae
2K Followers 2K Following 🟥庶務CC 物生 好きなもの:池袋 巨人 コーラ 宝石 散歩 DTM（@tracerase_gg） LOL(G3)現役
QgQ @289_28q
1K Followers 1K Following APMO'24 🥉/JMO'24 優秀賞/JJMO'23 🥈/JOI'23 '24 '25 優秀賞/SuperCon'24🥇'25🥇/PGbattle'22 🥈'23 🥇/PCK'24 🥈/プログラミング甲子園'25🥇/AtCoder橙/codeforces橙/情達'22優秀賞/日本数学コンクール優秀賞
keisuke6 @ksuke6_2024
1K Followers 1K Following OMC 🍋 / JMO '25 本選まで AtC 🍊 / JOI '25 🌸/ 情報科学の達人 4 期生 筑駒Paken高校副部長→部長になりました
ぼんてんぴょん... @y_bonten
3K Followers 342 Following ベーシストØ古典文学Ø数学基礎論Ø物理学ØプログラミングØ睡眠至上主義Ø「分かりやすく本質を伝える説明」を考えるのがライフワークØメダカカレッジ(@medakacollege、主宰@otakehiko)で主に校閲を行っていますØ英検1級Øさかあがりできる人
れんぼれ @cr_psyclaon2
138 Followers 167 Following おしゃべりと落書き @cr_psyclaon @cr_psyclaon3（猥談） 三河（愛知）出身！東京の大学生（神戸大学理学部数学科編入予定） 趣味→アコギ、イラスト、梅酒作り 平沢進 Nirvana 唄音ウタ 大喜利
speranza @special0502
149 Followers 287 Following 古生物学会25'@北大H05/天文学会24'@水戸20T･60T/湧源໒꒱43/美ら研’24むりかぶし班･25’VERA B班/もし天’24Andrometal班/KdEi研5期/熊大医柴三郎
やさい @MSK_s_10032
611 Followers 563 Following 京理ノイキルヒ専攻 動物園の園長になるのが夢です #spm26th #spm27th #spm28th #spm29th #spmAd7th 昼寝大好きクラブ会員 ゆりかご
ぶく @buku_t
4K Followers 357 Following 数学とゲームが好きな研究者 | じょきょー | 著書『組合せゲーム理論の世界』 | GU←NII (←ITF←TUS) | N高グループ研究部(#KdEi研) | 数理空間トポス | エルデシュ数3 | https://t.co/HAa3bIQT3s | @Modern_Math | アイコン:ことり野デス子さん
nakorae @nakorae11
656 Followers 421 Following 高3/物理/໒꒱45 湧源/ JPhO'24🥈/JESO'24🥉/APhO'25🥈/JPhO'25🥈/ 興味ある分野:宇宙物理,一般相対論,熱力学,微分幾何,数値計算,気象学,非平衡統計力学,生物物理など
M41 Walker Bulldog @AMX50B6
277 Followers 615 Following ks6 ゲーム垢 第50代黒組助組責 中3係SC 高3係 ハンドボール 折り紙 日常:@caliberlarge1 WoT:prototype_C_Leopard【BBL】 MBTI:ENTP-A(自己主張51%) https://t.co/RGbISd3RkJ←自己満足
M____m @De__epsopaer
243 Followers 494 Following
持明󠄁院殿（�... @dimyauwin
4K Followers 4K Following 精神貴族になりたい人/B2(19♂)/日本史学専攻/中世の天皇･皇室･朝廷/右派/保守主義/悠仁親王殿下万歳/フォロバは一応してます/古記録風日記→ #擬卿記
異性とか好きそ... @yandere_ecchi
671 Followers 5K Following 低浮上 雑多垢 推し活垢 @NUJ1tmiee233801 note https://t.co/OIuibjVoWh ミカ推し
Hoiえもん @legendyoda55
680 Followers 954 Following よろしくお願いします高２のついったー初心者です受験で数学を必死こいて頑張っています宇宙科学と法学が好き。宇宙機システム。
閲覧垢 @Rwj8D
153 Followers 3K Following
といれっと @stacked_regrets
1 Followers 224 Following
大野周平 Shuhei O... @ohnolab
870 Followers 867 Following RIKEN / YCU / Few-Body Systems Physics / #JuliaLang / #academistPrize
nikoniko @nikonik68866159
4 Followers 65 Following
おふねこ @asphalttaiya
718 Followers 2K Following 高2/解析数論(最近やってない) OMC茶(初挑戦) ユーザ名:ofuneko 東京科学大歯志望 いつか京理解析行く
ごうら @GourikiKorin
86 Followers 224 Following 非モテ男は女性を憎んでいます。女性に危害を加える可能性が高いです。３０歳か４０歳か、期限を設けて、それまでに一度も交際経験のない男は人格に根本的かつ深刻な問題を抱えているものと見做し、隔離施設に収容するなどの措置を講じるべきです。
ロウシ・ ハミ�... @gausu_1729
53 Followers 165 Following 理論物理が好きで大学の物理とか独学してる高3です/数理の翼43/研究部3期生/学問が好き/最近は非平衡系や情報に興味あり #KdEi研
とも@chibibaku @chibibaku1
705 Followers 989 Following 17 | ﾊｰﾄﾞｿﾌﾄ何でも屋 | SBC系 エッジコンピューティング・設計技術等 #VRC 学園三期/ #sunabaco 江別1st,14th N高 研究部・投資部 6-STD/7-ADV #KdEi研
_miya3_ @_miya3_n
21 Followers 35 Following n9,オン通,n/s/r高数学同好会 会長,aisc3期企画a班,N高グループ研究部(#KdEi研)情報科学G所属
たぬき @mathtanuki
2K Followers 4K Following ITF.23.physB3 Newton祭実行委員長 /つくもんaid/ ໒꒱ 42,43/ ゆりかご/#KdEi研 OB/元N高生/☄️/喫茶店巡り/賢くなるなオタクであれ/ENFJ-T
青狸 @25A6IEP8vRpQnjP
174 Followers 1K Following
なのめーとる。 @Nanometre_i
908 Followers 466 Following 06┊︎哲学・倫理学┊︎生命・医療倫理┊︎#KdEi研 3期春┊︎@Yocto_mock ┊︎@Larva06_com 記事部R┊︎医療上の意思決定┊︎ Let us speak the truth.┊︎ITF.25 人文（AC）┊︎HUMAI（A）
ねむい @I3Ch15983
500 Followers 2K Following
Glauje @Glauje2113730
11 Followers 659 Following
まり @ZNikolaus85227
17 Followers 1K Following 裏○女子です。Bカップ。介護やってます。ストレス溜まってるので発散したいですぐフォローお願いします。全 裸オ ナニーも見に来てねhttps://t.co/n0wQXu1lk6里〇女子。
satou @satou48473917
0 Followers 153 Following
|| @k82b_
257 Followers 417 Following
物理好き @butsurizuki
12K Followers 13K Following ND73→KUEE→KUinfoM1 音ゲー:ウニ虹ポゼ 理1054+黒32 定数調査班 撃前作虹 SDVX19.1暴 競プロ:ｽﾊﾟｺﾝ'18優勝 JOI'19'20春 ICPC'24'25WF AtC橙1m橙3/H橙3m橙4 CF薄赤m濃赤 たまに:麻雀 OMC青 アイコン: @MA23_96
TERRY @terry_u16
7K Followers 4K Following 響ちゃん。飛行機/カメラ/機械工学/ブルアカ/GBVSRフェリMASTER/最適化/Rust/AtCoder (A黄🟡/H赤🔴)/AWTF2025(H) 準優勝🥈/アイコンは@kotobacchiさんから 🎨: https://t.co/h4gglhomV8
tatyam @tatyam_prime
6K Followers 4K Following つよつよ競技プログラマーです。 音ゲーもしています。 素数大富豪をしていました。 (ﾉ) - ω - (ヾ)ﾓﾁﾓﾁ https://t.co/UpnjW423ML https://t.co/LTnQktF6Wb icon:@MelvilleTw
Luke🐈 @Luke02561
2K Followers 2K Following るーく/24B情報理工学院/AtCoder:yuta28(A💧/H💧)/OpenSiv3D/OMC紫/応用情報技術者
清脊 @Sa_Ya_Se_Ki
2K Followers 1K Following できることからやろうとはしている凡庸な変人です。だる絡みでもなんでも良いのでとにかく話してください。浅識につき内容に誤りが多いのでご指摘ください。あらゆる話題を出します。悪口等歓迎します。早期停戦を望む/ks67/第80代赤組・153文準資材・演準/日本地図/jetpunk/散歩対決
せいゆうっうっ... @seiyu_kyopro
1K Followers 506 Following AtCoder A : 水色(1314)、H ：水色(1209) 、Codeforces 水色(1407)、C++、たまにPython、 PAST（第4回）: 58点初級、 日常成分がおめめ、 ｢人生は貪欲法｣
まさぁぁ💫 @affine_space
2K Followers 1K Following 今日とかなら京都か奈良いけた / アイコン、ヘッダー いたちゃ / https://t.co/1H1BsVaHWk
とらせ！！！ @bt_trcae
2K Followers 2K Following 🟥庶務CC 物生 好きなもの:池袋 巨人 コーラ 宝石 散歩 DTM（@tracerase_gg） LOL(G3)現役
QgQ @289_28q
1K Followers 1K Following APMO'24 🥉/JMO'24 優秀賞/JJMO'23 🥈/JOI'23 '24 '25 優秀賞/SuperCon'24🥇'25🥇/PGbattle'22 🥈'23 🥇/PCK'24 🥈/プログラミング甲子園'25🥇/AtCoder橙/codeforces橙/情達'22優秀賞/日本数学コンクール優秀賞
keisuke6 @ksuke6_2024
1K Followers 1K Following OMC 🍋 / JMO '25 本選まで AtC 🍊 / JOI '25 🌸/ 情報科学の達人 4 期生 筑駒Paken高校副部長→部長になりました
おふねこ @asphalttaiya
718 Followers 2K Following 高2/解析数論(最近やってない) OMC茶(初挑戦) ユーザ名:ofuneko 東京科学大歯志望 いつか京理解析行く
𝚌𝚊𝚗𝚗𝚘�... @cannorin3
2K Followers 1K Following 電子の妖精 / #ClubTheUnderground / @Sys73mcr4sh / pfp:@pu_nkn
ぼんてんぴょん... @y_bonten
3K Followers 342 Following ベーシストØ古典文学Ø数学基礎論Ø物理学ØプログラミングØ睡眠至上主義Ø「分かりやすく本質を伝える説明」を考えるのがライフワークØメダカカレッジ(@medakacollege、主宰@otakehiko)で主に校閲を行っていますØ英検1級Øさかあがりできる人
Blueberry1001 @bluebery1001
1K Followers 452 Following 高3 筑附134 TCA責任者 AtCoder A:青 H:水 C++/Python/Unity C#/AviUtl/Blender/Siv3D SuperCon2024🥈/JOI'24本戦,'25春/PCK'24本/情報科学の達人5期生 AtCoder Novisteps(解法別問題集)
れんぼれ @cr_psyclaon2
138 Followers 167 Following おしゃべりと落書き @cr_psyclaon @cr_psyclaon3（猥談） 三河（愛知）出身！東京の大学生（神戸大学理学部数学科編入予定） 趣味→アコギ、イラスト、梅酒作り 平沢進 Nirvana 唄音ウタ 大喜利
真・数学を愛す... @proper_mathlava
107 Followers 0 Following 真・数学を愛する会はあなたに数学(主に大学数学)の面白さを伝えます．#数学 #ぷろぱーますらば
水槽ゼリー @Jelly_in_a_tank
1K Followers 1K Following 私ゼリーさん。今あなたの冷蔵庫の中にいるの。 おいしいものつくるよ。 アイコンは友人に描いてもらいました。
masatoi @masatoi0
674 Followers 470 Following NAIST→マイクロ法人経営→ポケットチェンジでサーバサイドエンジニアをやっているCommon Lisper。機械学習/AI/LISP Lispコミュニティ @shibuya_lisp 運営 github: https://t.co/WV5xnAyeNI
ぶく @buku_t
4K Followers 357 Following 数学とゲームが好きな研究者 | じょきょー | 著書『組合せゲーム理論の世界』 | GU←NII (←ITF←TUS) | N高グループ研究部(#KdEi研) | 数理空間トポス | エルデシュ数3 | https://t.co/HAa3bIQT3s | @Modern_Math | アイコン:ことり野デス子さん
nakorae @nakorae11
656 Followers 421 Following 高3/物理/໒꒱45 湧源/ JPhO'24🥈/JESO'24🥉/APhO'25🥈/JPhO'25🥈/ 興味ある分野:宇宙物理,一般相対論,熱力学,微分幾何,数値計算,気象学,非平衡統計力学,生物物理など
M____m @De__epsopaer
243 Followers 494 Following
M41 Walker Bulldog @AMX50B6
277 Followers 615 Following ks6 ゲーム垢 第50代黒組助組責 中3係SC 高3係 ハンドボール 折り紙 日常:@caliberlarge1 WoT:prototype_C_Leopard【BBL】 MBTI:ENTP-A(自己主張51%) https://t.co/RGbISd3RkJ←自己満足
持明󠄁院殿（�... @dimyauwin
4K Followers 4K Following 精神貴族になりたい人/B2(19♂)/日本史学専攻/中世の天皇･皇室･朝廷/右派/保守主義/悠仁親王殿下万歳/フォロバは一応してます/古記録風日記→ #擬卿記
大野周平 Shuhei O... @ohnolab
870 Followers 867 Following RIKEN / YCU / Few-Body Systems Physics / #JuliaLang / #academistPrize
speranza @special0502
149 Followers 287 Following 古生物学会25'@北大H05/天文学会24'@水戸20T･60T/湧源໒꒱43/美ら研’24むりかぶし班･25’VERA B班/もし天’24Andrometal班/KdEi研5期/熊大医柴三郎
nixCraft 🐧 @nixcraft
386K Followers 622 Following Love Linux/Unix, open source, and programming? Into Sysadmin & DevOps? Follow us! Boost your IT career with daily new tools, apps, and humor ⤵️
ロウシ・ ハミ�... @gausu_1729
53 Followers 165 Following 理論物理が好きで大学の物理とか独学してる高3です/数理の翼43/研究部3期生/学問が好き/最近は非平衡系や情報に興味あり #KdEi研
とも@chibibaku @chibibaku1
705 Followers 989 Following 17 | ﾊｰﾄﾞｿﾌﾄ何でも屋 | SBC系 エッジコンピューティング・設計技術等 #VRC 学園三期/ #sunabaco 江別1st,14th N高 研究部・投資部 6-STD/7-ADV #KdEi研
Hoiえもん @legendyoda55
680 Followers 954 Following よろしくお願いします高２のついったー初心者です受験で数学を必死こいて頑張っています宇宙科学と法学が好き。宇宙機システム。
_miya3_ @_miya3_n
21 Followers 35 Following n9,オン通,n/s/r高数学同好会 会長,aisc3期企画a班,N高グループ研究部(#KdEi研)情報科学G所属
青狸 @25A6IEP8vRpQnjP
174 Followers 1K Following
たぬき @mathtanuki
2K Followers 4K Following ITF.23.physB3 Newton祭実行委員長 /つくもんaid/ ໒꒱ 42,43/ ゆりかご/#KdEi研 OB/元N高生/☄️/喫茶店巡り/賢くなるなオタクであれ/ENFJ-T
魔法少女くにゅ... @kunukunu
10K Followers 1K Following 株式会社Cerevo 取締役 魔法少女 (17) 魔法の力でみんなの夢と希望を叶えるお仕事をしています！！ NT東京の運営もやっています → @nt_tokyo_info お仕事のご相談は https://t.co/yl0XVyPDLD まで。 電気/メカ/ソフトウェアエンジニア積極採用中です。お気軽にDMください。
ねむい @I3Ch15983
500 Followers 2K Following
Trends for United States
193 B posts
67,6 B posts
53,8 B posts
65,6 B posts
224 B posts
183 B posts
73 B posts
40,6 B posts
55,2 B posts
7.795 posts
5.336 posts
5.275 posts
6.893 posts
5.091 posts
24 B posts
128 B posts
3.894 posts
5.791 posts
2.641 posts
3.936 posts
You might like
tnodino
@tnodino
470 Followers
モハラン
@programsamisii
1K Followers
haruki
@haruki_4936
889 Followers
ぷっちょ
@p_kyopro
862 Followers
spareo.｡.:*☆
@Mmpiano0580
548 Followers
NaHCO3
@nahco3_314
685 Followers
もけ
@r193333333
684 Followers
US_cube
@US_kyopro
972 Followers
kome
@idat_50me
391 Followers
Colaboratory
@GoogleColab
65K Followers
しろがみちゃん...
@XiroGA3
427 Followers
Jupytor
@Jupytor1
874 Followers
shu8Cream
@shu8Cream
733 Followers
MZKi
@MZKi__
653 Followers
ま
@0x3b800001
2K Followers