「公理」に関連した動画の一覧

	なぜ0で割ってはいけないのか？ リンゴの分配から体の公理までpart1  niconicoから輸入。title is [why you must not devide number by zero?] 秀逸数学動画。 www.nicovideo.jp なんとなく作ってみた数学動画．やめときゃよかった．BGMはシェンムー第一章についてたShenmue Jukeboxより．(10/20 23:49ごろ追記)コメントにもあるように体の公理(8)に0でない，というのが必要でした．見落としてました．ありがとうございます．(10/21 21：40ごろ追記)ランキング25位とかなっててびっくりしました．今なお冷めやらぬシェンムーに対する皆さんの熱意を感じました．暖かいコメントの数々ありがとうございます．Keynoteの試用期間がまだ残ってるので，もう1つくらい何か作ってみようかと思ってしまいました．考えておきます． 2943はゴルベーザです．あとたゆみかわいいよたゆみ．(10/22 21:30ごろ追記)コメントはちょくちょく読ませていただいております．モリミー好きです．海星好きです． 2008年06月08日再生回数 8015
	なぜ0で割ってはいけないのか？ リンゴの分配から体の公理までpart2  www.nicovideo.jp ニコニコから輸入。 定義うんぬんの考え方は好きですし、 文系でもおもしろいと思いますよ。 以下抜粋なんとなく作ってみた数学動画．やめときゃよかった．BGMはシェンムー第一章についてたShenmue Jukeboxより．(10/20 23:49ごろ追記)コメントにもあるように体の公理(8)に0でない，というのが必要でした．見落としてました．ありがとうございます．(10/21 21：40ごろ追記)ランキング25位とかなっててびっくりしました．今なお冷めやらぬシェンムーに対する皆さんの熱意を感じました．暖かいコメントの数々ありがとうございます．Keynoteの試用期間がまだ残ってるので，もう1つくらい何か作ってみようかと思ってしまいました．考えておきます． 2943はゴルベーザです．あとたゆみかわいいよたゆみ．(10/22 21:30ごろ追記)コメントはちょくちょく読ませていただいております．モリミー好きです．海星好きです． 2008年06月08日再生回数 4629
	公理的意味論を使ってプログラムの正しさを証明する (Part 1)  公理的意味論 (axiomatic semantics) を使って、プログラムが正しく動くことを証明しようとするこころみ。 公理的意味論では、まず手続き型プログラムの仕様を数学的な命題として記述する。つぎに、コード中の各部分が正しいふるまいをすることを示し、それによってプログラム全体が仕様を満たしていることを示す。 公理的意味論において重要なのは「不変式 (invariant)」の考え方である。この動画では、関数 mypow を例に、不変式の基本的なアイデアについて説明する。 2010年12月29日再生回数 980
	公理的意味論を使ってプログラムの正しさを証明する (Part 2)  公理的意味論 (axiomatic semantics) を使って、プログラムが正しく動くことを証明しようとするこころみ。 公理的意味論では、まず手続き型プログラムの仕様を数学的な命題として記述する。つぎに、コード中の各部分が正しいふるまいをすることを示し、それによってプログラム全体が仕様を満たしていることを示す。 公理的意味論において重要なのは「不変式 (invariant)」の考え方である。この動画では、関数 mypow を例に、不変式の基本的なアイデアについて説明する。 2010年12月29日再生回数 359
	公理的意味論を使ってプログラムの正しさを証明する (Part 3)  公理的意味論の2回目。二分探索について。 2011年01月09日再生回数 200
	公理的意味論を使ってプログラムの正しさを証明する (Part 4)  公理的意味論の2回目。二分探索について。 2011年01月09日再生回数 178
	公理from CO→MA  世界各国を旅するDANCER。JAMAICAでも数々の伝説を残してきた、JAPANESE DANCER。独自の世界観を持ち、数々のジャンルのDANCEを混ぜ込んだDANCE STYLEは圧巻!!!!日本のREGGAE DANCERのシーンでも伝説とまで言われるCO→MA!!!! 2010年06月05日再生回数 561
	公理的意味論を使ってプログラムの正しさを証明する (Part 5)  公理的意味論の2回目。二分探索について。 2011年01月09日再生回数 138
	公理的意味論を使ってプログラムの正しさを証明する (Part 6)  公理的意味論の3回目。Pythonのbisectモジュールについて。 2011年01月11日再生回数 241
	野球・素振り(10/05/08)バットスイング公理(?)。  ※大幅拡張版↓ www.youtube.com 最近なんとなく「結局どのタイプのスイングでもこういうことなのかな？」と感じるところがあったので、とりあえず世に出してみる。 まあ、慣れてくれば動画の説明みたいにデジタルじゃなく、アナログにパパッとやるようになるんだけど。 ※「バットを持ち上げる」⇒「バットヘッドを持ち上げる」あるいは「バットを立てる」の意に脳内変換願いますorz ※新版↓ www.youtube.com kibirate.at.webry.info 2010年05月08日再生回数 1651