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

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

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

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