タグ

2007年10月13日のブックマーク (16件)

  • Model Theory (Stanford Encyclopedia of Philosophy)

    First published Sat Nov 10, 2001; substantive revision Fri Oct 16, 2020 Model theory began with the study of formal languages and their interpretations, and of the kinds of classification that a particular formal language can make. Mainstream model theory is now a sophisticated branch of mathematics (see the entry on first-order model theory). But in a broader sense, model theory is the study of t

    nosuke42
    nosuke42 2007/10/13
    最初だけ読んだ
  • http://blog.tyoppi.com/

  • Koji Nakatogawa's WWW Home Page

  • http://logic.let.hokudai.ac.jp/~koji/research/index.html

    nosuke42
    nosuke42 2007/10/13
    たいとるだけでわくわくする
  • 解説委員室ブログ:NHKブログ | 視点・論点 | 視点・論点 「江戸のデザイン」

    << 前の記事 | トップページ | 次の記事 >> 2007年10月12日 (金)視点・論点 「江戸のデザイン」 たばこと塩の博物館主任学芸員 谷田有史 「夏から秋へ」「秋から冬へ」と、季節の変わり目を前にして、とくに服装品を扱う店では、毎年、新しい柄・デザインの衣服をウィンドウに飾っています。 そして、その中から流行の品が生まれています。 では、江戸時代に流行したデザイン=意匠、それはいったいどのようなものだったのでしょう? 一口に江戸時代といいましても、その歴史は二百六十年以上にも及びますので、当然、デザインについても流行り廃りがありました。 その中には、今でも残っているもの、伝わっているものがあります。 今日は、江戸時代以来、今日(こんにち)も生き続けているデザインを見ながら、流行の背景について、考えて見たいと思います。 歌舞伎芝居や歌舞伎役者が、江戸の人びとに与えた文化

    nosuke42
    nosuke42 2007/10/13
    無体さんけいゆ
  • 科学哲学は可能か

    1.科学的方法論と哲学的方法論 書は、およそ認識論的なテーマを考察するためには、現代科学の最先端の業 績をもとにして議論を展開しなければならないとの問題意識に基づいて執筆され ている.従って、各章の論述は、多かれ少なかれ科学的成果を引用し、たとえそ の直接的な発展を企図するものではないにしても、議論を進める際の論拠として こうした科学的な知見を大いに活用してきた。しかし、論者の中には、科学と哲 学は質的に水と油の関係にあり、両者を調和させることは不可能であると主張 する者もあろう。強引に科学と哲学を結びつけようとすると、哲学の側では、科 学主義が内包する素朴実在論の桎梏に身動きがとれなくなり、また科学の側では、 科学的方法論に依拠しない直観に議論をかき乱されて有効性を損なう危険が存す る。こうした事情をもとに、そもそも「科学哲学」など学問として成立し得ない と見なされても、仕方あるまい

  • pha::home

    pha::home

  • fu-hou.com - 訃報 死因 おくやみ 死去 臨終 外村彰 量子力学 ドット リソースおよび情報

    This webpage was generated by the domain owner using Sedo Domain Parking. Disclaimer: Sedo maintains no relationship with third party advertisers. Reference to any specific service or trade mark is not controlled by Sedo nor does it constitute or imply its association, endorsement or recommendation.

    nosuke42
    nosuke42 2007/10/13
  • 京都オープンカフェ辞典を作りたいと思うのです。

    オープンカフェが好きで、もっと増えていってもらいたいと思うのです。 開放的な空間でお茶をするというのは実に心地よいではありませんか。 休日はオープンカフェにノートPCを持ち込み、勉強したり作業したりというのが僕の日常です。 しかし、日にはまだオープンカフェがそれほど多くない。 ヨーロッパの都市のように、広場に面してずらりとカフェが並んでくれるのが僕の夢なのです。鴨川に並べたらいいのに。川床が途切れるあたりから、カフェを並べてくれたらいいのにと思います。 とりあえずの所、京都の数少ないオープンカフェの場所を把握しておきたいと思っています。 僕が知っているのは、 ・出町柳ボンボンカフェ(通りではなくて川に面してる) ・丸太町大橋西側リュ・エルゴ(川に面してる) ・三条大橋スタバ(店頭に少し。夏は川床が作られる) ・烏丸三条スタバ(店の横に少し) ・御幸町三条のTully's(店の横に少し)

  • グリーンの定理 - Wikipedia

    グリーンの定理(グリーンのていり、英: Green's theorem)は、ベクトル解析の定理である[1][2] 。イギリスの物理学者ジョージ・グリーンが導出した。2つの異なる定理がそれぞれグリーンの定理と呼ばれる。詳細は以下に記す。 グリーンの定理(2次元)[編集] 2重積分と線積分との関係を表す数学公式である。これを3次元に拡張したものがストークスの定理であり、また一般化されたストークスの定理の特殊な場合(2次元空間内の1次微分形式と2次微分形式の関係式)とも考えられる。 公式[編集] 閉曲線 C で囲まれた領域 D を考える場合、C1 級関数 P(x, y), Q(x, y) について、以下が成り立つ。 すなわち、P(x, y), Q(x, y)のC上の線積分が、その外微分の領域D上の重積分に一致する。 定理の成立条件[編集] 領域と境界の条件 領域D としては、境界が区分的に滑らか

  • divについて [物理のかぎしっぽ]

    tip★ さんの書込 (2007/05/02(Wed) 17:57) 直交座標系でのdivEの計算 1,divE=dE(x)/dt+dE(y)/dt+dE(z)/dtを証明せよ. 2,極座標系でのdivEを求めよ. 自分は,一応1番の問題は自力で解けたのですが,2番目の問題が分かりません. 1番では?V=?x?y?zを作って,各辺からの湧き出しを計算したのですが,2番目はどのような微笑体積を作って湧き出しの計算をしたらいいのか,混乱してしまって分かりません. どのたか解説よろしくお願いします. toorisugari no Hiro さんのレス (2007/05/02(Wed) 18:40) 問題1.自体が意味不明なのですが.... 完全な問題( の正確な定義)を書いてください. 単に発散の極座標表示を求めよという問題でも,いろいろなやり方があり,しかも,長いので,tip★さんの予備知識を

    nosuke42
    nosuke42 2007/10/13
    かいせきてきな方法と非解析的な方法の議論に後半なっているっぽい
  • 確実に失敗する方法:Geekなぺーじ

    「10 Steps You Can Take To Guarantee Failure」という面白い記事がありました。 逆説的な表現がかなり笑えました。 以下に要約してみましたが、かなり削って意訳していますし、誤訳している可能性もあるので原文もご覧下さい。 1. 目標を曖昧にすべし 「もっと」や「ちょっと」という表現を多用した目標設定をしましょう。 例:「もっとお金が欲しい」「ちょっと体重を減らしたい」「何かの仕事をしたい」。 2. 目標を解りにくくすべし ゴールを曖昧にして、あれもこれも、あれでもいい、これでもいいとしとけば、何も達成できないようになれます。 3. 目標を後ろ向きに考えたり語ったりすべし 「できない」「難しすぎる」を多用して兎に角自分を蔑みましょう。 4. 途中経過をすっ飛ばして目標だけを考えるべし 地道にマイルストーンを積み重ねた目標を作ってしまうと失敗しにくくなるので

    nosuke42
    nosuke42 2007/10/13
    llllyonellllさんの秀逸なコメント経由.//現状に対してにやにやがとまらない.合格したら「僕を合格させた10の方法」として紹介しよう
  • 情報科学なんでもセミナー

    このドメインは お名前.com から取得されました。 お名前.com は GMOインターネットグループ(株) が運営する国内シェアNo.1のドメイン登録サービスです。 ※表示価格は、全て税込です。 ※サービス品質維持のため、一時的に対象となる料金へ一定割合の「サービス維持調整費」を加算させていただきます。 ※1 「国内シェア」は、ICANN(インターネットのドメイン名などの資源を管理する非営利団体)の公表数値をもとに集計。gTLDが集計の対象。 日のドメイン登録業者(レジストラ)(「ICANNがレジストラとして認定した企業」一覧(InterNIC提供)内に「Japan」の記載があるもの)を対象。 レジストラ「GMO Internet Group, Inc. d/b/a Onamae.com」のシェア値を集計。 2023年10月時点の調査。

    nosuke42
    nosuke42 2007/10/13
    こういうのなぁ
  • ブログちゃんねる:要するに、俺らはお姉ちゃんに叱られたいんだな

    1 :以下、名無しにかわりましてVIPがお送りします。 :2007/10/05(金) 09:58:43.75 ID:FdtsN/1W0 そのあとで甘えさせてもらいたいんだよ 12 :以下、名無しにかわりましてVIPがお送りします。 :2007/10/05(金) 10:04:07.82 ID:tf0GLIll0 >>1 よく分かってるじゃない 続きを読む

    nosuke42
    nosuke42 2007/10/13
    ←思いつきタグ,何だっけ?たぶん消す//すてきなお姉さん
  • 電話したら: 母のひとりごと

    nosuke42
    nosuke42 2007/10/13
    bskさん経由.子供はさっさとメッセージを読み取るのですね.効率悪い.
  • http://d.hatena.ne.jp/wonder88/20071010

    nosuke42
    nosuke42 2007/10/13
    わぉ//↓素敵ですね