• 鷹高 幽玄@yugen_takadaka

    プログラムは高々有限の手続きで終了するとは限らない。だが、プログラムは高々可算の手続きから成っている。