私が所属するサークル「KMC(京大マイコンクラブ)」では，2013年から毎年アドベントカレンダーを開催しています．また，イラストを投稿するアドベントカレンダーも2016年から開催しています． kmc.hatenablog.jp adventar.org adventar.org IFTTTでRSSフィー…

これは こふ語 / ﾌﾞﾁﾐﾘ Advent Calendar 2018 - Adventar 12/18の記事です．気がついたら2015年から毎年書いてる． ツイッターのオタク あっ 自分（わたし（由持もにです！））のことです— 由持もに♎ (@moni_yoshimochi) 2018年12月16日 2018年はバーチャル…

これは KMC Advent Calendar 2018 - Adventar と 言語実装 Advent Calendar 2018 - Qiita 4日目の記事です． 3日目はそれぞれ， id:nojima718 さんの ぷよぷよのプレイ動画を解析して棋譜を生成する - @nojima's blog (KMC) @yhara さんの Shiika進捗(2018) …

わたしはもともと作業に没頭するとなかなか抜け出せないタイプだった． そのため研究室でコードを書いていたところ気がついたら20時を過ぎていたとか，あるいは家で続きを書いていたら朝になっていた，ということがあった． /remind me 定時です at 18:00 ev…

5月末ぐらいにもらった薬がなくなって，寒くなって表面がぼろぼろになってきたのでついに皮膚科に行った． 今までどおりの薬をもらって塗ってきたところかなり回復した． まだ大丈夫とか，お金がもったいないとか，適当に薬だけ買えばいけるやろとかそういう…

utgwkk.hateblo.jp この記事の続き． いつの間にか -l オプションで起動したのち exec /bin/zsh が効かなくなったのでいろいろ調べてたところ，なんと -l で起動されるシェルは chsh で指定したものとは関係ないことがわかった！ github.com そしてよく見る…

チーム :thinking_face: *1 として学生枠でISUCON8の本戦に出場しました． 今回のお題は「仮想椅子取引サービス ISUCOIN」でした． 結果は5,981点で14位(ベストスコアは6,324点)でした． 学生の中では5位だったけれどそれ以前に学生のレベルがめちゃくちゃ高…

speakerdeck.com KMCの例会講座で，型無しラムダ計算についての軽い説明と，そのインタプリタを実装した話をしました． できた実装はこちらです． github.com 講座の流れ ラムダ計算について知ろう ラムダ項 束縛変数と自由変数 変数の置換(代入) α変換 β簡…

3日連続飲酒で胃腸が荒れまくってるし，整腸剤を切らしていたことを思い出した．

最近ずっとGoogle Homeのアラームを設定して，設定した時間よりちょっと早く目が覚めるというのをやっている． 試しにちょっと早めに目が覚めたらそのまま二度寝したら，アラームで起きたときめちゃくちゃ目覚めが悪かった． 文明を逆手に取って生活リズムが…

夜中に，旅行したいなーという気持ちが高まってきて，Googleマップを眺めていたところ，京都から和歌山まで安価で行けることが分かったので，友だちのオタクを連れてやっていきました． 松尾酒店 www.instagram.com ホテルに荷物を預けてからまず真っ先に松…

:thinking_face: *1というチームで参加しました．チーム名がかぶっているのには気づかなかったです．なんとか学生枠で予選を通過することができました． チームはid:utgwkkと@wass80とid:nonyleneの学生3人です． 使用言語はPythonです．3人ともそこそこ読み…

めでたい報告はだいたい行ったので，それ以外の雑多な振り返りです． 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

utgwkk.hateblo.jp 表題の通り22歳になっていました．意外とブログ記事を書いてなかったですね． 誕生日に対する認識がだんだん変わっているような気がしていて，節目とかめでたい日というよりはプレゼントがもらえる日という認知に傾きつつあります． 所感 …

utgwkk.hateblo.jp SUZURIでTシャツの安売りセールをやっていたので注文し，つい先日届いた． いいTシャツいっぱいあったけど買いすぎると終わってしまうので最終的に以下の6着にした． https://suzuri.jp/5ebec/1159548/t-shirt/l/whitesuzuri.jp !function…

手元でgitリポジトリを作ったときに，よく wget https://raw.githubusercontent.com/github/gitignore/master/Python.gitignore -O .gitignore などのコマンドを打つのですが，環境によってwgetがなくてcurlだったり，そもそもgitリポジトリのルートディレク…

YAPCなどのイベントでもらったTシャツ インターネットで買ったTシャツ その他各所でもらったTシャツ をずっと着回している． もう2年ぐらい服屋に行った記憶がなくて，気がついたらTシャツだけどんどん増えている． おすすめのインターネットTシャツを紹介し…

tl;dr pdftotext を使えばできる じぶんのスライドのbounding boxに着目すればだいたいうまくいく 動機 pdftotext は，PDFファイルからテキストの情報を抜き出すことができるコマンドである． これは単にテキストを抽出するだけでなく， -bbox-layout オプシ…

バーチャルYoutuber鑑賞活動をしていると応援ソングのことを知ることがあり，魔王魂のフリーBGM素材であることを知った． 2018年になって魔王魂の名前を目にするとは思っていなかったし，まだ現役なんだなあと思った． www.youtube.com 魔王魂の歌もの素材は…

4/18の深夜から早朝にかけてミッドナイト念仏というイベントが行われることを，じつは前々から知っていたが今日ようやく行った． サークルのひとびとは深夜に行っていたようだが，わたしは最近ずっと21時を過ぎるとめちゃくちゃ眠たくなる*1ので，5時に起き…

やっていきましょう． こちらは全然関係ないアンケートです． 配属された研究室の順位アンケート— うたがわきき🔰💊 (@utgwkk) 2018年4月12日

献血した．これで8回目らしい． 前回の様子はこちら． utgwkk.hateblo.jp 採血開始してから異常に早く終わってしまった．看護師さん？ も，順調ですねとしか言わなくて，会話が楽でよかった． 今回の景品はUSBメモリだった．8回も献血してるとさすがに書くこ…

卒業したい．

株式会社はてなに入社しました 不労所得で暮らしたい． 株式会社はてなに入社しました - hitode909の日記

東京に来たついでに，鳩羽つぐちゃんに関する漠然とした何かを探しに西荻窪に来てみた． 西荻窪という地名は1970年に廃止されたらしいが，今でも駅名に残っているため，私はその周辺のことを西荻窪と呼ぶことにしている． www.youtube.com そもそも西荻窪と…

LIKEによるマッチングには引っかかるけど，MATCHによる全文検索では引っかからないケースがある． ずっと困っているので，正しいクエリの書き方とか設定とかあったら教えてください．助けてくれ……． mysql> set names 'utf8mb4' collate 'utf8mb4_bin'; Quer…

いろいろな発表スライドを共有するためにSlideShareやSpeakerDeckなどのサービスを使っている人が多いと思うし，私も使っていたけど，以下の点が気にくわないのでこれからは自分のVPSマシン上にPDFを置くことにした． SlideShareやSpeakerDeckなどのサービス…