毎年やっている気がするので 今年一年は学科が楽しかった気がします。来年はどうでしょうね（研究） ウーン 最近は生活習慣が崩壊しがちなので、そこらへんをまず直したい。というか6時に寝るのは異常だということを身体が理解してほしい 地下は太陽が無いの…

最初に 12/2 に出した問題のwriteupです。この投稿は、ISer Advent Calendar 2018 の23日目として書かれました。昨日は、とんがり さんの dora119.hateblo.jp でした。 Statement 副作用も、libcもいなくなったとき残るのは、型安全で純粋な素晴らしい世界の…

僕のvivado、"ハズレのVivado" っぽくて（は？）、しばしばsimulationが固まります 現状遭遇したよくわからないが動かない事例。僕の環境はUbuntu 16.04の上で動くvivado v2017.4のバージョンです。 moduleが存在しているのに、moduleが存在しないとなぜか言…

この記事はTSG Advent Calendar の11日目の記事として書かれました。昨日は、Misterさんの misteer.hatenablog.com でした。 live AI コンテストとは 簡単な対戦型のゲームに対する思考ルーチンを書いて戦わせるコンテストです。様子は、 www.youtube.com で…

この記事はTSG Advent Calendar 2018 の4日目の記事として書かれました。昨日は、taiyoslime さんの駒場祭 TSGCTF day1 Writeup でした。 僕の所属するサークル TSGが 東京大学の駒場祭というイベントにて、ライブCTFというものをしました。そのときの動画は…

問題文 副作用も、libcもいなくなったとき残るのは、型安全で純粋な素晴らしい世界のはずだった...... nc external.pwn.ctf-day3.tsg.ne.jp 31000 接続すると、min-camlのプログラムをサーバーに提出でき、サーバーはmin-camlコンパイラでコンパイルして実行…