bonotakeの日記

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

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

言及御礼+もしかして

正月に書いたエントリーに対して、檜山さんからトラックバックをもらったのであるが…いやー面白い。なんか、読めば読むほどいろんなことがわかってくる。やっぱり、自分がいろいろ手を動かして考えたネタに対してのレス記事なので、得られるものも多いのかも…

むむ?

C内に確実に存在する射とか自然変換達をうまく組み合わせて、[A□X, B] → [A, [X, B] ] という同型射(可逆射)を具体的に構成できればいいのですが、これはなかなか難しいようです。Cがデカルト閉なら、型付きラムダ計算の結果を翻訳して具体的構成ができる…

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