˜a�è �ŽŒÈ (Wasaki Katsumi)

—ª—ð

• �M�B‘åŠw�HŠw•” �î•ñ�HŠw‰È ‘²‹Æ �i•½�¬3”N3ŒŽ�j
• “¯‘å‘åŠw‰@ �HŠwŒnŒ¤‹†‰È ”ŽŽm‘OŠú‰Û’ö �î•ñ�HŠw�ê�U �C—¹ �i•½�¬5”N3ŒŽ�j
• “¯”ŽŽmŒãŠú‰Û’ö ƒVƒXƒeƒ€ŠJ”­�HŠw�ê�U ‘ÞŠw�i•½�¬6”N9ŒŽ�j
• ’·–ì�H‹Æ�‚“™�ê–åŠw�Z “dŽq�§Œä�HŠw‰È �•Žè�i•½�¬6”N10ŒŽ�`•½�¬10”N3ŒŽ�j
• ”ŽŽm�i�HŠw�j �M�B‘åŠw �i•½�¬9”N3ŒŽ�j
• �M�B‘åŠw �•Žè �i�HŠw•”�î•ñ�HŠw‰È�j�i•½�¬10”N4ŒŽ�`•½�¬13”N9ŒŽ�j
• �M�B‘åŠw �•‹³Žö �i•½�¬13”N10ŒŽ�`�j
• Œ»�Ý�F �M�B‘åŠw‘åŠw‰@ �y‹³Žö �i•½�¬19”N4ŒŽ�`�j
• �ÝŠOŒ¤‹†ˆõ�FUniversity of Alberta, Canada�i•½�¬17”N2ŒŽ�`12ŒŽ�j

�ê–å

• Computer Network
• Petri Net Theory
• Formalized Mathematics : Mizar
• High Performance Computing (HPC)
• Formal Verification and Model Checking for digital circuits
• �M�B‘åŠwŒ¤‹†ŽÒ‘�——�iSOAR-RD�j“o˜^ƒf�[ƒ^

�Š‘®Šw‰ï

• Association of Mizar Users(SUM)
• IEEE
• “dŽq�î•ñ’Ê�MŠw‰ï(IEICE)
• �î•ñ�ˆ—�Šw‰ï(IPSJ)
• “d‹CŠw‰ï(JIEE)
• ‰æ‘œ“dŽqŠw‰ï(IIEEJ)
• “ú–{ŽY‹Æ‹Z�p‹³ˆçŠw‰ï(JSTE)
• “ú–{�HŠw‹³ˆç‹¦‰ï(JSEE)
• ‹³ˆçƒVƒXƒeƒ€�î•ñŠw‰ï(JSiSE)

AWstats

• ysserve.int-univ.com
• dbkun.int-univ.com
• sugp.int-univ.com

‚»‚Ì‘¼

• WWW-Dancing-Bee web antenna
• ƒZƒ~ƒi�[ƒ|�[ƒ^ƒ‹�isw-lab on XOOPS�j
• LMSƒ|�[ƒ^ƒ‹�i.CS on Moodle�j
• ƒCƒ“ƒ^�[ƒlƒbƒg‘åŠw‰@�iSUGSI�j