Ǿ¤¶¤é¤·µª¹Ô


2003-11-20

_ ¿ô³Ø¤Î´ðÁäȤ·¤Æ¤Î½¸¹çÏÀ vs. ¿ô³Ø¤È¤·¤Æ¤Î½¸¹çÏÀ(PDF)

¥Ò¥Ó¥ë¥Æ¤è¤ê¡£

ÀÑʬ¤ÎÊÑ¿ô¤Î½ç½ø¸ò´¹¤¬ZFC¤«¤éÆÈΩ¤·¤Æ¤¤¤ë¤È¤¤¤¦¤Î¤ÏÃΤé¤Ê¤«¤Ã¤¿¡£

(*)¤¹¤Ù¤Æ¤Î2ÊÑ¿ô¼Â´Ø¿ô f\; : \;[0,1]^2 \rightarrow [0,1]¤ËÂФ·¡¢ \int_0^1 \int_0^1 f(x,y)dxdy¤È \int_{0}^{1} \int_{0}^{1} f(x,y)dydx¤¬Â¸ºß¤¹¤ë¤Ê¤é¡¢Åù¼° \int_0^1 \int_0^1 f(x,y)dxdy = \int_0^1 \int_0^1 f(x,y)dydx¤¬À®Î©¤¹¤ë¡£

¾å¤Î¼çÄ¥(*)¤ÏZFC¤«¤éÆÈΩ¤Ç¤¢¤ë¡£¤Ä¤Þ¤êZFC¤¬Ì·½â¤ò´Þ¤Þ¤Ê¤¤¤Ê¤é¡¢(*)¤ò¾ÚÌÀ¤¹¤ë¤³¤È¤âÈÝÄꤹ¤ë¤³¤È¤â¤Ç¤­¤Ê¤¤¡£

Ê䭥ȥê¥Ó¥¢¡£

ZFC¤«¤éÁªÂò¸øÍý¤ò¼è¤ê½ü¤­¡¢·èÄêÀ­¤Î¸øÍý(AD)¤ò²Ã¤¨¤ë¤È¡Ö¤¹¤Ù¤Æ¤Î¼Â¿ô¤Î½¸¹ç¤Ï¥ë¥Ù¡¼¥°²Ä¬¤Ç¤¢¤ë¡×¤³¤È¤¬¾ÚÌÀ¤µ¤ì¤ë¡£¤µ¤é¤ËZF+AD¤«¤é¤ÏZFC¤Î̵̷½âÀ­¤¬¾ÚÌÀ¤Ç¤­¤Æ¤·¤Þ¤¦¡£

¤ª¤â¤·¤í¤¤¡£

_ [¥Í¥Ã¥È] ³°Éô¥ê¥ó¥¯¤ÈÆâÉô¥ê¥ó¥¯

¤¤¤¯¤Ä¤«È¿±þ¤¬¤¢¤Ã¤¿¡£Mapping Cognition¡£@ parallel minds¡£zokkon ¤ÎÆüµ­¡£

¼Â¤ÏnDiary¤Î¥µ¥Ö¥É¥á¥¤¥óɽ¼¨filter¤Ã¤Æ¡¤¤¢¤ëÄøÅÙ³°Éô¥ê¥ó¥¯¤òʬ¤«¤ê¤ä¤¹¤¯É½¼¨¤Ç¤­¤Æ¤¤¤ë¤Î¤Ç¤Ï¤Ê¤¤¤«¤Ê¤È¤«¤Á¤ç¤Ã¤È»×¤Ã¤¿¤ê¡¥

Mapping Cognition

slashdot.org¤Ê¤É¤Ç¤â¼è¤é¤ì¤Æ¤¤¤ë¼êË¡¤Ç¤¹¤Í¡£

ÌäÂê¤Ï¥µ¥¤¥È¤ÎURL¤Ã¤Æ°Æ³°³Ð¤¨¤Æ¤¤¤Ê¤¤¤³¤È¤Ç¤¹¡£¤³¤ì¤ÏËͤÀ¤±¤«¤âÃΤì¤Ê¤¤¤±¤É¡£Æüµ­¤Î¥¿¥¤¥È¥ë¤µ¤¨³Ð¤¨¤Æ¤¤¤Þ¤»¤ó¡£

