2002/11/22 (金) 12:57:50
◆
▼
◇
[mirai]
1階述語論理ってなんじゃらほい？