タグ

2011年11月6日のブックマーク (2件)

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

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

    論理かるた - 言語ゲーム
  • Maka-Veli.com / Win – Mac両方で使える簡単、高機能の無料3Dモデリングツールがガチで凄くて楽しすぎ!!

    これが無料って当に驚き。今CMでやってるZAQっているじゃないすか。アイツが可愛いなーと思ってふと作ろうと、、、3Dモデリングツール探してたら見つけました。すごく簡単だし、凄すぎてもう驚愕です。楽しすぎて止められないです。 PIXOLOGIC社のSculptrisというフリーソフトです。 2010年頃リリースされたようですが、現在はVer6までアップしています。 グラフィックの弱いPCだとちょっと辛いかも・・・ このようなハイクオリティの物を作るのであれば、もしかして重くなるかもしれないですね。 まずは公式の紹介動画をご覧ください。 ※これはVer1.0の時の物です。 バットマンのジョーカー。 サクサクっと作ってますが、大袈裟ではないですよ。当にこんな感じで作れます。 ただ、ペンタブとかじゃないとなかなか難しいです。マウスでも十分作れますけど・・・ あと画力は当然必