私が歌川です

@utgwkk が書いている

ゴールドカード

最近手に入れたゴールドカードたちです。 DENEN そういえばでんえんのゴールドカード手に入れてた— うたがわきき (@utgwkk) 2019年6月29日 6月、行きつづけてたらついにゴールドカードになった。 思ったより安くてお得みたいな感じになってよい。 HUB 今しが…

Ansibleでitamaeのexecuteやnot_ifのようなことをする

さまざまな事情があって、Ansibleでシェルスクリプトを1つのtaskとして実行したくなったり、コマンドのreturn codeに応じて処理を分岐したりしたくなると思います。 itamaeなら execute や not_if で実現できるのですが、同じことをAnsibleでやろうとして手…

自宅では飲酒をしない

日ごとの飲酒の有無をスプレッドシートに付けてみたところ、思った以上に飲んでいる日が多いということがわかった。 docs.google.com スプレッドシートに記録するのとは独立に、お酒を飲みすぎでは?? と思っていたので、まずは自宅での飲酒をやめてみるこ…

『知的生産の技術』を読んだ

知的生産の技術 (岩波新書)作者: 梅棹忠夫出版社/メーカー: 岩波書店発売日: 1969/07/21メディア: 新書購入: 34人 クリック: 460回この商品を含むブログ (299件) を見る utgwkk.hateblo.jp そういえば高校生のときに『知的生産の技術』を輪読する授業を受け…

ご報告

gyazo.com このたび卒業に必要な単位が揃いましたので,京都大学工学部情報学科を卒業することとなりました. 中国語の講義に出席できなくなったり,1回生のうちに人文社会系科目を取りきれなかったり.必修科目を2年かけて取ったり,4回生になっても単位回…

卒論試問会全員合格

I'm at 京都大学 総合研究7号館 (旧工学部10号館) in 京都市, 京都府 https://t.co/y2m2B916oT— うたがわきき (@utgwkk) 2019年2月13日 発表終わりました、なんとかなったか……?— うたがわきき (@utgwkk) February 14, 2019 全員合格とのことです— うたがわ…

食べすぎ

食べすぎた— うたがわきき (@utgwkk) January 29, 2019 また食べすぎた、飲酒翌日にラーメン食べないほうがいいのではないか— うたがわきき (@utgwkk) January 31, 2019 絶対に卒業してやるという強い意志をごはんに込めた結果,食べすぎました— うたがわき…

YAPC::Tokyo 2019 参加した #yapcjapan

今年もYAPCに参加しました.学生支援プログラムのおかげで気軽にYAPCに参加することができており,スポンサー企業の皆様やスタッフの皆様には頭が上がりません.次回もよろしくお願いします. Perl6チャレンジ トークの合間にGMOインターネット様のPerl6チャ…

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

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 オプシ…