@nabesan_go 自玉周辺が駒が当たりすぎててまず頭のリソースが完全にそっちに持ってかれました…
posted at 00:15:05
Stats | Twitter歴 5,758日(2008/06/24より) |
ツイート数 27,814(4.8件/日) |
表示するツイート :
@nabesan_go 自玉周辺が駒が当たりすぎててまず頭のリソースが完全にそっちに持ってかれました…
posted at 00:15:05
というわけで今さらながらにICFP 2018のaccepted papers見ていた https://icfp18.sigplan.org/track/icfp-2018-papers…
posted at 00:06:15
http://www.cis.upenn.edu/~llamp/pdf/StrictCheck.pdf… "Keep your Laziness in Check" これも面白そう。遅延評価と正格評価のうまい混ぜ方を駆使したデータ構造(http://asciidwango.jp/post/160831986220/%E7%B4%94%E7%B2%8B%E9%96%A2%E6%95%B0%E5%9E%8B%E3%83%87%E3%83%BC%E3%82%BF%E6%A7%8B%E9%80%A0… とか(宣伝))の実装が本当に欲しいだけの正格性を持ってるか、という仕様をまず記述できるようにして、それをQuickCheckでランダムテスト
posted at 00:05:25
"Capturing the Future by Replaying the Past" https://arxiv.org/abs/1710.10385 読んでた。「例外と状態があればモナドはなんでも作れる!!!」などと述べて実際に例外と状態で殴りにかかるの、言われてみればそれはできるよなあという感じなんだけどちゃんとやるのとても面白い。
posted at 23:51:55
中山道再開するのに使えるかとおもったけど、中山道よりは伊那って肥土山手前なのか、ふむむー
posted at 21:45:53
今日新宿行ったら見かけた伊那バス http://www.ibgr.jp っていう会社のバス乗ってみたいな(名前的に)
posted at 21:44:13
おおよそのところtodeskingさんとCryoliteさんとranhaさんのツイート全力で見るためにアカウント登録したというのが10年前のそもそもの初めだったのだけど今でもあんまり変わってないな。こまった
posted at 00:50:02
なんかTwitter始めて10周年の記念日らしいですよという通知が来ていた
#MyTwitterAnniversary https://pic.twitter.com/QrLrCg04Xq
posted at 00:40:42
【お知らせ】ICPC2018国内予選の申込期限は6/21(木)となっていましたが、6/25(月)まで延長されることになりました。この機会にぜひ参加をご検討ください。
https://icpc.iisf.or.jp/2018-yokohama/domestic/registration/…
Retweeted by kinaba
retweeted at 15:48:46
#実戦で即詰みを逃すたびに盤面貼り付ける習慣をつけて自分を戒める うーん10秒将棋つらい https://pic.twitter.com/FsK7zwHoLd
posted at 12:52:43
#実戦で必至を逃したのでえーとこれは本当に酷い反省する https://pic.twitter.com/8kXAsTC135
posted at 23:28:49
金ですぽよをした https://readyfor.jp/projects/ioi2018
posted at 23:24:09
世界を変えていく若者!国際情報オリンピック選手に日本の魅力を @ready_forさんから #クラウドファンディング #国際情報オリンピック #IOI #IA https://readyfor.jp/projects/ioi2018
Retweeted by kinaba
retweeted at 23:21:46
#実はくらいお先生のやつをいいねしたはいいがまだ解けていない
posted at 22:54:35
ACM-ICPC OB/OGの会による模擬国内予選2018の申し込みの受付を開始しました。締め切りは6月22日 (金) 23.59 となっております。
http://acm-icpc.aitea.net/index.php?2018%2FPractice%2F%E6%A8%A1%E6%93%AC%E5%9B%BD%E5%86%85%E4%BA%88%E9%81%B8%2F%E6%A1%88%E5%86%85…
Retweeted by kinaba
retweeted at 09:18:08
関数に==定義するの、RTした記事のように入力が有限(Bounded)の時に限定して全検査するしかないかと思いきや、位相空間に思いを馳せることで、たとえ無限でも (Integer→Bool)→Integer 同士の等価判定とかできるみたいな話があって面白いです http://www.cs.bham.ac.uk/~mhe/.talks/EWSCS2012/…
posted at 13:03:14
Read this: Haskellの関数に等価性を定義したい! - Qiita
発想の転換だ、すごい https://qiita.com/nwtgck/items/8371855594e6e1b2aca6… https://pic.twitter.com/OoRptdqCIK
Retweeted by kinaba
retweeted at 13:02:23
気になる
posted at 15:56:14
「コンピュータサイエンス探偵の事件簿 ――データ構造と探索アルゴリズムが導く真実」 https://www.oreilly.co.jp/books/9784873118437/… オライリーから変な本が
Retweeted by kinaba
retweeted at 15:55:58
やっと色付き塚田スペシャルのカード取れた!(中盤で相手の接続切れだったので不完全燃焼だが…) やっとコンプできたので将棋ウォーズ卒業できる… https://pic.twitter.com/brRuIZS3IR
posted at 00:53:24
ネタ生成力すごすぎ…(自分は出したやつ以外何もない)
posted at 17:35:57
TRICK FINALに投稿したコードのgit logあげました
http://tompng.hatenablog.com/entry/2018/06/03/020238…
#rubykaigi
Retweeted by kinaba
retweeted at 17:33:31
はてなブログに投稿しました
TRICKボツ案集 - tompngのブログ http://tompng.hatenablog.com/entry/2018/06/05/125902… #はてなブログ
Retweeted by kinaba
retweeted at 17:30:36
#topcoder なんとか通過したっぽい。あとであの地獄の場合分けどうにかしよう…冷静に考えると多くとも2x2で足りるし2+2で書ける
posted at 03:18:12
#topcoder 9通り場合分け書き下すという紛う事なきゴミコードを書いてしまった…もうだめだ…
posted at 02:36:16
あとはネタを「どう見せるか」が難しくて、ASCII全文字一度ずつ使うコード、を思いついてから、それにASCII全文字一度ずつ書かせる、に至るまで週単位でギャップがあったし、今回も予約語プログラミングという案だけだととても投稿できる出来ではないと思うんだけどあの表に似せるのを思いついて光明が
posted at 22:10:02
sort不変というネタは書いてみたら書けなすぎて諦めた https://twitter.com/kinaba/status/675300770657386496…
posted at 21:59:05
あとは、TLEというゴルフコンテストの定番でreverseしても不変な、回文になってるという制約の下でコード書けっていうのがあるんですけど、同様に他の配列/文字列メソッドでも不変制約考えてみると面白いかもね、と思ってストックしていたtranspose不変というネタはここで放出 http://www.kmonos.net/wlog/138.html#_1852150314…
posted at 21:58:37
I've published all the source code of TRICK 2018 FINAL! Thank you to all the participants! #rubykaigi https://github.com/tric/trick2018
Retweeted by kinaba
retweeted at 21:54:45
第三回は、本気で何も思いつかないのでRubyのソースコードを上から下まで丹念に朗読するしかないかと絶望していて、しかし左程Rubyのヘビーユーザーでもない自分はRubyの意味論的な面白ネタには気づけないだろうから、やっぱり構文、parse.yから始めようと思ってparse.yを毎日グッと睨んだらこうなった
posted at 21:54:26
第二回は、前回がいろは歌/pangramという言葉遊びのプログラムへの転用だったので、二匹目のドジョウを狙って https://en.wikipedia.org/wiki/Word_play 他さまざまな言葉遊びの一覧のページを眺めてプログラムでやると面白いか一つ一つ考えた結果、円周率のおぼえ歌になった
posted at 21:54:08
第一回は、「第一回だしRubyの前例がないので過去のIOCCCネタをRubyに翻案して勝ち、ではつまらないなあ。Cには絶対できないがRubyならできることをやろう」と思ってCとRubyを交互に愛でて両者の差について考えてたら、どうもCの非自明なコードは()を複数使う気がする…と思った結果いろは歌になった
posted at 21:53:51
壇上で @yhara さんが、実装は過去作を読み込んでいればできるようになるが(!!!??)、そもそものネタが出せるかどうかが重要というお話をしてらしたので、自分のネタがどう振ってきたかを思い出してみると…
posted at 21:53:37
#rubykaigi 今回 TRICK に投稿したプログラム2つについて日記書きました http://www.kmonos.net/wlog/143.html#_2124180602…
posted at 21:32:39
「trick2018」をトゥギャりました。 https://togetter.com/li/1233263
Retweeted by kinaba
retweeted at 19:15:16
あっ今晩帰ったらTCOのRound2なのにうっかり勢いでワイン投入してしまった
posted at 18:56:17
@lightout 仙台というか、ほぼ松島の手前辺りですね。いい海日和でした
posted at 18:53:33
あとで解説ブログとかは多分書きますけど、正直他の入選作がすごすぎて圧倒されている。ぱっと聞いた印象だとmameのsortのやつすごくない?というのと、プログラムの横結合が当たり前の世界になっていて人類は進化している
posted at 18:31:38
#rubykaigi TRICK3連覇しました。ありがとうございます!!! I'm very proud that I could win my "reserved seat" :) again by "the most reserved ruby program" I submitted this time!
posted at 18:24:37
あっありがとうございます https://pic.twitter.com/Yoonky0O1q
posted at 15:43:20
@dmikurube こんにちは
posted at 14:50:28
完全にうみー会議してしまった。(戻ってきています) https://pic.twitter.com/krxIMvDM8A
posted at 14:48:17
海です https://pic.twitter.com/gl3sMxHK9u
posted at 12:42:00
というわけで仙台来たんですけれども、気候良すぎて最高だし海でも見に行くしかないという気分になってきた https://pic.twitter.com/y5wtGFEKCf
posted at 09:35:45
http://p.booklog.jp/book/120409 『絹と立方体:架空の文字の大図典』読んでる。おもしろい…というかすさまじい力作だなこれ…
posted at 08:51:19
型レベルプログラミングをやっていると、『型を意識しなくていい未来』は別に来なくていいかなー、むしろそれをすてるなんてとんでもない、という次元の気持ちになれるので、型レベルプログラミングは大変お勧めです
Retweeted by kinaba
retweeted at 06:53:40
【お知らせ】ICPC2018国内予選の参加登録を開始しました。チーム登録の締切は6/21(木)です。
https://icpc.iisf.or.jp/2018-yokohama/registration/…
Retweeted by kinaba
retweeted at 14:49:50