▽FrontPage - 朱鷺の杜Wiki
●11/22 03:03
Powered by PHP 5.5.9-1ubuntu4.29. HTML convert time: 0.009 sec.

▽英会話ﾚｯｽﾝ（音声付き）満載の英語伝です
●11/22 00:09
はじめまして,小泉さん｡

▽Computational Complexity
●11/21 04:46
Wednesday, November 20, 2024For what d is the following true: For all 2-colorings of \(R^d\) has a mono unit square (Answering(?) the Question)In my last post (see here) I invited you to work on the following question:Find a \(d\) such that--There is a 2-coloring of \(R^d\) with no mono unit square.--For all 2-colorings of \(R^{d+1}\) there is a mono unit square.Actually I should have phrase

▽★ﾊﾟﾃﾝﾄｻﾛﾝ★　特許･知的財産情報ｻｲﾄ
●11/20 02:18
最終更新日時：2024年11月19日 21:40:08知財系求人求職ﾌｪｱ #49 （終了しました）※出展社のみなさま，来場者のみなさま，おつかれさまです｡ありがとうございます｡※ｱﾝｹｰﾄ回答のお願い（2024年11月22日(金)24時まで）ﾌｪｱに来場されたみなさま，ﾌｪｱに来場されなかったみなさま，ご回答をお願いいたします｡運営の参考にさせていただきます｡よろしくお願いいたします｡来場者ｱﾝｹｰﾄ，非来場者ｱﾝｹｰﾄ ※参考：過去のｱﾝｹｰﾄ結果知財系求人求職ﾌｪｱ #50 ★出展社募集中★2024年12月4日(水) 19:00～（出展社がない場合は開催されません）知財系求人求職ﾌｪｱ #51 ★出展社募集中★2024年12月17日(火) 19:00～（出展社がない場合は開催されません）◎出展料：無料｡出展社数：各回最多4社（申込制先着順）｡最少催行出展社数：

▽檜山正幸のｷﾏｲﾗ飼育記
●11/14 05:43
2024-11-13複圏〈ｵﾍﾟﾗｯﾄﾞ〉とﾌﾟﾚ準同型射の圏雑記／備忘｢論理や型理論の圏論的意味論 // 導出ｼｽﾃﾑの圏と圏の圏｣において､導出ｼｽﾃﾑ達を対象とする圏に触れました｡しかし､導出ｼｽﾃﾑのあいだの準同型射（それが圏の射となる）を素朴に考えていては､どうもうまくないようです｡導出ｼｽﾃﾑは､複圏…複圏〈ｵﾍﾟﾗｯﾄﾞ〉とﾌﾟﾚ準同型射の圏