サクサク読めて、アプリ限定の機能も多数！
見かけたのが昼休みで午後は仕事で考えられなくて夜は数学ガールガロア理論読み耽っててついてけてなかったのであとで読む！
antimon2_math のブックマーク 2012/05/30 23:29
このブックマークにはスターがありません。 最初のスターをつけてみよう！
togetter.com2012/05/30
@noricoco 先生が書かれた「x,y,zを自然数とする。このとき、x=3ならばy=5になる。あるいは、y=5ならばz=8になる」に @hyuki が反応したら、話は Coq の証明へ。すでに @hyuki はついていけなくなっているのでま...
35 人がブックマーク・13 件のコメント
＼ コメントが サクサク読める アプリです ／
見かけたのが昼休みで午後は仕事で考えられなくて夜は数学ガールガロア理論読み耽っててついてけてなかったのであとで読む！
このブックマークにはスターがありません。
最初のスターをつけてみよう！
「x,y,zを自然数とする。このとき、x=3ならばy=5になる。あるいは、y=5ならばz=8になる」をめぐって
@noricoco 先生が書かれた「x,y,zを自然数とする。このとき、x=3ならばy=5になる。あるいは、y=5ならばz=8になる」に @hyuki が反応したら、話は Coq の証明へ。すでに @hyuki はついていけなくなっているのでま...
35 人がブックマーク・13 件のコメント
＼ コメントが サクサク読める アプリです ／