https://twitter.com/kinaba のログ (twilog の方が便利です。)
| @kohyatoh なるほど。自分もCHIの論文など読んでみた限りでもそういう印象を受けました。ただ、証明との繋がりを見せないと嬉しみがわからないなあというところがあって。ゲームとしてはぶっちゃけこれ面白くないですよね＆＆高速自然演繹ソルバー人間養成してもありがたくないよねという | |
| @kohyatoh 逆に「論理からは意味論をとっぱらって完全なる記号操作として見ることもできる」という視点を体で感じられる機会ってなかなかないので、そういう面での教育用途にはすごく良さそうに感じました、が、大変マニアックな目標狙い撃ちになるなあという | |
| 10年足らずで冥王星まで届くというのはそれにしても夢があるなあ #たびにでたい | |
| @septef 地球のサイズってほんと光速通信がリアルタイムに見えなくもないギリギリだよねって聞いたことがあるけど惑星間の話になると対比で確かになるほどと思う | |
| 駅で「次」と「次の次」の発車時刻が複数の路線について表示されてる時に、ダイヤが乱れてないこと、発車は路線毎にある程度等間隔に近いことを仮定すると現在時刻の推定が多少できそうな気が毎度するのだけどどうなんだろ。時計見るの面倒だがどのくらい焦ってホームへ急げばよいか知りたいという動機 |