蒸し暑いので半袖。 SG さんからメール。IRC もやろうということに。 昼はハンバーグ。和光市市長選のことなど。 コーヒータイムは自動微分やビザのことなど。 TRD さんの提案で、高次元モデル系を考えてみる。奥島さんの random funnel model を使うのがい…