rmp3sの家の前

1年くらいで消えていく言葉の鉢植えたち

about

・rmp3s - 読書メーター

ゲーデル

incompleteness theoremを証明した彼が、無矛盾性の証明にいちばん関心をもっている。構成的という興味のある概念を提出して、すべての集合が構成的であるという公理がいろいろすばらしい結果を生むことを証明した彼が構成的でない集合の存在を信じている (…

AGI 人工意識

AGIとか人工意識って単語を昨日初めて知ったんだけどAI全般と話がごっちゃにならなくていい単語ですね このあたり読んだりしてます 人工意識 - Wikipedia 汎用人工知能(Artificial General Intelligence, AGI) を作るための理論と技術 http://qiita.com/adve…

高校数学受験用の書籍

MCUすげえ(仮題)

(ここに本文。なにがどうすごいのか説得力のある簡潔な美文で表記) イーロン・マスクの動画みてたらキャラが面白くて釘付けになった。 www.ted.com トニー・スタークっぽくねって話で盛り上がったんだけどそしたらキャプテン・アメリカは誰になるんだろ。…

泥は土に還るか川に流される

ツイッターのツイートって時限的に消えてくれたらいいのになと思う。情報の川辺で、かなりライトな言葉のどろんこ遊びをしているわけで、遊んだあとの泥たちはせいぜい月単位では形が風化して土に還るのが自然だと思う qiita.com これが使えるかもと教わった…

定理証明支援系

定理証明支援系というものがあるらしい 証明プログラミング超入門 from Kyoko Kadowaki www.slideshare.net 定理証明支援系Coqについて from Yoshihiro Mizoguchi www.slideshare.net あとCoq を始めようとか