https://twitter.com/kinaba のログ (twilog の方が便利です。)
| またNP=coNPを証明してしまうところだった、あぶない（n年ぶりｋ回目） | |
| subregular language好きの人たちとりあえずなんでもかんでもBoolean closure取り過ぎではないか | |
| RT @wraith13: 海からもっとも離れてる地点ですら海岸線から115kmほどしか離れてないってことは、日本国内ではどこでも概ね徒歩でも三日かそこらまっすぐ歩くことができればほぼほぼ海にたどり着けるのか。 | |
| RT @wraith13: 以前、 kinaba さんだか鉱物君あたりが行ってなかったっけ？ ＞ 日本で海から一番遠い地点 | |
| ここですね https://t.co/x52KRrjtbe | |
| 記憶が正しければ、この海からの最遠点、標高1000mくらいで、この高さだと地平線までの距離がちょうど115km前後なので、周囲の山とかぶちぬけばギリギリ海が見えるか見えないかという面白いボーダーラインだった気がする | |
| RT @non_archimedean: 子供の頃の「より大きい数を言ったほうが大きい数を言ったことになるゲーム」は∞の次に∞+1や∞+∞が出てきたので基数を子供は確かに意識していたのかもしれないが、∞^∞とか誰かが言い出した辺りで大小関係が勘になってた気がする。 | |
| RT @non_archimedean: でも「∞足す∞足す∞を無限回繰り返したやつ！」とか「∞の∞乗の∞乗の無限回繰り返したやつ！」「そっちの無限の回数だけ無限回∞に∞乗したやつ！」とか耳に覚えがあるぞ・・もしかして子供の頃の方がordinalに対し直感的理解があったんじゃな… |