私が歌川です

@utgwkk が書いている

2018-08-01から1ヶ月間の記事一覧

8月振り返り

めでたい報告はだいたい行ったので,それ以外の雑多な振り返りです. utgwkk.hateblo.jp 言語処理系 多相 let と let rec が実装できたので優勝といっても差し支えないのではないだろうか. Coq ぜんぜんできなかった証明を友だちに診てもらったらできてしま…

Tシャツ事情 夏の終わり編

インターネットで買ったTシャツの情報を集めたScrapboxができたので共有します. scrapbox.io 先日また1着届いた.にじさんじ公式グッズはなぜか声以外にもTシャツも売っているのでオススメです. nijisanji.booth.pm 夏の終わりにSUZURIで夕方限定のセール…

Super Bunny Manの全てのコインを取った

gyazo.com ステージ追加が待ち遠しくなった.今はひとりで対戦モードをやっている. Super Bunny Man とは store.steampowered.com スーパーバニーマンはフィジックスベースのプラットフォーム型ゲームです。ストーリモードは最大2人までローカルマルチプレ…

ご報告

院試 合格しました. 単位 フル単しました.のこり3単位は卒業研究です. gyazo.com あわせて読みたい utgwkk.hateblo.jp