【マストドン】2017年 急速に流行しかけたSNSはなぜ下火となったのか【ゆっくり解説】
https://www.youtube.com/watch?v=IgIdyL5qdyQ&t=335s
【数学】巨大数 速報
バシク行システムを「ラムダ計算」なるものに対応させることで、その停止性を証明できるかもしれないとの研究が上がってますね。成功したら物凄いことです。
初音ミクをフィーチャーした巨大関数『みくみく順序数(Ordinal number-like functions featuring Hatsune Miku)』の研究者とされています。ボカロリスナーでしたが引退しました。