JavaCCとANTLRとSableCCとCUPとnotavaccの比較ってだれかやってくんない？ 禿同．こういうのの使い勝手と原理の第三者によるサマリーってアカデミアの人は書かないのかな．ついでに書籍情報．中身は知らないので誰か買え（ぉ http://www.pearsoned.co.jp/hed…

今日の物理数学演習（今日は電磁気）は学生の声に答えての先生のまとめトークが主だった． 今まで講義した静電場/静磁場の分析は数学的にはLaplace方程式の解を探すことに過ぎない． 球面調和関数展開やら多極子展開やらはLaplace方程式を便利に解くための単…

十分遠方で0に収束するベクトルAにdivとrotとを指定すると，Aは積分定数の任意性を除いて一意に定まる ---Helmholtz 今日はこの証明を見たことがないなどと大嘘を言ってしまった．普通に昔教科書の証明を読んでたし．ちょっとググったらwww上にも資料がある…

適当に数列，を定め，それによってFourier級数を定めると（大抵は）訳の分からん関数が生成される．その関数が常識的な振舞いをするのはどのような時か．Lebesgueの意味での積分ととうとうリンクが生じる．

個人的には信じたくない．夢だったらいいと思う． 最近時間が経つのが早い．いや，何と言うか... やはり勉強の達成度が最近では一番の「自分時計」なんだけど，その「自分時計」は「自然時計」とどんどんずれていくのだ．もちろん自然時計の方がバリバリに速…