Ackvy

じゃんけんで平和的解決。つよつよ競プロer(水/水)。数学(興味：代数幾何)。名前はあくゔぃー。音ゲー。ポゴレジェンド#660。 豆腐の意思。AtCoder:

[Ackvy @ackvy]

The Witness

[Ackvy @ackvy]

実家においてあったこの風呂敷，常用対数を取ると
..., 3, 2, 1, 0, -∞, -1, -2, -3, ...
となってだいぶ不自然だということに気づいた

[Ackvy @ackvy]

高級な概念と高級な概念を悪魔合体させて，ウルトラ高級な概念を作成します！のようなことが繰り返し行われている
これって工場ゲームだね，数学って工場ゲームだったんだ

[Ackvy @ackvy]

ぐえ，定義を確認する証明を追うのでいっぱいで，非自明な部分に一生たどり着けない
や，定義を確認するのでいっぱいならそれが自分にとっての非自明か...

[Ackvy @ackvy]

過去の微妙な発言を思い出しては顔なくなるタイムきた！まずい！

[Ackvy @ackvy]

誕生日なのでポゴ！久しぶりのギロもはやうれしい

[Ackvy @ackvy]

Ack61さんのAtCoder Beginner Contest 461での成績：1680位
パフォーマンス：1475相当
レーティング：1494→1492 (-2) :(
#AtCoder #ABC461 https://t.co/YMr6DZHU5r
D，500^3は間に合わないと思って飛ばしちゃった，やればよかったねえ

[Ackvy @ackvy]

ぞいぞい

[Ackvy @ackvy]

誕生日！今年もよろしくお願いしますね

[Ackvy @ackvy]

@toku51n うーむ確かにです．n×n の盤面で，次の1マスを確定させるのが最も難しいシチュエーションの難しさ(要定義)の上限，みたいな問題の方が定式化しやすそうですね
これだとランダムSATじゃないので別問題になってしまいますが

[Ackvy @ackvy]

解けることを保証するマインスイーパーにおいて，最も論理的に難しくなるにはどの割合で地雷を配置すればよいか？

[Ackvy @ackvy]

方向音痴のことを「内積が入っていない空間に住んでいる」というなど

[Ackvy @ackvy]

うねうねしたいよ～

[Ackvy @ackvy]

@hsjoihs いえ，そういうマシンはどちらにせよ停止しないので話が違いましたね💦
bbchallenge を眺めて，人類スゲ～となっております

[Ackvy @ackvy]

ここまで詳細な話は知らなかった，おもしろ～！
cryptid なやつは停止しない当確が出ているのに対して，コラッツ予想は任意の初期値で停止する当確が出ているのは対照的だなあ．似たような形してるのに．

[はすじょい (hsjoihs) @hsjoihs]

スライドを公開します

「計算できている」vs.「計算できそうにない」の境界線は現状どこにあるのか #kernelvm
https://t.co/xHsRRO77SC

[Ackvy @ackvy]

@hsjoihs > そういうのも含みます。
そうなのですね！
任意の初期値で停止する当確が出ているTMに対して，初期値を順番に確かめるTMは「停止しない当確が出ているTM」になってしまうので，こういうのは cryptid でも原理的にヤバい側と見なければいけないのですね😇
この手のマシンを倒せる日は来るのか...

[はすじょい (hsjoihs) @hsjoihs]

@ackvy 停止の当確が出ているマシンもいくらでもあり、cryptid と言ったらそういうのも含みます。ただ、停止の当確が出ているほうは、我々に使える計算資源の量が極めて大きい有限倍に増えれば停止の証拠を得られそうである一方で、停止しない当確はそのルートが無理なので…
https://t.co/4NW8oZY6X7

[Ackvy @ackvy]

5月があり，6月がある

[Ackvy @ackvy]

今日と明日の間に1週間ぐらいちょうだい

[Ackvy @ackvy]

この定理使いたいな～って，証明を再帰的にたどっていったら本一冊分ぐらい必要そうで終わった