bonotakeの日記

元・ソフトウェア工学系研究者、今・AI系エンジニア

2007-02-24から1日間の記事一覧

Cartesian closed かつ distributive な圏で x × x = x ² を示す

違った方面から攻めてみた。なんか途中。tex の frac を使ったので見づらい。 [tex: \frac{\large X \to^{} A \times A} {\frac{\large X \to^f A \hspace{4em} X \to^g A} {\frac{\large X + X \to^{\[f,g\]} A} {\frac{\large (X \times 1) + (X \times 1)…

関数型言語で x × x = x ² を示す

朝風呂に入っていたら頭に浮かんだ、ものすごく素朴な疑問。 整数なり実数では普通に だけど、カルテシアン閉圏 (CCC) 一般に、任意の対象 で なのだろうか?普通にそうなりそうだし、集合の圏ならすぐ証明できそうだけど。 つか、普通の(型付)関数型言語…

バックハンドで構えるとき、肘を突っ張らない

バックハンドが安定せず困っていたところ、コーチから「構えているときは肘を折りたたんで、振りながら伸ばしていくようにするといい」とアドバイスをもらう。あー、確かにこっちの方が打ちやすい。自然に打点に入れるし、柔軟に打てる。 あと、思い出した。…

注:bonotakeは、amazon.co.jpを宣伝しリンクすることによってサイトが紹介料を獲得できる手段を提供することを目的に設定されたアフィリエイト宣伝プログラムである、 Amazonアソシエイト・プログラムの参加者です。