2010-12-16から1日間の記事一覧
@kururu_goedel: @musubimeriron すみません、その20手で十分ということの証明は査読が完了しているのでしょうか。最後はコンピュータでごりごりやったと聞きますが、そこに至る議論に関しては。2010-12-16 15:46:39 via TweetDeck to @musubimeriron @kurur…
@kururu_goedel: @musubimeriron すみません、その20手で十分ということの証明は査読が完了しているのでしょうか。最後はコンピュータでごりごりやったと聞きますが、そこに至る議論に関しては。2010-12-16 15:46:39 via TweetDeck to @musubimeriron @kurur…