「計算機科学」に関連した動画の一覧

	長門有希の科学解説III（計算機科学？）.flv  勝手に転載。 科学解説I（宇宙論やら量子論やら）、科学解説II（カオスやら不完全性定理やら）の続編です。内容がどんどんわかりにくくなっていってます・・・ 2011年01月11日再生回数 581
	【ブロリー】とある科学者の超計算機(カルキュレータ) 前中後編 1  作者≠うｐ主。問題あれば消すと思っているブロリーです。続き終編→sm16871176 字幕付けた方がいいでしょうか...? 2012年02月06日再生回数 2906
	【ブロリー】とある科学者の超計算機カルキュレータ 終編 再うp  2012年05月20日再生回数 99
	科学遺産 - 大阪大学真空管計算機 -  サイエンスニュースネットワーク 第30回より"科学遺産 大阪大学真空管計算機" このコーナーでは、科学技術大国日本を作り上げた、黎明期の装置や研究所などを紹介します。 ■ 協力 NPO法人 知的人材ネットワークあいんしゅたいんjein.jp ■ 制作･著作 株式会社XOOMS(ズームス) xooms.co.jp 2010年08月04日再生回数 176
	世界最速の専用計算機MDGRAPE-3とタンパク質のシミュレーション  【一般】「2006年度（独）理化学研究所 科学講演会」コンピュータ科学が導く ひと、モノ、環境の未来像。 演者：泰地真弘人（理研ゲノム科学総合研究センター システム情報生物学研究グループ 高速分子シミュレーション研究チームリーダー） 理研では、このたび1ペタフロップス=1秒間に1000兆回計算できる速さをもつ計算機「MDGRAPE-3」の開発に成功しました。この計算機はタンパク質など生き物の中にある分子の性質を調べたり、新しい薬やタンパク質を設計したりするために使う計算「分子シミュレーション」専用に作った計算機です。用途を絞って特別な設計をすることで、「手作り」の計算機で世界最高の性能を達成することができました。講演ではこの計算機の開発について、また今進めている生命科学への応用を中心に紹介します。さらに、そもそもなぜ計算するのか・自然と計算/計算機の関係・未来の計算機と計算科学への夢についてお話したいと思います。 2010年03月19日再生回数 1215
	2011.10.23 科学教室＠科学技術館 5Fワークス【HD】  でんじろう先生が監修されている子供向けの実験教室。こういう授業ってホント楽しい！チビッコたちも大喜び^^ 科学技術館 5Fワークスにてwww.jsf.or.jp 撮影:CASIO EXILIM EX-TR100 casio.jp 2011年10月24日再生回数 97
	北海道大学 大学院生命科学院 研究施設・設備紹介 第４回  この動画では、北海道大学 大学院生命科学院 生命融合科学コースの研究室が所有する、最先端の研究施設・設備をシリーズでご紹介します。 シリーズ第4回は、VCD（赤外円二色性）装置を特集します。 【関連URL】 FB-station：altair.sci.hokudai.ac.jp FBs-tv：altair.sci.hokudai.ac.jp 2011年03月18日再生回数 294
	公理的意味論を使ってプログラムの正しさを証明する (Part 1)  公理的意味論 (axiomatic semantics) を使って、プログラムが正しく動くことを証明しようとするこころみ。 公理的意味論では、まず手続き型プログラムの仕様を数学的な命題として記述する。つぎに、コード中の各部分が正しいふるまいをすることを示し、それによってプログラム全体が仕様を満たしていることを示す。 公理的意味論において重要なのは「不変式 (invariant)」の考え方である。この動画では、関数 mypow を例に、不変式の基本的なアイデアについて説明する。 2010年12月29日再生回数 980
	公理的意味論を使ってプログラムの正しさを証明する (Part 2)  公理的意味論 (axiomatic semantics) を使って、プログラムが正しく動くことを証明しようとするこころみ。 公理的意味論では、まず手続き型プログラムの仕様を数学的な命題として記述する。つぎに、コード中の各部分が正しいふるまいをすることを示し、それによってプログラム全体が仕様を満たしていることを示す。 公理的意味論において重要なのは「不変式 (invariant)」の考え方である。この動画では、関数 mypow を例に、不変式の基本的なアイデアについて説明する。 2010年12月29日再生回数 357
	公理的意味論を使ってプログラムの正しさを証明する (Part 3)  公理的意味論の2回目。二分探索について。 2011年01月09日再生回数 200