ふと穴を見ると「この中はどうなっているのだろう」と思うことがある。どんな構造になっているのだろう。すっごい気になる。見てみたい! ……だが、何かをしないと奥深くまで見ることができないという穴もある。そのひとつがアリの巣だ。 そんなアリの巣の構造を、アッと驚く方法で目視できる状態にした実験動画が話題になっている。YouTubeにアップされた動画のタイトルは「Professor Walter Tschinkel makes a Molten cast of an Ant Colony」である。 どんな実験をしたのかというと、ずばり、アリの巣のなかに約650度の溶融アルミニウムを流し込むといったものだ。「決してマネしないでください」と動画の中でも言っているが、そう簡単にマネできる芸当ではない。木々が一瞬で燃えてしまうほどの溶けたアルミニウムを流し込むと……どうなるのか!? しばらく時間をおいて、
自動証明検証システム Mizar(ミザー、ミザール)は、まったく厳密に形式的な形で数学的な定義や証明を記述するためのデータ記述言語(Mizar-言語)、実際にその言語で記述された証明の内容を検証することができる計算機プログラム(証明検証プログラム)、プログラムから参照して新たな証明の際に利用可能な定義と証明済みの定理からなるライブラリ (MML) の三者から構成される。 Mizar と同様の目的を持つプロジェクトに、ロバート・ボイヤーのQEDプロジェクトがある。 概要[編集] システムの開発は1973年にアンジェイ・トリブレッツによって始められ、システムの保守をポーランドのビアリストーク大学(英語版)、カナダのアルバータ大学、日本の信州大学で行っている。 Mizar-言語で記された証明文(以下、Mizar-論文)は普通のASCIIコードで書かれている。Mizar-言語は、数学の通常の言葉遣
スレタイ:【カナダ】 15歳少女、「ユーチューブ」にいじめの悩みを告白する動画を投稿し自殺 動画は首相の目にも留まる [10/13] 元スレ:http://anago.2ch.net/test/read.cgi/news5plus/1350095926/ 1:七難八苦φ ★:2012/10/13(土) 11:38:46.48 ID:??? カナダ人少女がユーチューブでいじめを告白、自殺 2012.10.13 Sat posted at 11:16 JST (CNN) カナダの十代の少女アマンダ・トッドさんは、動画投稿サイト「ユーチューブ」にいじめの悩みを告白する動画を投稿した。 この動画は音のない白黒の動画で、アマンダさんの顔ははっきりと見えないが、 彼女は黒マーカーでメッセージが書かれたカードの束を持っており、そのカードを1枚ずつめくっていく。 そしてこのカード1枚1枚に
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く