- 738 名前：709 mailto:sage [2012/09/18(火) 23:11:01.34 ]
- ∀∃
と
∃∀
くらいまでなら日本語による書き下しで処理できたかもしれませんが、
∀∃∀
になると、いったん言語化するステップを踏むのはなかなか大変。
>>734
>wikiで勉強してるんですか？
高木解析を中心に蛾のようにぐるぐる回りながら楽しんでいます、年寄り（といっても30代）の趣味として。本業はコンピュータ屋さん。
代数、といわれて思いつくのは教養課程の線形代数くらいしかないのですが、いろいろと広い世界が待っているのですね。
いろいろなキーワードを教えていただきありがとうございました。
