ICFPC 2019 にチーム「花脊山の家」として参加しました。メンバーは以下の4人です。（nojima君はあまり参加できなかったけど） cos nojima qwerty seikichi リポジトリは https://github.com/seikichi/icfpc2019 です。去年と同じくRust使用。 問題 最大400x400程度のグリッド状のマップが与えられるので、ロボットを操作して全ての移動可能なマスを塗りつぶせ。マップにはブースター（アイテム）が置いてあり、それを取得して使うと塗れる面積が増えたり、2倍速で移動できるようになったりする。 300問程度のマップは全て公開されてあり、オンラインで解く必要はない。 また、ライトニング終了後の追加仕様で本編とは別にマイニングが可能で、指定された制約を満たすマップを15分に1回作成・解くと、本編でブースターが購入可能になるラムダコイ

今年もUnagiチームのいつものメンバーで参戦。今年の問題は二次元グリッド上でロボットを動かして全部の空きマスを塗りつぶすという基礎タスクに、追加仕様でブーストアイテムなどが加わっていくというものだった。暫定順位では１位なので優勝出来ていると良いなあ ↓分裂アイテムを取って３体で塗っている様子↓ Unagiチームの解法はこんな感じ prob-225で865ターン#icfpcontest2019 pic.twitter.com/SoiUVmoUcJ — Yoichi Iwata (@wata_orz) 2019年6月24日 使用言語をRustに統一 Unagiチームは例年言語を統一せずに全員異なる言語で参加していたせいもあって、得意・不得意が割とはっきりしていて、問題をたくさん解くタイプは得意（複数ソルバで独立に解けるので）、対戦AIは苦手（複数AIで協力ムズイ）、仕様追加も苦手（追加される

ICFPC2019が終わってもう一週間も経ってしまった。忘れないうちに感想と反省を書いておく。 リポジトリは生きてるサーバのパスワード等が入っているのでまだ公開しません。後処理をする前に中国旅行に来てしまったため……。 あ、チームは1kg cheeseです。Register直前までチームメンバーが好き勝手なチーム名を提案していてまとまらなかったが、yuustiがドミノ・ピザの1キロチーズピザを頼もうとか言い出したため、なし崩し的にこのチーム名になった。 コンテストの感想 問題文中でLambda LifterとPanterに言及しており、しかも3回アップデートが来るというそれらの回を踏襲したような形式から、また微妙な回かと思って戦々恐々としていたが、フタを開けてみればかなり良い問題だった。問題自体は適度な大きさの探索でとっつきやすく、プログラムを提出する必要がないのは安心感があるし、タイブレ

ICFPC 2018 にチーム「銀閣寺GOLD」として参加しました。 メンバーは以下の４人です。 cos nojima qwerty seikichi また、チームのリポジトリは https://github.com/seikichi/icfpc2018 にあります。 問題 今年の問題は小さなロボットたちを操って3Dプリンタ的な作業を行うことです。 R×R×Rの三次元の空間があって、その中に "nanobot" というロボットが配置されています。 ロボットは各ターンに移動したり分裂したり voxel を埋めたりできます。 ロボットをうまく操って、与えられた3Dモデルをプロットしてください。 ただし毎ターン、エネルギーが消費されていきます。 消費されるエネルギーをできるだけ小さくしてください。 プロットしている間、プロット済みの voxel が宙に浮いた状態になってしまってはいけません。 し

無職なこともあり、とても楽しい問題だったこともあり、久々にほぼガチで参加してる会になりました。いや楽しかった。順位表が凍結された段階での最終順位は2位で、1位は絶対に無理、その後にできた変更はしょうもないので、おそらく7位とかそのあたりの、5位強みたいなところに落ちついているのでないかと想像してます。暫定2位といっても特に良いところはなく、得点を決める式のおかげで、大幅なとりこぼしが無いだけで、推定1位のウナギに対して全順序がついて負けてる形のはずで、大変くやしい。が、まあ僕的には頑張ったとは思う。 初動 パーサやシミュレータを実装して、簡単なシングルスレッドAI、下から順に塗っていって、既にあるブロックとつながっていないところに置かざるを得なくなると、 Flip する、というものを Ruby で書く。デフォルトよりは大幅によくなることを確認して、いい問題だなあ……と思いつつ、寝る。 シミ

超難問を72時間で解く――過酷なプログラミング大会「ICFP-PC」、その魅力は　優勝チームに聞く（1/3 ページ） チームの人数が何人でも、どんな計算環境を使ってもいいが、超難問を72時間ぶっ続けで解かなければならない――そんな破天荒な条件で、プログラミングの腕を競う国際大会がある。関数プログラミングで最も権威がある国際学会「ICFP」が主催する「ICFP-PC」というコンテストだ。 例えば、昨年の大会では「折り紙」の超難問が出題された。折り紙のシルエットを見て、そのシルエットを再現する折り方を答えるというものだ。全ての折り方を試そうとしていては、とても72時間では解き終わらない。 そんな過酷な大会を制したのは、日本人のチーム「Unagi」。驚くべきことに、彼らは2013年、15年、そして16年と3度も優勝している“常連チーム”だ。「Unagi」の代表を務める秋葉拓哉さんに、ICFP-P

はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28

今年も*1チームUnagiで参加しました。チームメイトの日記： ICFPC2016ぷち参戦記 - chokudaiのブログ ICFPC 2016 参加記 - wataの日記 開始前 Unagiは例年iwi家に集まって戦っているのだが，残念ながら私は海外出張が重なってしまい，iwi家にいられるのは最初の1日ちょっとになってしまった。 公式ツイートのうちhttps://twitter.com/ICFPContest2016/status/757792006345150464の出題者が中野圭介先生だと予想。根拠： In this talk, I introduce an interesting property of B-terms, that is, whether repetitive right applications of a B-term circulates or not. htt

