サクサク読めて、アプリ限定の機能も多数!
.@hyuki さんの「「x,y,zを自然数とする。このとき、x=3ならばy=5になる。あるいは、y=5ならばz=8になる」をめぐって」をお気に入りにしました。
hengsu のブックマーク 2012/05/30 15:46
「x,y,zを自然数とする。このとき、x=3ならばy=5になる。あるいは、y=5ならばz=8になる」をめぐって.<a href="https://twitter.com/hyuki" target="_blank" rel="noopener nofollow">@hyuki</a> さんの「「x,y,zを自然数とする。このとき、x=3ならばy=5になる。あるいは、y=5ならばz=8になる」をめぐって」をお気に入りにしました。2012/05/30 15:46
.<a href="https://twitter.com/hyuki" target="_blank" rel="noopener nofollow">@hyuki</a> さんの「「x,y,zを自然数とする。このとき、x=3ならばy=5になる。あるいは、y=5ならばz=8になる」をめぐって」をお気に入りにしました。
このブックマークにはスターがありません。 最初のスターをつけてみよう!
togetter.com2012/05/30
@noricoco 先生が書かれた「x,y,zを自然数とする。このとき、x=3ならばy=5になる。あるいは、y=5ならばz=8になる」に @hyuki が反応したら、話は Coq の証明へ。すでに @hyuki はついていけなくなっているのでま...
35 人がブックマーク・13 件のコメント
\ コメントが サクサク読める アプリです /
.@hyuki さんの「「x,y,zを自然数とする。このとき、x=3ならばy=5になる。あるいは、y=5ならばz=8になる」をめぐって」をお気に入りにしました。
このブックマークにはスターがありません。
最初のスターをつけてみよう!
「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 件のコメント
\ コメントが サクサク読める アプリです /