いい加減、mimetex使おうと思った ふむ。

最近、テンソル圏に関してまとまった論説を読んだので、関連する概念を適当にメモ。計算機とかは関係ない。以下、kは標数0の代数的閉体 ・テンソル圏の定義 定義が完全には定まってないらしいが、k-linear(Hom集合がkベクトル空間で、射の合成がk-双線形)なm…

何となく Efficient Algorithms for Computing the Jacobi Symbol を読んだ。・Jacobi記号(m/n)の定義 奇素数pとpと素な自然数mについて、x*x = m (mod p)が解xを持つとき、(m/p)=1。そうなければ、-1。n=n1*n2の時、(m/n)=(m/n1)*(m/n2)として定義する。あ…

とりあえず、非決定性計算と論理変数って別になくてもいいんでないの?という疑問が。 非決定性を利用したコードとして、SICPにあるらしい次の問題をCurryで書いてみる。 Baker, Cooper, Fletcher, MillerとSmithは五階建てアパートの異なる階に住んでいる。B…

concatMapはリストモナドに於ける(>>=)だということを今日気付いた。あー、言われれば当たり前だけど〜。ゴルフで重要かもしれない