情報更新

last update 07/23 15:46

ツイート検索

 

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

Twilog

 

@kinaba

kinaba@kinaba

Stats Twitter歴
4,048日(2008/06/24より)
ツイート数
26,003(6.4件/日)

ツイートの並び順 :

表示するツイート :

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

2019年06月27日(木)2 tweetssource

6月27日

@kinaba

kinaba@kinaba

再起動したら治った。しかしサービス終了に向けてプレイ不可能ではない程度にだんだんじわじわと壊していったら週末感あってよいのではないかという気分になった pic.twitter.com/cFUrM7FVNl

posted at 21:23:39

2019年06月24日(月)1 tweetsource

2019年06月23日(日)1 tweetsource

2019年06月21日(金)7 tweetssource

6月21日

@kinaba

kinaba@kinaba

最近はプロトコルやヒープの静的検証が主のようだけれど、結構プログラミング言語理論系の色々面白トピックやってらっしゃるなあという印象だったので、運算系のネタで問題作ってくれたら楽しそうだなあと勝手に期待して明日を待つことにしよう

posted at 00:58:55

6月21日

@kinaba

kinaba@kinaba

ilyasergey.net/papers/type-re λ計算の式を、値のレベルでなく型をとって型を返す的な型レベルの計算だと抽象解釈的に無理矢理解釈しちゃって最後まで計算できたら型チェック完了!!ってするスタイルと、普通のλの型システムとの等価性証明を、既知のプログラム変換7つに分解して完全理解する論文結構好き

posted at 00:52:41

6月21日

@kinaba

kinaba@kinaba

しかし今年は予定がかぶりまくってしまったのでほとんど観戦勢になる予定なのですが…

posted at 00:00:31

2019年06月20日(木)1 tweetsource

2019年06月19日(水)4 tweetssource

6月19日

@kinaba

kinaba@kinaba

やる気が出なさすぎて作業が全く始まらないので、そろそろ作業用海ほたるを投入するしかない…

posted at 00:06:38

2019年06月17日(月)2 tweetssource

6月17日

@kinaba

kinaba@kinaba

健康診断で血を抜かれても倒れなかった記念散歩(今倒れると紫陽花と菖蒲の中に倒れ伏すことになります)

posted at 12:23:26

このページの先頭へ