情報更新

last update 03/28 05:04

ツイート検索

 

@kinaba
サイトメニュー
Twilogユーザー検索

Twilog

 

@kinaba

kinaba@kinaba

Stats Twitter歴
5,757日(2008/06/24より)
ツイート数
27,814(4.8件/日)

ツイートの並び順 :

表示するツイート :

2019年07月28日(日)4 tweetssource

7月28日

@kinaba

kinaba@kinaba

トドスタックを一時的に倒したのであとは積ん読を倒したい&面白論文読みたい、作問はとりあえず波に打たれればなんとかなる

posted at 23:57:47

7月28日

@kinaba

kinaba@kinaba

@kmizu 決定不能の会 2nd Season を開催すれば良いのでは!(ヒルベルトの第10問題の決定不能性の証明が本当に、コードゴルフなんかにも通じるような超絶技巧という感じでメチャクチャ面白かったのでおすすめです)

posted at 23:45:46

7月28日

@kinaba

kinaba@kinaba

formalmethods2019.inesctec.pt/?page_id=2207 "A Provably Correct Floating-Point Implementation of a Point-in-Polygon Algorithm" 気になってて、いや実装を気合で形式証明に載せただけなら興味ないけど、浮動小数点数の機微を交わしつつコーナーケース全て綺麗に証明しやすく処理できる巧い技法とかなら超知りたい

posted at 23:27:17

2019年07月24日(水)1 tweetsource

7月24日

@kinaba

kinaba@kinaba

話題の『三体』読みたくて積んであるんだけど、今読んでる本メモリのSF枠を占めているクロックワーク・ロケットが重くてなかなかスロットが開かない。これ言及されてる物理現象とちょいちょい交じる物理講義から、本気で全力出してこの世界に想定される物理法則を逆算しながら読むべきなんだろうか

posted at 20:49:35

2019年07月21日(日)2 tweetssource

7月21日

@kinaba

kinaba@kinaba

AOJ、スマホ(Android版Chrome)からPROBLEMメニューがうまく開けない…(何かの拍子にたまに開けるのだが。)

posted at 23:48:42

2019年07月19日(金)2 tweetssource

7月19日

@kinaba

kinaba@kinaba

TCOR3通過できたっぽいかな?途中離脱してしまった&web arenaよくわからんでよくわからん

posted at 13:14:30

7月19日

@kinaba

kinaba@kinaba

ICPCの感想で、数セミ7月号の記事を連想したというのがあったのでバックナンバー www.nippyo.co.jp/shop/magazine/ 購入。その記事自体(グラフでライツアウト)は自分に目新しい話ではなかったけど、よく見たら特集『おおきな数』は必読すぎでは、というか二ヶ月前には絶対買わねばと思っていた号だった。

posted at 01:13:20

2019年07月18日(木)1 tweetsource

2019年07月17日(水)1 tweetsource

2019年07月15日(月)1 tweetsource

2019年07月13日(土)4 tweetssource

7月13日

@kinaba

kinaba@kinaba

@chokudai 多分そうなるだろうと思います。(自分の解析はゆるゆるだったので、辺のflip回数の時点で既にn^4オーダでしか抑えられてないのですが、ちゃん探索ノード数解析すると3乗になりそうです)

posted at 16:20:46

2019年07月12日(金)8 tweetssource

7月12日

@kinaba

kinaba@kinaba

あとは久しぶりに本郷キャンパスに来たので赤門ラーメン食べようと思ったら、中央食堂の空調が壊れてて灼熱地獄っぽかったので諦めたのは無念だった

posted at 23:08:37

7月12日

@kinaba

kinaba@kinaba

twitter.com/kinaba/status/ これはICPC問題Fの自明枝刈探索(各頂点毎に反転するかしないか両方試す、確定した辺でサイクルが出来たら即探索打ち切り)が実はナイーブ実装でもO(N^4)時間で動くので実質通ることが証明できてしまった時の叫びでしたが、まあ解いたチームは概ね想定解法で解いててよかった

posted at 23:06:46

7月12日

@kinaba

kinaba@kinaba

ソースコードの音読に関する論文 (www.felienne.com/archives/5947 (ICPC 2018))、深く踏み込めてない感じはするけどテーマ自体は面白いな。プログラミング能力と音声化の仕方に相関はあるか。読み方からその人の持つメンタルモデルを察して何か活用できるか。読みやすさを評価軸に文法の改善に還元できるか。

posted at 10:23:04

2019年07月10日(水)3 tweetssource

7月10日

@kinaba

kinaba@kinaba

@skyaozora しかしずっと継続して続けられているものがなかなか無くて、昔取った錆びてる杵柄が何本かあるみたいな感覚なので、なんとも…

posted at 23:49:28

7月10日

@kinaba

kinaba@kinaba

私のこと競プロ勢と認識している人とか将棋勢と認識してる人とかC++勢と認識してる人とか色々いると思うけど、クマシロさんの中では絶対 twitter.com/kumasiro/statu oooというバイナリエディタのファン勢という認識になっている気がして凄いカテゴリ分類だなあと言及されるたびに思っていたりする。

posted at 22:41:06

2019年07月07日(日)2 tweetssource

7月7日

@kinaba

kinaba@kinaba

#topcoder 数学力がなさ過ぎて、区別のあるn人を丁度t個の区別のあるテーブルに割り振る場合の数の数え方を70分考えてた… 最後検索で math.stackexchange.com/questions/2647 に行き着いてとりあえずサブミット。ひどい… というか普通にN^2のDP書いてたつもりなんだけどmodが重いのか2秒で通らずだめぽ

posted at 02:40:50

2019年07月05日(金)4 tweetssource

7月5日

@kinaba

kinaba@kinaba

Androidの日本語入力がフリック入力のガイドをキートップに表示してくれなくなったので、だんだんフリック入力ができなくなってきた…(指をどっちに動かせばどの字が出るか思い出せなくなって止まる)。長押しすれば出るのは知っているんだけど、長押しまでしてから手を止めるという感覚がなくて無理

posted at 15:13:36

2019年07月04日(木)1 tweetsource

2019年07月01日(月)3 tweetssource

このページの先頭へ

×