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

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

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

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