論理かるた - 言語ゲーム

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

[khtokage]

手を動かして遊べる数学って楽しいよね。

[shenlong]

佐藤雅彦的センス！

[coppieee]

たのしい！

[bb_river]

論理式をわかりやすい日本語に書き換えられれば小学校でも使えそうだ

[nanica]

色々と応用できそう

[pokutuna]

おもしろい

[highcampus]

"それぞれのカードはベン図になっています。穴の開いていない部分が真で、開いている部分が偽です"　面白い

[wata300]

《しかしコンピュータも電気も不要です。なんとこのカードは並べるだけで証明ができてしまうのです！》

[VoQn]

おもしろい

[TOKOROTEN]

これは面白い。

[tanakaBox]

わかりやすい。

[agx]

穴を開けたカードを使った論理計算

[masterq]

うまいなぁ

[fai_rse]

science

[tetzl]

このデザイン好きー！｜ヒューマンエラーのスイスチーズモデルにも応用できそう。失敗学とか。

[migurin]

これで遊んで「理屈っぽいヒトってやぁねぇ」とひんしゅくを買いたい

[Nyoho]

面白いかるただなあ。こういうのでHaskell勉強できんかなー

[kougas]

頭の体操

[soret]

子供ができたら、いつかやろう

[mnshtn]

何でもPCなんかで済ませてしまうなかで、こういうちょっとした小道具で遊べる・学べるというのはいいね。

[kuraryu_sana]

ベン図カルタ！

[uruloki]

カードのデザイン良いな。

[hamasta]

論理パズル　例題

[sammy-take]

始めてしまうと確実にはまるので、ここまでにしときます。

[moyasi45]

はてなの人が大好きそうなネタ

[glat_design]

面白そうだしちゃんと理解してからブクマろうと思ったけど微妙…ｗ

[shortcut3]

おもしろいなぁ〜

[Tomato-360]

すごく面白い

[kubomi]

"このように様々な条件の否定形を論理和でつなげ、さらにひとつだけ質問を肯定形で繋げた論理式を「ホーン節」と呼びます。やってることは極めて簡単なのですが、人工知能の最も重要なアイデアの一つです。"

[MagnesiumRibbon]

タブローが泣いてるぞ

[d-kami]

面白そう

[equilibrista]

これは持ち歩きたい

[maangie]

面白い。よくかんがえつくなあ…。

[rAdio]

ここから何かルールを作りたくなる…が、俺にはその才がない。誰か。

[mohno]

次のネタは4要素かな（ヒント：“円”では区切れない）

[TAKESAKO]

論理かるた - 「A ならば B」で 「B ならば C」の時 「A ならば C」かどうか？を証明

[teracy_junk]

これ、中高生にいいんじゃないかな