https://twitter.com/kinaba のログ (twilog の方が便利です。)
| RT @imos: ICFPC優勝でした http://twitpic.com/df1g39 | |
| RT @imos: 1位：うなぎ（我々） 2位：F5 ATTACKERS（Fixstars Japan＆筑波大） 3位：HACK THE LOOP（ロシアチーム） ジャッジ賞：KUMA-（えんどうさん） | |
| RT @mametter: http://d.hatena.ne.jp/ku-ma-me/20130927 ICFPc 2013 で Judges' prize を貰ってしまった件について書いた | |
| RT @taitai_jp: @logicmachine @tomerun @foota @tanakmura と一緒にチーム名F5 ATTACKERSで出場して、スコア1609（修正前1608）で2位でした！ #icfpc #icfpc2013 | |
| ICFPコンテスト優勝と準優勝とジャッジ賞のみなさまおめでとうございます！ | |
| 我々 https://t.co/OUBpRDvAIF は 8位 (1441点) だったそうです | |
| RT @garriguejej: "MLF: Raising ML to the power of System F" Most influential paper award of #ICFP 2003 | |
| うっMLFでしたか外した | |
| 非文botが僕の中の非文の定義に挑戦をし続けてくるので非文のちゃんとした定義を調べないといけないと思いながら数日が過ぎた | |
| 関数[にを]引数[をに]適用どっちかわからん問題、自分の感覚ではこの操作において両者は非対称でなく、関数さんと引数さんを隣に並べておくと「おや？関数さんと引数さんの様子が…」という感じで新しいものが爆誕している的な対称なイメージなので[をに]のように方向性を語る向きがわからん感覚 | |
| https://t.co/4gFm9KjikV なので「関数と引数を適用」って思わず喋ってしまうことが結構ある ＆ この感覚を基礎原理に据えた言語そのうち作ろうと思ってるんだけど思ってる思ってる詐欺 | |
| @finalfusion http://www.kmonos.net/wlog/55.php#_1446051108 の"B-1. Motivation"のところに書いてあるa.(i)がその方向性です。関数なんか介さずに配列を整数を隣に置いたらその番号の要素になってよ的方向でこれは名前推論とかと直行して作れるので誰か作って | |
| RT @inu_hir0shi: ICFPCはITFというチームで@zerokugi @zr_4 と参加してLightning１位、全体23位でした！ よく覚えてないけどLightning850くらいで全体1200くらいだった気がする | |
| 今日は"using namespace std;"が俳句、という概念を獲得してしまったため今後の生活に支障をきたしかねない… https://t.co/Fl0AQwnvSQ https://t.co/6srMzpWI6J | |
| 500わからなすぎて全探索を出してしまった。50,1900とかで全く帰ってこない | |
| 500はえーととりあえず片方(1..N)に固定してもう片方の並べ方×N!でいいな、自由度減ったわーい ⇒ もう片方の並べ方はN!通り全部…は試せないな、ええと二部グラフの完全マッチになるから重みが条件を超えるものの個数…なにその#P完全風味な問題… ⇒ とけない ⇒ 無理 だった | |
| 1000も畳み込みまくっていることはわかる⇒わかるからといって解けない、ってなるのやめた方がいいよなあ。畳み込み修行 |