アカウント名:
パスワード:
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
日々是ハック也 -- あるハードコアバイナリアン
昔は定理証明とか・・・ (スコア:2, 参考になる)
結局実用的でないという事でみな衰退していった様な感じですが、Javaのassert節にその残滓を感じる事もあります。
なんか最近のコンピュータサイエンスというのはなーんかこういう「純」なアプローチが減って、工学的(実用的)な事ばっかりしているような気がするのは私だけ?
-----------------
#そんなワタシはOS/2ユーザー:-)
Re:昔は定理証明とか・・・ (スコア:1)
|AGなんか好きだったなぁ。これの流れを汲ん
|だRieとか今どうなっているんだろう・・・)
RieはAGの流れを汲んでないですね。
まつもと ゆきひろ /;|)