サクサク読めて、アプリ限定の機能も多数!
型の型を型にすると、パラドックスを逃れられないから、だそうで。
kgbu のブックマーク 2008/09/09 22:52
ヒビルテ(2008-09-05)[型理論][haskell][programming-functional][logic][集合論][数学]型の型を型にすると、パラドックスを逃れられないから、だそうで。2008/09/09 22:52
このブックマークにはスターがありません。 最初のスターをつけてみよう!
www.tom.sfc.keio.ac.jp/~sakai2008/09/07
日々の流転 最近、携帯を変えました。MNPを使わなかったので番号が変わります。新しい番号は前の番号(090〜)から、電卓で1003227378をマイナスしたものです。また、メールアドレスはgmailのものを使っています。 ...
9 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
型の型を型にすると、パラドックスを逃れられないから、だそうで。
このブックマークにはスターがありません。
最初のスターをつけてみよう!
ヒビルテ(2008-09-05)
日々の流転 最近、携帯を変えました。MNPを使わなかったので番号が変わります。新しい番号は前の番号(090〜)から、電卓で1003227378をマイナスしたものです。また、メールアドレスはgmailのものを使っています。 ...
9 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /