https://twitter.com/kinaba のログ (twilog の方が便利です。)
| このtweet http://twitter.com/kururu_goedel/status/6256195624 さえ無ければ、フォローしてない方への返信だった http://twitter.com/ko1kun/status/6254349859 これを見ずに済んだのに…！ | |
| 集合は {0,1,…,n-1} に固定してしまって、演算をn×nの表で入力したときに群になってるかどうか出力、くらいでいいかな。あとはゴルフ的に最短な群の公理化を考える問題。 | |
| なんか自分クリックミスでもしたのか、@kururu_goedel さんをブロックしてしまっていた。なんでだ。 | |
| favotterは「アイコンクリック→favotter内のそのユーザのページにジャンプ ＆ ユーザ名クリック→twitterのそのユーザのページにジャンプ」で、一方yatsがその逆なので、しょっちゅう間違える | |
| PLDIの論文読む会から帰宅。発表資料→ http://www.kmonos.net/pub/Presen/PLDIr4.pdf スライドゴルフで10枚以内を目指したのだけどまとめきれなかった… | |
| http://atnd.org/events/1601 情報科学苦手の会→参加者、、、この、お前ら何を言っているんだ感はすごいな… |