線形代数の難所とアダムとイブと矢印一元論 - 檜山正幸のキマイラ飼育記 (はてなBlog)

線形代数の難所とアダムとイブと矢印一元論 - 檜山正幸のキマイラ飼育記 (はてなBlog)

量子計算や可逆計算って、なんか面白そうだと思っているのですが、あんまり先に進めないでいます。とり...概要を表示 量子計算や可逆計算って、なんか面白そうだと思っているのですが、あんまり先に進めないでいます。とりあえず線形代数の復習でもしよう、と、紙ナプキンで計算とかはじめました。 それでいまさら気がついたのですが、線形代数（「線型」を使う場合もあり）って、いくつかの流儀があるんですよね。もちろん、おおすじにおいては同じなんだけど、細かい差異がある。この差で混乱したり、理解が阻害されそう。線形代数の難所（つまずきの石）になりかねませんね。 特に、双対空間の扱いは、定式化に「ものの見方」が反映されるので、流儀によりだいぶ違った印象があります。このへんの違いは、抽象的に見てるとあまり鮮明じゃないのですが、なんかのプログラミング言語で線形計算ライブラリを作ろうと思うとハッキリ認識できます。僕の場合、具体的なプログラミング言語じゃなくて（インフォーマルな）ラムダ計算で線形手計算しようと思ったんですが、やり方が何

• あとで調べたい
• math
• 数学