Factorio: オンライン協力プレイ可 fault - milestone one: ノベルゲーム Rusted Warfare: RTS, 対戦

気が向いたら画像付けたりします。 Rabi-Ribi Terraria Iconoclasts Joggernauts Touhou Luna Nights Cuphead Celeste Evoland 2 エリィのアクション Furi Katana ZERO Rabi-Ribi store.steampowered.com平成一の神アクションゲーム。キャラが可愛い。ボスが…

PVだけで十分ってやつはコメント付けてません。気が向いたら画像付けたりします。 やらなきゃ損 Baba Is You Ittle Dew Snakebird A Monster's Expedition Pipe Push Paradise Stephen's Sausage Roll Understand かむたこ ゼリーのパズル、YUGO Puzzle ハナ…

vscoqは3年前から更新されていないvscoqのバージョンを1.32くらいに下げると動くが、自動更新まわりの設定とか使い分けるのとかめんどいよく見ると↓に移動したらしいので入れてみたら動いたgithub.com Requirements node Installation git clone https://git…

testlib.h を使ったgenerator用のライブラリです。 vector<long long> select(n, m) から 要素をランダムに取り出します。戻り値はソートされています。 vector<long long> grouping(n, m, min_size=0) 個を グループにランダムに分けます。戻り値はグループサイズの配列です。計算</long></long>…

TopProver で行われたCoqコンテストに参加して、モチベが上がったため、coqのライブラリを整備することに。 とりあえず便利なので累積帰納法を整備した。 自然数に関する累積帰納法だけだと不便なことがあるので、より一般化し、任意の型 X の f による nat …

解決策 ocamlc, ocamlopt の -cc オプションで clang の代わりに gcc を指定させる. バッドノウハウだが, ocamlc, ocamlopt, ocamlfind を wrap する.前提 gcc にパスが通っている ocmalfind がinstallされている コマンドを理解してから使ってください ocam…

僕がいつか見るアニメ・映画・ノベルゲームキューです。 キューなので先頭(上)からしか取り出せません。 おすすめされるとキューの末尾に追加されます。たいていのアニメは数話で切ることになると思います。 キューに入っていても構わずおすすめしてください…

僕(drafear)が全話視聴したアニメリストです. 個人的に良かった順に並べています. あんまりだらだらと感想書いても仕方ないので短く書いています. 一部ノベルゲームが含まれています. 特におすすめしたいものなので.あまり合わなかったアニメも載せています…

Priority Queue を使った実装だと時間計算量 \(O(V + ElogE)\), 空間計算量 \(O(V + E)\) になると思います。実装は重くなるのと定数が重いですが、Priority Queue の代わりに Segment Tree を使うと時間計算量 \(O(V + ElogV)\), 空間計算量 \(O(V)\) に改…

概要 森に対して全方位木DPを行うライブラリです。 全方位森DPの方がいいんかな。 森でないときにassertが落ちるようにするためにUnionFindを使っています。 パフォーマンスが気になるなら使わないように実装しなおすと良いかもしれません。 計算量 construc…