Î㤨¤Ð¡¢¡Ö¤Þ¤Ä¤â¤È¤µ¤ó¤ÎÆüµ­¡ÖMatz¤Ë¤Ã¤­¡×¤Ïwww.ruby-lang.org¤Ë¤¢¤ë¡£¡û¤«¡ß¤«¡£¡×¤Ã¤Æ¿Ò¤Í¤é¤ì¤Æ¤âʬ¤«¤é¤Ê¤¤¤Ç¤¹¡£¾¯¤Ê¤¯¤È¤âËͤϡ£

¤À¤«¤é¡¢¥ê¥ó¥¯¤Î¸å¤í¤Ë¥Û¥¹¥È̾¤òɽ¼¨¤µ¤ì¤Æ¤â¡¢¸½ºß¤Î¥Ú¡¼¥¸¤ÎURL¤ò³Îǧ¤·¤Æ¥ê¥ó¥¯¤Î¸å¤í¤Î¥Û¥¹¥È̾¤È°ã¤¦¤«¤ò³Î¤«¤á¤ëɬÍפ¬¤¢¤ê¤Þ¤¹¡£

¤½¤ì¤È¤Ï¤¸¤á¤Æ¸«¤¿¿Í¤Ï¥ê¥ó¥¯¤Î¸å¤í¤Ëdomain¤¬É½¼¨¤µ¤ì¤Æ¤¤¤Æ¤â¤½¤ì¤¬²¿¤ò°ÕÌ£¤¹¤ë¤Î¤«Ê¬¤«¤é¤Ê¤¤¤«¤âÃΤì¤Þ¤»¤ó¡£

¸Ä¿ÍŪ¤Ë¤Ï¡¤ÆâÉô¥ê¥ó¥¯¤È³°Éô¥ê¥ó¥¯¤Î¶èÊ̤äƤ½¤ó¤Ê¤ËɬÍ×À­¤ò´¶¤¸¤Ê¤«¤Ã¤¿¤ê¤·¤Þ¤¹¡¥

Mapping Cognition

¤ª¤ì¼«¿È¤Ï¤½¤¦¤¤¤¦¤Õ¤¦¤Ë»×¤Ã¤¿¤³¤È¤Ï¤Ê¤¤¤·¡¤¥Ï¥¤¥Ñ¡¼¥Æ¥­¥¹¥È¤ÏÆâÉô¤È³°Éô¤¬ÀÚ¤ìÌܤʤ¯¤Ä¤Ê¤¬¤ë¤È¤³¤í¤¬ËܼÁŪ¤ÊÆÃŤÀ¤È»×¤Ã¤Æ¤¤¤ë¤Î¤Ç¡¤¤¢¤¨¤ÆÆâ³°¤ò½ÔÊ̤¹¤ë¥á¥ê¥Ã¥È¤Ï´¶¤¸¤Ê¤¤¤ó¤À¤±¤É¡£

zokkon ¤ÎÆüµ­

¤½¤¦¤Ç¤¹¤«¡£¤¦¡¼¤ó¡£

heepman »á¤Ï¤½¤ó¤Ê¤³¤È½ñ¤¤¤Æ¤¤¤ë¤Î¤Ë¡¤¤½¤Îµ­»ö¼«¿È¤Î¥ê¥ó¥¯¡Ö²¼¤Ë½Ò¤Ù¤ë¥µ¥¤¥È¤Ï¤Ï¤Ã¤­¤ê¸À¤Ã¤Æ¥¹¥È¥ì¥¹¤¬Î¯¤Þ¤ë¡×¤È¡Ö¶èÊ̤ϽÅÍספò¸«¤Æ¤â¡¤¤É¤Ã¤Á¤¬ÆâÉô¥ê¥ó¥¯¤Ç¤É¤Ã¤Á¤¬³°Éô¥ê¥ó¥¯¤Ê¤Î¤«¤¹¤°¤Ë¤Ï¤ï¤«¤é¤Ê¤¤

zokkon ¤ÎÆüµ­

