タグ

おもしろに関するalpinixのブックマーク (2)

  • 論理かるた - 言語ゲーム

    今日は証明するカードについて書きます。証明というとなんだか人間にも難しく、機械にやらすには高度な人工知能が必要だと思うでしょう。しかしコンピュータも電気も不要です。なんとこのカードは並べるだけで証明ができてしまうのです!とりあえずどんなのか見てみましょう。 自分でやりたい人は logiccard.pdflogiccard2.pdf をダウンロードして名刺用紙に印刷してください。用紙のサイズが合わない時は logiccard.svglogiccard2.svgイラストレータや Inkscape で編集するといいと思います。 このように印刷して、灰色の部分をポンチで穴を開けます。ホッチキス式のポンチではカード中ほどの穴に届かないので、その場合は手芸用のポンチを使うと良いです。 するとこのような謎めいたカードが出来上がります。 それぞれのカードはベン図になっています。穴の開いてい

    論理かるた - 言語ゲーム
  • 太陽系の惑星が月と同じ距離にあったら、地球からはどう見えるか(動画) | naglly.com

    太陽系の惑星が、月と同じ距離の地球周回軌道(380,000km)にあると仮定した場合、惑星は地球からどう見えるのかを再現した映像です。 地球から見える一番身近な天体である月と他の惑星の比較を通して、宇宙のビックスケールを体感することが出来ます。 Scale on Vimeo https://vimeo.com/19231255 地球が登場する所まではまだ想像の範囲内でしたが、海王星(Neptune)、そして、木星(Jupiter)の登場に至っては、完全に想像の域を超えました。宇宙の広大さと言うのは、圧倒的です。 今度は太陽系外の恒星でもやって欲しいと思いました。

    太陽系の惑星が月と同じ距離にあったら、地球からはどう見えるか(動画) | naglly.com
  • 1