bonotakeの日記

ソフトウェア工学系研究者 → AIエンジニア → スクラムマスター・アジャイルコーチ

2006-02-08から1日間の記事一覧

略証だけ

書く時間がないので、会議中にこっそり、簡単に:P たぶん後でいろいろ追記します。とりあえず、檜山さんには感謝感謝で。 R;Qが、AtomfulLatのidentityと自然同型になることを示すには、Pow(Atom(L)) ≒ L とかを束論的に示さないといけないが、束論の練習問…

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