¶èÊ̤¬½ÅÍפÀ¤È¤Ï»×¤Ã¤Æ¤¤¤ë¤±¤É¡¢Îɤ¤¶èÊ̤λÅÊý¤¬¤Ê¤¤¤«¤é¤Ç¤¹¡£

¤Þ¤¿¡¢¡Ö¶èÊ̤¹¤ë¤³¤È¤¬½ÅÍספÀ¤«¤é¤È¤¤¤Ã¤Æ¡Öɬ¤º¶èÊ̤·¤Ê¤±¤ì¤Ð¤¤¤±¤Ê¤¤¡×¤È¤Ï»×¤Ã¤Æ¤¤¤Þ¤»¤ó¡£¥Ç¥¶¥¤¥ó¤Ë¤Ï¥È¥ì¡¼¥É¥ª¥Õ¤¬¾ï¤Ë¸ºß¤·¤Þ¤¹¡£³°Éô¥ê¥ó¥¯¤ÈÆâÉô¥ê¥ó¥¯¤ò¶èÊ̤¹¤ë¤³¤È¤Ë¤è¤ë¥Ç¥á¥ê¥Ã¥È¤â¤¢¤ë¤Ç¤·¤ç¤¦¡£

²¿¤Î¥Ç¥¶¥¤¥ó¤Ë´Ø¤·¤Æ¤âÅö¤Æ¤Ï¤Þ¤ë¤È»×¤¤¤Þ¤¹¤¬¡¢½ÅÍפʤΤϤ¢¤ë¥Ç¥¶¥¤¥ó¾å¤Î·èÄê¤Ë´Ø¤·¤Æ¤Î¥á¥ê¥Ã¥È¤È¥Ç¥á¥ê¥Ã¥È¤òǧ¼±¤·¤¿¾å¤Ç·èÃǤ¹¤ë¤³¤È¤Ç¤¹¡£¡Ö³°Éô¥ê¥ó¥¯¤ÈÆâÉô¥ê¥ó¥¯¤ò¶èÊ̤¹¤ë¡¦¤·¤Ê¤¤¡×¤³¤È¤Î¥á¥ê¥Ã¥È¤È¥Ç¥á¥ê¥Ã¥È¤ò°Õ¼±¤·¤¿¾å¤Ç¥Ç¥¶¥¤¥ó¤¹¤ë¤³¤È¤¬½ÅÍפÀ¤È»×¤¤¤Þ¤¹¡£¹Íθ¤·¤¿¾å¤Ç¸Ä¡¹¤Î¥±¡¼¥¹¤Ç¤É¤¦È½ÃǤ¹¤ë¤«¤Ï¸Ä¿Í¤Î¥»¥ó¥¹¤Ë°¤¹¤ë¤³¤È¤À¤È»×¤¤¤Þ¤¹¡£

¢£Äɵ­¡£tonybin¤µ¤ó¡£

_ [ËÜ] ÊÑ´¹¥¹¥¯¥ê¥×¥È

nomad»áºîLDOCE4 ÊÑ´¹¥¹¥¯¥ê¥×¥È¡£Celeron400MHz¤ÇÊÑ´¹¤ËÌó10»þ´ÖȾ¤«¤«¤ë¡£

¤«¤º¤Ò¤³¤µ¤óºî¡ÖÀ¤³¦ÂçÉ´²Ê»öŵ¡×ÊÑ´¹¥¹¥¯¥ê¥×¥È¡£

_ ¥¢¥Þ¥¾¥ó¤ÎÇä¾åTop5

techside¤è¤ê¡£ÆüËܤÎ̤Íè¤ÏÌÀ¤ë¤¤¡£

