みくみく順序数Act.3.3
(7,5,3,0)[2] =
(5,5,5,3,0)[2] =
(3,3,3,5,5,3,0)[2] =
(0,0,0,3,3,5,5,3,0)[2] =
((0,0,3,3,5,5,3,0),0,3,3,5,5,3,0)[2] =
(((0,3,3,5,5,3,0),3,3,5,5,3,0),0,3,3,5,5,3,0)[2] =
(((((7,5),3),3,5,5,3,0),3,3,5,5,3,0),0,3,3,5,5,3,0)[2] =
(((((5,5,5),3),3,5,5,3,0),3,3,5,5,3,0),0,3,3,5,5,3,0)[2] =
(((((3,3,3,5,5),3),3,5,5,3,0),3,3,5,5,3,0),0,3,3,5,5,3,0)[2] =
(((((0,0,0,3,3,5,5),3),3,5,5,3,0),3,3,5,5,3,0),0,3,3,5,5,3,0)[2] =
脳みそはちょうど、最近の動画でカメ五郎さんが食べてましたね。https://www.nicovideo.jp/watch/sm35610390
初音ミクをフィーチャーした巨大関数『みくみく順序数(Ordinal number-like functions featuring Hatsune Miku)』の研究者とされています。ボカロリスナーでしたが引退しました。