Home ƒZƒ~ƒi�[ ’k˜b‰ï �W’†�u‹` Œ¤‹†�W‰ï Œ¤‹†ŽÒ�Ð‰î ƒAƒNƒZƒX ƒLƒƒƒ“ƒpƒX

�@ ƒZƒ~ƒi�[�î•ñ


�@�¡�T‚̃Zƒ~ƒi�[
�@—ˆ�TˆÈ�~‚̃Zƒ~ƒi�[
�@‰ß‹Ž‚Ì‹L˜^
�@2010”N“x‚Ì‹L˜^

�@ 2010”N�@5ŒŽ3“ú�iŒŽ�j�`5ŒŽ7“ú�i‹à�j



  • 5ŒŽ3“ú�iŒŽ�j�@
    �®�”˜_ƒZƒ~ƒi�[(�‡“¯“�801)
    ‹x‚Ý�iŒ›–@‹L”O“ú�j

  • 5ŒŽ6“ú(–Ø)
    ‰ž—p�”ŠwƒZƒ~ƒi�[�@
    ‹x‚Ý

  • 5ŒŽ7“ú(‹à)
    13:30--
    ‘ã�”Šô‰½ŠwƒZƒ~ƒi�[ (�”Šw“�208)�@
    �¬“c�@’‰—Y Ž��i“Œ–k‘å–¼—_‹³Žö�j
    Finite graphs, crystal lattices and convex tilings

    15:30--16:30 ƒ�ƒWƒbƒNƒZƒ~ƒi�[�@(�‡“¯“�1201)
    –x”¨ ‰À�G Ž� (“Œ–k‘åŠw‘åŠw‰@—�ŠwŒ¤‹†‰È)
    Weak theories of concatenation and undecidability

    16:00--17:30 CRESTƒZƒ~ƒi�[�@(�î•ñ‰ÈŠwŒ¤‹†“�3ŠK�¬‰ï‹cŽº)
    �™•ô�@�L–¾ Ž��i“Œ–k‘åŠw‘åŠw‰@—�ŠwŒ¤‹†‰È�j
    ‹«ŠE‚ɋ쓮—Í‚ðŽ�‚”r‘¼‰ß’ö‚Ì—¬‘Ì—ÍŠw‹ÉŒÀ‚Æ‘å•Î�·Œ´—�‚Ì�ЉîII



“Œ–k‘åŠw�@�@/�@�@—�Šw•”�E—�ŠwŒ¤‹†‰È�@�@/�@�@�î•ñ‰ÈŠwŒ¤‹†‰È�@�@/�@�@�”Šw�ê�UŒ¤‹†Ž‘—¿Žº�@�@/�@�@‚¨–â�‡‚¹