[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[dennou-ruby:000604] new proto



Ä»°æĦ¥ÌĦ¥±

In message "[dennou-ruby:000592] Re: [dennou-cvs:59] proto2c/etc"
    on 00/11/17, Takeshi Horinouchi <horinout@xxxxxx> writes:
> IJ¥ÏÄ´¥·Ä¦¥ÒĦ¥¹Ä¦÷ò¡¢Å¸Äµ¥©Ä¦¥­Ä¦¥½Ä¦ãò¡¢¥ÛĦÃÖĦ¡¢Ä¦¥ËĦ¡«Ä¦¥±Ä£¡×Ħ¥ÏĦ¥§Ä£¡ÖIJ÷ò¥¢¤ÛĦ¥ïļ¥ÌÄÁ¥­Ä¦¥Û 
> proto2c Ä£¥Ï00:35ÄÌ¥ãĦ¥ÛĦãò¡¢¥ÛÄ£¥ÒĦ¥ÛĦ¥íĦ¥ïÄÃ¥¨Ä§¥Ìħãò¡¦¥éħùò¡¦¡¼Ä§ñò¡¦ßò¡¢¥ãĦ¥¹Ä¦÷ò¡¢ñò¡¢¥­Ä¦¥ÃÄÈ¡¼Ä¦¥Ã
> Ħ¥¦Ä¦¥ÍĦ³ÎÄÉ¥¡Ä¦¥­Ä¦¡«Ä¦¥­Ä¦¥½Ä¦¥ãÄ£¡Ödemo/rakuraku/uxyz/uxyz5.rb Ħ¥¿Ä¦¥¢Ä¦¥ÞÄ´ïò¥Õ¥ÕĦ¥ãÄÐ¥¥
> Ħ¥ÁÄÀéò¡¢¥ãĦ¥ÆĦ¥½Äºéò¡¢¥Ò Segmentation fault Ħ¥ãÄ¿¥ßĦ¡«Ä¦¥­Ä¦¥½Ä£¡×Ä»°æĦ¥ªÄ¦¤Îľóò¥¯¥ªÄ¦¥ÛÄÈ¥¢
> ħ¥éħùò¡¦¡¼Ä§ñò¡¦ßò¡¢¥ÌĦ¥Þħ¥£Ä§ñò¡£¥·Ä¦¥ÞÄ¿¥ßĦ¡«Ä¦¥µÄ¦¤«Ä£¥¥ Ħ¥¿Ä¦¥ÍĦ¥±Ä¦÷ò¡¢¥ßļ¡×Ä´¤Îļûò¥«¥ÍĦ¥ÌÄ´¥½Ä¦¥©Ä¦¡«
> Ħ¥³Ä¦¡¢Ä¦¥¦Ä¦¥ÍĦ¤·Ä¦¥½Ä´¥ÈÄÉ¥¹ÄÂ¥åĦ¥ãÄ»ãò¡¢¡¢Ä¦¥ÛĦ¥ÌÄÆ¥¨Ä¦¥ëĦ¥ËĦ¡¬Ä¦¡«Ä¦¥±Ä£¡×
uxyz5.rb Ħ¥ãÄÈ¡¼Ä¦¥©Ä¦¥ÏĦ¡¢Ä¦¥ÛĦ¥ÞÄ£¡ÖĦãò¡¢¥ÍĦãò¡¢¥Í f2c Ħ¥Ìļûò¡¢óò¥±¤óĦ¥ÌĦ¡¢Ä¦¥½Ä§¥ßħ¡¼Ä¦¥Ì
Ħ¥­Ä¦¥½Ä£¡×Ħ¥±Ä¦¡¬Ä¦¡«Ä¦¥µÄ¦¡£ÄÂïò¥Ècommit Ħ¥­Ä¦¥½Ä¦ãò¡¢¥ÛĦ¥ÌĦ¥ÞIJ÷ò¥¢Æ°Ä¦¥åĦ¡«Ä¦¥­Ä¦¥½Ä£¡×
bitpci Ħãò¥³ýò¥¹¤·Ä¦¥ÍĦ¥åĦ¡«Ä¦¥­Ä¦¥½Ä£¡×

ÄÁ¥­Ä¦¥­Ä¦¡¢ *.fp ħ¥æħ¡£Ä§¡¢Ä§õò¡¢¥©Ä¦ñò¥³ûò¡¢¥ÆĦ¥½ Ruby/DCL + CDCL-5.1 Ħ¥ÛÄÈ¡¼Ä¼ûò¡¢¥Þ
odrqvl Ħ¥ÛÄÎ¥»ÄÀ¥ÛIJåò¡¢¡¢Ä¦½¤ÄÂ¥ªÄ¦¥­Ä¦¥Ë CDCL ĦºîĦóò¥È¥»Ä¦¥±Ä¦¥ÍÄ£¡Ögokuraku + 
rakuraku Ħ¥ÛÄÊ¥ÞIJ¥ÞĦ¥ÌĦ¥Þ OK Ħ¥ÛĦïò¡¢¥òĦ¥ÌĦ¥±Ä£¡×
Ħ¥½Ä¦¥¿Ä£¡ÖĽçò¡¢¥ÛĶ¥Èĸ¥åĦ¥ÌĦ¥Þħ¥©Ä§ñò¡£¥·Ä¦¥ãĦ¥òĦ¡«Ä¦¥ÃÄ¿¥ßĦ¥ÏĦ¡¢Ä¦¥ÛĦ¥ÌÄ£¡Örakuraku/color
Ħ¥ÞĦ¥ÁĦåò¡¢¤Èĵ¥ÛÄÉ¥¡Ä¦¥ÌĦ¥åĦ¡«Ä¦¥µÄ¦¤ÇĦ¥­Ä¦¥½Ä£¡×
Ħ¡ÖĦ¥ÍĦ¥ÞÄ£¡Ö*.fp Ħ¥Ò ID ÄǤòĦ¡¢Ä¦÷ò¡¢¥ËĦ¥©Ä¦commit Ħ¥­Ä¦¡«Ä¦¥±Ä£¡×


Ħ¥¨Ä¦¥ÍĦ¥¢Ä¦¤µÄ¦¡§
prototype.rb Ħ¥ÒÄÀéò¡¢¥Ûħ¥ßħ¡¼Ä¦¥ãĦ¡ÖĦ¥ÆĦ¥Ë commit Ħ¥­Ä¦¥ÁĦåò¡¢¡¢Ä¦¡«Ä¦¥­Ä¦¥½Ä£¡×Ħ¥±Ä¦¡¬
Ħ¡«Ä¦¥µÄ¦¤¬Ä£¡Öħ¡«Ä£¥·Ä§¥¯Ä¦ïò¡¢ùò¡¢¥­Ä¦¥ÃĦ¥§Ä¶óò¡¢¡¢Ä¦¥­Ä¦¡«Ä¦¥±Ä£¡×
Ħ¥¹Ä¦÷ò¡¢¥©Ä¦ñò¡£¡Öodrqvl Ħ¥ÛĹýò¡¢¥ÌĦ¥±Ä¦¥ãÄ£¡Öħëò¡£¥·Ä§¥«Ä¦¥ªÄ¦¤ËĦ¥ÎĦ¥òĦçò¡¢¥ÆĦ¥ËÄ´ÈòĦ¥ªÄ¦¥µ
Ħ¡«Ä¦¥­Ä¦íò¡¢¥òÄ£¥¥Ä¦¥¦Ä¦¥ÛÄ¿¡¢ÄÂ¥ªÄ¦µÛľ¤·Ä¦¥½ CDCL-5.2 Ħ¥ãÄ¿¥ßĦõò¡¢¡«Ä¦¥Ì math2/
odelibĦ¥Ûħñò¡¦¥Æħ¥éĦ¤ªÄ¦¡¢Ä¦¥ÍĦ¥åĦ¡«Ä¦¥­Ä¦íò¡¢¥òĦ¥©Ä£¥¥
Ħ¡ÖĦ¥ÍÄ£¡Örequire Ħ¥Í include ÄÌ¥¯Ä¦½¤ÄÂ¥ªÄ¦¥­Ä¦¥½ demo ħ¥±Ä§¥Ãħóò¡¦¥éħ¥ÍĦãò¡¢¥¹Ä¦Ä¦¥¹Ä¦ùò¥³ûò¡¢óò¡¢¡«Ä¦¥±Ä£¡×(Ħ¥±Ä¦¡¬Ä¦¡«Ä¦¥µÄ¦¡¢ÄÅ¥ëĦ¥ÃĦ¥ÏĦ¥ÆĦ¥ËÄ£¡×)Ħ¥ÌĦ¥åĦ¡ÖĦ¥ãĦ¥ÆĦ¥½Ä¦ñò¡£¡Ö
proto2c/demo2 Ħ¥ÍĦ¥©Ä¼ûò¡¢¥ÆĦ¥ËĦ¡¢Ä¦÷ò¡¢¥ÍĦ¥¢Ä¦¥ßĦ¡¢Ä¦¡¢Ä¦¥ÌĦ¥±Ä¦¥©Ä£¥¥
# Ħ¥ÍÄ£¡ÖĦ¡«Ä¦¥½Ä¾¥ÁÄÎçò¡¢¥ßĦ¥©Ä¦óò¡¢¥ÌĦ¥±Ä£¥ÈÄ£¡×


Ä»°æ Ĺ¥·Ä½¥á