Sign in or Join FriendFeed
FriendFeed is the easiest way to share online. Learn more »
Kazuhiro Inaba

Kazuhiro Inaba

よくわかりませんがとりあえず自分の出してるフィードを集めておきます!
ICPCジャッジ一覧が出ている http://icpc.iisf.or.jp/2014-wa...
RT @icpc_tokyo2014: Input/output data of domestic contest is now available. 国内予選の入出力データを公開しました。http://icpc.iisf.or.jp/past-ic...
今週現実逃避しかしてないのでそろそろ現実逃避からの逃避ができるようになりそう
スパイシートマトが僕に飲まれた
RT @esumii: http://www-kb.is.s.u-tokyo.ac.jp/~kztk... 第17回プログラミングおよびプログラミング言語ワークショップ PPL 2015 日程: 2015年3月4日(水) ~ 6日(金) 会場: 愛媛県松山市道後温泉「道後プリンスホテル」
まあそれは別の話なのですがこんさんの元の疑問のような方向の話もすごくありそう(といいつつ自分もよく知らない)
タイムパラドックスを起こさない範囲の控えめなタイムトラベルでさえも計算モデルに導入してみるとP=PSPACEになったヤバい!という考察を述べた論文[Aaronson, Watrous 2009]です http://arxiv.org/abs/0808.2669
RT @mr_konn: これは本当に純然たる疑問なんですが、時相論理とかを使って「親殺しのタイムパラドックス」みたいのを解決しようみたいな考察ってないんですかね
"there are no more restrictions on what name you can use" https://t.co/DJ1aDD6DT9 おっ転職して以来初めてのG社プロダクトに関する誇れるニュースだ (※個人の意見であり云々)
間違ったこと書いた時に自己リプライで訂正書けば一緒に表示されるからいいや https://t.co/QaUT4akjrM と思ってたけど、これ、TwitterがUI変えたら一緒に表示されなくなる可能性があるわけで不安が残るなあ。ツイッタさんどんな理不尽なUI変更でもやりかねないし
続) という観点から2-SATと3-SATの難しさの間っぽいところを考えられるようにしたことでその境がなんなのか考えるお話
FOCS'14の http://eccc.hpi-web.de/report... (2+ε)-SAT is NP-hard 読んでる。おもろい。SATは各節がorだから全節で1個以上真にできるか判定だけど、これを"k個以上"と一般化するとk-in-2k SATは2SATぽく解けて≦k-1はNP完全
RT @cstheory: FOCS 2014 Accepted papers list is online « Windows On Theory: http://windowsontheory.org/2014...
レストー夫人 (ヤングジャンプコミックス) - http://book.akahoshitakuya.com/b...
ホントに歩く大山街道 (未知の道シリーズ) - http://book.akahoshitakuya.com/b...
歌合に関する本読んでたら作問もこういう感じでやればよいのではないかという気がしてきた。『平面幾何』とか『時間経過で崩れゆくグラフ』とか『忍ぶ牛ゲー』とかお題を決めて左右に分かれて、各々問題を作り良問だった方が勝ち
「ピリ"っと旨辛オトナのトマト」ことスパイシートマト飲んでる
ICPC国内予選の参加記(2002)貼ろうと思ったけどそもそも書いてなかったっぽい
頭が頭痛で痛い
RT @ioi_jp: IOI2014 台湾大会がはじまりました! 写真速報の掲出を開始しました.写真速報は大会期間中随時更新予定です. http://www.ioi-jp.org/ioi...
昨日本当に脳を完全にリセットしてしまったので先週まで何をしていたか思い出せなくて月曜日に社会復帰ができない
はー海画像貼り付けボットになりたい https://twitter.com/kinaba...
スパイシートマトのストックが切れたのでバジルシードドリンク飲んでる
Codeforcesファイナルファンタジー回
Other ways to read this feed:Feed readerFacebook