タグ

finalventに関するkururu_goedelのブックマーク (4)

  • これから料理をしようと思っている怠惰な人へ - finalventの日記

    inspired by料理のススメ:これから料理をしようと思っているひとへ - Money does not hurt your heart 設備 大きな冷蔵庫。 洗いやすい器。 奮発できたらシーガル4。水がアウトだと料理にならない。 道具 包丁は中華包丁と小型の包丁の2あるとよいです。中華包丁があると野菜がさくさく切れます。肉も切れるし、万能。小型のはなにかと小さいのを切るとか。 まな板はプラスチック薄っぺらいのが売っていてあれが便利です。鍋に具を入れられる。場所とらないし。こんなやつ、「 京セラ カラーまな板 イエロー CC-99YL: ホーム&キッチン」 ピーラーは必須。100円ショップのでおk。 中華鍋はなくても可。テフロン鍋でいい。「 大好きな炒めもの(ウー ウェン)」を読むとよいと思う。みなさん、中華鍋信仰もちすぎ 圧力鍋は不要。これは一種の面白グッヅ。 片手鍋もなくてもい

    これから料理をしようと思っている怠惰な人へ - finalventの日記
  • 微弱に釣られる - finalventの日記

    数学に関する質問です。なぜ一度正しいと証明された定理が覆されることがないのか? ということが理解できません。 「あらゆる科学理論は質的には仮説であって真理ではあ.. - 人力検索はてな 回答はけっこうこれで十分じゃないかな。 弾さんはれいによって、洒落なのかめちゃくちゃなこと言っているっぽいけど。 ⇒404 Blog Not Found:数学と科学の違い もうちょっと釣られると。 学問の対象と方法論の問題。 自然が対象化ということでもあるんだけど。 宇宙=自然の重力が非常に難しい⇒統一理論ができない、というのみたいな。 で、数学の対象なのだが。 数学は基的に公理系におけるトートロジーでかなりFAなんだが。 数学でも自然数論は自然を対象としているわけで、そこれでは反証可能な命題は出しうるかな。たとえば、πのなかには「9が20個連続する部分が存在する」という仮説は、反証可能に近い。 ただ

    微弱に釣られる - finalventの日記
    kururu_goedel
    kururu_goedel 2008/05/18
    哲学的視点からの話なら私が理解できないのは当然ですね。「自然数論は自然を対象にしている」はダウト。
  • 自然数と実数 - finalventの日記

    自然数と実数は自然的な型ではないか?とか昨日から今日にかけていろいろ考えていた。ふとカントールが何を考えていたのかわかったように思えた。 実数というのはその名に反して存在しない、というと言い過ぎだが、ある方法論的な意識によって現れる連続・無限の別名だ。アレフ0とアレフ1はカーディナルの差異ではあるだろうが、すべてはアレフ0から成り立っている……たぶん。 コンピュータ・サイエンスでは、singleやdoubleとかいうが、そういう型は自然的には存在しない。 では、stringは型か? 3と"3"は違うのではないか。というか、それは何だか別の問題のように思える。 コンピュータ・サイエンスでは、classやtypeで、typeはclassだし、まあ、マルクスやヴェーバーも基的には似たように考えている。 ただ、ことが人になると、人というクラスからは人のインスタンスはできない。少なくとも社会活動・

    自然数と実数 - finalventの日記
    kururu_goedel
    kururu_goedel 2006/11/02
    全てはアレフ0から成り立っている、みたいなことを全て前提にしたうえで形式主義は成り立っているわけで。それをいまさら書かれても。カントールやゲーデルが何を考えていたかは私も知りたいですが。
  • コーディングというのは職人技なので - finalventの日記

    なにかと職人技。 馴染みの寿司屋が包丁を研ぐのがうまいのと同じ。 だが、と。 ⇒無精で短気で傲慢なプログラマ | これ、読みやすいの? わたしが CGI.pm 嫌いなので、こういうソースを見慣れていないだけ? ここにこっそり共感。 PHPもそうだが、モジュールが前提になり、言語全体がOOPに変化しているのを、どう受け取っていいのか、私みたいに古い人間はよくわからないことがある。 もちろん、車輪を再発明するなよではある。 JavaScript、ECMA Script、AS3なんかの関係でもそう。特に、クラス。 javaScriptほど誤解された言語はないというけど、しかし、LiveScriptから見ていた古い人間にしてみるというのはある。(っていうか、極論するとECMA Scriptは間違いとか言えそう。) それをいうなら、XHTML2.0もそうだ。これでいいのか? もちろん、技術的にはいい

    コーディングというのは職人技なので - finalventの日記
    kururu_goedel
    kururu_goedel 2006/04/24
    時間があれば数学ねたにツッコミたいところ
  • 1