19/05/04 18:32:15.49 lb4uLm/H.net
>>597
「萌えから、リーマン予想まで。」なので、自動定理証明は勿論押さえようと思って
います、が、現実的にはかなり難しい問題なので、どうして「Ｔ」を使うのか？と
聞かれたら、Ｐ２Ｐだから、と答えます。足し算とかから定義していかないといけない
と思ってます。僕が作ってもいいですが。それはこのスレで議論して決めます。まだ
他にもいろんな問題があるので。それで「1+1=0+2を証明せよ。」みたいな問題を
解いていきたいと思っています。萌えに関しては、
c(i($1->$2),m(c(i($$3$1$$4),o($2))))
数学->難しい
令和->私は天皇崇拝です。
などと書くと、
陽子：こんにちは＾＾
あなた：今、数学やってる。
陽子：難しい
あなた：そういえば、令和になったね。
陽子：私は天皇崇拝です。
などと動きます。もう一度書きますが、Ｐ２Ｐなんですよ。Winnyのようにノードが
すでにいっぱいあればいいんですけどね。だから、地道に協力者をここで募っています。
人数が１０人くらいになってきたら、僕が自宅サーバーで皆さんのノードへの接続
情報を公開とか考えるので。うん？僕を経由しなくても裏切って自分のサーバーを
中心にしてもいいですよ。でも、バグなどがあったら僕が出ないといけないですね。