☆ うむむ！、気になった数式があり、3年ぶりくらいにマジメにソースにしてみようとこころみたものの、どうも自信がない。くやしさ120%。そして今日は上京してる友＆後輩君の男３人で、表参道ヒルズ→落語の新しくて古いトキョーをみて回るツアー。12時渋ハチ（って略さない？）集合ですから、あと5時間は寝られる。ただいま午前5時45分。NHKでは歌丸師匠の寄席が流れています。あとでみるんだから、今見なくても…。