「はてな本欲しい！」

H初体験。すごいとこ。その１ これは関数です。 あれは関数の関数です。つまり関数をとって関数の関数を返す関数です。 あれは関数ですか。はい、そうです。関数のリストをとって関数のリストと関数との組のリストを返す関数です。 では、これは３つの引数を…

今日の板書より抜粋 ブルバキすごい。 ブルバキすごい。 ブルバキすごい。 テンソル積はプルバックで定義しよう。 物理学のテンソルとの関係。 観測代数学だー！

この先生のなさるような手法には、まだ僕は馴染むことができない。 この式のこの項の意味は何？と逐一自問してしまう。 さくーが「そういわれてみるとお前は語句の意味が隅まで分からなければ動作しない、コンパイラのような考え方をする」と表現したがそう…