-
Tweets1K
-
Followers2K
-
Following345
-
Likes10K
Snežana Nešić — Embracing the Darkness Blue [w/ score] youtu.be/A03H_rkfqB0?si… via @YouTube
Alban Berg - Der Wein (The Wine) for Soprano and Orchestra (1929) [Score... youtu.be/SPKLjlpUSng?si… via @YouTube
"s", "e", "t" がすべて偶然にも unicode に下付き文字が存在していたので奇跡的に `ℒₛₑₜ` と書けている
梅本佑利氏の曲だと Confiteor が一番好きです youtu.be/EeS8XX4lmeM?si…
IΣ₁ の定義可能関数の特徴づけができれば，IΣ₁ の Δ₁-述語で定義可能であることとそのグラフが原始再帰的関数であることが同値であることが分かるので，Δ₁-理論であるという G2 の仮定を Craig's trick を使って r.e.理論に置き換えられる．
伝え忘れていたが，functional interpretation とそれによる定義可能関数の特徴づけ，関連する証明体系（Gödel の T など）の形式化などもやっていく予定です．
伝え忘れていたが，functional interpretation とそれによる定義可能関数の特徴づけ，関連する証明体系（Gödel の T など）の形式化などもやっていく予定です．
palalansoukî retweeted
大雑把な展望として次のことをFFLのフレームワークで形式化していこうと企てており，自分が知る限りのLeanに興味があってこれらの分野に詳しい人に連絡をしています． - 証明可能性論理の分類 - 公理的集合論 - 2階算術 - 限定算術
大雑把な展望として次のことをFFLのフレームワークで形式化していこうと企てており，自分が知る限りのLeanに興味があってこれらの分野に詳しい人に連絡をしています． - 証明可能性論理の分類 - 公理的集合論 - 2階算術 - 限定算術
Yuri Umemoto - waaaaa (2025) youtu.be/ijS8H6_3Odg?si… via @YouTube
𓆟 @lililjiliijili
229K Followers 244 Following
3D人-3dnchu- CG情�... @ymt3d
103K Followers 49K Following TA＆CGアーティスト職をしながら、趣味でCG系情報ブログ「3D人-3dnchu-（すりぃでぃんちゅ）」を運営しています。レビュー・記事掲載・広告掲載なんでもご連絡ください。
io 🕊🌻 @0waxwing
65K Followers 1K Following mycelium network holding a pencil ✏️ https://t.co/Wuz0qRYIYF
中辻作太朗 / Nak... @39ar_39ca
63K Followers 1K Following Illustrator / お仕事の依頼はDMかメール（[email protected]）へ気軽にご連絡ください。
hako 生活@アンリ... @clrfnd
46K Followers 992 Following アンリアルライフ作者 ゲーム開発者 (sᴏʟᴏ ɢᴀᴍᴇ ᴅᴇᴠᴇʟᴏᴘᴇʀ/ᴘɪxᴇʟ ᴀʀᴛɪsᴛ, Unreal Life)
Cumuloworks (kumo™) @cumuloworks
8K Followers 1K Following キュムロワークス | Tomoya Eguchi | 映像制作 / Motion Designer / CG Generalist / Executive Director of https://t.co/yOB6RgmMRF™ (@kumoproductions )
玲架 @rei__k
10K Followers 3K Following CG Artist ｜ ライブ背景演出、MV監督、アートワークなど。ご連絡はDMや [email protected] まで！
ななみ雪 @yuki77mi
106K Followers 2K Following pixelart/Illust/animation✏ ご依頼等はHP記載のメールアドレスまたはDMよりお願いします。 リンクまとめ→https://t.co/bupyYhLHMD
Linuxmetel @linuxmetel
1K Followers 2K Following Info: Lisp / Emacs / Arch Math: 代数幾何 / 可換代数 / 圏論 Discord: linuxmetel
否 @1nn0centvacancy
3 Followers 240 Following
スマートコン @mr_konn
2K Followers 880 Following 小人閑居為不貞寝 keybase: https://t.co/UoZp1Y8mZ1 mastodon: @[email protected] Bluesky: https://t.co/ka5XmbdEkM
ty @ty_logi
21 Followers 175 Following
ディレッタンテ... @PhlebotomeH
419 Followers 586 Following Do not go gentle into that good night, Old age should burn and rave at close of day; Rage, rage against the dying of the light.
ad5ebfa6-a132-4117-8c... @yaaamaaaguuu
582 Followers 1K Following ソフトウェアエンジニア または ITインフラエンジニア または VCP-NV
kapu @kapunium_
3K Followers 981 Following
りょうまたん/�... @chonmagekuroko
2K Followers 6K Following (ICU B4)院試と卒論で死にかけ。本気の夢①世界規模ボードゲームYouTuber②世界規模ヲタ芸打ち師③哲学者(今の興味は卓越主義的リベラリズム)④神学者(今の興味は分析神学)EnglishOK 在学汉语 공부 Lernen Deutsch étudier studēre
kei @thelissimus
672 Followers 409 Following Type Theory, Compiler Engineering and Formal Methods 型理論・コンパイラ工学・形式手法
Riyo @ymdfield
258 Followers 121 Following Haskellで代数的エフェクトライブラリを作っています: https://t.co/u9Sk1WiEeQ 最近はエッジデバイスでの学習手法に興味があります。あと、Lean4に入門中です。
contemporary pervert @pervert002
7 Followers 286 Following
km @km13057540
16 Followers 273 Following
花海咲季 @Bmxf_mphjd
8 Followers 71 Following
keno @keno_ss
1K Followers 6K Following keno, a small sawagani/The opinions stated here are my own, not those of my company./❤️ math, 松村の次元論, coffee, Emacs, Lisp, Rust, Splatoon, MtG/インターネット雑用係
Harui @NuToriaezu88808
160 Followers 157 Following 都立大数理科学科に2023年入学しました 競技プログラミングとかドイツ語とかやってます 理学部数理科学科/triC
scranble @scranble_brt
958 Followers 4K Following APC//HQ29/KQK28学生代表/MLC//グラフ理論/アルゴリズム//クイズ屋のような/ボードゲーム嗜む/気づいたら半生M:tG
特殊関数bot @F6CMu8AwZBinXVl
0 Followers 7K Following UT master (幾何解析 Geometric analysis ) Lawyer/25 over/Ph.Dを取りたい Connesに影響を受け、統計力学のアナロジーを用いた数学を行っていました。 現在は弁護士・Driesオタ！
理間 高広(9/14 �... @Rima_tk
10K Followers 10K Following （広義の）SFを創作しています。絵を描いたり、文章を書いたり、プログラム駆動型コンテンツ(造語)を作ったりしています。 Win&Mac用ソフト『プリセイジ・ペリータ』販売中です！＞ https://t.co/bsDaJXHcZq skeb: https://t.co/8TswwT1th0
Gemi島クアンタ�... @xo10tl
216 Followers 473 Following 発言はファインマンテクニックによる見解&仮説 GitHub: https://t.co/ryBEmT1gic
R @sinks_04
0 Followers 5K Following
こばし かずひ... @_kobashi
2K Followers 4K Following worst role model 教員 Uiua Scala Snap! Python Unity Blender Max8 toio 電子工作 VR AR AI NIT-SLG-OB ボードゲーム カクテル アニメ SF ボカロ 大府 稲沢 名古屋
wasabi @wasabi__315
277 Followers 554 Following :: (PhD Student at ScienceTokyo, traP, Haskell, Agda, OCaml)
直毛/ジサツP/か... @Straaaaaaaaight
2K Followers 6K Following ちょくげ。mi'e .sirkerf. 数学基礎論/言語学/美国織莉子/lojban SCPサイトメンバー むぐ勉メンバー Haskeller ◆t6XRmXGL7/QMでSS書いてます アイコン作:@ametoro_zura
Foldo Chalash @FChalash
6 Followers 140 Following
天下のパクり屋... @takapad0123
630 Followers 1K Following 人に愛されたい. SCANDALに生かされてる. Cardinal invariants and Forcing. 句読点のツイートはChat GPT のコピペ. U can get several slides from following link. SCANDAL垢:@scandal_221
⇣ @HamsterFragment
411K Followers 0 Following
𓆟 @lililjiliijili
229K Followers 244 Following
junkuma @J_KMOR
226K Followers 550 Following 作品集「くもりのち、」（玄光社）▶︎https://t.co/jNozKtlLnt FANBOX▶︎https://t.co/flSnSopgj0 BOOTH▶︎https://t.co/XP35eUPfdI
zinbei @zinbei_info
72K Followers 2K Following 漫画家 / 民俗学、自然、映画、街歩きが好き /『ほろ酔い道草学概論』『酒と鬼は二合まで(作画担当)』 単行本発売中 / 無断転載禁止 No Unauthorized Reproduction / note→ https://t.co/rLLYtiNZII
麦 ⌇Baku @_baku89
24K Followers 2K Following Baku Hashimoto 橋本 麦 ⌇ 映像作家 ⌇ experimental film ⌇toolmaking
io 🕊🌻 @0waxwing
65K Followers 1K Following mycelium network holding a pencil ✏️ https://t.co/Wuz0qRYIYF
中辻作太朗 / Nak... @39ar_39ca
63K Followers 1K Following Illustrator / お仕事の依頼はDMかメール（[email protected]）へ気軽にご連絡ください。
hako 生活@アンリ... @clrfnd
46K Followers 992 Following アンリアルライフ作者 ゲーム開発者 (sᴏʟᴏ ɢᴀᴍᴇ ᴅᴇᴠᴇʟᴏᴘᴇʀ/ᴘɪxᴇʟ ᴀʀᴛɪsᴛ, Unreal Life)
Cumuloworks (kumo™) @cumuloworks
8K Followers 1K Following キュムロワークス | Tomoya Eguchi | 映像制作 / Motion Designer / CG Generalist / Executive Director of https://t.co/yOB6RgmMRF™ (@kumoproductions )
玲架 @rei__k
10K Followers 3K Following CG Artist ｜ ライブ背景演出、MV監督、アートワークなど。ご連絡はDMや [email protected] まで！
ななみ雪 @yuki77mi
106K Followers 2K Following pixelart/Illust/animation✏ ご依頼等はHP記載のメールアドレスまたはDMよりお願いします。 リンクまとめ→https://t.co/bupyYhLHMD
kapu @kapunium_
3K Followers 981 Following
スマートコン @mr_konn
2K Followers 880 Following 小人閑居為不貞寝 keybase: https://t.co/UoZp1Y8mZ1 mastodon: @[email protected] Bluesky: https://t.co/ka5XmbdEkM
Ryota Akiyoshi（秋�... @georg_logic
1K Followers 501 Following 港区⇒世田谷区⇒川崎市多摩区⇒世田谷区／研究者、専門：数学・論理学の哲学、数理論理学、哲学的論理学、京都学派、スマートシティ、ロボット倫理、自然言語処理など／趣味：フットサル、ピアノ、音楽鑑賞、etc...
kei @thelissimus
672 Followers 409 Following Type Theory, Compiler Engineering and Formal Methods 型理論・コンパイラ工学・形式手法
arXiv math.CT Categor... @mathCTbot
2K Followers 0 Following Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathACb @mathAGb @mathAPb @mathATb @mathCAbot @mathCObot @mathCVb @mathDGb @mathDSb @mathFAbot ...
Riyo @ymdfield
258 Followers 121 Following Haskellで代数的エフェクトライブラリを作っています: https://t.co/u9Sk1WiEeQ 最近はエッジデバイスでの学習手法に興味があります。あと、Lean4に入門中です。
さぺら弭入け @4set5d6eyer
3K Followers 1 Following
綿本おふとん @offton_w
7K Followers 449 Following ハッピー障害児ガールズ☆連載中☆全編無料で頑張るので、↓↓で応援お願いします！！！↓↓↓目指せ減った日勤6000円（登録者２０人） https://t.co/1qBCKNiIcb https://t.co/JdyFDCOJdC
蓬松宝石派 @Meyou_0319
19K Followers 262 Following
理間 高広(9/14 �... @Rima_tk
10K Followers 10K Following （広義の）SFを創作しています。絵を描いたり、文章を書いたり、プログラム駆動型コンテンツ(造語)を作ったりしています。 Win&Mac用ソフト『プリセイジ・ペリータ』販売中です！＞ https://t.co/bsDaJXHcZq skeb: https://t.co/8TswwT1th0
TRA @tra_tra___
58K Followers 0 Following
Unsecured CCTV Camera... @Unsecured_CCTV
104K Followers 0 Following Posting screenshots of unsecured CCTV/IP cameras every 90 minutes. ** Locations are IP-based and may not be accurate. **
🝆 @policefala
34K Followers 990 Following 'dada a la maldad alada' fka origamiflesh fka ev4938 aka brdrml aka @/animonaomi https://t.co/6btFZ9zWAz $$$ x dm
wasabi @wasabi__315
277 Followers 554 Following :: (PhD Student at ScienceTokyo, traP, Haskell, Agda, OCaml)
Kina @KinaKino_
1K Followers 3K Following Here's a song about the sunshine! Dedicated to the sunshine!
直毛/ジサツP/か... @Straaaaaaaaight
2K Followers 6K Following ちょくげ。mi'e .sirkerf. 数学基礎論/言語学/美国織莉子/lojban SCPサイトメンバー むぐ勉メンバー Haskeller ◆t6XRmXGL7/QMでSS書いてます アイコン作:@ametoro_zura
ゔぇろ @iloveexotic
25K Followers 334 Following 眼鏡 ご依頼募集中!!: [email protected] skeb : https://t.co/mvdpYWqmRX https://t.co/wNC8Kj7xO8 booth:https://t.co/FJPzD72RUI
天下のパクり屋... @takapad0123
630 Followers 1K Following 人に愛されたい. SCANDALに生かされてる. Cardinal invariants and Forcing. 句読点のツイートはChat GPT のコピペ. U can get several slides from following link. SCANDAL垢:@scandal_221
ICHGO CHA~N @15OOOOOOOOOOOO
65K Followers 277 Following ●Contact⇒DM／[email protected] ●Instagram⇒ https://t.co/lG2iMEXe4n
☤ @nothingdooer
10K Followers 384 Following
ゲルバナ @bnana877
2K Followers 6K Following 趣味: 数学・物理・プログラミング /修士号持ち/永遠のマージナルマン、スロカス(防振り,カバネリ,乙女4，グランベルム)
Ebìcen @ebisen_2718
8 Followers 115 Following BIG FAN→ujico*/snail's house🐌/Kusano Gengen aspiring to be a cosmopolitan lightly Learning language→English(US) alternative：@muon_nuco
hatsugai @hatsugai
2K Followers 871 Following
愛計@睡+眠=目(�... @lovemeasure9
794 Followers 2K Following 琉大知能情報y22/ymd研/NPL/AtCoder灰/サークル@RyudaiRobot /Logic/TOEIC395点(第389回)/シャドバ/小説家 記数法自由主義者 善良な管理者の注意義務をもって、卒業研究を行う 作戦：睡眠だいじに アイコン：@Tsiolkovsky1961 ヘッダー：星屑テレパス56話
Kory @Kory__3
4K Followers 1K Following @rarun0705 とかわいいとプログラムと計算機が好き. Icon by: @soleil_paint VRC: Kory / こりー | Discord: kory33 | 鍵: @.Kory__3_key | @[email protected]
鈴木盲点潤(線�... @cut_elimination
339 Followers 100 Following 某超一流大学の哲学研究室院生。論理学、特に線形論理を研究。副業でアニメ研究。マシュマロ(https://t.co/MZeOVgWlUA)。Amazonアソシエイトやってます。
怪文書 @brainstockblock
27 Followers 89 Following 詩と短歌と雑文と日記を書く。 スピリチュアルではありません、オカルトです。 エモーショナルにはなれません。異常者です。
川井 新 (かわい... @squawai
2K Followers 2K Following オンライン私塾論計舎代表。数理論理学と計算機科学を伝える。両分野の研究者。京大数理解析研究所共同研究にて口頭発表2回。共同研究がkokyurokuに掲載。今の目標は査読つき単著論文。オンライン指導では初学者から不完全性定理への理解をお手伝いしたり10年以上。東京理科(数学)→同志社(哲学)。たまに手料理の画像を投稿。
キェル @bunkeidemo
566 Followers 3K Following きたれかし。生きんとならば 取り、食し、かくて生くべし star-struck emoji he/him Chiba Kier चिबा कियर تشيبا كير
TVアニメ「ロー�... @therollinggirls
20K Followers 12 Following WIT STUDIOによるオリジナルTVアニメ「ローリング☆ガールズ」公式アカウント。普通の少女四人組が織りなす、青春ロードムービー。BDBOX発売中＆ベストAL配信中→ https://t.co/BJ6RVAGU1D 今日もガンバレ！
君がいるだけで @Nr2YcdmDGE53729
348 Followers 821 Following 心が強くなれること 何より大切なものを気付かせてくれたね 論理学や数学、数学の哲学などに興味があります。 誹謗中傷等はNGTrends for United States
487 B posts
34,1 B posts
45,6 B posts
91,4 B posts
7.632 posts
39 B posts
3.656 posts
27,7 B posts
2.797 posts
1.327 posts
2.490 posts
60,3 B posts
103 B posts
3.950 posts
25,1 B posts
18,4 B posts
212 B posts
41,5 B posts
1.178 posts
You might like
米澤柊
@mendakoanime
10K Followers
菅原ヒロト
@reku_AL
20K Followers
しまむらひかり
@konpuitou
3K Followers
高延遲戰士🪫�...
@LatencyKnight
35K Followers
玲架
@rei__k
10K Followers
アヤ
@aya_dotcoorde
974 Followers
CLEA
@geee13
64K Followers
TIKI
@ro0mn
10K Followers
γしめぢ
@gummasimedi
5K Followers
歯車ラプト@イ�...
@Rapt3333
18K Followers
Richard Falcema 👀 ...
@Robotboy189
16K Followers
筆バキバキデー...
@slope_moon
8K Followers
みずの紘
@orih__hiro
14K Followers
misokabocha
@misokabocha
3K Followers
ナムナマ
@shidoromo
2K Followers