アカウント名:
パスワード:
Wikipediaに「証明に用いた新たな手法(宇宙際タイヒミュラー理論)」なんてものが書かれてるんだけど、なんか厨二心をくすぐられるな、これ。
集合論やら圏論やらから(いずれも数学の基礎理論)、関数型プログラミングやオブジェクト指向やジェネリックのような型理論の概念が登場したので、新手の概念が登場するかもしれないとかいう話を聞いた。宇宙際ってのは新手の数学の基礎理論らしい、見たけどよーわからんかったw関数型とオブジェクト指向を美しく結合する言語とかできたら見てみたいけど、そういうものなのかもよくわからんですが。
宇宙って言うのはグロタンディーク宇宙とかフォンノイマン宇宙とかそういうやつかな、と想像するぐらいだよね
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
未知のハックに一心不乱に取り組んだ結果、私は自然の法則を変えてしまった -- あるハッカー
すごい手法名 (スコア:0)
Wikipediaに「証明に用いた新たな手法(宇宙際タイヒミュラー理論)」なんてものが書かれてるんだけど、なんか厨二心をくすぐられるな、これ。
Re:すごい手法名 (スコア:0)
集合論やら圏論やらから(いずれも数学の基礎理論)、関数型プログラミングやオブジェクト指向やジェネリックのような型理論の概念が登場したので、新手の概念が登場するかもしれないとかいう話を聞いた。
宇宙際ってのは新手の数学の基礎理論らしい、見たけどよーわからんかったw
関数型とオブジェクト指向を美しく結合する言語とかできたら見てみたいけど、そういうものなのかもよくわからんですが。
Re: (スコア:0)
宇宙って言うのはグロタンディーク宇宙とかフォンノイマン宇宙とかそういうやつかな、と想像するぐらいだよね