色々やってみたけど、結局一番簡単なのは： iPhoneのストレージをファイルシステムとしてマウントして、通常のファイル操作を使う。 USBでPCに繋ぐと、Windowsのファイルエクスプローラーが起動するので、普通にコピー＆ペーストする。普通のドライブに見え…

バエズの留め金の応用 - 檜山正幸のキマイラ飼育記 メモ編 バエズの留め金（クラスプ）を使って、ベータ変換とエータ（イータ）変換の絵を書いた。恒等射のラムダ抽象のベータ変換は随伴の余単位、エータ変換が随伴の単位を与える。バエズの留め金を使うと、…

「本棚 右の壁から8面目、9面目」に『Algebraic Theories』。これって、ローヴェル理論の本かな。 「本棚 右の壁から8面目、9面目」に『現代物理数学への招待』。確率の話とかあるヤツかも 「本棚 右の壁から6面目、7面目」に『人生を変える数学そして音楽』…

画像を集めた。まず、http://www.wirecable-sales.com/documents/wire_not_cable からの画像。ワイヤーの説明は、「電線は一般に、導体が絶縁体である保護被覆に覆われているものを指します。」 http://www.wirecable-sales.com/img/densen_zukai2.jpg 次は…