10月15日(水)のつぶやき

　Sim　@Sim0000　00:21

CheckiOで四色塗り分け問題のテストが始まっている。四色必要な問題が2問しかなかったから、3問追加してもらった。

from Twitter Web Client

返信 リツイート お気に入り

---

　Sim　@Sim0000　00:26

四色定理(証明されたので問題でなく定理になった)は、1976年に世界初の計算機を使って証明された。1996年に証明の単純化が行われた。2005年にCoqという定理証明システムを使った証明が行われた。
(出典 en.wikipedia.org/wiki/Four_colo…)

1 件 リツイートされました

from Twitter Web Client

返信 リツイート お気に入り

---

　Sim　@Sim0000　01:26

すごく久しぶりにATMega328Pを使ってみた。リハビリを兼ねてLチカからw
Atmel Studio 6を使った。

from Twitter Web Client

返信 リツイート お気に入り

---

　Sim　@Sim0000　01:27

写真つけるの忘れたw pic.twitter.com/ebQuNcJkqv

from Twitter Web Client

返信 リツイート お気に入り

---

　Sim　@Sim0000　10:01

sim0000は『3、8、6、5』をつかって10にしてください。 shindanmaker.com/217387
5+8+3-6

from Twitter for Websites

返信 リツイート お気に入り

---

　Switch Science　@ssci_official　17:59

価格はこのように決定しました！
Intel Edison：7,020円
Intel Edison Breakout Board Kit：8,640円
Intel Edison Board for Arduino：12,150円

Simさんがリツイート | RT

from Twitter Web Client

返信 リツイート お気に入り

---

Follow @Sim0000