数学についてのwebノート トップページ
算術 論理 / 集合 集合と数のあいだ [順序集合/代数系] / 数 解析学 ― 位相・距離、関数 ― 極限 [数列点列/関数]/連続 ― 微分 [ 1変数関数の微分 / 2変数関数の微分 / 多変数関数の微分 / 1変数ベクトル値関数の微分 / 多変数ベクトル値関数の微分 ] ― 積分 線形代数 索引 / 更新履歴 / 文献 算術上の知識 階乗/順列/組み合せ/二項定理/多項定理 Σの定義 Σの計算公式 ： Σの結合則/ Σの分配則/ よく使われるΣの値の公式 二重和ΣΣの計算公式 Σの行列表現： 和の行列表現/ 平均の行列表現/ 2重和の行列表現 二次形式の行列表現/ 積和の行列表現/ 双一次形式の行列表現/ 偏差2乗和の行列表現/ 偏差積和の行列表現 累乗と指数法則 ： べき・累乗の定義(自然数指数)/べき・累乗の定義(整数指数)/べき・累乗の定義(有理数指数)/べき・累乗の定義
論理記号
論理記号：トピック一覧 ～ 数学についてのwebノート 【命題論理】 否定(ない)を表す論理記号￢～ / 選言･論理和(または)を表す論理記号∨ / 「または」の否定￢(∨) 連言･論理積(かつ)を表す論理記号∧ / 「かつ」の否定￢(∧) 「ならば」を表す論理記号 / ￢(⇒) / 同値を表す論理記号⇔ 【述語論理】 全称記号･量化子∀(任意の) / 存在記号･量化子∃(ある～) / ￢∀と∃￢ / ￢∃と∀￢ / ∀(∧) / ∃(∨) ∀∀の入替 / ∃∃の入替 / ∃と∀の入替 →論理関連ページ ： 恒真命題・恒偽命題 / 論理法則－同値 / 論理法則－含意 / 同値変形 →集合論の記号 ： ∈/φ/Ω,U/⊂/=/∪/∩/+/－/△/c/(a,b)/{a,b}/A×B →総目次 /
YUREXをWindows 7のセンサーに大改造だっ！ (1/8)
昨年末、突如として「定価の92％引き」が発表された、世界初のビンボーゆすり計測器「YUREX」（ユレックス）。ウルトラシュールなこのガジェットを単なるビンボーゆすりカウンターとして使うだけではもったいなすぎる！ ということで、話題のWindows 7やSilverlightを使った“開発者的楽しみ方”をカヤックの本間哲平さんがこってり伝授しちゃいます！ （編集部） みなさん、Windows 7使ってますか？ 僕は手持ちのマシン5台中3台をWindows 7にしました。きれいにまとまるタスクバーが、ついついウィンドウをたくさん開いてしまう派の僕にはありがたいですね。 ところでWindows 7から搭載された新機能に「Windows Sensor and Location プラットフォーム」というのがありますが、知っていますか？ 簡単に言うと、「センサーを簡単に扱える共通基盤をOSが用意してく
ベテルギウスの最期：超新星の兆候とその威力 - Active Galactic : 11次元と自然科学と拷問的日常
最近、オリオン座のベテルギウスに関して"刺激的な"タイトルのニュースが流れた。オリオン座は覚えやすく都会でも楽しめる手軽な星座だ。そのオリオンが肩を壊すかもしれないとなれば書かざるを得ない。 重い星の死 天蓋にぶら下がる星々は永遠の存在ではなく、だいたい数百万年から数兆年の寿命で移ろいゆく。ヒトの死が多様であるように、星の死にもまた個性がある。それは体重や組成、相方の有無などによって決まり、静かに冷たくなることもあれば、木っ端微塵に吹き飛ぶこともある。ベテルギウスのような重い星は、超新星と呼ばれる大爆発によって焼死する。爆発の閃光はひとつの銀河に匹敵するほどであり、ベテルギウスのような至近爆発ともなればどのような状況が生じるのか興味は尽きない。そして、爆発はどのくらい差し迫っているのだろう。 どのような超新星を起こすのか ベテルギウスは水素をたっぷり含んだ赤色超巨星なので、もし今爆発するな
Smalltalk基礎文法最速マスター（Squeak版） - Smalltalkのtは小文字です
はてな的プログラミング言語人気ランキング - Life like a clown 流行りには乗っておくのが吉…と思いつつ、なかなか書き進められないので、とりあえず、クラスやメソッド定義より前のごく基礎的な部分について。思いついたときに断わりなく追記・修正することがありますので、どうぞあしからず。（さっそくですが、タイトルを他の言語のものにあわせて変更しました） ■基本的な考え方 Smalltalk では「オブジェクトに対してメッセージを送る」という考え方のみでコードを書きます。「メッセージ式」と呼ばれる式のみを用います。 ▼メッセージ式 メッセージ式の基本文法です。 receiver message ▼カスケード 式の終わりにセミコロン「;」を置くと、直前のメッセージのレシーバーに対して、続くメッセージを畳みかけるようにして送ることができます。これを「カスケード」と呼びます。 receiv
ライフハッカーお勧めの多機能ブックマークレットQuixを試したら本当に便利だった
ライフハッカーで紹介されていた 高機能なブックマークレットの Quixを試したら本当に便利でした のでご紹介します。使いこなせば かなりブラウジングやWeb制作 の助けになりそうです。 Quixの使い方はいたって簡単で、指定されているコマンドを入力するだけ。以下のようにブックマークレットを使って出るテキスト欄にコマンドを入力します。 短いコマンドを入力するだけでGoogleの様々なサービスや、Web制作に役立つFirebugやxray、Twitterやtumblrにポストする事も可能。 コマンドの数はかなり多いので個人的にお勧めのコマンドを抜粋します。 Quixにはおよそ90ものコマンドが用意されており、ブックマークレットを使って出るテキストエリアにそのコマンドを入れるだけで使えます。検索関連機能は全て「コマンド キーワード」が使えます。 使い方使い方はかなり単純。ブックマークレットを使う
ヒューリスティックにキーワードを決めてググるVimperatorプラグイン - hitode909の日記
見ているページのよく分からない言葉で検索したい，ということがよくある． よく分からない言葉を自分で打ちなおすのは疲れるし，マウスで選択するのもめんどくさいので，自動的に抽出したキーワードを提示して，そこから選ぶだけで済む，というVimperatorプラグインを作った． なにかページを見ていて，:heuristicsearchすると，ページ内のキーワードが自動的に出て，そこからいろいろ選んで，検索できる． 動画を撮って下にアップロードした． 2010-02-14_1507 - hitode909's library 仕組み まず，extract-content-javascriptを使って，いま見ているページの本文を抽出する． 次に，抽出した本文をYahooのキーフレーズ抽出APIに渡して，キーワードと，そのスコアを取得する． これで取得したキーワードとスコアを検索キーワードの候補として出し
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