¤½¤¦¤¤¤¨¤Ð¡¢¡ÖËâË¡ÀèÀ¸¥Í¥®¤Þ! ¡×¤òÇã¤Ã¤Æ¤ß¤¿¤é¤¹¤´¤¯ÌÌÇò¤«¤Ã¤¿¤Î¤Ç¡¢´üÂÔ¤·¤Æ¡Ö¥Ï¥ê¡¼¥Ý¥Ã¥¿¡¼¡×¤ÎDVD¤ò¼Ú¤ê¤Æ¤ß¤¿¤é¤¢¤ó¤Þ¤ê¤À¤Ã¤¿¡£¤â¤Ã¤È¤³¤¦²¹Àôι´Û¤Î´ÉÍý¿Í¤ò¤¹¤ë»ö¤Ë¤Ê¤Ã¤¿ËâË¡»È¤¤¤Î¾¯Ç¯¤¬ÅìÂç¤òÌܻؤ¹¤ß¤¿¤¤¤ÊÏäò´üÂÔ¤·¤Æ¤¤¤¿¤Î¤Ç¤¹¤¬¡£

ÀÖ¾¾·ò¤ÏÅ·ºÍ¤À¤Ê¤È»×¤Ã¤¿¡£°æ¾åͺɧ¤Ë¤ÏÀäÂС֥ͥ®¤Þ¡×¤ÏÉÁ¤±¤Ê¤¤¡£¼êÄͼ£Ãî¤Ë¤Ê¤éÉÁ¤±¤ë¤«¤â¡£¤È¤¤¤¦¤«¡¢¡Ö»°¤ÄÌܤ¬¤È¤ª¤ë¡×¤Ï¼êÄÍÈǡ֥ͥ®¤Þ¡×¤«¡£¤¤¤äµÕ¤«¡£

alagon¤µ¤ó¤Ë¤ª¤¹¤¹¤á¤·¤Æ¤â¤é¤Ã¤¿´ä´Û¿¿Íý»Òºî¡Ö¥­¥é¥é¤Î¥­¡×¤ÏBookOff¤ÇÁ´´¬Çã¤Ã¤ÆÆɤó¤Ç¤ß¤Þ¤·¤¿¤¬¡¢¤¤¤Þ¤¤¤Á¤Ç¤·¤¿¡£4´¬¤â³¤±¤Æ°ú¤ÃÄ¥¤ë¤è¤¦¤Ê¥Í¥¿¤¸¤ã¤Ê¤¤µ¤¤¬¤¹¤ë¡£»ÄÇ°¡£

ÃÝËÜÀôºî¡ÖÌ´¸«¤ë7·îÇ­¡×¤âÇã¤Ã¤¿¡£ÃÝËÜÀô¤Î¥Õ¥¡¥ó¤Ç¤¢¤Ã¤Æ¤âÆɤó¤Ç¤ÇÃѤº¤«¤·¤¯¤Ê¤ë¤ó¤À¤«¤é¡¢ºî¼Ô¼«¿È¤Ï¤¤¤Ã¤¿¤¤¤É¤ì¤À¤±Å¾¤²²ó¤Ã¤Æ¤¤¤ë¤ó¤À¤í¤¦¡£

¤Ê¤ó¤È¤¤¤¦¤«¡¢¤â¤Ï¤äȳ¥²¡¼¥à?¤Þ¤À̵¤«¤Ã¤¿¤³¤È¤Ë¤·¤è¤¦¤È»×¤¨¤Ð¤Ç¤­¤ë¡£¤¿¤Ö¤ó¡£¤¬¤ó¤Ð¤ì¤Ð¡£

¤ªÌ¾Á°:
E-mail:
¥³¥á¥ó¥È:
ËÜÆü¤Î¥ê¥ó¥¯¸µ

ºÇ¶á¤Î¥³¥á¥ó¥È

2003|01|02|03|04|05|06|07|08|09|10|11|12|
2004|01|02|03|04|05|06|07|08|09|10|11|12|
2005|01|02|03|04|05|06|07|08|09|10|11|12|
2006|01|02|03|04|05|06|07|08|09|10|11|12|
2007|01|02|03|04|05|06|07|08|09|10|11|12|
2008|01|02|03|04|05|06|07|08|09|10|11|12|
2009|01|02|03|04|05|06|07|08|09|10|11|12|
2010|01|04|05|
2011|04|
2012|03|07|
2013|01|02|07|
¥È¥Ã¥× «Á°¤ÎÆüµ­(2003-11-18) ºÇ¿· ¼¡¤ÎÆüµ­(2003-11-22)» ÊÔ½¸