ãããããæç°æ è¼å çãæ¹å¤ããã·ãªã¼ãºç¬¬4å¼¾ï¼
éå»è¨äºã¯âã®ãªã³ã¯ãã辿ã£ã¦æ¬²ãããã©ã¨ããããç§ã¯ã¡ãã£ã¢ã§è»½èã«æ¯ãèãå¦è ãå«ãã ã¨ãããã¨ã ãè¦ãã¦ããã¦ï¼ ãæç°æ è¼ãã¨ããããã°å ã«ãã´ãªãä½ã£ã¦ãããã
cut-elimination.hatenablog.com
ãã§ã漸ãèæ¸ã®ã»ããèªãã§ãããã¨ããããåºç« ã¨1ç« ãèªãã ã®ã§ã¡ã¢ããã¨ã«ãããä¸æãããªãè¬å©è¡¨ç¾ãé¼»ã«ã¤ããæä½ã¨ãèªå½ãè¥ä½ããã¦ãã¦ãããããªãããã®å²ã«å 容ãå¦åçã§ãªãé¢ç½ããªãããã£ã¦èªãã®ãè¦çã§ãããããã§ãããå¦åçã§ãªããã¨ããã®ã¯ãå¦åçãªç 究ãåæ ããã¦ããªãã¨ããæå³ã§ã¯ãªããããããã 並ã¹ãã ãã§è«çå±éã«ä¹ãããã¨ããã»ã©ã®æå³ã§ããããªããªã1ç« ã§ç»å ´ããç 究ææãåæ©ããç´¹ä»ãã¦ãããã¨ã§ä¸åã®æ¬ã«ããæ¹ãè¯ãã£ãã®ã§ã¯ãªãããã¨ãæã£ããã¾ããããªæ¬ãèªãç¥çå¿èåã®ãã人ã¯æç°å çã®æ¯æè ã«ã¯ããªãã®ãããããªããâ¦ï¼è¨ãéãï¼ã
ãã¯ããã®ã¨ããã§ãè¥è ãé¸æã«è¡ã£ã¦ãä½ãå¤ããªããã¨ãæè¨ãããã¦ãããããã«ã¯çåããããæ ¹æ ã¨ãã¦è¥è ã¯ãã¤ããªãã£ã§ããã¨ãè¥è ã¯ä¸å ãæ¯æãã¦ããã¨ããäºãæãããã¦ãããããããä»ã®ç¶æ ã§æ¥ã«è¥è ã®ãã¡é¸æã«è¡ã人ã®å²åãçªç¶å¢ããã ãã§ã¯ããã¯ä½ãå¤ããªãã ããããããã«ããå¯æ¬¡çå¹æã¿ãããªäºã¯èããªãã®ã ãããï¼ è¥è ãé¸æã®äºãèããããã«ãªã£ããã¡ãã£ã¢ãç£æ¥ã¯å¤§ããå¤ãæ°ãããããããããã®ã¯ä½ããªãããã è¥è ã®æ票çã ããããä¸ããã¨ãããã¨ããä¸å¦ã»é«æ ¡æ°å¦ã®ç¢ºçè«ã¿ãããªä»®å®ãç½®ããªãã°ãã®æè¨ã¯æ£ããã ããããã ãªããªæ°ããã¦ãªããªããããã§ãä½ãå¤ããªãå¯è½æ§ã¯ãããããã®ç¨åº¦ã®æ ¹æ ã§ãæè¨ããã¦ã¯ãã¡ã ããããããã£ã¦ãæè¨ããã¦ããã人ãããã¨å®å¿ãã¦ãã¾ãç©äºãçããªã人ãæç°å çãæ¯æãã¦ããã®ã ãããâ¦ï¼è¨ãéãï¼ã
ãè¨ãéãã¤ãã§ã«è¨ã£ã¦ããã¨ãä¾ã®ãé«é½¢è éå£èªæ±ºãçºè¨ããããããã ãªãã®ä»®å®ãæé»ã®ãã¡ã«ç½®ãã¦ããæ°ããã¦ãªããªããããããä½ãä¸ã®ä¸ãå¤ãããã é«é½¢è ã ãã¹ãã¨æ¶ãããè²ã ã¨ã©ã¯ã«ãªãé¨åãããã ããï¼ãããæªãããï¼ãããããããªãã¨ãããããããªããã¨ããããæç°å çã®ãããªãæå 端ãçãªç 究ããã¦ãã人ã»ã©ãç®å ã®æ¥ç¸¾ã«é£ããã¦ä½ãããã ãªããªä»®å®ãç½®ãã¦ã§ãä½ãæå³ããããªæè¨ãããããªã£ã¦ãã¾ãã®ã§ã¯ãªããï¼ ã¨çã£ã¦ãã¾ããããã§ãã
ããã¨ãç§ã¯æ¿æ²»ã«èå³ãæã¦ãªããã¨ãè¨ã£ã¦æ¬ãå§ãã¦ããã®ããã¾ã俺ãªã«ããã£ã¡ããã¾ããï¼ãæããã£ã¦ãããããã
ã1ç« ã§ã¯ãã20å¹´ã§æ°ä¸»å½å®¶ã»ã©çµæ¸ãåæ»ãã¦ããã¨ãã³ããåæã®å¯¾å¿ã«å¤±æããã¨ããäºãæ¸ããã¦ãããããã¯æç°å çèªèº«ãã®arXivæ稿è«æãå ã«ãªã£ã¦ãã¦ããã®æå¦ã¯ç§ã«ã¯ããããªãã£ããã ãããã£ã¨è§£èª¬ã欲ããã£ãã
ããã¨æ°ä¸»ä¸»ç¾©ã¨ããè¨èã®æå³ãæå¤ã¨ããããããªãããªãã©ãªãºã ã¨ããã®ã¨ã¯éãã®ã ãããã欧米人ããã¹ã¯ãå«ããã®ã¯ãªãã©ãªãºã ãæ ¹ä»ãã¦ãããããã¿ãããªè©±ã¯ããè´ãããã
ãæ®éã«èããã¨ãçµæ¸ãåæ»ãããã³ãã対çã«å¤±æãã¦ãæ°ä¸»ä¸»ç¾©ã大äºãªæ°ãããã®ã¯ãçµæ¸æé·ãã³ãã対çãããéè¦ãªãã®ï¼è¡¨ç¾ã®èªç±ã¨ãï¼ãããããã ããä½æ ããã®ç¹ã«ã¯è§¦ãããã¦ããªãã®ãä¸æè°ã ã£ããä»å¾ã«æå¾ ãèªç±ã¨æé·ãå®å ¨ã®ãã¬ã¼ããªããããã£ã¦ãã¨ã«ãªããã
ãããã¨è«çå±éã¨ãã¦ããããããªãã£ãã®ã ããæ°ä¸»ä¸»ç¾©ãæªãã®ãæ°ä¸»å½å®¶ãæªãã®ãã©ã¡ããªã®ã ãããæ°ä¸»å½å®¶ãä½æé·ã ã¨ããã®ã¯èªããã¨ãã¦ãããã¯æ°ä¸»ä¸»ç¾©ãä½æé·ãããããã¨ããã®ã¨åããã¨ãªã®ãããã§ã¯ãªãã®ããããã¥ãªãºã ã¨ãããã¨ããã¤ãã¹ãã¼ãã¨ãæ°ä¸»ä¸»ç¾©ã®ãå£åããè«ãããã¦ããããã ã¨ãããæ°ä¸»ä¸»ç¾©ã®å£åãæªãã®ã§ãã£ã¦æ°ä¸»ä¸»ç¾©ãæªã訳ã§ã¯ãªãã®ã ãããï¼ãã©å¤ä»£ã¢ããã®æ°ä¸»å¶ã失æããã¨ãããã¦ãã¨ã¯çµå±ãã®20å¹´ã®è©±ã§ã¯ãªãã®ã ãããï¼ãæ°ä¸»ä¸»ç¾©ãä¸æãéå¶ã§ããã°ãã£ã¨æé·ã¨ããè¦è¾¼ããã®ã ãããããããã22ä¸ç´ã®æ°ä¸»ä¸»ç¾©ãã£ã¦ãã¤ãï¼ ã¾ã å¤ããªãã
ããã¨ã¤ã³ã¿ã¼ãããã¨ãSNSãæ°ä¸»å½å®¶ã®åæ»ã®åå ãã®ããã«è«ãããã¦ããããããã«ã¤ãã¦ã¯ç¹ã«ãã¼ã¿ã¨ããç¡ãã£ããã¤ã³ã¿ã¼ããããããã¥ãªãºã ãå éãã¦ããæã¯ãã¡ããããããããã¨20å¹´ã®åæ»ã®ç¸é¢ï¼ã¯è§£ããªãã£ãã
ã次ã®ä¸ç¯ã«ã¯ã¤ã©ãã¨ããã
ããããã£ã話ãã¤ã¾ããä¸è«ã«è³ãå¾ããæ°ä¸»ä¸»ç¾©çãªå½ã»ã©ä»ä¸ç´ã®çµæ¸æé·ãéããã¨ãã話ãããã¨ãããã«ä¸ããç®ç·ã®ãå±ããã¯ã½ãªããé£ãã§ããããè¦ãããã®ç¸é¢ã§å°èºããããªãã®ä½è³ãï¼ãã¨ããæå·ã ã確ãã«ãç¸é¢ã¯å æã§ã¯ãªããæ°ä¸»ä¸»ç¾©ã¨çµæ¸æé·ã®éã«è² ã®ç¸é¢é¢ä¿ãããããã¨ãã£ã¦ãæ°ä¸»ä¸»ç¾©ãçµæ¸åæ»ãçã¿åºãã¦ããã¨ã¯éããªããï¼47ãã¼ã¸ï¼
ååè¿°ã¹ãããã«è¢«å®³è ã¶ãã®ãä¸æããªãã¨æã£ãããç§ã¯å¤©æããã¦ä¸ã®ä¸ã®äººã«ã¯ç解ããã¦ãã¾ãããã§ãè¡æãªè²´æ¹ãªãããã£ã¦ããã ãã¾ãããï¼ãã¨è¨ã£ã¦æ¦ãå¯ã£ã¦æ¥ããã§æãããã¨ããã¼ãã£è¿½æ¾ãç³»ãªããä¸»äººå ¬ã£ã½ããï¼ãã¨ãã¯ã½ãªããã¨ãè¨ã£ã¦è¥è ã¶ãã®ã¯ã©ããªãã ã¨ããã®ããããã¾ãã¾ãã¾ããï¼ãã®æ²åã®å¤©æã¶ãæããæç°å çãè¶åãã¤ã¤åãä¸ãã¦ããå±±æ¬å¤ªéãç«è±åå¿ãæ©ä¸å¾¹ãå°æ± ç¾ååãåææ´æã£ã½ããæç°å çãæ¯æãã¦ãã人ã¯ããã«æ°ä»ãã¦ããã®ã ãããï¼ ã¿ããªç®ãè¦ã¾ãï¼ ã¹ã¶ã³ããç®ãè¦ã¾ãï¼
ãã§ããä¸ãããã§ãªãçæ¯ã«ãããã¯ç¸é¢ã«ãããªãã®ã§ã¯ï¼ãã¨è¨ã£ã¦ããã人ã«ã¯ã¡ããã¨çããã®ã ãããï¼ ã¨ããããããã人ã¯ããªãã®ã ãããï¼ ã¨ãããæç°å çã¯ã©ããªç°å¢ã§å¦åããã¦ããã®ã ããï¼ SNSã¨ãããããã§èãã§ããããªããã
Â
ãç¶ãã¯ãã¡ãâ