トドスタックを一時的に倒したのであとは積ん読を倒したい&面白論文読みたい、作問はとりあえず波に打たれればなんとかなる
posted at 23:57:47
Stats | Twitter歴 5,757日(2008/06/24より) |
ツイート数 27,814(4.8件/日) |
表示するツイート :
トドスタックを一時的に倒したのであとは積ん読を倒したい&面白論文読みたい、作問はとりあえず波に打たれればなんとかなる
posted at 23:57:47
@kmizu 決定不能の会 2nd Season を開催すれば良いのでは!(ヒルベルトの第10問題の決定不能性の証明が本当に、コードゴルフなんかにも通じるような超絶技巧という感じでメチャクチャ面白かったのでおすすめです)
posted at 23:45:46
http://formalmethods2019.inesctec.pt/?page_id=2207 "A Provably Correct Floating-Point Implementation of a Point-in-Polygon Algorithm" 気になってて、いや実装を気合で形式証明に載せただけなら興味ないけど、浮動小数点数の機微を交わしつつコーナーケース全て綺麗に証明しやすく処理できる巧い技法とかなら超知りたい
posted at 23:27:17
FM'19 http://formalmethods2019.inesctec.pt/?page_id=2207 って結構面白そうな論文多いな。preprint見つからないのが多いけど論文公に出たら読みまくりたいので誰か私にその時は知らせてください
posted at 23:22:22
話題の『三体』読みたくて積んであるんだけど、今読んでる本メモリのSF枠を占めているクロックワーク・ロケットが重くてなかなかスロットが開かない。これ言及されてる物理現象とちょいちょい交じる物理講義から、本気で全力出してこの世界に想定される物理法則を逆算しながら読むべきなんだろうか
posted at 20:49:35
AOJ、スマホ(Android版Chrome)からPROBLEMメニューがうまく開けない…(何かの拍子にたまに開けるのだが。)
posted at 23:48:42
グラフアルゴリズムについて考えていたら楕円幾何学の論文を読むことになってびっくりした、という話をICPC国内予選問題Fにかこつけて書きました https://topcoder.g.hatena.ne.jp/cafelier/20190719/1563719461…
posted at 23:34:34
TCOR3通過できたっぽいかな?途中離脱してしまった&web arenaよくわからんでよくわからん
posted at 13:14:30
ICPCの感想で、数セミ7月号の記事を連想したというのがあったのでバックナンバー https://www.nippyo.co.jp/shop/magazine/8063.html… 購入。その記事自体(グラフでライツアウト)は自分に目新しい話ではなかったけど、よく見たら特集『おおきな数』は必読すぎでは、というか二ヶ月前には絶対買わねばと思っていた号だった。
posted at 01:13:20
国内予選のジャッジデータが公開されました。復習等にお役立てください。 https://icpc.iisf.or.jp/2019-yokohama/
Retweeted by kinaba
retweeted at 22:21:36
『購買のプロキオン』https://www.amazon.co.jp/dp/4403671411 大変よかったので読み返してまくっています。(作者さんの最近Twitterに乗っけてらした短編漫画がとても好きだったので、早速既刊買い込んで順に読んでいました)
posted at 01:13:18
近所の図書館で福袋が貸し出されていたので借りてみた https://pic.twitter.com/w2EVz6rzwU
posted at 15:34:17
⚡️ "ICPC 2019 国内予選 参加記まとめ"
https://twitter.com/i/moments/1149939695700176898…
Retweeted by kinaba
retweeted at 16:31:15
@chokudai 多分そうなるだろうと思います。(自分の解析はゆるゆるだったので、辺のflip回数の時点で既にn^4オーダでしか抑えられてないのですが、ちゃん探索ノード数解析すると3乗になりそうです)
posted at 16:20:46
https://twitter.com/taroleo/status/1149885704194801664… @taroleo さんとの街中遭遇率はなぜか結構高い
posted at 13:03:41
ICPC 国内予選お疲れ様でした。コンテスト中誰も解かなかった問題も気合・時間・精神力・精進 等があれば解けると思うのでぜひ解いてみてください https://storage.googleapis.com/icpcsec/2019-domestic/official-commentaries.html…
Retweeted by kinaba
retweeted at 00:06:39
あとは久しぶりに本郷キャンパスに来たので赤門ラーメン食べようと思ったら、中央食堂の空調が壊れてて灼熱地獄っぽかったので諦めたのは無念だった
posted at 23:08:37
https://twitter.com/kinaba/status/1126859443663020033… これはICPC問題Fの自明枝刈探索(各頂点毎に反転するかしないか両方試す、確定した辺でサイクルが出来たら即探索打ち切り)が実はナイーブ実装でもO(N^4)時間で動くので実質通ることが証明できてしまった時の叫びでしたが、まあ解いたチームは概ね想定解法で解いててよかった
posted at 23:06:46
久々に本郷キャンパスに来たので深夜上野公園徘徊をしたがMPが回復しまくるなあ。 https://pic.twitter.com/jk0wQyMYY8
posted at 22:56:52
反省をした
posted at 22:55:56
ICPC2019国内予選について、審判団からの解説が公開されました
https://storage.googleapis.com/icpcsec/2019-domestic/official-commentaries.html…
Retweeted by kinaba
retweeted at 21:05:00
ICPCお疲れ様でしたー
posted at 19:31:18
ソースコードの音読に関する論文 (http://www.felienne.com/archives/5947 (ICPC 2018))、深く踏み込めてない感じはするけどテーマ自体は面白いな。プログラミング能力と音声化の仕方に相関はあるか。読み方からその人の持つメンタルモデルを察して何か活用できるか。読みやすさを評価軸に文法の改善に還元できるか。
posted at 10:23:04
ICPC の日なので International Conference on Program Comprehension https://conf.researchr.org/home/icpc-2018 の論文を読んで過ごすか
posted at 10:15:55
@skyaozora しかしずっと継続して続けられているものがなかなか無くて、昔取った錆びてる杵柄が何本かあるみたいな感覚なので、なんとも…
posted at 23:49:28
いや今でも普段使いのバイナリエディタは ooo ですけども確かに…
posted at 22:41:25
私のこと競プロ勢と認識している人とか将棋勢と認識してる人とかC++勢と認識してる人とか色々いると思うけど、クマシロさんの中では絶対 https://twitter.com/kumasiro/status/1148710514341470209… oooというバイナリエディタのファン勢という認識になっている気がして凄いカテゴリ分類だなあと言及されるたびに思っていたりする。
posted at 22:41:06
#topcoder まあmedどう見ても苦手of苦手な問題だったしTシャツ確保できれば今回はよしとする
posted at 02:42:46
#topcoder 数学力がなさ過ぎて、区別のあるn人を丁度t個の区別のあるテーブルに割り振る場合の数の数え方を70分考えてた… 最後検索で https://math.stackexchange.com/questions/264799/calculating-the-total-number-of-surjective-functions… に行き着いてとりあえずサブミット。ひどい… というか普通にN^2のDP書いてたつもりなんだけどmodが重いのか2秒で通らずだめぽ
posted at 02:40:50
@dancerj 営業時間 11時~14時 と謎の短さらしいのでそのせいかも
posted at 15:18:35
Androidの日本語入力がフリック入力のガイドをキートップに表示してくれなくなったので、だんだんフリック入力ができなくなってきた…(指をどっちに動かせばどの字が出るか思い出せなくなって止まる)。長押しすれば出るのは知っているんだけど、長押しまでしてから手を止めるという感覚がなくて無理
posted at 15:13:36
というわけで事情によりハイスピード河口湖観光をしていたんだけど、こんな洞窟があることを知らず行き逃してしまった…また来よう… https://kawaguchiko.net/cultural-assets/kawaguchiko-arakurahorinuki/…
posted at 15:07:23
みずうみです https://pic.twitter.com/kTUCNIn2fI
posted at 12:12:30
あれ、このスマホ付きバッテリーみたいなのメチャメチャ期待してたんだけど、そろそろ発売かなと思って再チェックしたら立ち消えになってた…悲しい… そもそもクラウドファンディングとかそういう話だったっけ…知ってたら支援したんだが https://www.gizmodo.jp/2019/05/doa-energizer-power-max-p18k-pop.html…
posted at 17:27:45
多項式時間で解けるフェイ問のクラス、みたいな概念を考えている
posted at 17:14:46
おっ 原案の時点では「おどるポリゴン」と呼ばれていました
Retweeted by kinaba
retweeted at 12:42:55
https://jag-icpc.org/?2019%2FPractice%2F%E6%A8%A1%E6%93%AC%E5%9B%BD%E5%86%85%E4%BA%88%E9%81%B8%2F%E5%95%8F%E9%A1%8C%E6%96%87%E3%81%A8%E3%83%87%E3%83%BC%E3%82%BF%E3%82%BB%E3%83%83%E3%83%88… ICPC模擬国内予選の問題セットチェックしてる。問題Cわろた
posted at 12:42:49