bonotakeの日記

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

2005-12-11から1日間の記事一覧

scheme-mode

matsuokaさんとこのscheme-modeを、以前からGauche用に書き換えて使っていたりする。 どうせだからコードの書き換え方を公開しておこうかな、と思ったのだけど、よく見ると本家におんなじことしてるサイトにリンクが貼ってある。なーんだじゃあいいかぁ…と思…

unitとvoid

unitは×の単位元(1)で、voidは+の単位元(0) おーそうだったのかぁ、と思いつつ、ふと疑問が。…(Xは任意の型) はどうなるのでしょう? 状況からして、直積、直和があってそれぞれに単位元1、0があるような圏を考える訳ですよね。こっからは当て推量ですけ…

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