言語ゲーム

とあるエンジニアが嘘ばかり書く日記

Twitter: @propella

2011-08-28から1日間の記事一覧

論理かるた

今日は証明するカードについて書きます。証明というとなんだか人間にも難しく、機械にやらすには高度な人工知能が必要だと思うでしょう。しかしコンピュータも電気も不要です。なんとこのカードは並べるだけで証明ができてしまうのです!とりあえずどんなの…