情報更新

last update 12/13 13:46

ツイート検索

 

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

Twilog

 

@kinaba

kinaba@kinaba

Stats Twitter歴
4,191日(2008/06/24より)
ツイート数
26,146(6.2件/日)

ツイートの並び順 :

表示するツイート :

2019年12月12日(木)5 tweetssource

12月12日

@kinaba

kinaba@kinaba

@nico_shindannin 思うに、メモリが足りる範囲BFSして、尽きたらその先をDFSしている感じですね。DFS側におしゃれな技(13銀の退路封鎖とか)が要るとまず読みきれないので、「この形はどこかで一発この手入れときたい」みたいな経験からくる手順非依存の勘を増やしてBFS側に持ってくること=終盤力の強化、的な気分

posted at 16:43:15

12月12日

@kinaba

kinaba@kinaba

@nico_shindannin いや実戦中は読めてないですね…。最悪42銀〜33銀成でとりあえず詰めろは簡単にかかるな、というのは数手前から意識してて、あと上の手順の32玉までは変化の余地が大きくないので分岐潰しながら脳内盤を進めて(たぶん5秒くらい)、そこから一直線の変化を2,3個読んで10秒なので指したとかです

posted at 16:32:52

12月12日

@kinaba

kinaba@kinaba

☗41成桂☖21玉☗31金☖同馬☗同成桂☖22玉☗21成桂☖同玉☗22歩☖32玉☗21角☖22玉☗13銀!☖同香☗33桂成☖同玉☗43角成☖22玉☗33銀☖12玉☗22金 まで21手、とかを考えていました

posted at 09:00:13

2019年12月10日(火)3 tweetssource

12月10日

@kinaba

kinaba@kinaba

木の上を親方向にたどったり子方向にたどったり動き回る tree walking tree transducer というものベースで証明を回した方が話が綺麗になってよい(親方向と子方向で議論がそこまで別れないとか)なあというのでやり直したついでに色々評価が甘かったところをキュッと締めたような何かです

posted at 21:55:07

12月10日

@kinaba

kinaba@kinaba

arxiv版→ arxiv.org/abs/1904.09203 。10年くらい前にやってた話の続きというか、ツリー操作に特化した計算モデルの表現力の話で、当時はMTTという普通の純粋関数型言語の再帰+パターンマッチで木を処理するのに似たものの上で色々証明してたんですけど、

posted at 21:55:07

2019年12月09日(月)1 tweetsource

2019年12月07日(土)3 tweetssource

12月7日

@kinaba

kinaba@kinaba

この論理式が偽になるとこのくらいのペナルティ、みたいな条件を宣言的に列挙すると、頑張って最小カットに落とせるように変数をおいてくれるフロー職人みたいな言語でも自作したら自分のフロー職人レベルを1から上に上げられるかなみたいなことを考えていたのを思い出した。

posted at 00:27:46

12月7日

@kinaba

kinaba@kinaba

PADLに競プロネタを送りまくって占拠して競プロconferenceにしてしまおうぜムーブメント

posted at 00:21:29

2019年12月05日(木)2 tweetssource

2019年12月04日(水)5 tweetssource

12月4日

@kinaba

kinaba@kinaba

あと72kmくらい歩けば、しまなみ海道連結成分と、東海道山陽道連結成分がつながりそう。倉敷市駅がほぼちょうど中点なのでそこで区切って、あと2日でいけるかな

posted at 17:21:13

2019年12月02日(月)1 tweetsource

2019年12月01日(日)6 tweetssource

12月1日

@kinaba

kinaba@kinaba

前半だいぶロジックめいているのは、一緒にやってた人々(集合論者や計算理論者)の選択という面が大きく、後半は研究室でやってたのでだいぶ自分のその時の超直近の興味が反映されがち。が、最初の方の仲間についてってロジックを叩き込まれたのこそ、その後の自分の基礎として役に立ってるなあと思う

posted at 14:28:51

2019年11月29日(金)6 tweetssource

2019年11月28日(木)1 tweetsource

2019年11月27日(水)1 tweetsource

2019年11月26日(火)5 tweetssource

11月26日

@kinaba

kinaba@kinaba

アルゴリズム的なプログラミングコンテストにおいて、貪欲解法が正答の時に、証明しないで博打で投げてくる人々を落としたいけどなかなか難しい問題、これ情報科学的に定式化するとどういうことになるんだろう。証明しないでDP投げるという事態にはなんか違和感あるし、貪欲というクラスに何が特有か

posted at 00:52:13

11月26日

@kinaba

kinaba@kinaba

そういえば x86 ってどうしても英語文脈の中でも「ハチロク」って読んでしまうと思っていたけど、業務上100万回くらい聞いてたらいつのまにか「えいてぃーしっくす」もスラスラ出るようになってしまった

posted at 00:46:50

11月26日

@tmaehara

™ ?@tmaehara

国際ワークショップのトークで「When n is よん」を聞いた(めっちゃわかる(わたしもたまにやってしまう))

Retweeted by kinaba

retweeted at 00:45:01

2019年11月20日(水)2 tweetssource

11月20日

@kinaba

kinaba@kinaba

フォーチュンクエスト完結するのか。また読むの再開しようかな(7年ぶり2回目とかくらい)

posted at 22:19:34

11月20日

@mishiofukazawa

深沢美潮@mishiofukazawa

30年続いたフォーチュン・クエスト、ついにエンディングです!
ルーミィの家族に会えるのか、その前に立ち塞がるかつてない凶悪な敵とは……。最終話、上巻が12月10日に発売されます。
どうぞ最後まで一緒に駆け抜けてください!
#フォーチュン・クエスト
#深沢美潮
dengekibunko.jp/product/fortun pic.twitter.com/VhxHuwEXgD

Retweeted by kinaba

retweeted at 22:18:16

2019年11月19日(火)2 tweetssource

11月19日

@kinaba

kinaba@kinaba

twitter.com/icpc19yokohama これ毎年見てて思うんですけど、不満点・要望等ある人は本当にもっと容赦なく感想文に叩きつけるといいと思います。スタッフとして中から何か改善案を通そうとする人がいたとして、「参加者から実際にこういう意見が多数来ている」という武器があると動きやすい。

posted at 20:54:49

11月19日

@icpc19yokohama

ICPC2019JP@icpc19yokohama

横浜大会に参加された選手の方々へ、感想文の提出依頼のメールが届いているかと思います。大会の運営や各種コンテンツについて、良いと感じた点あるいは不満に感じた点など含めてご記述いただけると、来年以降の改善につなげることができます。ご協力をお願いいたします。 #icpc2019yokohama

Retweeted by kinaba

retweeted at 20:54:31

2019年11月17日(日)9 tweetssource

11月17日

@kinaba

kinaba@kinaba

ir5さんICPCに提案されたけど出題に至らなかった激面白問題が大量にある気がするのでir5コン開催しまくってほしい

posted at 22:51:44

このページの先頭へ