phi16

151.9K posts

phi16 banner
phi16

phi16

@phi16_

一日一最高の銀髪

幽狐ちゃんの森 Katılım Ekim 2013
3K Takip Edilen5.4K Takipçiler
Sabitlenmiş Tweet
phi16
phi16@phi16_·
phi16 tweet media
ZXX
0
10
97
8.8K
phi16
phi16@phi16_·
うれいにしか見えない、それはそう
日本語
0
0
2
336
phi16
phi16@phi16_·
おはなしをした☀️
phi16 tweet media
日本語
0
1
18
580
phi16 retweetledi
長兎路こより🐰
長兎路こより🐰@Nagatoro_Koyori·
現在制作中の新作アバターのデザインラフです! こよらぼ初のちびキャラ、 名前は「がぶちぃ」です!🐰 大きなうさ耳ともこもこ感、 ちょっと凶暴なうさぎさんです! #Gabuchi3D
長兎路こより🐰 tweet media
日本語
15
890
4.7K
151.8K
phi16
phi16@phi16_·
私がそう見ているという話であってそういうことが言われているわけではない
日本語
0
0
1
379
phi16
phi16@phi16_·
昔見た L0 を空間で微分して L1 もどきを作ることについての動画が偶然やっと見つかった youtube.com/watch?v=rIX-Rs…
YouTube video
YouTube
日本語
1
2
22
3.3K
phi16
phi16@phi16_·
どうせ何某の問題だから何某が解決しないとどうしようもないのかもしれないけど
日本語
0
0
4
561
phi16
phi16@phi16_·
そういえば最近ぶいちゃの動画読み込みが 360p になってしまう問題ってどこかに解決あるのかしら (というか known issue だろうか) 配信だと大丈夫みたいだけど
日本語
1
0
13
2.7K
phi16
phi16@phi16_·
@Kory__3 ですねえ なのでZFC矛盾判定プログラムがどれだけ小さい状態数で書けるかというshort-codingみたいなことが発生していそうで面白いです
日本語
0
0
0
54
Kory
Kory@Kory__3·
@phi16_ 亀レスなんですけど、十分な状態数があると ZFC (+α) からの矛盾をしらみつぶしに探索するチューリングマシンが作れて、それを BB(n) ステップまで走らせてみることで(この計算列は ZFC に埋め込めるから)ZFC が矛盾しないことを ZFC 内で結論付けられてしまうので、そうなりそうじゃないですか?
日本語
1
0
0
80
phi16
phi16@phi16_·
そんなことになるんだ
日本語
2
0
1
656
phi16
phi16@phi16_·
QST
0
0
2
500
phi16 retweetledi
co²thume
co²thume@Auduodecim·
n年越しのリベンジ成功 いい時代になりました
co²thume tweet media
日本語
1
2
15
1.6K
phi16 retweetledi
kanon
kanon@kanon_sc·
kanon tweet media
ZXX
0
1
9
497
phi16
phi16@phi16_·
今日は一日中頭使わない日だったので良い休憩になった気がする
日本語
0
0
3
459
phi16 retweetledi
kanon
kanon@kanon_sc·
kanon tweet media
ZXX
0
2
6
514
phi16 retweetledi
kanon
kanon@kanon_sc·
kanon tweet media
ZXX
0
1
8
589
phi16 retweetledi
kanon
kanon@kanon_sc·
kanon tweet media
ZXX
0
3
11
578
phi16
phi16@phi16_·
知らん…
日本語
0
0
0
510
phi16
phi16@phi16_·
さすがになんかもうちょっとあるじゃろ
日本語
0
0
0
459
phi16
phi16@phi16_·
えぇ…
日本語
0
0
0
475