主ã«èå·£ç 究室ã®åè«ã»æ¼ç¿ã§éç¨ãã¦ããWebãµã¤ãã§ãï¼
å¦çã¯ã¢ã³ãã¼ã©ã¤ã³
å®é æå¸, èå·£ åæ, åç° æ¦, æ¡å å¯æ, é¿è æ¸
æ»:
ããã°ã©ãã³ã°å¦ç¿ã«ãããæ§æå³å¼ãç¨ããæ§æç解æ¯æ´æ¹æ³ã®ææ¡
æ
å ±å¦çå¦ä¼ æ
å ±æè²ã·ã³ãã¸ã¦ã (SSS 2018)ï¼ 8 pages, 2018-08 (çæ¬çæ°´ä¿£å¸)
ç³å
æ
太é, èå·£ åæ, åç° æ¦, æ¡å å¯æ, é¿è æ¸
æ»:
ããã°ã©ãã³ã°æ¼ç¿ã«ãããæ§æè¦ç´ ã®ç¨®é¡æ¯ã®ãã¥ã¼ã«ããã³ã¼ãã£ã³ã°ç¶æ³ææ¡æ¹æ³ã®ææ¡
æ
å ±å¦çå¦ä¼ æ
å ±æè²ã·ã³ãã¸ã¦ã (SSS 2018), 8 pages, 2018-08 (çæ¬çæ°´ä¿£å¸)
å¦ç奨å±è³
å°æ æ, èå·£ åæ, åç° æ¦, é¿è æ¸
æ»:
ãã¼ã¿æ§é ã¨é¢æ°å®ç¾©ã«çç®ããããã°ã©ãã³ã°å¦ç¿è
ç¨ãã¹ãã±ã¼ã¹è©ä¾¡è¨è¿°æ¹æ³ã®ææ¡
ã½ããã¦ã§ã¢å·¥å¦ã®åºç¤ XXIII (FOSE 2016), pp. 33-42ï¼2016-12 (é¦å·çç´å¹³çº)
ä½è¤ æ:
ç°ãªããã¼ã¸ã§ã³ã«ãããå®è¡ãã¬ã¼ã¹ã®æ¯è¼ãç¨ãããããã°æ¯æ´æ¹æ³ã®ææ¡
第14åæ
å ±å¦ã¯ã¼ã¯ã·ã§ãã (WiNF2016)ï¼ãã¹ã¿ã¼çºè¡¨, 2016-11 (æç¥çç«å¤§å¦)
å è¤ å¤§å
¸, èå·£ åæ, åç° æ¦, é¿è æ¸
æ»:
å¤æ°ã«çç®ããé¨åããã°ã©ã æ½åºã«ããã³ã¼ãã¬ãã¥ã¼ææ³ã®ææ¡
ä¿¡å¦æå ± SS2014-73, Vol. 114 No. 510, 6 pagesï¼2015-03 (æ²ç¸çé£è¦å¸)