運悪く日程が被ったDCJ決勝は棄権し今年もいつものチームでICFPCに参加．メンバーと役割分担，問題概要はchokudaiの記事を参照．ソルバの実行結果ログなどから思い出したところによると，以下の様に３日間作業した． 一日目(Lightning) 公式Twitterの発言から関数型ゲーかと思いきや，折り紙の折り方を求める問題だった．foldつながり？各チームが解答と問題を両方提出し，他のチームの問題を沢山解けば解くほど，自分のチームの問題が解かれなければ解かれないほどスコアが高いという形式で，ICFPCに本気で挑むキッカケともなった2010年を思い出した．この形式はジャッジの好みに影響されない公平感があって好き．折り紙に関する理論研究が色々あることは有名な事実なので，とりあえず論文をググったりしたが，直接役に立ちそうな知見は得られなかった． 問題を読んでchokudai＆iwiらと相談しな

国際関数型言語学会（ICFP）の併設コンテスト、ICFPC2016に、Unagi、というチーム名で参加してました。４年連続です。 最終結果はまだ出てませんが、72時間コンテストで、66時間時点での順位表まで公開されているのを見る限り、まず間違いなく優勝してるんじゃないのかなあ、と思ってます。 メンバー 並べる順番に悩んだのでアルファベット順で。 chokudai(ソルバー担当) imos(インフラ系担当) iwi(リーダー。何でも担当) sulume(インフラ系担当) tos(数学・関数型担当) wata(ソルバー担当) 割と反則級のメンバーだと思ってます。過去３年間の戦績は 問題内容 折り紙の完成形（必ずぺちゃんこになっている）が与えられるので、展開図を作成する問題。 与えられるのは以下の２つ 外周、および穴を示す多角形 折り目・境界線が存在する部分の線分 最初24時間は運営から与えられ

はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28

ICFP Programming Contest にcosさん、qwertyさん、seikichiさんとチーム名「モダン焼き フジ」で参加しました。 チーム名は大学生のころによく行ったモダン焼き屋さんの名前から取りました。 最終結果はまだ公開されていないけど、Leaderboard が凍結された時点では13位でした。 レポジトリ: https://github.com/seikichi/icfpc2016 0日目 去年のICFPCでは、メンバーの環境が Ubuntu, Mac, Cygwin とバラバラだったため、環境ごとに微妙に使えるコンパイラオプションとかライブラリとかが異なって非常に面倒だったので、今回は環境をそろえようということになった。 ということで Ubuntu 16.04 をまずセットアップ。 また、去年は CI 環境をコンテストが始まってから用意していたけど、時間の無駄なの

ICFPC2016にTeam 天羽々斬として参加しました。チーム名は、直前に観に行ったシン・ゴジラ（名作なのでまだ観てない人はこんなブログ読んでないで今すぐチケットを予約しましょう）で、ゴジラ討伐部隊の1つが「天羽々斬」と呼ばれており、それを聞いた瞬間にシンフォギアだ！！！！となって勢いでチームSlackのドメインをamenohabakiriにしたところ、そのまま流れでチーム名となってしまいました。 チームメンバーは弊社同期の8人です。8人！多いですね。確か2012年にBoulder Dashやったときも東工大の西8号館にそれくらい集まってた気がしますが、人数が多いとそれはそれでうまく回すのが大変ですね。 ICFPCはチームを組むと作業の分担ができて楽しいのですが、今回も例に漏れず、アルゴリズム班とインフラ班になんとなく分かれるような感じで計画していました。最終的にはインフラ1：アルゴリズ

EDIT 2016/9/22: !!! 最終順位も2位でした !!! やったぜ ICFPC 2016 に出ていました。ランキング凍結時点で2位でした。優勝してるといいな〜、1位は凍結前で我々の3倍だったり1問を除いて全問解いたりしてますが。 ICFP Programming Contest お疲れ様でした。Unagi は残念ながら 1 問だけ残して完全試合達成ならず。。。 #icfpc2016 pic.twitter.com/LxLXMEqDnz — Takuya Akiba (@iwiwi) 2016年8月8日 ぼくは基本的にはアルゴリズムを考えて実装する係でした。この記事では自分のやったことについて書きます。インフラ周りについては @osa_k がきっと何か書いてくれると思います。 EDIT 2016/8/12: @osa_k が書いてくれました。さすが！ osak.hatenablo

http://shinh.skr.jp/dat_dir/icfp12.tgz 二日目から遊んでました。 <vp0"L"2p0"F"0p0"E"0p0"D"*55p0"C"0p0"B"*25p0"A"0 p"d"00 v< >0"J"0p 0"M"0p v > >00g"F"0g2p 10g"F"0g1+2p :"F"0g2+ v v p0"N"0 < > "G"0p ^ > :"*"- #v_^ 2 v < ^ +1g0"G" _^#!-"@": < > :"\"- #v_ "G"0g v p > 010p 000p > #^~:00g 10g"e" +p:"R"-#^_00g 50p10g 60pv v p0"G"+1 < v< ^p00+1g00 _v#-5-5 < < p0"F"+3g0"F" < ^p01+1g01p000_v#g00< v < > ~$~$~$~$~$ "B" v

はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28

Yusuke Endoh @mametter 今回の ICFPC で推測大会が嫌だったという @kinaba どんと @mayah どんは、http://bit.ly/brYYL7 のゲート推測とかを見ればいいと思う。車の方は無理そうだけど。特殊な知識がいるわけでも超絶難易度でもないので、良かったと思うなあ。 2010-06-23 00:17:36