だるろぐ

明日できることは、今日しない。

2013-01-05から1日間の記事一覧

WebMatrix 2:お正月なのでいつもは書かないことを徒然なるままに

@{ var hello = "Hello!"; } <html lang="ja"> <head> <meta charset="utf-8" /> <title>マイ サイトのタイトル</title> <link href="~/favicon.ico" rel="shortcut icon" type="image/x-icon" /> </head> <body> <p>@hello World!</p> </body> </html> これの結果は、当然“Hello! World!”ですね。さて、Razor 構文で変数を埋め込んだ <p>@hello …</p>

述語論理

すべての、任意の 全称記号(ぜんしょうきごう、universal quantifier)とは、数理論理学において「全ての」(全称量化)を表す記号である。通常「∀」と表記され、全称量化子(ぜんしょうりょうかし)、全称限量子(ぜんしょうげんりょうし)、全称限定子(…