私が歌川です

@utgwkk が書いている

ここ数日よく絵を描いている. 描いているといっても記号の切り取りぐらいのようなものだが,それでも限定された構図ぐらいならなんとかなっているような気がしている. いろいろな描き方とか構造への理解とかをやっていくとだんだんマシになっていくのでは…

AdventarのRSSとIFTTTを用いて自動でアドベントカレンダー記事の宣伝ツイートをする取り組み,お気持ち

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

こふ語とツイッターのオタク

これは こふ語 / ブチミリ Advent Calendar 2018 - Adventar 12/18の記事です.気がついたら2015年から毎年書いてる. ツイッターのオタク あっ 自分(わたし(由持もにです!))のことです— 由持もに♎12月21日23時~ (@moni_yoshimochi) 2018年12月16日 2018…

カインドを用いたレコード多相 (record polymorphism) の計算体系とその実装

これは 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月末ぐらいにもらった薬がなくなって,寒くなって表面がぼろぼろになってきたのでついに皮膚科に行った. 今までどおりの薬をもらって塗ってきたところかなり回復した. まだ大丈夫とか,お金がもったいないとか,適当に薬だけ買えばいけるやろとかそういう…

wsl-terminal が chsh 認識してくれない問題 (解決編)

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

ISUCON8 :thinking_face: 本戦に出て14位だった #isucon

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

KMCの例会講座で「ラムダ計算のインタプリタを実装してみる」話をした

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

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

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

突発和歌山旅行

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

ISUCON8 :thinking_face: 学生枠で予選通過した #isucon

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

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

22歳になっていた

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

Tシャツ事情2

utgwkk.hateblo.jp SUZURIでTシャツの安売りセールをやっていたので注文し,つい先日届いた. いいTシャツいっぱいあったけど買いすぎると終わってしまうので最終的に以下の6着にした. suzuri.jp !function(d,s,id){var js,fjs=d.getElementsByTagName(s)[0…

gitignore を落としてくれるシェルスクリプト

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

Tシャツ事情

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

スライドPDFの1ページ目から発表タイトルを自動的に抜き出したい

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 そもそも西荻窪と…

MySQL5.7のN-gramインデックスを用いた全文検索で絵文字単体が検索できない

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